---
title: Unweighted Yamabe-type Constants
url: https://www.emergentmind.com/topics/unweighted-yamabe-type-constants
type: topic
---

# Unweighted Yamabe-type Constants

Unweighted Yamabe-type constants are conformal variational invariants defined from the standard scalar-curvature energy, the usual critical Sobolev exponents, and the ordinary Riemannian volume measure, with no auxiliary density or weighted curvature terms. In the closed case they include the classical Yamabe constant of a conformal class and the Yamabe invariant of a manifold; in noncompact, boundary, singular, equivariant, higher-eigenvalue, spinorial, and CR settings they appear as closely related infima of the same basic Sobolev-type quotient or of directly analogous unweighted functionals [1202.1022].

## 1. Classical definition and basic structure

For a closed \(n\)-manifold \(M^n\) with conformal class \([g]\), the classical unweighted Yamabe constant is
\[
Y(M,[g])=\inf_{h\in[g]}\frac{\int_M s_h\,d\operatorname{vol}(h)}{\operatorname{Vol}(M,h)^{\frac{n-2}{n}}},
\]
where \(s_h\) is the scalar curvature and \(d\operatorname{vol}(h)\) is the Riemannian volume element. Writing \(h=f^{p-2}g\) with
\[
p=p_n=\frac{2n}{n-2},\qquad a_n=\frac{4(n-1)}{n-2},
\]
this becomes the standard unweighted Yamabe functional
\[
Y(M,[g])=\inf_{f\in C^\infty(M)}
\frac{\displaystyle \int_M a_n|\nabla f|^2\,d\operatorname{vol}(g)+\int_M s_g f^2\,d\operatorname{vol}(g)}
{\left(\displaystyle\int_M |f|^p\,d\operatorname{vol}(g)\right)^{2/p}}.
\]
The corresponding manifold invariant is
\[
Y(M)=\sup_{[g]}Y(M,[g]).
\]
These are the prototype unweighted Yamabe-type constants: the measure is the ordinary Riemannian volume, and there is no density factor or modified scalar curvature [1202.1022].

Equivalent formulations occur throughout the literature. On a complete \(m\)-manifold \((M^m,g)\), one may write the conformal Laplacian
\[
L_g=a\,\Delta_g+\operatorname{scal}_g,\qquad a=\frac{4(m-1)}{m-2},
\]
and define
\[
F(v)=\frac{\displaystyle\int_M vL_gv\,d\operatorname{vol}_g}{\|v\|_{L^p(g)}^2},\qquad p=\frac{2m}{m-2},
\]
with the test-function infimum
\[
Q^*(M,g)=\inf\{F(v):v\in C_c^\infty(M)\setminus\{0\}\}.
\]
On closed manifolds, the solution of the Yamabe problem implies \(Q(M,g)=Q^*(M,g)\), and for the round sphere one has
\[
Q^*(S^m)=m(m-1)\,\operatorname{vol}(S^m)^{2/m}.
\]
This is the same unweighted conformal geometry written in operator form [1502.05232].

A recurrent structural fact is Aubin’s inequality: for any closed \(n\)-manifold \(M\),
\[
Y(M)\le Y(S^n),
\]
with equality on the round sphere. Several papers in the record use \(Y(S^n)\) as the normalization benchmark for lower bounds, comparison results, and gap phenomena [1202.1022].

## 2. Closed, noncompact, and boundary variants

For noncompact manifolds of positive scalar curvature, the same unweighted quotient is used with Sobolev test functions. If \((W^n,g)\) is noncompact,
\[
Y(W,g)=\inf_{f\in L^2_1(W)}
\frac{a_n\int_W |\nabla f|^2\,d\operatorname{vol}(g)+\int_W s_g f^2\,d\operatorname{vol}(g)}
{\left(\int_W |f|^p\,d\operatorname{vol}(g)\right)^{2/p}}.
\]
This is the definition used for product spaces such as \(M\times\mathbb{R}^m\) and for noncompact model geometries appearing in surgery theory and adiabatic limits [1202.1022].

A more systematic noncompact treatment defines, for every metric \(g\) on a noncompact \(n\)-manifold,
\[
Y_M(g):=\inf\{E_g(v):v\in C_c^\infty(M,\mathbb{R}_{\ge0})\setminus\{0\}\},
\]
where
\[
E_g(v)=
\frac{\displaystyle\int_M \big(a_n|\mathrm{d}v|_g^2+\mathrm{scal}_g\,v^2\big)\,\mathrm{d}\mu_g}
{\left(\displaystyle\int_M v^p\,\mathrm{d}\mu_g\right)^{2/p}}.
\]
This quantity is conformally invariant. For noncompact \(M\), Kim’s Yamabe constant at infinity is
\[
\bar Y_M(g)=\lim_{i\to\infty}Y_{M\setminus K_i}(g),
\]
independent of the compact exhaustion \((K_i)\), and satisfies
\[
-\|(\mathrm{scal}_g)_-\|_{L^{n/2}(M,g)}\le Y_M(g)\le \bar Y_M(g)\le Y(S^n).
\]
If \(\bar Y_M(g)<0\), then \(\bar Y_M(g)=-\infty\) [1206.0610].

On manifolds with boundary, the unweighted analogue is the relative Yamabe constant. If \(\bar C\) is a conformal class on a compact manifold \(M\) with \(\partial M\neq\emptyset\), and
\[
\bar C_0=\{g\in\bar C:H_g=0\text{ on }\partial M\},
\]
then
\[
Y(M,\partial M;\bar C)=\inf_{g\in \bar C_0}\mathcal E(g),\qquad
\mathcal E(g)=\frac{\int_M R_g\,dv_g}{\mathrm{Vol}_g(M)^{\frac{n-2}{n}}}.
\]
Fixing \(g\in\bar C_0\), one has the Rayleigh-type characterization
\[
Y(M,\partial M;\bar C)=
\inf_{\substack{f\in L^{1,2}(M)\\ f\not\equiv0}}
\frac{\displaystyle\int_M\left(\frac{4(n-1)}{n-2}|df|_g^2+R_gf^2\right)\,dv_g}
{\left(\displaystyle\int_M |f|^{\frac{2n}{n-2}}\,dv_g\right)^{\frac{n-2}{n}}},
\]
and minimizers satisfy the Yamabe-type PDE with Neumann boundary condition
\[
-\frac{4(n-1)}{n-2}\Delta_g u+R_g u=\lambda u^{\frac{n+2}{n-2}}
\quad\text{in }M,\qquad
\nu_g(u)=0\quad\text{on }\partial M.
\]
This is again completely unweighted; the only boundary restriction is minimality \(H_g=0\) [2010.05385].

A dynamic version appears under Ricci flow with boundary. For a flow \(g_t\) with
\[
H_{g_t}\equiv0,\qquad [g_t|_M]=C,
\]
the relative Yamabe constant \(Y_{[g_t]}(W,M;C)\) is differentiated by first studying subcritical functionals \(Y_p(W,g_t)\). If the initial metric is a relative Yamabe metric and a \(C^1\)-family of relative Yamabe metrics exists, then
\[
\left.\frac{d}{dt}\right|_{t=0}Y_{[g_t]}(W,M;C)
=
2\int_W |\mathrm{Ric}_0(g_0)|^2\,d\mu_{g_0}\ge0,
\]
with equality if and only if \(g_0\) is Einstein [1901.11169].

## 3. Model spaces, surgery thresholds, and explicit product estimates

A major role of unweighted Yamabe-type constants is to provide explicit model-space thresholds for surgery and bordism. One family is
\[
M_{m,k,c}=\mathbb H^{k+1}_c\times S^{m-k-1},\qquad c\in[0,1],
\]
with metric \(g_c=g_{\mathbb H^{k+1}_c}+g_{S^{m-k-1}}\). On these spaces one defines the scalar constants
\[
Q^*(M_{m,k,c}),\qquad Q(M_{m,k,c}),
\]
and from them the threshold quantities
\[
\widetilde A_{m,k}=\inf_{c\in[0,1]}Q(M_{m,k,c}),\qquad
\widetilde A_{m,k}^*=\inf_{c\in[0,1]}Q^*(M_{m,k,c}),
\]
together with
\[
A_{m,k}=\min\left\{\widetilde A_{m,k},\inf_{c\in[0,1]}Q^{(2)}(M_{m,k,c})\right\}.
\]
These are the scalar surgery thresholds in the theorem
\[
\sigma^*(N)\ge \min\{\sigma^*(M),A_{m,k}\}
\]
for a surgery of codimension \(m-k\ge3\). In the good range, one has \(A_{m,k}=\widetilde A_{m,k}=\widetilde A_{m,k}^*\), so the threshold is determined by the standard unweighted conformal Laplacian on the model spaces [1502.05232].

The paper on square-integrability of solutions of the Yamabe equation sharpens this mechanism on
\[
M_c^{n,k}=H_c^{k+1}\times S^{n-k-1},\qquad
G_c=\eta_c^{k+1}+\rho^{n-k-1}.
\]
If a smooth positive solution \(u\in L^\infty\cap L^{p_n}\) of
\[
L_{G_c}u=\mu\,u^{p_n-1}
\]
satisfies
\[
2k|c|<n(n-k-2),
\]
then \(u\in L^2(M_c^{n,k})\). This yields
\[
\mu^{(2)}(M_c^{n,k})\ge \mu(M_c^{n,k})
\]
for \(k\le n-4\), and also for \(k=n-3\) in dimensions \(n=4,5\). As a consequence, the surgery constants can be estimated by explicit unweighted model constants, producing bounds such as
\[
\sigma(M)\ge A_{7,2}^+>74.5
\]
for 2-connected compact \(7\)-manifolds, and
\[
\sigma(M)\ge A_{8,2}^+>92.2
\]
for 2-connected compact \(8\)-manifolds with vanishing \(KO\)-index [1111.2780].

Another prominent use of unweighted Yamabe-type constants is on products \(S^k\times\mathbb R^m\). By comparing isoperimetric profiles with those of round spheres and then applying spherical symmetrization, one obtains explicit lower bounds. In dimension \(4\),
\[
Y(S^2\times \mathbb R^2,[g_0^2+dx^2])\ge \frac{\sqrt{2}\,\epsilon}{3^{3/4}}\,Y(S^4),
\qquad \epsilon=(1.047)^2,
\]
numerically about \(0.68\,Y(S^4)\), and hence
\[
Y(S^2\times M^2)>\frac23\,Y(S^4)
\]
for every closed surface \(M^2\) [1010.3642].

In dimension \(5\), the same isoperimetric-profile method yields
\[
Y(S^3\times\mathbb R^2,[g_0^3+dx^2])\ge 0.75\,Y(S^5),
\qquad
Y(S^2\times\mathbb R^3,[g_0^2+dx^2])\ge 0.63\,Y(S^5),
\]
and also
\[
Y(S^7\times\mathbb R^2,[g_0^7+dx^2])\ge 0.747\,Y(S^9),\qquad
Y(S^8\times\mathbb R^2,[g_0^8+dx^2])\ge 0.626\,Y(S^{10}).
\]
The key comparison theorem states that if
\[
I_{(M^k\times\mathbb R^n,g+dx^2)}\ge \lambda\, I_{(S^{n+k},\mu g_0^{n+k})}
\]
and \(s_g\ge k(k-1)\), then
\[
Y(M^k\times\mathbb R^n,[g+dx^2])\ge
\min\left\{\frac{\mu k(k-1)}{(k+n)(k+n-1)},\lambda^2\right\}Y(S^{n+k}).
\]
These estimates were positioned as complements to the explicit gap theorems of Ammann–Dahl–Humbert [1202.1022].

A distinct product asymptotic appears for higher Yamabe constants. If \((M^m,g)\) has positive scalar curvature and \((N^n,h)\) is closed, then
\[
\lim_{t\to+\infty}Y^2(M\times N,[g+th])
=
2^{\frac{2}{m+n}}\,Y(M\times\mathbb R^n,[g+g_e]),
\]
and, when \(S_g\) is constant,
\[
\lim_{t\to+\infty}Y_N^2(M\times N,g+th)
=
2^{\frac{2}{m+n}}\,Y_{\mathbb R^n}(M\times\mathbb R^n,g+g_e).
\]
For \(n\ge2\), this produces nodal solutions of the Yamabe equation on \((M\times N,g+th)\) for large \(t\) [1505.00981].

A recent gap theorem for products with small tori gives a complementary phenomenon. If \((M^m,h)\) is a Yamabe metric with \(Y(M,[h])>0\), then there exists \(C>0\) such that whenever the flat torus metric \(g_\Lambda\) satisfies \(g_\Lambda<C\), the product metric \(h+g_{\mathrm{flat}}\) on \(M^m\times T^{n-m}\) is also a Yamabe metric. The method extends to Type I and Type II Yamabe constants on manifolds with boundary [2605.25145].

## 4. Local, singular, and noncompact compactness thresholds

A persistent theme is that unweighted Yamabe-type constants behave as local compactness thresholds. On stratified spaces, for any open set \(U\subset M\), one defines the local Sobolev and Yamabe constants
\[
S(U)=\inf\left\{\int_U |\nabla\phi|^2\,dp:
\phi\in W_0^{1,2}(U),\
\int_U |\phi|^{\frac{2n}{n-2}}\,dp=1\right\},
\]
\[
Y(U)=\inf\left\{\int_U\left(|\nabla\phi|^2+\frac{n-2}{4(n-1)}\mathrm{Scal}_g\,\phi^2\right)\,dp:
\phi\in W_0^{1,2}(U),\
\int_U |\phi|^{\frac{2n}{n-2}}\,dp=1\right\}.
\]
The local invariants are then
\[
S_\ell(M,g)=\inf_{p\in M}\lim_{r\to0}S(B(p,r)),\qquad
Y_\ell(M,[g])=\inf_{p\in M}\lim_{r\to0}Y(B(p,r)).
\]
Under mild scalar-curvature assumptions, \(Y_\ell(M,[g])=S_\ell(M,g)\), and if
\[
Y(M,[g])<Y_\ell(M,[g])
\]
then the Yamabe problem admits a minimizer. On stratified spaces the local model constants are explicitly identified with Yamabe constants of tangent-model spaces such as \(\mathbb R^\ell\times C(Z)\) or conformally \(\mathbb H^{\ell+1}\times Z\) [1210.8054].

A 2024 local method for compact and noncompact Yamabe problems also hinges on comparison with the sphere. For a small Riemannian domain \((\Omega,g)\subset\mathbb R^n\), \(n\ge4\), with \(R_g<0\) on \(\bar\Omega\) and nonvanishing Weyl tensor, Aubin-type test functions \(u_{\epsilon,\Omega}\) yield a local quotient satisfying
\[
Q_{\epsilon,\Omega}<T,
\]
where \(T\) is the best Euclidean Sobolev constant and
\[
\lambda(\mathbb S^n)=aT,\qquad a=\frac{4(n-1)}{n-2}.
\]
This gives positive solutions of local Dirichlet Yamabe-type equations and, after a super-local correction argument, test functions \(\phi\) with
\[
J_1(\phi)<aT=\lambda(\mathbb S^n).
\]
For compact manifolds this local inequality implies \(\lambda(M)<\lambda(\mathbb S^n)\), and for certain complete noncompact manifolds pointwise conformal to subdomains of compact manifolds it implies
\[
\lambda(M)<\lambda_\infty(M)=\lambda(\mathbb S^n),
\]
thereby yielding solutions of the Yamabe equation in the positive case [2410.13537].

On general noncompact manifolds, the continuity theory of the unweighted Yamabe constant is itself governed by compactness at infinity. The map
\[
Y_M:\mathrm{Metr}(M)\to \mathbb R\cup\{-\infty\}
\]
is continuous in the fine \(C^2\)-topology, while the Yamabe constant at infinity
\[
\bar Y_M:\mathrm{Metr}(M)\to [-\infty,Y(S^n)]
\]
is locally constant in that topology. By contrast, on noncompact \(M\) the map \(Y_M\) is not continuous in any compact-open \(C^k\)-topology at metrics with finite value [1206.0610].

## 5. Symmetry restrictions, higher eigenvalues, and related analogues

Unweighted Yamabe-type constants admit several symmetry-restricted and higher-level variants. For a compact Lie group \(G\) acting on a closed manifold \(M\), the \(G\)-equivariant Yamabe constant is
\[
\mu(M,[\tilde g]^G)=\inf_{g'\in[\tilde g]^G}J(g'),
\]
where
\[
J(\tilde g)=
\frac{\int_M \mathrm{scal}_{\tilde g}\,dv_{\tilde g}}
{\mathrm{vol}(M,\tilde g)^{\frac{n-2}{n}}},
\]
and the equivariant Yamabe invariant is
\[
\sigma^G(M)=\sup_{[\tilde g]^G\in C^G(M)}\mu(M,[\tilde g]^G).
\]
For the Hopf \(S^1\)-action on \(S^3\),
\[
\sigma^{S^1}(S^3)=\sigma(S^3).
\]
More generally, for the action \(\Phi_{m_1,m_2}\) on \(S^3\), if \(m_1m_2\neq0\),
\[
\sigma(S^3)\le \sigma^{S^1}(S^3)\le
\sigma(S^3)\left(\frac{m_1+m_2}{2\sqrt{m_1m_2}}\right)^{4/3}.
\]
For closed oriented 3-manifolds with free \(S^1\)-action and quotient orbifold \(\Sigma\), one has the topological upper bound
\[
0<\sigma^{S^1}(M)\le
\sigma(S^3)\left(\frac{\chi(\Sigma)}{2\sqrt{|c_1(L,\Sigma)|}}\right)^{4/3}
\]
when \(\chi(\Sigma)>0\) and \(c_1(L,\Sigma)\neq0\), while \(\sigma^{S^1}(M)=0\) if \(\chi(\Sigma)\le0\) [1508.02727].

Higher-eigenvalue constants are encoded by the \(\ell\)-th Yamabe constants
\[
Y^\ell(W,[G])=
\inf_{\hat G\in[G]}\lambda_\ell(L_{\hat G})\,\operatorname{vol}(W,\hat G)^{2/k}.
\]
The case \(\ell=2\) is especially important because it is tied to nodal solutions of the Yamabe equation; if \(Y^2(W,[G])\) is attained by a generalized metric on a connected manifold, the minimizer is sign-changing [1505.00981].

Spinorial counterparts are also unweighted. On a spin manifold \((M^m,g)\), with \(q=\frac{2m}{m-1}\), one defines
\[
F_{\mathrm{spin}}(\varphi)
=
\frac{(D_g\varphi,\varphi)_{L^2}}{\|\varphi\|_{L^q(g)}^2}
\]
for compactly supported spinors with \((D_g\varphi,\varphi)_{L^2}>0\), leading to
\[
Q^*_{\mathrm{spin}}(M,g)
=
\inf F_{\mathrm{spin}}(\varphi).
\]
After renormalization,
\[
Q_{\mathrm{spin}}^*(M,g):=
\frac{4m}{m-1}\bigl(Q_{\mathrm{spin}}^*(M,g)\bigr)^2.
\]
On the model spaces \(M_{m,k,c}\), the noncompact conformal Hijazi inequality gives
\[
Q_{\mathrm{spin}}(M_{m,k,c})\ge Q^*(M_{m,k,c}),
\]
and hence
\[
\widetilde A_{m,k}^{\mathrm{spin}}\ge \widetilde A_{m,k}^*.
\]
These thresholds govern spinorial surgery monotonicity and spin bordism invariance below \(A_{m,k}^{\mathrm{spin}}\) [1502.05232].

A different analogue arises in CR geometry. For a compact strongly pseudoconvex CR manifold \((X,H,J)\), the CR Yamabe constant is
\[
\lambda(X,H,J)=\inf_\theta
\frac{\displaystyle\int_X R_\theta\,d\mu_\theta}
{\left(\displaystyle\int_X d\mu_\theta\right)^{n/(n+1)}},
\]
and if \(\tilde\theta=u^{2/n}\theta\), then
\[
\mathfrak F(u^{2/n}\theta)=
\frac{\displaystyle\int_X \bigl((2+2/n)|du|_\theta^2+R_\theta u^2\bigr)\,d\mu_\theta}
{\left(\displaystyle\int_X u^{2+2/n}\,d\mu_\theta\right)^{n/(n+1)}}.
\]
This is explicitly described as the unweighted CR analogue of the classical Yamabe constant. When \(\lambda(X)\le0\),
\[
\lambda(X)=
-\inf_{\tilde\theta}\|R_{\tilde\theta}\|_{L^r}\,
\mathrm{Vol}_{\tilde\theta}(X)^{\frac{1}{n+1}-\frac1r}
\]
for \(r\in[n+1,\infty]\), and the paper constructs compact simply connected manifolds admitting two strongly pseudoconvex CR structures with different signs of the CR Yamabe constant [2210.16443].

## 6. Conceptual role and relation to weighted theories

The common feature of these invariants is that they are built from the standard conformal Laplacian, the standard Dirac operator, the standard boundary conformal Laplacian, or analogous unweighted subelliptic operators, always paired with the ordinary geometric measure. Several papers make this contrast explicit. In the smooth metric measure-space framework, the weighted Yamabe constant \(\mathcal A[M^n,g,v^m dV_g]\) reduces exactly to the classical Yamabe constant when \(m=0\), because then \(\phi=0\), \(v^0=1\), the weighted conformal Laplacian becomes
\[
L_g=-\Delta_g+\frac{n-2}{4(n-1)}R_g,
\]
and the quotient collapses to the usual Yamabe functional. The weighted theory is presented as an interpolation between the classical Yamabe problem at \(m=0\) and Perelman’s \(\nu\)-entropy as \(m\to\infty\) [1711.06876; 1306.4358].

This suggests a useful conceptual division. In the unweighted case, scalar curvature, volume normalization, and critical Sobolev exponent are rigidly linked by conformal covariance. That rigidity underlies Aubin’s comparison with the sphere, spherical symmetrization, surgery thresholds, local compactness criteria, and the precise asymptotics on product manifolds. In the weighted case, analogous quotients exist, but the comparison geometry changes from \(Y(S^n)\) to model constants \(A_{m,n}\) on Euclidean space with parameter \(m\). A plausible implication is that many of the strongest explicit lower bounds and gap theorems remain easier in the unweighted setting because the model spaces and sharp constants are more directly controlled.

Across the papers considered here, unweighted Yamabe-type constants serve four recurrent functions. First, they measure optimal conformal scalar-curvature geometry within a fixed class. Second, they act as compactness thresholds against concentration, both on smooth and singular spaces. Third, they control surgery and bordism by means of explicit model-space constants. Fourth, their higher, relative, equivariant, spinorial, and CR analogues detect finer geometric phenomena such as nodal solutions, boundary rigidity, symmetry breaking, and sign changes. In that sense, “unweighted Yamabe-type constants” designate not a single invariant but a coherent family of scale-invariant conformal quantities governed by the same unweighted variational principle.

Source: https://www.emergentmind.com/topics/unweighted-yamabe-type-constants