Sharp thresholds for the Escobar functional: the Escobar-Willmore mass, geometric selection, and compactness trichotomy

Mayukh Mukherjee; Utsab Sarkar

arxiv: 2601.22665 · v2 · pith:5ZSYWG46new · submitted 2026-01-30 · 🧮 math.DG · math.AP· math.CA

Sharp thresholds for the Escobar functional: the Escobar-Willmore mass, geometric selection, and compactness trichotomy

Mayukh Mukherjee , Utsab Sarkar This is my paper

Pith reviewed 2026-05-21 14:59 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.CA

keywords Escobar functionalconformal invariantsboundary Yamabe problemumbilic pointscompactnessblow-up analysisrenormalized mass

0 comments

The pith

In every dimension n at least 5, non-umbilic boundaries make the Escobar functional strictly subcritical.

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

The paper establishes that the Escobar functional on a compact manifold with boundary has critical value strictly below the hemisphere threshold whenever the boundary fails to be umbilic. This follows because the leading obstruction, after the first-order conformal mean-curvature term vanishes, is a renormalized boundary mass whose sign is controlled by the traceless second fundamental form. A sympathetic reader would care because the result organizes the entire near-threshold landscape: it forces all possible blow-up sequences to concentrate only on the umbilic stratum and identifies the next-order cubic invariant that decides compactness or further subcriticality.

Core claim

The renormalized boundary mass reduces, after exact evaluation of weighted profile moments sets the coefficients of Ricci and scalar curvature to zero, to a negative multiple of the squared norm of the traceless second fundamental form on the boundary. Consequently every non-umbilic boundary is automatically subcritical. At the threshold value, every blow-up of a positive constrained critical point must be one-bubble and must occur at an umbilic point where the renormalized mass and its tangential gradient both vanish; the cubic invariant then governs the subsequent bifurcation.

What carries the argument

The renormalized boundary mass, obtained after Lyapunov-Schmidt correction once the weighted profile moments have cancelled the first-order curvature contributions.

If this is right

C^*_Esc is strictly less than the hemisphere constant S_* whenever the traceless second fundamental form is nonzero.
At threshold, every blow-up of positive constrained critical points is one-bubble and concentrates at an umbilic point with vanishing renormalized mass and vanishing tangential gradient.
When the cubic invariant is negative, subcriticality persists; when it is positive and n at least 7, compactness and hemispherical rigidity hold.
In the multi-bubble regime, equal-mass quantization yields global compactness with conditional exclusion of pure multi-bubbling.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Any extremal manifold achieving the hemisphere threshold must lie in the umbilic stratum with vanishing renormalized mass.
The cubic invariant could be used to produce a full classification of manifolds that attain the threshold value.
The same profile-moment cancellation technique may apply to other conformally covariant boundary problems.

Load-bearing premise

The exact evaluation of weighted profile moments that sets the coefficients of the Ricci curvature term and the scalar curvature term to zero, reducing the obstruction to the renormalized boundary mass.

What would settle it

Construction of a manifold with non-umbilic boundary that admits a positive constrained critical point achieving exactly the hemisphere constant, or a blow-up sequence concentrating at a point where the renormalized mass does not vanish.

read the original abstract

We study the hemisphere threshold for the conformally covariant Escobar functional on compact Riemannian manifolds $(M^n,g)$ with boundary. The near-threshold landscape is organized by boundary invariants: the first-order coefficient $\rho_n^{\mathrm{conf}}H_g$ vanishes identically, so the leading obstruction is a renormalized boundary mass $\mathfrak R_g$ (second order, $n\ge5$), followed by a cubic invariant $\Theta_g$ (third order, $n\ge6$), with a Green kernel interaction $\mathsf G_\partial$ in the multi-bubble regime. Exact evaluation of weighted profile moments yields $\kappa_1=\kappa_2=0$: the coefficients of $\operatorname{Ric}_g(\nu,\nu)$ and $\mathrm{Scal}_{\bar g}$ in the bare mass vanish. On $\{H_g=0\}$ the mass reduces to $\mathfrak R_g^{\mathrm{bare}}=\frac{6-n}{2(n-1)(n-3)(n-4)}|\mathring{\mathrm{II}}|^2$. The Lyapunov--Schmidt correction gives $\mathfrak R_g^{\mathrm{red}}\le\mathfrak R_g^{\mathrm{bare}}\le0$ for $n\ge6$; for $n=5$ the nonlocal back-reaction overcomes the positive bare coefficient. In every dimension $n\ge5$, non-umbilic boundaries are automatically subcritical: $C^*_{\mathrm{Esc}}<S_\ast$ whenever $\mathring{\mathrm{II}}\neq0$. At threshold, on manifolds not conformally diffeomorphic to the hemisphere, every blow-up of positive constrained critical points is one-bubble and concentrates at an umbilic point with $\mathfrak R_g=0$, $\nabla_\partial\mathfrak R_g=0$. Since $\mathfrak R_g^{\mathrm{red}}<0$ at every non-umbilic point, threshold concentration occurs only on the umbilic stratum $\{\mathring{\mathrm{II}}=0\}$. There $\Theta_g$ governs the next bifurcation: $\Theta_g<0$ forces subcriticality; for $n\ge7$, $\Theta_g>0$ yields compactness and hemispherical rigidity. In the multi-bubble regime we establish global compactness at Escobar multiples with equal-mass quantization and conditional exclusion of pure multi-bubbling.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper organizes the Escobar threshold with renormalized boundary mass and cubic invariants, giving subcriticality for non-umbilic boundaries in n≥5 and a clean trichotomy for blow-ups.

read the letter

The main takeaway is that the authors organize the near-threshold landscape for the Escobar functional with two new boundary invariants: a renormalized mass R_g at second order and a cubic invariant Θ_g at third order. This leads to a trichotomy for compactness and subcriticality. They show that the first-order term involving mean curvature vanishes, and after evaluating weighted moments of the bubble, the coefficients of Ricci and scalar curvature drop out. This reduces the obstruction to a mass term proportional to the squared traceless second fundamental form for n at least 6, with a nonlocal correction for n=5. As a result, non-umbilic boundaries are subcritical in all dimensions five and up. Blow-ups at threshold must be single bubbles at umbilic points where this mass and its tangential gradient vanish. The cubic term then controls the next level, giving subcriticality when negative and compactness plus rigidity when positive for n at least 7. The moment calculations and the Lyapunov-Schmidt reduction are the parts that do the heavy lifting here. The explicit mass formula on zero mean curvature boundaries is a clean output. The global compactness statement in the multi-bubble case with equal mass quantization is also useful, though conditional. The potential soft spot is the exact cancellation in those profile moments. If any residual from other curvature terms survives the Escobar boundary conditions, it could affect the sign, particularly for n=5. If the derivations confirm the vanishing without gaps, the subcriticality claim holds up. This paper is for researchers in conformal geometry who care about boundary Yamabe problems and blow-up analysis. Readers who want a structured way to handle existence and rigidity near the hemisphere will find it helpful. It deserves serious refereeing because the claims are precise and the approach builds on standard techniques in a systematic way. I would recommend sending it out for peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript studies sharp thresholds for the conformally covariant Escobar functional on compact Riemannian manifolds with boundary. It shows that the first-order coefficient ρ_n^conf H_g vanishes identically, identifies the renormalized boundary mass R_g as the leading second-order obstruction for n≥5 (with explicit bare-mass formula reducing to a multiple of |II|^2 on {H_g=0}), and proves that non-umbilic boundaries are automatically subcritical (C^*_Esc < S_* whenever II ≠ 0). The analysis proceeds via weighted profile moments yielding κ1=κ2=0, Lyapunov-Schmidt reduction, one-bubble concentration at umbilic points with R_g=0 and ∇_∂ R_g=0, and a trichotomy governed by the cubic invariant Θ_g; global compactness with equal-mass quantization is obtained in the multi-bubble regime.

Significance. If the central claims hold, the work supplies a precise geometric selection principle and compactness trichotomy for the Escobar problem, organized by boundary invariants. The explicit evaluation of profile moments, the reduction of the mass to |II|^2, and the distinction between bare and reduced masses constitute technical strengths that clarify the near-threshold landscape and the role of umbilicity.

major comments (2)

[profile moments and Lyapunov-Schmidt correction] § on profile moments and Lyapunov-Schmidt correction: the claim that κ1=κ2=0 follows from exact evaluation of weighted moments of the standard bubble is load-bearing for the subcriticality statement. The manuscript must explicitly display the cancellation of the Ric_g(ν,ν) and Scal terms under the Escobar boundary conditions; without this verification, a nonzero residual could alter the sign of R_g^bare for n=5 and undermine the automatic subcriticality for non-umbilic boundaries.
[Mass formula on H_g=0] Mass formula on {H_g=0}: the coefficient (6-n)/[2(n-1)(n-3)(n-4)] in R_g^bare and the nonlocal correction for n=5 are stated but not derived in the provided text. The inequality R_g^red ≤ R_g^bare ≤ 0 for n≥6 must be justified by the Lyapunov-Schmidt correction to confirm that the leading obstruction is indeed non-positive away from umbilics.

minor comments (2)

Introduce the notation for the renormalized mass R_g and the cubic invariant Θ_g at the beginning of the abstract or introduction for improved readability.
[multi-bubble regime] In the multi-bubble regime, specify the precise conditions under which pure multi-bubbling is excluded.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major point below and will revise the manuscript to incorporate the requested clarifications and derivations.

read point-by-point responses

Referee: § on profile moments and Lyapunov-Schmidt correction: the claim that κ1=κ2=0 follows from exact evaluation of weighted moments of the standard bubble is load-bearing for the subcriticality statement. The manuscript must explicitly display the cancellation of the Ric_g(ν,ν) and Scal terms under the Escobar boundary conditions; without this verification, a nonzero residual could alter the sign of R_g^bare for n=5 and undermine the automatic subcriticality for non-umbilic boundaries.

Authors: We agree that explicit verification of the cancellations is required for rigor. The manuscript asserts that exact evaluation of the weighted profile moments yields κ1=κ2=0 with vanishing coefficients of Ric_g(ν,ν) and Scal under the Escobar conditions, but we will add a dedicated computation (in an appendix or expanded section of the revised version) displaying these cancellations term by term. This will confirm that no nonzero residual remains and that the sign of R_g^bare for n=5 is unaffected, thereby supporting the automatic subcriticality for non-umbilic boundaries. revision: yes
Referee: Mass formula on {H_g=0}: the coefficient (6-n)/[2(n-1)(n-3)(n-4)] in R_g^bare and the nonlocal correction for n=5 are stated but not derived in the provided text. The inequality R_g^red ≤ R_g^bare ≤ 0 for n≥6 must be justified by the Lyapunov-Schmidt correction to confirm that the leading obstruction is indeed non-positive away from umbilics.

Authors: We acknowledge that the coefficient and the nonlocal correction for n=5, as well as the justification of the inequality, were stated without full derivation in the initial text. In the revised manuscript we will derive the factor (6-n)/[2(n-1)(n-3)(n-4)] directly from the profile moments on {H_g=0}, supply the explicit nonlocal back-reaction term for n=5, and detail the Lyapunov-Schmidt correction establishing R_g^red ≤ R_g^bare ≤ 0 for n≥6. These additions will confirm that the leading obstruction remains non-positive away from umbilics. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central claims rest on explicit moment evaluations and independent reductions.

full rationale

The paper derives subcriticality for non-umbilic boundaries via explicit computation of weighted profile moments that yield κ1=κ2=0, followed by reduction of the bare mass to a multiple of |II|^2 on {H_g=0} and Lyapunov-Schmidt corrections. These steps are presented as direct analytic evaluations rather than definitional identities or fitted parameters renamed as predictions. No load-bearing self-citations, uniqueness theorems imported from prior work, or ansatzes smuggled via citation appear in the derivation chain. The overall argument remains self-contained against the stated computations and does not reduce the final claims to their inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The claims rest on standard Riemannian geometry, the conformal covariance of the Escobar functional, and the validity of the Lyapunov-Schmidt reduction near the hemisphere; new entities R_g and Θ_g are introduced without independent external evidence.

axioms (2)

domain assumption The Escobar functional is conformally covariant on manifolds with boundary
Invoked throughout the abstract to justify the threshold analysis.
domain assumption Lyapunov-Schmidt reduction applies to the constrained critical points near the hemisphere
Used to obtain the reduced mass R_g^red and the inequalities for n≥5.

invented entities (2)

Renormalized boundary mass R_g no independent evidence
purpose: Second-order obstruction after vanishing of first-order term
Defined via profile moments and used to classify subcriticality and concentration points.
Cubic invariant Θ_g no independent evidence
purpose: Third-order term governing bifurcation for n≥6
Introduced to distinguish subcriticality from compactness and rigidity.

pith-pipeline@v0.9.0 · 5970 in / 1535 out tokens · 71752 ms · 2026-05-21T14:59:04.984386+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Exact evaluation of weighted profile moments yields κ1=κ2=0: the coefficients of Ric_g(ν,ν) and Scal_g|∂M in the bare mass vanish. On {H_g=0} the mass reduces to R_g^bare = (6-n)/[2(n-1)(n-3)(n-4)] |II̊|^2
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The Escobar-Willmore splitting of the second-order coefficient (valid for n≥5): R_g = κ1(n) Ric_g(ν,ν) + κ2(n) Scal_g|∂M + κ3(n)|II̊|^2, κ3(n)<0

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.