{"id":"e7be46c0-2e35-4546-b6ca-9dc4ca8c2600","arxiv_id":"2607.13742","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every smooth Poincaré-Einstein filling with positive-Yamabe conformal infinity, the type-I Escobar-Yamabe invariant of the compactification is bounded below by the boundary Yamabe invariant to the power n/(n+1), with equality only for the hyperbolic ball.","lead":"This paper proves a precise minimal-size rule for filling a curved boundary with a special interior geometry, confirming a conjecture by leading geometer Sun-Yung A. Chang. The rule says the interior invariant is always at least the boundary invariant raised to a fixed power, with equality only for the standard hyperbolic ball.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Only load-bearing concern is the external, unreviewed Brendle–Wang positive mass theorem cited in Remark 1.4 for existence of the type-I Escobar–Yamabe compactification; no internal gap found.","rationale":"Read the full argument. The core identities (2.2)–(2.4), the defect formula (3.14) and Lemma 3.3, and the super/subsolution estimates in §4 are algebraically coherent; I found no circularity or post-hoc fitting. The rigidity argument via doubling and Obata's theorem is standard. The single load-bearing weakness is the dependence of the proof's first step—the existence of the type-I Escobar–Yamabe compactification—on an external, unreviewed preprint [BW26]. The reader's weakest assumption identified exactly this. I agree with the reader's CONDITIONAL verdict; no change is needed. My concrete test asks for an independent verification of the PMT's applicability; if it fails, the theorem's unconditional statement is not proven.","tokens_in":18768,"tokens_out":27608,"duration_ms":242366,"concrete_test":"Obtain the precise statement of [BW26] and independently re-derive the existence of the type-I Escobar–Yamabe compactification for a smooth PE filling with Y(M)>0 in dimensions N≥5 using only published results (Escobar, Brendle–Chen, and any published positive mass theorem). In particular, check that the conformal factor is smooth up to the boundary and that the PMT rules out bubbles. If this re-derivation cannot be completed, Theorem 1.3 should be stated with the explicit GH17 solvability hypothesis, and the comparison inequality verified under that hypothesis.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.3 and the proof in Sections 2–5 require the type-I Escobar–Yamabe compactification g=ρ^2 g_+ to exist with R_g=N(N−1), H_g=0 for every smooth PE filling with positive-Yamabe conformal infinity. The only justification for removing the GH17 solvability assumption is Remark 1.4, which cites the Brendle–Wang positive mass theorem in arbitrary dimensions (arXiv:2604.08473), an unreviewed preprint. The paper gives no statement of the PMT, no verification that its hypotheses are met for the boundary Yamabe problem, and no proof that Escobar/Brendle–Chen plus [BW26] yields the needed smooth compactification in all dimensions N≥5. If [BW26] fails, or does not apply to the asymptotically flat manifolds arising from bubbles in the boundary Yamabe flow, the theorem is not established for all fillings. This is a correctness risk, not an internal inconsistency: the conformal identities, defect formula (3.14), and the estimates in Propositions 4.1–4.3 appear internally consistent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19033,"tokens_out":17362,"duration_ms":159522,"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":[{"comment":"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","section":"Remark 1.4 and Section 2"}],"minor_comments":[{"comment":"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.","section":"Lemma 3.1"},{"comment":"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":"Lemma 4.4, Eq. (4.29)"},{"comment":"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.","section":"Section 5.2"},{"comment":"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.","section":"Reference list"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is internally sound as far as I checked: the identities, defect formula, and dimension-dependent estimates are consistent. The only obstacle to acceptance is the dependence on the unreviewed Brendle–Wang preprint for the existence of the compactification. If the editor is willing to accept proofs that rely on another unreviewed preprint, the paper might be acceptable after a modest revision; otherwise the authors should be required to state Theorem 1.3 as conditional and to separate the unconditional results. I therefore recommend major revision rather than rejection, because the internal mathematics is defensible and the gap is external and explicitly identified by the authors."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThat 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.\n\nThe 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.\n\nWho 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.","headline":"A sharp, well-built proof of Chang's conjecture in all dimensions, conditional on Brendle–Wang's unreviewed PMT; deserves a serious referee.","tokens_in":19526,"tokens_out":3440,"would_cite":true,"duration_ms":30012,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every Poincaré–Einstein filling satisfies a sharp comparison inequality for its boundary-adapted Yamabe invariant, with equality only for the hyperbolic ball.","keywords":["Poincaré–Einstein manifolds","conformal infinity","Yamabe invariant","boundary-adapted compactification","area-volume defect","sharp inequality","rigidity","conformal filling"],"falsifier":"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.","tokens_in":18650,"feed_emoji":"📐","tokens_out":15698,"duration_ms":111590,"temperature":0.7,"pith_summary":"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.","feed_headline":"Sharp bound links a conformal filling to its boundary's Yamabe value","feed_subtitle":"The result proves a long-standing conjecture; the hyperbolic ball is the unique equality case.","key_machinery":"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;","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":[],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"error":"'choices'"},"cache_creation_input_tokens":0},"created_at":"2026-08-02T03:51:30.572735+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}