Pith. sign in

REVIEW 1 major objections 7 minor 22 references

Sharp Stability of Global Compactness on the Heisenberg Group

T0 review · 1 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper proves a sharp quantitative stability estimate on the Heisenberg group: near a sum of weakly interacting Jerison-Lee bubbles, the distance to the bubble manifold is controlled by a dimension-dependent power of the CR Yamabe…

desk verdict First sharp quantitative stability of global compactness for the CR Yamabe equation on the Heisenberg group; the central proof is sound, and the main flagged gap in identity (2.10) is expositional rather than fatal. read the letter →

arxiv 2506.11404 v1 pith:AQYYJ6WM submitted 2025-06-13 math.AP

Hua Chen , Yun-lu Fan , Xin Liao This is my paper · ORCID
classification math.AP MSC 35B3335B3535H2035J70
keywords quantitativestabilityCRYamabeequationHeisenberggroupJerison-LeebubblesglobalcompactnessFolland-Stein-Sobolevspacesharp
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

This paper proves a sharp stability inequality for the critical CR Yamabe equation on the Heisenberg group. It shows that any function in the Folland-Stein-Sobolev space $\mathcal{D}^1$ that is close to a sum of $m$ weakly interacting Jerison-Lee bubbles and almost solves the equation must in fact be quantitatively close to some sum of such bubbles. The distance to the bubble manifold is controlled by $\Gamma(u)=\|\Delta_{\mathbb{H}^n}u+|u|^{2/n}u\|_{\mathcal{D}^{-1}}$, with rate $\Gamma(u)$ for $n=1$, $\Gamma(u)|\log\Gamma(u)|^{1/2}$ for $n=2$, and $\Gamma(u)^{(n+2)/(2n)}$ for $n\ge 3$. A further estimate says the interaction parameter satisfies $\varepsilon^n \le C\Gamma(u)$. The paper also constructs examples showing these rates are optimal, so the result is the sharp quantitative form of global compactness on the Heisenberg group.

What carries the argument

The central objects are the Jerison-Lee bubbles $\mathfrak{g}_{\lambda,\xi}U$, the explicit extremal functions of the Folland-Stein-Sobolev inequality on $\mathbb{H}^n$; they solve the CR Yamabe equation $-\Delta_{\mathbb{H}^n}u=|u|^{2/n}u$. The argument is carried by four pieces: the nondegeneracy of the bubble, which says the null space of the linearized operator $-\Delta_{\mathbb{H}^n}-pU^{p-1}$ is exactly the span of the $2n+2$ conformal deformation vectors $Z_a$; a uniform linear estimate asserting that for weakly interacting configurations any $\rho$ orthogonal to those deformations satisfies $\|\rho\|_{\mathcal{D}^1}\lesssim\|\varphi\|_{\mathcal{D}^{-1}}$ for the linearized problem; explicit interaction integral estimates that quantify bubble overlaps in terms of $\varepsilon$; and a minimization argument on the bubble parameters that produces the orthogonality conditions.

What would settle it

For the two-bubble configuration $u=U(z,t)+U(z,t+1/\varepsilon)$ on $\mathbb{H}^2$, compute the ratio of the infimum distance to the bubble manifold over $\Gamma(u)|\log\Gamma(u)|^{1/2}$ as $\varepsilon\to0$; if the ratio did not stay bounded away from zero and infinity, the claimed $n=2$ rate would be wrong. The analogous check for $n\ge3$ uses the exponent $(n+2)/(2n)$.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.2, is that for each $m$ there is a small $\tilde\delta$ such that if $u\in \mathcal{D}^1$ lies within $\delta$ of a $\delta$-weakly interacting sum of $m$ Jerison-Lee bubbles, then there exist Jerison-Lee bubbles $\{\mathfrak{g}_{\lambda_i,\xi_i}U\}_{i=1}^m$ with \[ \|u-\sum_{i=1}^m \mathfrak{g}_{\lambda_i,\xi_i}U\|_{\mathcal{D}^1}\lesssim \begin{cases} \Gamma(u), & n=1,\\ \Gamma(u)|\log\Gamma(u)|^{1/2}, & n=2,\\ \Gamma(u)^{(n+2)/(2n)}, & n\ge 3, \end{cases} \] and $\varepsilon^n\lesssim \Gamma(u)$, where $\varepsilon=\max_{i\ne j}\varepsilon_{ij}$ is the interaction parameter. Here $\Gamma(u)=\|\Delta_{\mathbb{H}^n}u+|u|^{2/n}u\|_{\mathcal{D}^{-1}}$, and the exponent $(n+2)/(2n)$ equals $(Q+2)/(2(Q-2))$ with $Q=2n+2$ the homogeneous dimension. The estimate upgrades the existing qualitative global compactness theorem for nonnegative functions to a quantitative one, and the sharpness examples in Theorem 1.3 show the rates cannot be improved.

Load-bearing premise

The proof depends on the nondegeneracy of the Jerison-Lee bubble: the linearized CR Yamabe equation around $U$ has no solutions beyond the $2n+2$ scaling-and-translation deformations, and if that failed the key linear estimate $\|\rho\|_{\mathcal{D}^1}\lesssim\|\varphi\|_{\mathcal{D}^{-1}}$ would fail and with it the dimension-dependent rates.

Editorial extensions

If this is right

  • Quantitative global compactness: every nonnegative sequence with bounded energy and equation error tending to zero is $\mathcal{D}^1$-close to a sum of $m$ Jerison-Lee bubbles, with distance bounded by the stated power of the error.
  • The interaction bound $\varepsilon^n\lesssim\Gamma(u)$ makes precise how slowly bubbles can separate while the equation error tends to zero.
  • The sharpness examples show the power and log corrections are optimal, so no continuous improvement of the exponents is possible.
  • The result supplies the Heisenberg-group counterpart of the sharp stability of critical points of the Sobolev inequality.

Reading between the lines

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

  • Read as a general principle, the exponents depend only on the homogeneous dimension $Q=2n+2$; the same formulas may hold on any Carnot group where the Sobolev extremal is nondegenerate and explicit.
  • The log correction at $n=2$ mirrors the Euclidean six-dimensional case, suggesting the critical phenomenon is a coincidence of decay rates between the bubble tail and the Green's function; similar logs should appear in other sub-Riemannian settings at $Q=6$.
  • A testable extension: the same energy-based strategy, relying on concentration-compactness and nondegeneracy rather than pointwise estimates, should yield sharp stability for the Yamabe equation on the CR sphere once the analogous nondegeneracy is verified.
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.

Referee Report

1 major / 7 minor

Summary. The paper establishes a sharp quantitative stability estimate on the Heisenberg group for functions in D^1 that are close to a sum of m weakly interacting Jerison-Lee bubbles. The main result, Theorem 1.2, states that if the nonlinear remainder Gamma(u)=||Delta_{H^n}u+|u|^{2/n}u||_{D^{-1}} is small, then the D^1-distance from u to the manifold of m-bubble sums is controlled by Gamma(u) for n=1, by Gamma(u)|log Gamma(u)|^{1/2} for n=2, and by Gamma(u)^{(n+2)/(2n)} for n>=3, together with the interaction bound epsilon^n <= C Gamma(u). The proof combines a minimization argument with orthogonality conditions, an interaction lower bound (Proposition 3.1), a compactness-based linear estimate (Lemma 3.3), and explicit estimates for the interaction error f. The paper also proves sharpness (Theorem 1.3) via two-bubble examples, with the n=2 logarithmic factor coming from a duality estimate in Lemma 5.4. A corollary gives quantitative stability of global compactness for nonnegative functions.

Significance. If fully justified, the paper is a significant contribution: it extends the Euclidean quantitative stability results of Figalli-Glaudo and Deng-Sun-Wei to the CR Yamabe setting on the Heisenberg group, with rates depending on the homogeneous dimension Q=2n+2 exactly as the Euclidean rates depend on the spatial dimension. The proof is largely coherent and does not rely on fitted parameters; the rates are explicit and are matched by independent sharpness examples. The paper also makes good use of the nondegeneracy of Jerison-Lee bubbles and of concentration-compactness, and the auxiliary estimates in the appendix are substantive. The main missing piece is a fully demonstrated derivation of the key interaction identity (2.10), which is load-bearing for the inductive argument in Proposition 3.1; this is a local but important gap that should be fixed before publication.

major comments (1)
  1. [Section 2.2, identity (2.10)] Identity (2.10) is load-bearing for Proposition 3.1: it supplies the uniform negative sign and leading constant used in the induction at equations (3.19)-(3.21), without which the lower bound epsilon^{(Q-2)/2} <= C(||rho||^2+||h||) would not follow. However, the manuscript does not actually derive (2.10). The text states that it follows from (2.1)-(2.8) and Lemmas 5.1-5.4, but Lemma 5.2 is stated only for a positive bounded function K, while the relevant weight Z_{2n+2}/U is bounded but sign-changing, and no appendix lemma performs an asymptotic computation involving the conformal derivative Z_{2n+2}. Moreover, as stated, (2.10) is restricted to pairs with lambda_i <= lambda_j, but in Proposition 3.1 the bubbles are ordered as lambda_1 >= lambda_2 >= ... >= lambda_m and the identity is applied with i=1, the largest lambda, where the stated condition fails. The identity itself appears correct: applying Lemma 5.2 after extending it to bounded signed K, with K=Z_{2n+2}/U, gives the stated constant -(Q-2)^2/(2(Q+2)), and the same computation works for both orderings. The authors should provide a complete derivation of (2.10) for all i != j, or explain explicitly how the induction in Proposition 3.1 handles the largest-lambda bubble under the stated restriction.
minor comments (7)
  1. [Throughout] The name 'Jerison-Lee' is consistently misspelled as 'Jersion-Lee'; please correct this in the abstract, introduction, theorems, and remarks.
  2. [Corollary 1.1] The statement begins 'Let u in D^1 be a sequence of nonnegative functions'; it should say 'Let {u_k} be a sequence' or 'For any nonnegative u' and use the subscripted variable throughout.
  3. [Section 4, equations (4.1) and (4.7)] For the record, the apparent sign inconsistency between (4.1) and (4.7) does not materialize: applying -Delta to (4.7) and using -Delta P_{F^perp}Delta^{-1}w = w + sum (int e_k w) Delta e_k reproduces exactly (4.1). A one-line clarification would remove the ambiguity.
  4. [Section 4, Lemma 4.1 proof] The phrase 'Schmidt orthogonalization' should be 'Gram-Schmidt orthogonalization'.
  5. [Section 4, equations (4.5) and (4.14)] The symbol Q_i^{p-1} appears to be a typo for U_i^{p-1}; the surrounding text compares sigma^{p-1} with the i-th bubble raised to p-1.
  6. [Theorem 1.3 and Proposition 4.1] In the displayed lower bounds, the condition 'if m>=3' should read 'if n>=3'; the parameter m is the number of bubbles, while the dimension-dependent rate depends on n.
  7. [Lemma 5.2] Lemma 5.2 is stated for 'positive bounded K', but the proof only uses boundedness of K, not positivity. Stating the lemma for bounded (not necessarily positive) K would immediately justify the application to K=Z_{2n+2}/U in (2.10) and remove the need for a separate asymptotic computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the stability estimate is derived from independent interaction estimates, an external nondegeneracy theorem, and verified against sharpness examples.

full rationale

The paper's central claim, Theorem 1.2, bounds the D^1-distance to the manifold of m Jerison-Lee bubbles by powers of Gamma(u)=||Delta_{H^n}u+|u|^{2/n}u||_{D^{-1}}. The proof proceeds through two estimates: Proposition 3.1 gives the interaction lower bound epsilon^{(Q-2)/2} <= C(||rho||_{D^1}^2+||h||_{D^{-1}}), and Lemma 3.3 gives the linear stability bound ||rho||_{D^1} <= C||phi||_{D^{-1}} under the orthogonality conditions. Neither estimate assumes the conclusion of Theorem 1.2. Lemma 3.3 is proved by contradiction using the external nondegeneracy result of Malchiodi-Uguzzoni (Lemma 2.1, cited to [18]) and a standard compact embedding (Lemma 3.2, cited to [9]); this is independent support, not a self-citation, and it does not encode the target stability rates. Proposition 3.1 relies on the interaction identity (2.10) and the estimates (2.9), (2.11), (2.12), which the paper says follow from (2.1)-(2.8) and Lemmas 5.1-5.4. The appendix computes interaction integrals via explicit asymptotic expansions and yields the stated magnitudes; the sharpness section (Lemma 2.4 and Proposition 4.1) constructs examples for which the lower bound is attained, showing that the rates are not forced merely by the definitions. There are no fitted parameters, no renaming of known results, and no step in which the desired inequality is assumed to derive itself. The reviewer-identified concern about identity (2.10) is that the appendix's displayed lemmas (5.1-5.4) do not explicitly compute the integral containing the conformal derivative Z_{2n+2}; that is a possible gap in the proof of (2.10), but it is an omission or error in derivation, not circularity. Gaps and incorrect constants would affect correctness, not the circularity score. No circular steps were found.

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

The paper introduces no fitted constants, no new physical entities, and no ad hoc assumptions beyond known results from the Heisenberg group literature. The central claim rests on nondegeneracy, global compactness, and standard Sobolev/embedding facts, all cited to established sources.

assumptions (4)
  • domain assumption Non-degeneracy of the Jerison-Lee bubble: the kernel of -Delta_{H^n} - pU^{p-1} is exactly span{Z_a}_{a=1}^{2n+2}.
    Cited to Malchiodi-Uguzzoni [18] in Lemma 2.1. This is used in Lemma 3.3 to identify the weak limit of rescaled sequences as zero, and in Proposition 3.1 to exploit orthogonality to Z_a.
  • domain assumption Global compactness (concentration-compactness) for CR Yamabe on H^n: a bounded Palais-Smale sequence converges to a sum of Jerison-Lee bubbles.
    Proposition 1.2, cited to Tintarev [21] and Citti [6]. It is the qualitative input needed to derive Corollary 1.1 from Theorem 1.2.
  • standard math Weighted compact embedding D^1 into L^2_{U^{p-1}} for U^{p-1} in L^{Q/2}.
    Lemma 3.2, proof referenced to Proposition A.1 of Figalli-Glaudo [9]. This embedding is used in the compactness argument of Lemma 3.3 to pass to limits in weighted L^2 spaces.
  • standard math Folland-Stein fundamental solution and kernel estimates for -Delta_{H^n} on H^n.
    Used in Lemma 5.4 to represent the solution of -Delta_{H^2} omega = UV and to estimate the interaction in the n=2 case. Cited to Folland-Stein [12].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp Stability of Global Compactness on the Heisenberg Group." pith.science (2026). https://pith.science/paper/AQYYJ6WM

@misc{pith2026250611404,
  author       = {Pith},
  title        = {Pith review of: Sharp Stability of Global Compactness on the Heisenberg Group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AQYYJ6WM}},
  note         = {Machine review of arXiv:2506.11404}
}
read the original abstract

In this paper, we establish a sharp stability inequality on the Heisenberg group for functions that are close to the sum of m weakly interacting Jerison-Lee bubbles. As a consequence, we obtain a sharp quantitative stability of global compactness for non-negative functions on Heisenberg group.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

  1. [1]

    Aubin, Équations différentielles non linéaires et problème de Yamabe concernant la courbure scalaire,J

    T. Aubin, Équations différentielles non linéaires et problème de Yamabe concernant la courbure scalaire,J. Math. Pures Appl.,55(1976), no. 3, 269–296

    work page 1976

  2. [2]

    Bahri, J

    A. Bahri, J. M. Coron, On a nonlinear elliptic equation involving the critical Sobolev exponent: theeffectofthetopologyofthedomain,Comm.PureAppl.Math.,41(1988), no. 3, 253–294

    work page 1988

  3. [3]

    Bianchi, H

    G. Bianchi, H. Egnell, A note on the Sobolev inequality,J. Funct. Anal.,100(1991), no. 1, 18–24

    work page 1991

  4. [4]

    Stability in Gagliardo-Nirenberg-Sobolev inequalities: flows, regularity and the entropy method

    M. Bonforte, J. Dolbeault, B. Nazaret, N. Simonov, Stability in Gagliardo-Nirenberg- Sobolev inequalities: flows, regularity and the entropy method,arXiv preprint, arXiv:2007.03674, 2020

    work page Pith review arXiv 2007

  5. [5]

    Ciraolo, A

    G. Ciraolo, A. Figalli, F. Maggi, A quantitative analysis of metrics onR𝑛 with almost constant positive scalar curvature, with applications to fast diffusion flows,Int. Math. Res. Not. IMRN, (2018), no. 21, 6780–6797

    work page 2018

  6. [6]

    Citti, F

    G. Citti, F. Uguzzoni, Critical semilinear equations on the Heisenberg group: the effect of the topology of the domain,Nonlinear Anal.,46(2001), no. 3, 399–417. 28

    work page 2001

  7. [7]

    Cygan, Subadditivity of homogeneous norms on certain nilpotent Lie groups,Proc

    J. Cygan, Subadditivity of homogeneous norms on certain nilpotent Lie groups,Proc. Amer. Math. Soc.,83(1981), no. 1, 69–70

    work page 1981

  8. [8]

    B. Deng, L. M. Sun, J. C. Wei, Sharp quantitative estimates of Struwe’s decomposition, Duke Math. J.,174(2025), no. 1, 159–228

    work page 2025

Show all 22 references
  1. [9]

    Figalli, F

    A. Figalli, F. Glaudo, On the sharp stability of critical points of the Sobolev inequality, Arch. Ration. Mech. Anal.,237(2020), no. 1, 201–258

    2020

  2. [10]

    Figalli, R

    A. Figalli, R. Neumayer, Gradient stability for the Sobolev inequality: the case𝑝=2,J. Eur. Math. Soc. (JEMS),21(2019), no. 2, 319–354

    2019

  3. [11]

    J.,171(2022), no

    A.Figalli,Y.R.-Y.Zhang,SharpgradientstabilityfortheSobolevinequality,DukeMath. J.,171(2022), no. 12, 2407–2459

    2022

  4. [12]

    G. B. Folland, E. M. Stein, Estimates for the¯𝜕𝑏 complex and analysis on the Heisenberg group,Comm. Pure Appl. Math.,27(1974), no. 4, 429–522

    1974

  5. [13]

    R. L. Frank, Degenerate stability of some Sobolev inequalities,Ann. Inst. H. Poincaré C Anal. Non Linéaire,39(2022), no. 6, 1459–1484

    2022

  6. [14]

    Fusco, F

    N. Fusco, F. Maggi, A. Pratelli, The sharp quantitative isoperimetric inequality,Ann. of Math. (2),168(2008), no. 3, 941–980

    2008

  7. [15]

    D.Jerison, J. M. Lee, Extremalsfor the Sobolevinequality onthe Heisenberg groupand the CR Yamabe problem,J. Amer. Math. Soc.,1(1988), no. 1, 1–13

    1988

  8. [16]

    K.Liu,Q.Zhang,W.M.Zou,OnthestabilityofcriticalpointsoftheHardy-Littlewood- Sobolev inequality,arXiv preprint, arXiv:2306.15862, 2023

    2023 arXiv

  9. [17]

    Loiudice, Improved Sobolev inequalities on the Heisenberg group,Nonlinear Anal., 62(2005), no

    A. Loiudice, Improved Sobolev inequalities on the Heisenberg group,Nonlinear Anal., 62(2005), no. 5, 953–962

    2005

  10. [18]

    A.Malchiodi,F.Uguzzoni,AperturbationresultfortheWebsterscalarcurvatureproblem on the CR sphere,J. Math. Pures Appl.,81(2002), no. 10, 983–997

    2002

  11. [19]

    Struwe, A global compactness result for elliptic boundary value problems involving limiting nonlinearities,Math

    M. Struwe, A global compactness result for elliptic boundary value problems involving limiting nonlinearities,Math. Z.,187(1984), no. 4, 511–517

    1984

  12. [20]

    Talenti, Best constant in Sobolev inequality,Ann

    G. Talenti, Best constant in Sobolev inequality,Ann. Mat. Pura Appl. (4),110(1976), 353–372

    1976

  13. [21]

    Tintarev, K

    K. Tintarev, K. H. Fieseler,Concentration compactness: functional-analytic grounds and applications, Imperial College Press, 2007

    2007

  14. [22]

    J. C. Wei, Y. Z. Wu, On the stability of the Caffarelli–Kohn–Nirenberg inequality,Math. Ann.,384(2022), no. 3, 1509–1546. 29

    2022

Pith tools

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