Pith. sign in

REVIEW 2 major objections 5 minor 29 references

Singular periodic solutions to a critical equation in the Heisenberg group

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper constructs positive singular solutions of the critical Yamabe equation on the Heisenberg group that are periodic under dilation, for every sufficiently large period.

desk verdict A genuinely new Fowler-type construction for the Heisenberg group whose main theorem is plausible, but Proposition 5.6's invertibility claim is under-proved and is the load-bearing step. read the letter →

arxiv 1908.02264 v2 pith:MYZ3MT7L submitted 2019-08-06 math.AP

Claudio Afeltra This is my paper · ORCID
classification math.AP MSC 35R0335H2035J2035J61
keywords HeisenberggroupFowlersolutionssingularperiodicCRYamabeequationLyapunov-SchmidtreductioncriticalexponentdilationperiodicityLorentzspaces
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 aims to transplant Euclidean Fowler solutions to the Heisenberg group: it claims that the critical equation $-\Delta_{\mathbf{H}^n} u = u^{(Q+2)/(Q-2)}$ on $\mathbf{H}^n\setminus\{0\}$ has positive singular solutions satisfying the dilation-periodicity $u\circ\delta_T = T^{-(Q-2)/2}u$ for every sufficiently large period $T$, with $T$ the smallest period. The interest is that the Heisenberg sublaplacian is not rotationally invariant, so the standard Euclidean reduction to radial ODEs is unavailable; the paper instead builds the solutions as small perturbations of an infinite sum of dilated copies of the known global regular bubble. A Lyapunov-Schmidt reduction on the space of dilation-periodic functions turns the problem into a contraction argument. A sympathetic reader would take the main contribution to be a Fowler-type existence result in a noncommutative Carnot setting, opening a route toward more general singular solutions.

What carries the argument

The load-bearing object is the family of approximate solutions $\Psi_{\lambda,T}=\sum_{k\in\mathbb{Z}}\omega_{\lambda/T^k}$, the periodization of the global regular bubble $\omega_\lambda$ (the explicit positive solution of the critical equation on $\mathbf{H}^n$). This sum lies in the dilation-periodic space $X_T=\{u: u\circ\delta_T=T^{-(Q-2)/2}u\}$ and forms a closed curve $Z_T$ parametrized by $\lambda\in(0,\infty)$; the paper shows its members are almost critical points of the variational functional $J_T$ in the sense that $\|\nabla J_T(\Psi_\lambda)\| o0$ uniformly as $T\to\infty$. Around this curve the argument runs a Lyapunov-Schmidt reduction: a nondegeneracy estimate for the linearized operator $J_T''(\Psi_\lambda)$ on the orthogonal complement of the tangent direction is transferred from the known nondegeneracy of $J''(\omega_\lambda)$ on the whole Heisenberg group, and the auxiliary equation is solved by contraction. An explicit Sobolev constant on $X_T$, obtained through Lorentz-space convolution estimates, controls all error terms uniformly in $\lambda$ and $T$.

What would settle it

Compute the quadratic form $d^2J_T(\Psi_\lambda)[\partial\Psi_\lambda/\partial\lambda,\partial\Psi_\lambda/\partial\lambda]$ on the periodized bubble and check whether it stays bounded away from zero, uniformly in $\lambda$, for large $T$; if it can approach zero or change sign, Proposition 5.6's bounded-inverse conclusion fails and the contraction argument in Lemma 6.1 has no fixed point. Alternatively, test the asserted homogeneous solution numerically by direct integration of the subelliptic equation on a fundamental domain $\Omega_T$ for a sequence of large $T$.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.1: there is a threshold $T_0$ such that for every $T\ge T_0$ the equation $-\Delta_{\mathbf{H}^n} u = u^{(Q+2)/(Q-2)}$ on $\mathbf{H}^n\setminus\{0\}$, with $Q=2n+2$, admits a positive solution $u$ satisfying $u\circ\delta_T = T^{-(Q-2)/2}u$ and having no smaller dilation period. The solution is built as $\Psi_{\lambda}+w(\lambda)$, where $\Psi_\lambda$ is the periodized sum $\sum_{k\in\mathbb{Z}}\omega_{\lambda/T^k}$ of bubbles and $w(\lambda)$ is a correction found by the Lyapunov-Schmidt method. The sum is singular at the origin, and the periodicity is with respect to the natural anisotropic dilations $\delta_T(z,t)=(Tz,T^2t)$ of the Heisenberg group.

Load-bearing premise

The argument collapses if the asserted uniform invertibility of the linearized operator $J_T''(\Psi_\lambda)$ on the space orthogonal to the tangent direction $\partial\Psi_\lambda/\partial\lambda$ fails; the proof's coercivity estimates are given on the subspace orthogonal to both that tangent and $\Psi_\lambda$, and on $\Psi_\lambda$ itself, so the invertibility in the remaining tangent direction is the load-bearing premise that is asserted rather than explicitly displayed.

Editorial extensions

If this is right

  • For every sufficiently large $T$, the Heisenberg group carries a positive singular solution of the critical CR Yamabe equation whose dilation-period is exactly $T$, not merely a divisor of it.
  • The constructed solutions scale like $|x|^{-(Q-2)/2}$ near the origin, matching the singular cylindrical solution and giving the Heisenberg analogue of Euclidean Fowler/Delaunay-type ends.
  • Because the curve $\tilde Z_T=\{\Psi_\lambda+w(\lambda)\}$ consists entirely of critical points, the result yields a one-parameter family of distinct periodic solutions rather than an isolated example.
  • The Morse-index argument places each solution at index one within the symmetric subspace, consistent with the known index of the bubble, so the solutions are natural building blocks for gluing constructions of more general singular solutions.

Reading between the lines

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

  • The same periodization-plus-contraction scheme is likely to work for other Carnot groups with a dilation group and a known nondegenerate bubble, provided the linearized nondegeneracy is verified on the full orthogonal complement of the tangent direction.
  • A natural quantitative next step would be to track the threshold $T_0$: the proof uses uniform-in-$\lambda$ estimates and does not identify the sharp period below which periodic solutions disappear, so the true existence boundary remains open.
  • The Lorentz-space Sobolev constant with explicit $(\log T)$ dependence may be reusable as a black box for other periodic variational problems on stratified homogeneous groups, independent of this particular equation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper constructs positive solutions to the critical equation -Δ_{H^n}u = u^{(Q+2)/(Q-2)} on the Heisenberg group, singular at the origin, that satisfy the homogeneity condition u∘δ_T = T^{-(Q-2)/2}u with T the smallest period. The proof uses a Lyapunov-Schmidt reduction: a family Ψ_λ of approximate solutions is built by periodizing the Jerison-Lee bubble, the gradient of the functional is shown to be small on this family (Proposition 4.1), a nondegeneracy statement for the second differential on the orthogonal complement of the tangent is asserted (Proposition 5.6), and a contraction argument yields a solution of the auxiliary equation (Lemma 6.1). The bifurcation equation is then solved by finding a critical point of the finite-dimensional reduced functional. The paper also proves a Sobolev inequality on the periodic function space X_T using Lorentz spaces.

Significance. If the main theorem is correct, it gives the first analogue of Euclidean Fowler solutions in the Heisenberg group, providing singular periodic solutions that are natural building blocks for more general singular solutions. The use of Lorentz spaces to control the T-dependence of the Sobolev constant and the periodization construction are interesting and potentially reusable techniques. The argument is parameter-free and relies on external classification and nondegeneracy results rather than circular reasoning. However, the central invertibility step, Proposition 5.6, is not adequately proved, so the existence theorem is not fully established as written.

major comments (2)
  1. [Section 5, Proposition 5.6] The proof of uniform invertibility of J''_T(Ψ_λ) on the orthogonal complement of ∂Ψ_λ/∂λ is incomplete. The estimates in Lemmas 5.3–5.5 are all derived under the two orthogonality conditions (17) and (18), i.e., on the subspace V = span{∂Ψ_λ/∂λ, Ψ_λ}^⊥. Lemma 5.5 provides (i) coercivity on V, (ii) a lower bound |d²J_T(Ψ_λ)[Ψ_λ,Ψ_λ]| ≥ c‖Ψ_λ‖², and (iii) smallness of the cross term |d²J_T(Ψ_λ)[Ψ_λ,u]| for u ∈ V. These estimates do not determine the quadratic form on the two-dimensional block span{∂Ψ_λ/∂λ, Ψ_λ}, nor on the component of Ψ_λ orthogonal to ∂Ψ_λ/∂λ. In particular, no estimate is given for ⟨J''_T(Ψ_λ)∂Ψ_λ/∂λ, ∂Ψ_λ/∂λ⟩, for ⟨J''_T(Ψ_λ)∂Ψ_λ/∂λ, Ψ_λ⟩, or for the angle between these two vectors. Without this information, a direction in the orthogonal complement of ∂Ψ_λ/∂λ mixing Ψ_λ with the tangent can have small or zero eigenvalue, and the claimed bounded inverse need not exist. The sentence 'It follows from the preceding lemmas and elementary Hilbert space theory' does not fill this gap, because the standard block-diagonalization argument requires control on the missing block. Since Proposition 5.6 is the load-bearing premise for the contraction argument in Lemma 6.1, the proof of Theorem 1.1 is incomplete as written.
  2. [Section 6, proof of Theorem 1.1] The statement 'from the proof of Proposition 5.6 follows that J(ω_λ) has Morse index one on {λ∂ω_λ/∂λ}^⊥' is not a consequence of the lemmas as they stand. The Morse index of the linearized operator on the orthogonal complement of the kernel requires the full spectral decomposition of that operator, which is exactly what is missing from Proposition 5.6. While this assertion may become a corollary once the missing estimates on the tangent block are supplied, it is not justified by the present proof and should not be used as part of the argument for positivity or for the structure of the solution set.
minor comments (5)
  1. [Abstract and Introduction] There are several typos and spacing errors, e.g., 'similar to t he Fowler' in the abstract, 'structure structure' on page 2, and 'In the this case a lso' on page 2; these should be corrected.
  2. [Lemma 5.4] The proof of the third inequality in Lemma 5.4 is summarized as 'by Lemma 5.3, by equations (15) and (16), and elementary linear algebra'; this step is quite compressed and would benefit from a detailed derivation, especially because it is used to control the cross terms in Lemma 5.5.
  3. [Notation] The notation ~X_T and ~Z_T is introduced in Section 2 and used in Section 6, but the subscript T is sometimes omitted; for consistency, the spaces and curves should be written with the subscript throughout.
  4. [Proposition 3.2] The statement of Proposition 3.2 says '∇u ∈ L^{2,∞}(H^n)' without specifying that this is the subriemannian gradient; the proof correctly uses subriemannian derivatives, so the statement should be adjusted for clarity.
  5. [Proof of Theorem 1.1] The final sentence 'The last assertion follows by construction' is vague; the authors should explicitly indicate that the constructed solution has smallest period T and briefly explain why no smaller period occurs.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Lyapunov-Schmidt construction is self-contained and its external inputs are independent literature, not self-citations.

full rationale

The paper's central claim is the existence of singular periodic solutions to a critical subelliptic equation on the Heisenberg group. The derivation follows a standard Lyapunov-Schmidt reduction: one builds an approximate solution family Z_T by periodizing the known Jerison-Lee solution, proves the gradient of the functional is small on Z_T in Lemmas 4.2-4.3, proves uniform invertibility of the linearized operator on the tangent-orthogonal complement in Proposition 5.6, and then solves the auxiliary and bifurcation equations by contraction. No parameter is fitted to the quantity being predicted; the period T is simply taken sufficiently large. The nondegeneracy of the model bubble is imported from [MU] and [BCD], which are external works by other authors, and these results do not contain the target theorem. The paper cites [AM] for the standard perturbative framework and [JL] for the classification of regular solutions; these are independent background facts, not self-citations bearing the load of the existence proof. The only notable weakness, that Proposition 5.6 is asserted after lemmas that may not control the linearized operator on the full tangent direction, is a possible proof gap or correctness concern, not circularity: it does not define the conclusion in terms of its inputs or rename a fitted parameter as a prediction. Accordingly, the circularity score is 0.

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

The paper introduces no new entities or free parameters. It relies on standard results in Heisenberg group analysis (classification, nondegeneracy, Hardy inequality, Lorentz space inequalities) and on the standard Lyapunov-Schmidt machinery. The parameter T is a free large parameter, not fitted; λ is the curve parameter.

assumptions (5)
  • domain assumption Jerison-Lee classification: the positive solutions of the critical equation are ω_λ(z,t)=c0 (t^2+(1+|z|^2)^2)^{-(Q-2)/4} and its translations and dilations.
    Used in Section 4 to construct the periodized approximate solutions Ψ_λ; the explicit form and integrability of ω_λ are taken as known.
  • domain assumption Nondegeneracy of the linearized operator at ω_λ: kernel spanned by ∂ω_λ/∂λ and the 2n+1 left-invariant derivatives, with coercivity (15) under orthogonality conditions (Proposition 5.1, cited from [MU]).
    Central to Section 5; the invertibility of J''_T(Ψ_λ) is transferred from this external nondegeneracy result.
  • standard math Lorentz space Young-O'Neil inequality and the Sobolev embedding for weak-L^p spaces on H^n (Theorem 2.2, Proposition 3.2).
    Used in Section 3 to estimate the Sobolev constant on X_T and in Lemma 4.3 to bound the error term B.
  • standard math Palais symmetric criticality principle.
    Used in Section 2 to pass from critical points in the U(n)-invariant subspace ~X_T to critical points in X_T.
  • standard math Hardy inequality on H^n and Bony's maximum principle.
    Hardy inequality supports the norm ||·||_{T,H} in Section 5; Bony's principle gives strict positivity in Section 6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Singular periodic solutions to a critical equation in the Heisenberg group." pith.science (2026). https://pith.science/paper/MYZ3MT7L

@misc{pith2026190802264,
  author       = {Pith},
  title        = {Pith review of: Singular periodic solutions to a critical equation in the Heisenberg group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MYZ3MT7L}},
  note         = {Machine review of arXiv:1908.02264}
}
abstract

We construct positive solutions to the equation $$-\Delta_{\mathbf{H}^n} u = u^{\frac{Q+2}{Q-2}}$$ on the Heisenberg group, singular in the origin, similar to the Fowler solutions of the Yamabe equations on $\mathbf{R}^n$. These satisfy the homogeneity property $u\circ\delta_T=T^{-\frac{Q-2}{2}}u$ for some $T$ large enough, where $Q=2n+2$ and $\delta_T$ is the natural dilation in $\mathbf{H}^n$. We use the Lyapunov-Schmidt method applied to a family of approximate solutions built by periodization from the global regular solution classified by Jerison and Lee.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Progress in Mathematics, 240

    Ambrosetti, Antonio; Malchiodi, Andrea, Perturbation methods and semilinear elliptic problems on ^n . Progress in Mathematics, 240. Birkhäuser Verlag, Basel, 2006. xii+183 pp

    work page 2006

  2. [2]

    Aubin, Thierry Problèmes isopérimétriques et espaces de Sobolev. J. Differential Geometry 11 (1976), no. 4, 573–598

    work page 1976

  3. [3]

    Bahouri, J

    H. Bahouri, J. Y. Chemin, and C. J. Xu. Trace and trace lifting theorems in weighted sobolev spaces. Journal of the Institute of Mathematics of Jussieu, 4(4):509–552, 2005

    work page 2005

  4. [4]

    , 2000, Ricerche di matematica, vol

    Birindelli, I., Capuzzo Dolcetta I., Morse index and Liouville property for superlinear elliptic equations on the Heisenberg group. , 2000, Ricerche di matematica, vol. 49, pp. 1-15

    work page 2000

  5. [5]

    CRC Press, Boca Raton, FL, 1991

    Boggess, Albert CR manifolds and the tangential Cauchy-Riemann complex Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1991. xviii+364 pp

    work page 1991

  6. [6]

    Jean-Michel Bony, Principe du maximum, inégalite de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérés, Ann. Inst. Fourier (Grenoble) 19 (1969), no. fasc. 1, 277–304 xii (French, with English summary)

    work page 1969

  7. [7]

    Caffarelli, Luis A.; Gidas, Basilis; Spruck, Joel, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth. Comm. Pure Appl. Math. 42 (1989), no. 3, 271–297

    work page 1989

  8. [8]

    Chen, Chiun-Chuan; Lin, Chang-Shou, Estimate of the conformal scalar curvature equation via the method of moving planes. II. J. Differential Geom. 49 (1998), no. 1, 115–178

    work page 1998

Show all 29 references
  1. [9]

    American Mathematical Society, Providence, RI; International Press, Boston, MA, 2001

    Chen, So-Chin; Shaw, Mei-Chi, Partial differential equations in several complex variables, AMS/IP Studies in Advanced Mathematics, 19. American Mathematical Society, Providence, RI; International Press, Boston, MA, 2001. xii+380 pp

    2001

  2. [10]

    Cheng, Jih-Hsin; Malchiodi, Andrea; Yang, Paul, A positive mass theorem in three dimensional Cauchy-Riemann geometry. Adv. Math. 308 (2017), 276–347

    2017

  3. [11]

    Birkhäuser Boston, Inc., Boston, MA, 2006

    Dragomir, Sorin; Tomassini, Giuseppe Differential geometry and analysis on CR manifolds, Progress in Mathematics, 246. Birkhäuser Boston, Inc., Boston, MA, 2006. xvi+487 pp

    2006

  4. [12]

    Princeton University Press, Princeton, NJ, 1989

    Folland, Gerald B., Harmonic analysis in phase space., Annals of Mathematics Studies, 122. Princeton University Press, Princeton, NJ, 1989. x+277 pp

    1989

  5. [13]

    Gamara, Najoua, The CR Yamabe conjecture—the case n=1. J. Eur. Math. Soc. (JEMS) 3 (2001), no. 2, 105–137

    2001

  6. [14]

    Pacific J

    Gamara, Najoua; Yacoub, Ridha; CR Yamabe conjecture—the conformally flat case. Pacific J. Math. 201 (2001), no. 1, 121–175

    2001

  7. [15]

    Second edition., Graduate Texts in Mathematics, 249

    Grafakos, Loukas, Classical Fourier analysis. Second edition., Graduate Texts in Mathematics, 249. Springer, New York, 2008. xvi+489 pp

    2008

  8. [16]

    Guidi, Chiara; Maalaoui, Ali; Martino, Vittorio; Singular CR structures of constant Webster curvature and applications, preprint

  9. [17]

    Jerison, David; Lee, John M., Extremals for the Sobolev inequality on the Heisenberg group and the CR Yamabe problem. J. Amer. Math. Soc. 1 (1988), no. 1, 1–13

    1988

  10. [18]

    Differential Geom

    Jerison, David; Lee, John M.; The Yamabe problem on CR manifolds., J. Differential Geom. 25 (1987), no. 2, 167–197

    1987

  11. [19]

    Korevaar, Nick; Mazzeo, Rafe; Pacard, Frank; Schoen, Richard, Refined asymptotics for constant scalar curvature metrics with isolated singularities. Invent. Math. 135 (1999), no. 2, 233–272

    1999

  12. [20]

    Li, Yan Yan Prescribing scalar curvature on Sn and related problems. I. J. Differential Equations 120 (1995), no. 2, 319–410

    1995

  13. [21]

    Li, Yanyan Prescribing scalar curvature on Sn and related problems. II. Existence and compactness. Comm. Pure Appl. Math. 49 (1996), no. 6, 541–597

    1996

  14. [22]

    Malchiodi, Andrea; Uguzzoni, Francesco, A perturbation result for the Webster scalar curvature problem on the CR sphere. J. Math. Pures Appl. (9) 81 (2002), no. 10, 983–997

    2002

  15. [23]

    Duke Math

    Mazzeo, Rafe; Pacard, Frank, Constant scalar curvature metrics with isolated singularities. Duke Math. J. 99 (1999), no. 3, 353–418

    1999

  16. [24]

    Mazzeo, Rafe; Pacard, Frank, Constant mean curvature surfaces with Delaunay ends. Comm. Anal. Geom. 9 (2001), no. 1, 169–237

    2001

  17. [25]

    O'Neil, Richard, Convolution operators and L(p,q) spaces, Duke Math. J. 30 (1963), 129–142

    1963

  18. [26]

    The principle of symmetric criticality

    Palais, Richard S. The principle of symmetric criticality. Comm. Math. Phys. 69 (1979), no. 1, 19–30

    1979

  19. [27]

    Struwe, Variational Methods, Ergeb

    M. Struwe, Variational Methods, Ergeb. der Math. u. Grenzgeb., Vol. 34, Berlin, Springer, 1996

    1996

  20. [28]

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

    1976

  21. [29]

    Yap, Leonard Y. H. Some remarks on convolution operators and L(p,q) spaces, Duke Math. J. 36 (1969), 647–658

    1969

Pith tools

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