A sharp relative comparison inequality for conformal fillings of Poincar\'e--Einstein manifolds

Nan Wu

REVIEW 1 major objections 4 minor 30 references

A sharp relative comparison inequality for conformal fillings of Poincar\'e--Einstein manifolds

T0 review · 1 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every Poincaré–Einstein filling satisfies a sharp comparison inequality for its boundary-adapted Yamabe invariant, with equality only for the hyperbolic ball.

desk verdict A sharp, well-built proof of Chang's conjecture in all dimensions, conditional on Brendle–Wang's unreviewed PMT; deserves a serious referee. read the letter →

arxiv 2607.13742 v1 pith:DVSLVH3Q submitted 2026-07-15 math.DG math.AP

Nan Wu This is my paper · ORCID

classification math.DGmath.AP MSC 53C2153C25

keywords Poincaré–EinsteinmanifoldsconformalinfinityYamabeinvariantboundary-adaptedcompactificationarea-volumedefectsharpinequalityrigidityfilling

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a sharp comparison inequality for conformal fillings of Poincaré–Einstein manifolds: the normalized type-I boundary-adapted Yamabe invariant of any filling with positive-Yamabe conformal infinity is bounded below by the boundary Yamabe invariant raised to the exponent n/(n+1), using the round hemisphere as the reference. The bound is sharp, and equality occurs exactly when the filling is the standard hyperbolic ball. The proof reduces the inequality to a volume lower bound and controls the area–volume defect of the compactified metric by an error term involving the trace-free Ricci curvature. Explicit one-dimensional supersolutions handle the low dimensions, and a nonlinear correction handles dimensions five and up. If the paper is right, it settles a conjecture and provides a sharp necessary condition for the existence of Einstein fillings.

What carries the argument

The core is the area–volume defect formula A − C_N V = ∫_X w β_N(ρ) dvg, where ρ is the defining function, w = −(Δρ + Nρ) ≥ 0 is a nonnegative correction tied to the trace-free Ricci tensor, and β_N is built from the round-hemisphere calibration Φ_N. The model hemisphere gives equality area = C_N volume; a general filling's excess is exactly the weighted integral of wβ_N(ρ). The proof constructs one-dimensional functions f_N with L_N f_N = β_N and positive correction P_N[f_N] ≥ 0 (N=3,4) or the inequality β_N² ≤ 2C_N P_N (N≥5), so integration by parts bounds the defect by a controlled multiple of Q = ∫ ρ|E|² dvg. This reduces the sharp comparison to an estimate of the trace-free Ricci error;

What would settle it

Evaluate the inequality for a smooth one-parameter family of Poincaré–Einstein fillings obtained by perturbing the hyperbolic metric on the ball; a direct numerical or asymptotic check of Y1/Y1(hemisphere) ≥ (Y(M)/Y(S^n))^{n/(n+1)} along the family would test the theorem. Alternatively, verify the auxiliary pointwise estimate β_N² ≤ 2C_N P_N for N≥5 at values of r near 1; any violation would invalidate the higher-dimensional proof.

Watch

Extended reading notes

Core claim

The paper proves the comparison inequality Y1(X,M,[gbar])/Y1(S^{n+1}_+,S^n) ≥ (Y(M,[h])/Y(S^n))^{n/(n+1)} for every smooth Poincaré–Einstein manifold with positive-Yamabe conformal infinity, with equality precisely for hyperbolic space. The key step is to show this is equivalent to the volume bound V ≥ V_+(Y(M)/Y(S^n))^{n/2} in the type-I boundary-adapted compactification, where the reverse area–volume excess A − C_N V equals ∫ w β_N(ρ) dvg and is controlled by the trace-free Ricci error Q = ∫ ρ|E|² dvg via one-dimensional supersolutions (N=3,4) or a nonlinear correction (N≥5). Equality forces Q=0, so the compactified metric is Einstein; a doubling argument then identifies the filling as the

Load-bearing premise

The proof assumes that every smooth Poincaré–Einstein manifold with positive-Yamabe conformal infinity admits a smooth type-I boundary-adapted compactification; this is justified by an externally announced positive mass theorem in arbitrary dimensions that has not yet been peer-reviewed.

Editorial extensions

If this is right

The inequality gives a sharp necessary condition for existence: any Poincaré–Einstein filling of a positive-Yamabe conformal infinity must satisfy the volume lower bound V ≥ V_+(Y(M)/Y(S^n))^{n/2} in its boundary-adapted compactification.
Equality happens only for the hyperbolic ball, so the exponent n/(n+1) and the normalization cannot be improved.
The theorem resolves the conjecture in every dimension N≥3, with the low dimensions (3 and 4) handled by explicit supersolutions and the higher dimensions by a nonlinear correction.
The result removes the earlier solvability assumption on the compactification, provided the cited positive mass theorem in arbitrary dimensions is valid.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same defect-control mechanism may apply to other boundary functionals, suggesting analogous sharp comparison inequalities for boundary Q-curvature or other conformal invariants beyond the Yamabe constant.
If the existence of the type-I compactification were established by an independent route, the main theorem would remain valid; conversely, a gap in the cited positive mass theorem would leave the theorem proven only under the original solvability assumption.
A testable corollary is that the inequality should hold for all smooth one-parameter families of Poincaré–Einstein fillings close to hyperbolic space, with equality approached only in the hyperbolic limit.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Read this one. Nan Wu proves Chang's conjecture: the sharp type-I Escobar-Yamabe comparison inequality (1.4) with rigidity, for Poincaré–Einstein fillings of positive-Yamabe infinity, in all dimensions. That is a significant open-result proof, not a routine extension. Gursky–Han and Chang–Ge only had nonsharp estimates; Chen–Lai–Wang and Wang–Wang handled the type-II compactification. The new machinery is the exact area-volume defect formula (3.14), reverse-defect control via one-dimensional supersolutions in dimensions 3 and 4, and a nonlinear correction for N≥5. I checked the main chains: the conformal Einstein identities (2.2)-(2.10), the defect computation, and the dimension estimates in Section 4 are internally consistent. I found no fitted constants, no circularity, no invented data. The author cites the prior literature correctly and flags the one external dependency clearly in Remark 1.4.

That dependency is the only load-bearing soft spot. The theorem is stated for every smooth PE filling with Y(M,[h])>0. To remove the solvability assumption Gursky–Han needed for the type-I compactification, the paper relies on the Brendle–Wang positive mass theorem in arbitrary dimensions (arXiv:2604.08473), an unreviewed preprint. Remark 1.4 gives no statement of the PMT and no verification that its hypotheses apply to the asymptotically flat manifolds arising from bubbles in the boundary Yamabe problem. If BW26 fails or does not apply, the theorem as stated is not established. This makes the proof conditional, not flawed; the internal argument is intact.

The rest is solid. The N=3 and N=4 cases are self-contained, and they already settle the conjecture in low dimensions. The rigidity argument via the double and Obata's theorem is standard and correct once equality forces Q=0. My only other comment is minor: Proposition 4.3 depends on a pointwise inequality (4.21) whose proof is a long polynomial verification; I did not redo every line, but the structure is sound and the endpoint behavior checks out.

Who gets value: conformal geometers working on filling obstructions, Yamabe invariants, and the positive mass theorem. This paper deserves a serious referee. The referee's main task is to scrutinize the application of BW26; if that theorem holds, this is a major result. I would happily pull it for reading group.

Referee Report

1 major / 4 minor

Summary. The paper claims to prove a sharp conformally invariant relative comparison inequality for Poincaré–Einstein manifolds: if (X^N,g_+) has conformal infinity of positive Yamabe type, then the type-I Escobar–Yamabe invariant of any compactification divided by the model hemisphere invariant is bounded below by the boundary Yamabe invariant ratio raised to n/(n+1), with equality only for hyperbolic space. The proof introduces a compactification g=ρ^2 g_+ with R_g=N(N−1), H_g=0, derives identities for the defining function and trace-free Ricci tensor, obtains an exact area-volume defect formula A−C_N V=∫ w β_N(ρ) (Lemma 3.2), and then controls this defect by dimension-dependent estimates (Propositions 4.1–4.3). Combining the resulting volume lower bound with the boundary Yamabe inequality gives the desired inequality; equality analysis forces Q=∫ρ|E|^2=0 and, through the double-manifold argument and Obata's theorem, rigidity. The theorem is, however, explicitly conditional upon an external, unreviewed positive mass theorem [BW26] used to justify existence of the type-I Escobar–Yamabe compactification.

Significance. If correct, the paper confirms the Chang conjecture with the optimal exponent and the full rigidity statement in all dimensions N≥3. The internal analytic machinery is substantial and largely self-contained: the exact defect identity (3.14), the extension lemma for the model functions, and the dimension-specific supersolutions are all explicit and traceable. I did not find circularity: the target inequality is not assumed, and the cited external results (boundary Yamabe, Obata, DeTurck–Kazdan, positive mass) are independent of the conjecture. The main strength is the reduction of a global conformal filling inequality to a one-dimensional comparison problem. The principal weakness is that the central existence step is delegated to an unreviewed preprint, so the unconditional statement of Theorem 1.3 is not currently established.

major comments (1)

[Remark 1.4 and Section 2] The proof of Theorem 1.3 is load-bearing dependent on the existence of the type-I Escobar–Yamabe compactification g=ρ^2 g_+ with R_g=N(N−1) and H_g=0 for every smooth PE filling with positive-Yamabe conformal infinity. Remark 1.4 asserts that this assumption can be removed by citing Escobar [Esc92], Brendle–Chen [BC14], and the Brendle–Wang positive mass theorem [BW26], an unreviewed preprint (arXiv:2604.08473). The paper gives no statement of the positive mass theorem, no verification that the asymptotically flat manifolds arising from the boundary Yamabe minimizing sequence satisfy its hypotheses in every dimension N≥5, and no explanation of how [BW26] bypasses the solvability assumptions in [GH17]. This is not a cosmetic issue: Sections 2–5 all take the compactification as given. If [BW26] fails, or does not apply, then Theorem 1.3 as stated is not proved. I request either (a) a preci

minor comments (4)

[Lemma 3.1] In the proof, the notation H_N is overloaded: H_N(r)=K_N(r)/(1−r^2)^{N/2} and later H_N(a) denotes the smooth function of a=1−r^2. Renaming one of them would avoid confusion.
[Lemma 4.4, Eq. (4.29)] The positivity check of S_N(r) for N=5 is asserted without displaying the polynomial. Writing S_5(r)=−39r^4+458r^2+961 and noting that it is positive on [0,1] would make the verification easier to audit.
[Section 5.2] In the four-dimensional case, the derivation of C_4 V ≥ (Y(M)/6)^{3/2} implicitly uses Lemma 3.3 (A≥C_4 V) in addition to the boundary Yamabe inequality. This step should be made explicit for readability.
[Reference list] The reference [BW26] is a preprint; the text of Remark 1.4 should state this explicitly, not only in the bibliography, and ideally indicate whether an accepted/peer-reviewed version exists.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the target inequality is derived from conformal Einstein identities, an exact defect formula, and independent external results; no parameter is fitted to the conclusion.

full rationale

The derivation chain is self-contained apart from external analytic inputs, and none of those inputs is the theorem being proved. The main inequality (1.4) is first reduced by the normalization Y1 = N(N-1)V^{2/N} to the volume lower bound V >= V_+ (Y(M)/Y(S^n))^{n/2}; this is an algebraic reformulation, not an assumption. The decisive ingredients are the identity (2.10), the exact defect formula (3.14), and the supersolution estimates in Propositions 4.1-4.3. These are derived from the conformal Einstein equations, the divergence theorem, and explicit one-dimensional ODE analysis; no constant is fitted to the conjectured inequality. The boundary Yamabe inequality and Obata's theorem are standard external results. The only load-bearing external reliance is Remark 1.4's use of the Brendle-Wang positive mass theorem (arXiv:2604.08473) to remove Gursky-Han's solvability assumption for the type-I Escobar-Yamabe compactification. That theorem is an unreviewed preprint and its applicability is a correctness risk, but it is not a circular step: it does not presuppose the relative comparison inequality, and it is not a self-citation of the present author. No quoted equation reduces to its own input, and no fitted parameter is renamed as a prediction. The paper therefore exhibits no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted: C_N, Phi_N, H_N, and f_N are explicitly defined from hemisphere geometry. The main structural dependency is the Brendle-Wang positive mass theorem, which is external and unreviewed. No new geometric or physical entities are introduced.

assumptions (6)

domain assumption Brendle-Wang positive mass theorem in arbitrary dimensions (arXiv:2604.08473) is valid.
Remark 1.4 invokes it to remove the solvability hypothesis in Gursky-Han and to guarantee existence of the type-I Escobar-Yamabe compactification.
domain assumption The type-I Escobar-Yamabe compactification exists smoothly for every PE filling with positive-Yamabe conformal infinity, normalized by R_g=N(N-1), H_g=0.
Section 2 starts from such a compactification; all subsequent estimates depend on it.
domain assumption Yamabe problem on compact manifolds with boundary has a solution for positive-Yamabe conformal infinities (Escobar; Brendle-Chen).
Background for the compactification, cited in Remark 1.4 with [BW26].
standard math Obata's theorem: a complete Einstein manifold admitting a nonconstant function with Hessian proportional to minus the metric is a round sphere.
Used in Section 5.4 to identify the double of the equality case.
standard math DeTurck-Kazdan regularity theorem: C^{2,alpha} Einstein metrics are real analytic in harmonic coordinates.
Used in Lemma 5.1 to promote the doubled Einstein metric to smoothness.
standard math Boundary Yamabe inequality and conformal invariance of total scalar curvature on surfaces.
Used in Section 5 to pass from scalar curvature integrals to Yamabe invariants.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A sharp relative comparison inequality for conformal fillings of Poincar\'e--Einstein manifolds." pith.science (2026). https://pith.science/paper/DVSLVH3Q

@misc{pith2026260713742,
  author       = {Pith},
  title        = {Pith review of: A sharp relative comparison inequality for conformal fillings of Poincar\'e--Einstein manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DVSLVH3Q}},
  note         = {Machine review of arXiv:2607.13742}
}

abstract

Let $(X^{n+1},g_+)$ be a Poincar\'e--Einstein manifold with conformal infinity $(M^n,[h])$ of positive Yamabe type. We prove the sharp relative comparison inequality $$\frac{Y_1(X,M,[\bar g])}{Y_1(\mathbb{S}^{n+1}_+,\mathbb{S}^n,[g_{\mathbb{S}_+^{n+1}}])} \geq \left(\frac{Y(M,[h])}{Y(\mathbb{S}^n,[g_{\mathbb{S}^n}])}\right)^{\frac{n}{n+1}} $$ for the type-I Escobar--Yamabe compactification, and establish the rigidity. This confirms a conjecture proposed by Sun-Yung A. Chang.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 1 canonical work pages

[1]

, title =

Anderson, Michael T. , title =. Geometric and Functional Analysis , volume =. 2008 , doi =

2008
[2]

, title =

Anderson, Michael T. , title =. Perspectives in Riemannian Geometry , series =
[3]

1998 , doi =

Aubin, Thierry , title =. 1998 , doi =

1998
[4]

Journal of the European Mathematical Society , volume =

Brendle, Simon and Chen, Sophie , title =. Journal of the European Mathematical Society , volume =. 2014 , doi =

2014
[5]

Advances in Mathematics , volume =

Chang, Sun-Yung Alice and Ge, Yuxin , title =. Advances in Mathematics , volume =. 2018 , doi =

2018
[6]

2025 , eprint =

Chang, Sun-Yung Alice and Ge, Yuxin , title =. 2025 , eprint =

2025
[7]

Advances in Mathematics , volume =

Chang, Sun-Yung Alice and Ge, Yuxin and Qing, Jie , title =. Advances in Mathematics , volume =. 2020 , doi =

2020
[8]

Escobar, Jos. The. Journal of Differential Geometry , volume =. 1992 , doi =

1992

Show all 30 references

[9]

Robin , title =

Fefferman, Charles and Graham, C. Robin , title =. 2012 , doi =

2012
[10]

Robin and Lee, John M

Graham, C. Robin and Lee, John M. , title =. Advances in Mathematics , volume =. 1991 , doi =

1991
[11]

and Han, Qing , title =

Gursky, Matthew J. and Han, Qing , title =. Geometric and Functional Analysis , volume =. 2017 , doi =

2017
[12]

and Han, Qing and Stolz, Stephan , title =

Gursky, Matthew J. and Han, Qing and Stolz, Stephan , title =. Transactions of the American Mathematical Society , volume =. 2021 , doi =

2021
[13]

Gursky, Matthew J. and Sz. A local existence result for. Advances in Mathematics , volume =. 2020 , doi =

2020
[14]

, title =

Lee, John M. , title =. Memoirs of the American Mathematical Society , volume =. 2006 , doi =

2006
[15]

Transactions of the American Mathematical Society , volume =

Li, Gang and Qing, Jie and Shi, Yuguang , title =. Transactions of the American Mathematical Society , volume =. 2017 , doi =

2017
[16]

Journal of the Mathematical Society of Japan , volume =

Obata, Morio , title =. Journal of the Mathematical Society of Japan , volume =. 1962 , doi =

1962
[17]

Proceedings of the American Mathematical Society , volume =

Wang, Xiaodong and Wang, Zhixin , title =. Proceedings of the American Mathematical Society , volume =. 2022 , doi =

2022
[18]

2026 , eprint=

A dimension descent scheme for the positive mass theorem in arbitrary dimension , author=. 2026 , eprint=

2026
[19]

2019 , publisher=

Chen, Xuezhang and Lai, Mijia and Wang, Fang , journal=. 2019 , publisher=. doi:10.1016/j.aim.2018.12.003 , url=

2019 doi
[20]

Anti de Sitter space and holography

Witten, Edward. Anti de Sitter space and holography. Adv. Theor. Math. Phys. 1998. hep-th/9802150

1998 arXiv
[21]

1985 , series=

Conformal invariants , author=. 1985 , series=

1985
[22]

On a conjecture of

Kichenassamy, Satyanad , journal =. On a conjecture of. 2004 , issn =. doi:https://doi.org , url =

2004
[23]

and Ge, Yuxin and Jin, Xiaoshang and Qing, Jie , journal=

Chang, Sun-Yung A. and Ge, Yuxin and Jin, Xiaoshang and Qing, Jie , journal=. Perturbation compactness and uniqueness for a class of conformally compact. 2024 , publisher=

2024
[24]

Rigidity of

Lee, Sanghoon and Wang, Fang , year =. Rigidity of. 2503.06062 , archivePrefix =

arXiv
[25]

A Sharp Inequality Relating

Wang, Xiaodong and Wang, Zhixin , journal =. A Sharp Inequality Relating. 2025 , doi =

2025
[26]

Lower Bounds for the Relative Volume of

Wang, Fang and Zhou, Huihuang , journal =. Lower Bounds for the Relative Volume of. 2026 , publisher =

2026
[27]

A Note on the Compactness of

Wang, Fang and Zhou, Huihuang , journal =. A Note on the Compactness of. 2023 , publisher =

2023
[28]

On the Rigidity for Conformally Compact

Qing, Jie , journal =. On the Rigidity for Conformally Compact. 2003 , publisher =

2003
[29]

Chang, Sun-Yung Alice and Yang, Paul and Zhang, Ruobing , journal=. On the. 2025 , url=

2025
[30]

and Kazdan, Jerry L

DeTurck, Dennis M. and Kazdan, Jerry L. , journal =. Some regularity theorems in. 1981 , publisher =

1981

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [1]

, title =

Anderson, Michael T. , title =. Geometric and Functional Analysis , volume =. 2008 , doi =

2008

[2] [2]

, title =

Anderson, Michael T. , title =. Perspectives in Riemannian Geometry , series =

[3] [3]

1998 , doi =

Aubin, Thierry , title =. 1998 , doi =

1998

[4] [4]

Journal of the European Mathematical Society , volume =

Brendle, Simon and Chen, Sophie , title =. Journal of the European Mathematical Society , volume =. 2014 , doi =

2014

[5] [5]

Advances in Mathematics , volume =

Chang, Sun-Yung Alice and Ge, Yuxin , title =. Advances in Mathematics , volume =. 2018 , doi =

2018

[6] [6]

2025 , eprint =

Chang, Sun-Yung Alice and Ge, Yuxin , title =. 2025 , eprint =

2025

[7] [7]

Advances in Mathematics , volume =

Chang, Sun-Yung Alice and Ge, Yuxin and Qing, Jie , title =. Advances in Mathematics , volume =. 2020 , doi =

2020

[8] [8]

Escobar, Jos. The. Journal of Differential Geometry , volume =. 1992 , doi =

1992