REVIEW 2 major objections 8 minor 2 cited by
A sharp isoperimetric inequality and the top order $Q$-curvature
T0 review · 2 major / 8 minor · reviewed 2026-07-09 · glm-5.2
Pith's one-line read Q-curvature sign fixes isoperimetric ratio in all dimensions
desk verdict Solid paper with a genuinely new sign-determination theorem; the isoperimetric inequality is a clean consequence. Deserves a serious referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The normal metric integral representation (1.6) of the conformal factor as a logarithmic potential against the Q-curvature measure; differentiation of this potential to express sectional curvature integrally; Hölder's inequality applied to that integral to transfer the sign of Q to the sign of sectional curvature; Bishop-Gromov volume comparison and Brendle's isoperimetric inequality to convert the curvature sign into a sharp isoperimetric bound.
What would settle it
A smooth complete conformal metric on R^n with non-negative Q-curvature but somewhere-negative sectional curvature would break the sign-transfer theorem and collapse the isoperimetric inequality. Alternatively, a complete normal metric with non-negative Q-curvature whose isoperimetric ratio is strictly below 1 − α_0 would contradict Theorem 1.1.
Extended reading notes
Core claim
The central mechanism is an integral representation of the conformal factor u as a logarithmic potential against the Q-curvature measure. Differentiating this representation twice and inserting the result into the standard conformal-change formula for sectional curvature converts the sign of Q-curvature directly into the sign of sectional curvature via Hölder's inequality. Once non-negative sectional (hence Ricci) curvature is established, Brendle's isoperimetric inequality for manifolds with non-negative Ricci curvature combines with a volume-ratio lower bound tied to the total Q-curvature to pin the isoperimetric ratio to 1 − α_0 from below, while a pre-existing identity of Chang-Qing-Yang
Load-bearing premise
The entire argument rests on the integral representation (1.6) — the so-called normal metric condition — which lets one write the conformal factor as a logarithmic potential of Q-curvature. Without this representation, the sign-transfer from Q-curvature to sectional curvature and the asymptotic identity used to bound the isoperimetric ratio both fail.
Editorial extensions
If this is right
- The sharp Sobolev inequality on (R^n, g) follows with constant (1 − α_0)^{(n-1)/n} times the Euclidean sharp constant, extending the isoperimetric result to functional inequalities.
- The volume ratio at infinity V_g(B^g_r(0)) / (|B^n| r^n) is forced to equal exactly (1 − α_0)^{n-1} when Q-curvature is non-negative, resolving the liminf of Theorem 4.1 to an equality.
- The conjectured formula I_g = 1 − 2/((n-1)!|S^n|) ∫ (Q_g^{(n)})^+ dμ_g would extend the result to metrics with sign-changing Q-curvature, generalizing Huber's inequality (1.2).
- The sign-transfer result (Q-sign → sectional-curvature-sign) may constrain the moduli of complete normal conformal metrics on R^n, since non-negative Q-curvature forces non-negative sectional curvature.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper establishes a sharp isoperimetric inequality for complete normal conformal metrics $g = e^{2u}|dx|^2$ on $R^n$ ($n >= 2$) with non-negative top-order $Q$-curvature. The main result, Theorem 1.1, states that the isoperimetric ratio $I_g$ equals $1 - alpha_0$, where $alpha_0$ is the normalized total $Q$-curvature. The proof strategy is as follows: (1) Theorem 1.2 shows that the sign of $Q_g^{(n)}$ determines the sign of the sectional curvature, via a direct computation using the integral representation (1.6) and Holder's inequality; (2) Theorem 4.1 establishes a lower bound on the volume ratio $liminf_{r to infty} V_g(B_r^g(0))/(|B^n|r^n) >= (1-alpha_0)^{n-1}$, using strong $A_infty$ weight techniques and comparison with the radially symmetric metric $bar g$; (3) Theorem 1.1 then follows by combining the non-negative Ricci curvature (from Theorem 1.2) with Brendle's isoperimetric inequality (1.4) for the lower bound, and the Chang-Qing-Yang identity (1.8) for the upper bound. A conditional result (Theorem 1.3) for non-positive $Q$-curvature is also given, assuming the Cartan-Hadamard conjecture. The paper also includes a lower bound on sectional curvature in terms of scalar curvature (Theorem 3.3) and a sharp Sobolev inequality (Corollary 5.1).
Significance. The paper addresses a natural question raised by Chang regarding the relationship between isoperimetric inequalities and $Q$-curvature integrals. The main result, Theorem 1.1, provides a clean and sharp answer in the non-negative $Q$-curvature setting, generalizing the classical 2D Fiala-Huber inequality to all dimensions. The key new ingredient is Theorem 1.2, which establishes that the sign of the top-order $Q$-curvature controls the sign of the sectional curvature for complete normal metrics. This is a strong and somewhat surprising geometric rigidity result. The proof of Theorem 1.1 is assembled from independent ingredients: the sign-determination (Theorem 1.2, new), the volume ratio lower bound (Theorem 4.1, new), Brendle's isoperimetric inequality [7], and the Chang-Qing-Yang identity [12, 33]. The argument is not circular: the upper bound on $I_g$ comes from the identity (1.8), and the lower bound comes from Brendle's inequality combined with the new volume ratio estimate. Theorem 3.3 (sectional curvature lower bound in terms of scalar curvature) and Corollary 5.1 (sharp Sobolev inequality) are additional contributions. The conjecture stated at the end (involving only the $Q
major comments (2)
- Theorem 3.2 states the hypothesis $alpha_0 <= 2$, but for complete normal metrics, Lemma 3.1 (the Cohn-Vossen inequality) gives $alpha_0 <= 1$. The proof of Theorem 3.2 for the non-negative $Q$-curvature case yields $e^{2u}K_g >= (2-alpha_0) int ... >= 0$, which is valid under the weaker hypothesis $alpha_0 <= 2$. However, since the paper only applies Theorem 3.2 in the context of complete normal metrics (where $alpha_0 <= 1$), the stated hypothesis $alpha_0 <= 2$ is somewhat misleading. The authors should clarify whether Theorem 3.2 is intended to apply to a broader class of metrics where only $alpha_0 <= 2$ is assumed, or whether this is simply a non-optimal bound. This does not affect the validity of the main results but affects the precise scope of Theorem 3.2.
- Several technical lemmas in Section 2 (Lemmas 2.1, 2.3, 2.5, 2.7) are stated with proofs that are sketched or referenced to the first author's prior preprints [26, 27]. For instance, Lemma 2.5 is a key ingredient (used in Lemma 2.6, Lemma 4.7, and Lemma 4.8), and its proof involves a delicate Jensen's inequality argument with a parameter $epsilon$ (equations 2.11-2.12). While the argument appears correct, the key estimate $limsup_{epsilon to 0} oint_{partial B_1} (|xi_0|/|xi-xi_0|)^epsilon dsigma <= 1$ should be verified more carefully for $n=2$ (where $partial B_1$ is a circle and the singularity is $1/|xi-xi_0|$). The authors should ensure that the dominated convergence or uniform integrability argument is valid in this borderline case, or restrict the relevant lemmas to $n >= 3$ if needed.
minor comments (8)
- The abstract and Theorem 1.1 use $mathbb{B}^n$ and $mathbb{S}^n$ while the body text uses $B^n$ and $S^n$. Notation should be unified.
- In the proof of Lemma 2.1, the splitting uses $A_1 = B_1(x)$, $A_2 = B_{log|x|}(0)$, $A_3 = R^n setminus (A_1 cup A_2)$. The condition $|x| >= e^4$ is used to ensure $|x| >= 2 log|x|$, but the interaction between $A_1$ and $A_2$ when $|x|$ is large should be clarified (they may overlap).
- Theorem 3.3 uses the notation $Q_g^{(2k)}$ for the $2k$-th order $Q$-curvature, but the main body uses $Q_g^{(n)}$ for the top-order. The relationship between $2k$ and $n$ in Theorem 3.3 should be stated more explicitly (the text says $1 <= k < n/2$).
- In equation (3.1), the formula for the sectional curvature under conformal change is standard but the sign convention should be checked against the reference [5] (Besse).
- Lemma 5.4 proves $I_g <= 1$ by taking $r to 0$, which is a standard argument. The notation $o(1)$ in the ratio is slightly confusing since it is $r to 0$, not $r to infty$.
- The reference to 'Theorem 1.4 in [27]' in Remark 5.3 refers to a preprint; the authors should verify the final published reference if available.
- Typo in the proof of Theorem 3.2: 'This if $Q_g^{(n)} <= 0$' should be 'Thus if $Q_g^{(n)} <= 0$'.
- In the proof of Lemma 4.7, the variable $y_r$ is defined by $B_{|y_r|}(0) = B_r^{bar g}(0)$, but the relationship between $|y_r|$ and $r$ should be clarified (they are not equal in general).
Circularity Check
No significant circularity; derivation chain is self-contained with independent external support
full rationale
The central claim I_g = 1 - α_0 is bounded above by the Chang-Qing-Yang identity (1.8) [12, 33] and below by Brendle's isoperimetric inequality (1.4) [7], both independent external results. The new ingredient is Theorem 3.2 (sign of Q-curvature determines sign of sectional curvature), proved directly from the integral representation (1.6) and Hölder's inequality without circular dependency. The volume ratio estimate (Theorem 4.1) uses the strong A∞ weight property from [6, 41] and standard comparison arguments. Self-citations [26, 27, 28, 29] provide technical lemmas about asymptotic behavior of the conformal factor, but these are reproved or sketched in Section 2 for self-containment. Proposition 5.2 uses Theorem 1.1 but is a separate corollary, not part of the proof chain for Theorem 1.1 itself. No step reduces to its own inputs by construction. The only minor concern is that several technical lemmas cite the first author's prior work, but these are independently verifiable estimates, not load-bearing uniqueness claims or fitted parameters renamed as predictions.
Assumptions & free parameters
assumptions (6)
- domain assumption Normal metric assumption: the conformal factor u satisfies the integral representation (1.6) with Green's function for (-Δ)^{n/2}
- standard math Brendle's isoperimetric inequality (1.4) for manifolds with non-negative Ricci curvature
- standard math Chang-Qing-Yang identity (1.8): the asymptotic isoperimetric ratio equals 1 - α_0 for complete normal metrics
- domain assumption Cartan-Hadamard conjecture (for Theorem 1.3 only)
- domain assumption Q_g^{(n)} e^{nu} ∈ L^1(R^n) and the metric is complete
- standard math Strong A∞ weight property of e^{nu} when α_0 < 1 (Lemma 4.4)
Cite this review
Pith. "Pith review of A sharp isoperimetric inequality and the top order $Q$-curvature." pith.science (2026). https://pith.science/paper/M63OBXAD
@misc{pith2026260706951,
author = {Pith},
title = {Pith review of: A sharp isoperimetric inequality and the top order $Q$-curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/M63OBXAD}},
note = {Machine review of arXiv:2607.06951}
}
abstract
For a smooth, complete and normal metric $g = e^{2u}|dx|^2$ with finite total $n$-th order $Q$-curvature on $\mathbb{R}^n$ with dimension $n \geq 2$, we first show that everywhere non-negativity (resp. non-positivity) $n$-th order $Q$-curvature $Q_g^{(n)}$ implies everywhere non-negativity (resp. non-positivity) of the sectional curvature. Based on this fact, we secondly show that, once $Q_g^{(n)}$ is non-negative, then for any compact domain $\Omega \subset \mathbb{R}^n$ with smooth boundary $\partial\Omega$, the following sharp isoperimetric inequality holds: $$|\partial\Omega|_g^{\frac{n}{n-1}} \geq n^{\frac{n}{n-1}} |\mathbb{B}^n|^{\frac{1}{n-1}} \left(1 - \frac{2}{(n-1)!\,|\mathbb{S}^n|} \int_{\mathbb{R}^n} Q_g^{(n)} \, d\mu_g\right) |\Omega|_g.$$ The third claim in this article is that, if the $n$-th order $Q$-curvature, $Q_g^{(n)}$, is non-positive and under the main assumption that Cartan-Hadamard conjecture holds true, then we have the sharp inequality $$|\partial\Omega|_g^{\frac{n}{n-1}} \geq n^{\frac{n}{n-1}} |\mathbb{B}^n|^{\frac{1}{n-1}}|\Omega|_g.$$
Forward citations
Cited by 2 Pith papers
-
Positivity and non-positivity results for the sixth-order $Q$-curvature of conformal metrics in $\mathbb{R}^n$
Under nonnegative top-order Q-curvature, Q^(6) is positive for 2m ≤ n ≤ 4m−6, but fails at some point for all n > N_m ≈ 10.55m, refuting the positivity conjecture.
-
Bonnet-Myers type theorems for $Q$-curvature on four-manifolds
Complete four-manifolds with R ≥ c>0 and Q ≥ c'>0 are compact; if Q/R ≥ k>0 then diameter ≤ 4π/√(15k).
Reference graph
Works this paper leans on
-
[7]
M. Bonk, J. Heinonen, E. Saksman, Logarithmic potentials, quasiconformal flows, and Q-curvature, Duke Math. J. 142 (2008) 197–239
work page 2008
-
[1]
V. Agostiniani, M. Fogagnolo, L. Mazzieri, Sharp geometric inequalities for closed hy- persurfaces in manifolds with nonnegative Ricci curvature, Invent. Math. 222 (2020), no. 3, 1033–1101
work page 2020
- [2]
-
[3]
E. Beckenbach, T. Rad´ o, Subharmonic functions and surfaces of negative curvature, Trans. Amer. Math. Soc. 35 (1933), no. 3, 662–674
work page 1933
-
[4]
I. Benjamini, J. Cao, A new isoperimetric comparison theorem for surfaces of variable curvature, Duke Math. J. 85 (1996), no. 2, 359–396
work page 1996
-
[5]
Besse, Einstein manifolds, Ergeb
A. Besse, Einstein manifolds, Ergeb. Math. Grenzgeb. (3), 10, Springer-Verlag, Berlin,
- [6]
-
[8]
Brendle, Sobolev inequalities in manifolds with nonnegative curvature, Comm
S. Brendle, Sobolev inequalities in manifolds with nonnegative curvature, Comm. Pure Appl. Math. 76 (2023), no. 9, 2192–2218
work page 2023
Show all 45 references
-
[9]
Bol, Isoperimetrische Ungleichungen f¨ ur Bereiche auf Fl¨ achen, Jber
G. Bol, Isoperimetrische Ungleichungen f¨ ur Bereiche auf Fl¨ achen, Jber. Deutsch. Math.-Verein. 51 (1941), 219–257
1941
-
[10]
Caffarelli, L
L. Caffarelli, L. Silvestre, An extension problem related to the fractional Laplacian, Comm. Partial Differential Equations 32 (2007), no. 7-9, 1245–1260
2007
-
[11]
Cavalletti, A
F. Cavalletti, A. Mondino, Sharp and rigid isoperimetric inequalities in metric- measure spaces with lower Ricci curvature bounds, Invent. Math. 208 (2017), no. 3, 803–849
2017
-
[12]
Chang, M
A. Chang, M. Gonz´ alez, Fractional Laplacian in conformal geometry, Adv. Math. 226 (2011), no. 2, 1410–1432. 32 MINGXIANG LI, XINGWANG XU
2011
-
[13]
Chang, J
A. Chang, J. Qing, P. Yang, On the Chern-Gauss-Bonnet integral for conformal metrics onR 4, Duke Math. J. 103 (2000), no. 3, 523–544
2000
-
[14]
Cohn-Vossen, K¨ urzeste Wege und Totalkr¨ ummung auf Fl¨ achen, Compositio Math
S. Cohn-Vossen, K¨ urzeste Wege und Totalkr¨ ummung auf Fl¨ achen, Compositio Math. 2 (1935), 69–133
1935
-
[15]
Croke, A sharp four-dimensional isoperimetric inequality, Comment
C. Croke, A sharp four-dimensional isoperimetric inequality, Comment. Math. Helv. 59 (1984), no. 2, 187–192
1984
-
[16]
David, S
G. David, S. Semmes, StrongA ∞ weights, Sobolev inequalities and quasiconformal mappings, in Analysis and Partial Differential Equations, Lecture Notes in Pure and Appl. Math. 122, Dekker, New York, 1990, 101 – 111
1990
-
[17]
Fang, On a conformal Gauss–Bonnet–Chern inequality for LCF manifolds and related topics, Calc
H. Fang, On a conformal Gauss–Bonnet–Chern inequality for LCF manifolds and related topics, Calc. Var. PDE 23 (2005), 469–496
2005
-
[18]
Fefferman, C.R
C. Fefferman, C.R. Graham, The Ambient Metric, Ann. of Math. Stud., vol. 178, Princeton University Press, Princeton, NJ, 2012, x+113
2012
-
[19]
Fiala, Le probl` eme des isop´ erim` etres sur les surfaces ouvertes ` a courbure positive, Comment
F. Fiala, Le probl` eme des isop´ erim` etres sur les surfaces ouvertes ` a courbure positive, Comment. Math. Helv. 13 (1941), 293–346
1941
-
[20]
Finn, On a class of conformal metrics, with application to differential geometry in the large, Comment
R. Finn, On a class of conformal metrics, with application to differential geometry in the large, Comment. Math. Helv. 40 (1965), 1–30
1965
-
[21]
Ghomi, J
M. Ghomi, J. Spruck, Total curvature and the isoperimetric inequality in Cartan- Hadamard manifolds, J. Geom. Anal. 32 (2022), no. 2, Paper No. 50, 54 pp
2022
-
[22]
C. Gui, A. Moradifam, The sphere covering inequality and its applications, Invent. Math. 214 (2018), no. 3, 1169–1204
2018
-
[23]
Hartman, Geodesic parallel coordinates in the large
P. Hartman, Geodesic parallel coordinates in the large. Amer. J. Math. 86 (1964), 705–727
1964
-
[24]
Huber, On the isoperimetric inequality on surfaces of variable Gaussian curvature, Ann
A. Huber, On the isoperimetric inequality on surfaces of variable Gaussian curvature, Ann. of Math. (2) 60 (1954), 237–247
1954
-
[25]
Huber, On subharmonic functions and differential geometry in the large, Comment
A. Huber, On subharmonic functions and differential geometry in the large, Comment. Math. Helv. 32 (1957), 13–72
1957
-
[26]
Kleiner, An isoperimetric comparison theorem, Invent
B. Kleiner, An isoperimetric comparison theorem, Invent. Math. 108 (1992), no. 1, 37–47
1992
-
[27]
Li, The total Q-curvature, volume entropy and polynomial growth polyharmonic functions, Adv
M. Li, The total Q-curvature, volume entropy and polynomial growth polyharmonic functions, Adv. Math. 450 (2024), Paper No. 109768, 43 pp
2024
-
[28]
Li, Conformal metrics with finite total Q-curvature revisited, arXiv:2405.09872
M. Li, Conformal metrics with finite total Q-curvature revisited, arXiv:2405.09872
-
[29]
M. Li, J. Wei, X. Xu, On geometry ofQ (2k) g -curvature, arXiv:2506.20165
-
[30]
M. Li, X. Xu, On positivity of the Q-curvatures of conformal metrics, J. Funct. Anal. 289 (2025), no. 8, Paper No. 111011
2025
-
[31]
Li, L.-F
P. Li, L.-F. Tam, Complete surfaces with finite total curvature, J. Differential Geom. 33 (1991), no. 1, 139–168
1991
-
[32]
Ma, Cohn-Vossen theory for locally conformally flat manifolds, arXiv:2606.13979
S. Ma, Cohn-Vossen theory for locally conformally flat manifolds, arXiv:2606.13979
-
[33]
S. Ma, J. Qing, Onn-superharmonic functions and some geometric applications, Calc. Var. Partial Differential Equations 60 (2021), no. 6, Paper No. 234, 42 pp
2021
-
[34]
Ndiaye, J
C. Ndiaye, J. Xiao, An upper bound of the total Q-curvature and its isoperimetric deficit for higher-dimensional conformal Euclidean metrics, Calc. Var. PDE 38(2010), pages 1–27
2010
-
[35]
Osserman, The isoperimetric inequality, Bull
R. Osserman, The isoperimetric inequality, Bull. Amer. Math. Soc. 84 (1978), no. 6, 1182–1238
1978
-
[36]
Peterson, Future directions of research in geometry: A summary of the panel dis- cussion at the 2007 Midwest Geometry Conference, SIGMA Symmetry Integrability Geom
L.J. Peterson, Future directions of research in geometry: A summary of the panel dis- cussion at the 2007 Midwest Geometry Conference, SIGMA Symmetry Integrability Geom. Methods Appl. 3 (2007), Paper 081, 7 pp
2007
-
[37]
Schulze, Nonlinear evolution by mean curvature and isoperimetric inequalities, J
F. Schulze, Nonlinear evolution by mean curvature and isoperimetric inequalities, J. Differential Geom. 79 (2008), no. 2, 197–241
2008
-
[38]
Semmes, Bi-Lipschitz mappings and strongA ∞ weights, Ann
S. Semmes, Bi-Lipschitz mappings and strongA ∞ weights, Ann. Acad. Sci. Fenn. Ser. A I Math. 18 (1993), no. 2, 211–248. ISOPERIMETRIC INEQUALITY ABOUTQ-CURVATURE 33
1993
-
[39]
Shiohama, Total curvatures and minimal areas of complete surfaces
K. Shiohama, Total curvatures and minimal areas of complete surfaces. Proc. Amer. Math. Soc. 94 (1985), no. 2, 310–316
1985
-
[40]
Y. Sire, Y. Wang, Fractional Poincar´ e inequality with finite total Q-curvature, Calc. Var. Partial Differential Equations 56 (2017), no. 2, Paper No. 35, 18 pp
2017
-
[41]
Topping, Mean curvature flow and geometric inequalities, J
P. Topping, Mean curvature flow and geometric inequalities, J. Reine Angew. Math. 503 (1998), 47–61
1998
-
[42]
Wang, The isoperimetric inequality and quasiconformal maps on manifolds with finite total Q-curvature, Int
Y. Wang, The isoperimetric inequality and quasiconformal maps on manifolds with finite total Q-curvature, Int. Math. Res. Not. IMRN 2 (2012), 394–422
2012
-
[43]
Wang, The isoperimetric inequality and Q-curvature, Adv
Y. Wang, The isoperimetric inequality and Q-curvature, Adv. Math. 281 (2015), 823–844
2015
-
[44]
Weil, Sur les surfaces a courbure negative, C.R
A. Weil, Sur les surfaces a courbure negative, C.R. Acad. Sci., Paris 182 (1926), 1069-1071
1926
-
[45]
Xiao, Toward best isoperimetric constants for (H 1, BM O)-normal conformal met- rics onR n,n≥3, Adv
J. Xiao, Toward best isoperimetric constants for (H 1, BM O)-normal conformal met- rics onR n,n≥3, Adv. Math. 220 (2009), no. 2, 540–559. Mingxiang Li, Department of Mathematics & Institute of Mathematical Sciences, The Chinese University of Hong Kong, Shatin, NT, Hong Kong Em...
2009
Reviewed July 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.