A Liouville theorem for the $2$-Hessian equation on the Heisenberg group

Qi Zhou; Wei Zhang

REVIEW 1 major objections 4 minor 34 references

A Liouville theorem for the $2$-Hessian equation on the Heisenberg group

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

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

Pith's one-line read On Heisenberg groups, the 2-Hessian equation σ2(Hess_X u)=(−u)^α admits no negative 2-convex entire solutions when α ≤ 2Q/(Q−4), with Q>4.

desk verdict First Liouville theorem for the 2-Hessian equation on the Heisenberg group; the proof is largely sound, with only local fixable gaps. read the letter →

arxiv 2509.08415 v1 pith:NQAVN4VG submitted 2025-09-10 math.AP

Wei Zhang , Qi Zhou This is my paper · ORCID

classification math.AP MSC 35B0835B5335R03

keywords Liouvilletheorem2-HessianequationHeisenberggroupintegralestimateshorizontalHessian2-convexfunctionnonexistencecriticalexponent

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 attempts to establish a Liouville-type theorem on the Heisenberg group: for homogeneous dimension Q>4, the fully nonlinear 2-Hessian equation σ2(Hess_X u)=(−u)^α has no negative entire solution that is 2-convex, provided the exponent α is at most 2Q/(Q−4). In other words, a smooth negative function whose horizontal 2-Hessian is nonnegative cannot balance the nonlinear source (−u)^α in the subcritical and critical range. The significance is that it transfers a family of nonexistence results known for k-Hessian equations in Euclidean space to the noncommutative Heisenberg setting, where integration by parts produces extra commutator terms. The proof multiplies the equation by a carefully chosen test function, integrates by parts, and uses Young's inequalities to force an integral of the solution to vanish as the cutoff radius grows. A sympathetic reader would take the contribution to be the exponent range, including the critical value.

What carries the argument

The load-bearing construction is the integral-estimate scheme with the test function (−u)^δ η^θ, where η is a smooth cutoff equal to 1 on B_R and 0 outside B_{2R}. The crucial algebraic input is the set of commutation formulas for the second derivatives of σ2 (Lemmas 2.1 and 2.2), which let the proof move derivatives past each other while integration by parts on the noncommutative Heisenberg group introduces commutator terms. These commutators, through [X_i,X_{n+j}]=−4δ_{ij}T, ultimately produce a favorable −24n∫(Tu)²(−u)^δ η^θ term and boundary terms that are controlled by Young's inequality and the cutoff scale C(Q)/R. The choice δ<0 and sufficiently small epsilons turns all leading bulk t

What would settle it

For n=2 (so Q=6), search numerically for a negative, 2-convex entire solution of σ2(Hess_X u)=(−u)^6, the critical exponent 2Q/(Q−4); finding one would refute Theorem 1.1. On the proof side, check whether the formal integrals ∫(−u)^{δ−1}|∂u|²η^θ and ∫(−u)^{γ−2}|∂u|⁴η^θ, with δ,γ<0, are finite for any candidate solution; exhibiting a solution that makes one infinite would pinpoint the gap.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for Q>4 and α ≤ 2Q/(Q−4), the equation σ2(Hess_X u)=(−u)^α on H^n admits no solution u∈C², u<0, that belongs to the cone Γ2 (σ1 and σ2 of the horizontal Hessian are nonnegative). The proof treats α<2, α=2, 2<α<2Q/(Q−4), and the critical α=2Q/(Q−4) separately. It starts from the identity obtained by integrating 2(−u)^δ η^θ against the equation; after repeated integration by parts and the symbolic rules for derivatives of σ2, the noncommutative commutators contribute terms controlled by ∫(Tu)²(−u)^δ η^θ. Choosing δ<0 and sufficiently small epsilon constants makes the leading terms nonpositive, leaving an estimate of the form ∫(−u)^{α+δ}η^θ ≤ C R^{−4}∫(−u)^{δ+2

Load-bearing premise

The proof applies integration by parts to expressions containing negative powers of (−u), such as (−u)^{δ−1} and (−u)^{γ−2} with negative exponents, but it does not show these integrals are finite for an actual solution; if a solution approached zero anywhere, the estimates could fail.

Editorial extensions

If this is right

If Theorem 1.1 is correct, no negative 2-convex entire solution exists for every α<2Q/(Q−4) and for the critical value itself, leaving no room for nontrivial ground-state profiles in that range.
The result gives the Heisenberg analogue, for k=2, of the Euclidean k-Hessian Liouville theorems, and provides a benchmark for what exponent range should be expected for k≥3 on H^n.
The proof shows that commutator terms arising from noncommutativity can be made to have the correct sign, indicating that the integral-estimate method is viable for other fully nonlinear equations on Carnot-type groups.
The critical exponent 2Q/(Q−4) is explicitly included, so the nonexistence statement does not require a separate moving-plane or symmetry argument at the endpoint.

Reading between the lines

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

My inference: the same integral-estimate strategy likely extends to k-Hessian equations on H^n for k≥3, with the critical exponent replaced by Qk/(Q−2k); the paper does not make or prove this claim.
My inference: the theorem leaves open α>2Q/(Q−4); by analogy with Euclidean and sub-Laplacian results, one might expect the critical exponent to be sharp for the corresponding inequality, but that is an extrapolation beyond the paper.
My inference: a natural testable extension is to check whether the nonexistence survives for viscosity 2-convex solutions rather than C² solutions, using the same integral estimates with a weaker convexity notion.
My inference: the finiteness of the negative-power integrals is the step to scrutinize; proving local uniform bounds for (−u) or a decay estimate near zero would make the formal estimates unconditional.

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.

Desk Editor's Note

read the letter

This paper's main result is genuinely new: a Liouville theorem for the 2-Hessian equation on the Heisenberg group, covering subcritical and critical exponents. The proof is a serious adaptation of Phuc-Verbitsky/Ou integral estimates to a noncommutative setting, and the commutator terms are handled with real skill. The paper deserves a serious referee.

The reader's main worry—that integrals with negative powers of (−u) are not justified—doesn't survive contact with the text. The test function has compact support in B_{2R}, and u is a strictly negative C² solution, so −u is bounded below by a positive constant on that support. Every negative power is bounded and smooth there. For each fixed R the integrals are finite, and the constants in the estimates do not depend on R or on the bound. So the limiting argument is legitimate.

What is actually wrong is smaller. In Case 4, 'Setting α=γ<0' is a typo; it should be δ=γ. With that correction, (3.17) follows from the nonpositive coefficients in (3.11). There is also a regularity gap: the theorem assumes C² solutions, but the integration by parts uses third derivatives of u. That is standard to fix by a bootstrap argument, since σ_2 is elliptic on the cone Γ_2, but the paper should say so. There are a few index typos earlier in the expansion of term 1_3, but they do not affect the final estimates.

The citation pattern is honest. The two lemmas borrowed from Trudinger-Zhang are published and used as tools, not as the target result. The introduction positions the work correctly against Birindelli et al., Ma-Ou, and Phuc-Verbitsky. I would accept this for peer review. The referee is likely to ask for the bootstrap and the typo fixes, and the critical-case argument in Case 4 needs a careful read, but the core theorem and proof structure are sound.

Reading group? Maybe, if you want to see the integral estimate technique in a subelliptic setting. I would cite it.

Referee Report

1 major / 4 minor

Summary. The paper proves a Liouville theorem for the 2-Hessian equation σ_2(Hess_X u)=(-u)^α on the Heisenberg group H^n. Theorem 1.1 states that for Q=2n+2>4 and α≤2Q/(Q−4), there is no negative solution u<0 in the horizontal 2-convexity cone Γ_2. The proof multiplies the equation by (-u)^δ η^θ, integrates by parts, and uses commutator identities to obtain integral estimates. Young/Hölder inequalities then yield a contradiction either directly or through an absorption argument; the critical exponent is handled separately with a parameter γ and a bootstrap estimate.

Significance. If correct, this extends to the Heisenberg group the Euclidean nonexistence results of Phuc–Verbitsky and Ou for k-Hessian equations (k=2), and it gives the expected sharp exponent 2Q/(Q−4). The treatment of commutator terms is explicit and the constants are tracked; the proof is detailed enough to be checked line by line. The possible integrability issue with negative powers of (-u) does not land: since u<0 and continuous, -u has a positive minimum on the compact support of η, so all integrals are finite for each fixed R, and the constants do not depend on R. The main gap is regularity (C^3 vs C^2), which is standard to patch.

major comments (1)

[Section 3, after (3.2)] The proof differentiates u three times (e.g. in the computation of term 1 before (3.3)), while Theorem 1.1 assumes u∈C^2. This is a genuine gap in the proof as written. Please state that the estimates are first established for C^3 solutions and then pass to C^2 solutions by the standard bootstrap/approximation argument, using ellipticity of σ_2 on Γ_2; or otherwise justify the formal integration by parts under the stated regularity.

minor comments (4)

[Case 4, below (3.16)] 'Setting α=γ<0' should read 'Setting δ=γ<0' (α=2Q/(Q−4)>2, so it cannot be γ<0). With this correction, (3.17) follows from (3.11).
[Section 3, Cases 1–2] The condition 'α≠−δ≠2' is ambiguous; write 'α≠−δ and δ≠−2'.
[Case 4, after (3.19)] The step 'therefore ∫_{B_{2R}\B_R}(−u)^αη^θ→0' needs justification: boundedness of the full integral implies ∫_{B_R}(−u)^α is bounded, hence (−u)^α∈L^1 and the annulus integral tends to zero by monotone convergence.
[Throughout] Numerous typos and grammatical slips ('to to ∂/∂t', 'choosen', 'we now turn on') should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is a direct integral-estimate contradiction; the only self-citation is an elementary algebraic tool and is not load-bearing.

full rationale

The paper proves a Liouville theorem by contradiction: assuming a negative 2-convex solution, it multiplies (1.4) by a cut-off test function, integrates by parts, and uses Young and Hölder inequalities to force the integral of (-u)^{alpha} to vanish. The theorem does not fit any parameter to data, does not define the target result in terms of itself, and does not invoke a uniqueness theorem to forbid alternatives. The only citation to the authors' own prior work is the reference to [30] for Lemmas 2.1 and 2.2, which are elementary algebraic identities for the second derivatives of sigma_2. These lemmas are used only as algebraic bookkeeping in the integration-by-parts computation; they are parameter-free and do not contain the nonexistence statement or any solution-dependent information. The remaining estimates, (3.6) through (3.19), are direct and do not reduce to the lemmas. The reader's concern about non-integrable negative powers is not a circularity issue; moreover, for each fixed R the compactly supported cut-off makes all powers (-u)^beta bounded on the support because u is negative and continuous. The apparent 'Setting alpha=gamma<0' in Case 4 is a typo (it should be 'delta=gamma'), and the use of third derivatives despite the C^2 assumption is a minor regularity/bootstrapping point, not a circular step. Overall the derivation is self-contained in the sense relevant to circularity.

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

No free parameters or invented entities. The proof introduces auxiliary constants (δ, θ, γ, ε_i) whose choices satisfy inequalities; they are proof variables, not data-fitting parameters. The main external input is the algebraic Lemma 2.1-2.2 from [30] (self-cited) and standard Heisenberg calculus.

assumptions (5)

standard math Algebraic identities for second derivatives of σ_2 (Lemmas 2.1 and 2.2 from [30])
Proved in Trudinger-Zhang [30]; used repeatedly in the integration by parts in Section 3 to manipulate commutator terms.
standard math Commutation relations (2.1)-(2.2) for the Heisenberg vector fields
Standard definition of the Heisenberg group Lie algebra; used throughout Section 3 to evaluate commutator terms.
standard math Integration by parts for horizontal vector fields on H^n with cutoff functions
Standard for smooth functions with compact support; used to derive (3.2) and subsequent estimates.
domain assumption Finiteness of integrals involving negative powers of (−u)
The proof applies Young's inequality and lets R→∞ on formal integrals such as ∫(−u)^{α+δ}η^θ with α+δ possibly negative. This is not justified in the paper.
domain assumption The solution u is in C^2(H^n) ∩ Γ_2 and u < 0
The theorem's assumptions are used to ensure σ_1, σ_2 ≥ 0 and to drop certain terms in (3.11).

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Liouville theorem for the $2$-Hessian equation on the Heisenberg group." pith.science (2026). https://pith.science/paper/NQAVN4VG

@misc{pith2026250908415,
  author       = {Pith},
  title        = {Pith review of: A Liouville theorem for the $2$-Hessian equation on the Heisenberg group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NQAVN4VG}},
  note         = {Machine review of arXiv:2509.08415}
}

abstract

In this paper, we prove a Liouville theorem for the $2$-Hessian equation on the Heisenberg group $\mathbb{H}^n$. The result is obtained by choosing a suitable test function and using integration by parts to derive the necessary integral estimates.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 31 canonical work pages

[1]

Birindelli, I

I. Birindelli, I. Capuzzo Dolcetta, and A. Cutr ` ı. Liouville theorems for semilinear equations on the Heisenberg group.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 14(3):295–308, 1997

work page 1997
[2]

Caffarelli, L

L. Caffarelli, L. Nirenberg, and J. Spruck. The Dirichlet problem for nonlinear second-order elliptic equations. III. Functions of the eigenvalues of the Hessian.Acta Math., 155(3-4):261–301, 1985

work page 1985
[3]

Caffarelli, Basilis Gidas, and Joel Spruck

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

work page 1989
[4]

A Liouville theorem in the Heisenberg group.arXiv preprint arXiv:2310.10469, 2023

Giovanni Catino, Yanyan Li, Dario D Monticelli, and Alberto Roncoroni. A Liouville theorem in the Heisenberg group.arXiv preprint arXiv:2310.10469, 2023

arXiv 2023
[5]

Monticelli, and Alberto Roncoroni

Giovanni Catino, Dario D. Monticelli, and Alberto Roncoroni. On the criticalp-Laplace equation. Adv. Math., 433:Paper No. 109331, 38, 2023

work page 2023
[6]

Chang, Matthew J

Sun-Yung A. Chang, Matthew J. Gursky, and Paul C. Yang. Entire solutions of a fully nonlinear equation. InLectures on partial differential equations, volume 2 ofNew Stud. Adv. Math., pages 43–

work page
[7]

Classification of solutions of some nonlinear elliptic equations

Wen Xiong Chen and Congming Li. Classification of solutions of some nonlinear elliptic equations. Duke Math. J., 63(3):615–622, 1991

work page 1991
[8]

Symmetry results for critical anisotropicp- Laplacian equations in convex cones.Geom

Giulio Ciraolo, Alessio Figalli, and Alberto Roncoroni. Symmetry results for critical anisotropicp- Laplacian equations in convex cones.Geom. Funct. Anal., 30(3):770–803, 2020

work page 2020

Show all 34 references

[9]

Notions of convexity in Carnot groups

Donatella Danielli, Nicola Garofalo, and Duy-Minh Nhieu. Notions of convexity in Carnot groups. Comm. Anal. Geom., 11(2):263–341, 2003

2003
[10]

Liouville-type results for the CR Yamabe equation in the Heisenberg group.arXiv preprint arXiv:2310.14048, 2023

Joshua Flynn and J´ erˆ ome V´ etois. Liouville-type results for the CR Yamabe equation in the Heisenberg group.arXiv preprint arXiv:2310.14048, 2023

2023 arXiv
[11]

On the solvability for a pk-hessian inequality.arXiv preprint arXiv:2503.00895, 2025

Zhenghuan Gao, Shujun Shi, and Yuzhou Zhang. On the solvability for a pk-hessian inequality.arXiv preprint arXiv:2503.00895, 2025

2025 arXiv
[12]

Gidas and J

B. Gidas and J. Spruck. Global and local behavior of positive solutions of nonlinear elliptic equations. Comm. Pure Appl. Math., 34(4):525–598, 1981

1981
[13]

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

1987
[14]

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

1988
[15]

David Jerison and John M. Lee. Intrinsic CR normal coordinates and the CR Yamabe problem.J. Differential Geom., 29(2):303–343, 1989

1989
[16]

Manfredi, and Bianca Stroffolini

Guozhen Lu, Juan J. Manfredi, and Bianca Stroffolini. Convex functions on the Heisenberg group. Calc. Var. Partial Differential Equations, 19(1):1–22, 2004

2004
[17]

A Liouville theorem for a class semilinear elliptic equations on the Heisenberg group.Adv

Xi-Nan Ma and Qianzhong Ou. A Liouville theorem for a class semilinear elliptic equations on the Heisenberg group.Adv. Math., 413:Paper No. 108851, 20, 2023

2023
[18]

The conjectures on conformal transformations of Riemannian manifolds.J

Morio Obata. The conjectures on conformal transformations of Riemannian manifolds.J. Differential Geometry, 6:247–258, 1971/72

1971
[19]

Nonexistence results for Hessian inequality.Methods Appl

Qianzhong Ou. Nonexistence results for Hessian inequality.Methods Appl. Anal., 17(2):213–223, 2010

2010
[20]

Singularities and Liouville theorems for some special conformal Hessian equations

Qianzhong Ou. Singularities and Liouville theorems for some special conformal Hessian equations. Pacific J. Math., 266(1):117–128, 2013

2013
[21]

On the classification of entire solutions to the critical p-Laplace equation.Math

Qianzhong Ou. On the classification of entire solutions to the critical p-Laplace equation.Math. Ann., 392(2):1711–1729, 2025

2025
[22]

Verbitsky

Nguyen Cong Phuc and Igor E. Verbitsky. Local integral estimates and removable singularities for quasilinear and Hessian equations with nonlinear source terms.Comm. Partial Differential Equations, 31(10-12):1779–1791, 2006

2006
[23]

Verbitsky

Nguyen Cong Phuc and Igor E. Verbitsky. Quasilinear and Hessian equations of Lane-Emden type. Ann. of Math. (2), 168(3):859–914, 2008

2008
[24]

Classification of positiveD 1,p(RN )-solutions to the criticalp-Laplace equation in RN .Adv

Berardino Sciunzi. Classification of positiveD 1,p(RN )-solutions to the criticalp-Laplace equation in RN .Adv. Math., 291:12–23, 2016. A LIOUVILLE THEOREM FOR THE 2-HESSIAN EQUATION ON THE HEISENBERG GROUP 17

2016
[25]

Cauchy-Liouville and universal boundedness theorems for quasilinear elliptic equations and inequalities.Acta Math., 189(1):79–142, 2002

James Serrin and Henghui Zou. Cauchy-Liouville and universal boundedness theorems for quasilinear elliptic equations and inequalities.Acta Math., 189(1):79–142, 2002

2002
[26]

Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 ofPrinceton Mathematical Series

Elias M. Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III

1993
[27]

Trudinger and Xu-Jia Wang

Neil S. Trudinger and Xu-Jia Wang. Hessian measures. I. volume 10, pages 225–239. 1997. Dedicated to Olga Ladyzhenskaya

1997
[28]

Trudinger and Xu-Jia Wang

Neil S. Trudinger and Xu-Jia Wang. Hessian measures. II.Ann. of Math. (2), 150(2):579–604, 1999

1999
[29]

Trudinger and Xu-Jia Wang

Neil S. Trudinger and Xu-Jia Wang. Hessian measures. III.J. Funct. Anal., 193(1):1–23, 2002

2002
[30]

Trudinger and Wei Zhang

Neil S. Trudinger and Wei Zhang. Hessian measures on the Heisenberg group.J. Funct. Anal., 264(10):2335–2355, 2013

2013
[31]

A priori estimates and application to the symmetry of solutions for criticalp-Laplace equations.J

J´ erˆ ome V´ etois. A priori estimates and application to the symmetry of solutions for criticalp-Laplace equations.J. Differential Equations, 260(1):149–161, 2016

2016
[32]

A Liouville theorem for superlinear parabolic equations on the Heisenberg group.Adv

Juncheng Wei and Ke Wu. A Liouville theorem for superlinear parabolic equations on the Heisenberg group.Adv. Nonlinear Stud., 24(1):189–205, 2024

2024
[33]

Semi-linear Liouville theorems in the Heisenberg group via vector field methods.J

Lu Xu. Semi-linear Liouville theorems in the Heisenberg group via vector field methods.J. Differential Equations, 247(10):2799–2820, 2009. School of Mathematics and Statistics, Lanzhou University, Lanzhou, 730000, Gansu Province, China. Email address:zhangw@lzu.edu.cn School o...

2009
[60]

Press, Somerville, MA, 2003

Int. Press, Somerville, MA, 2003

2003

Pith tools

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

[1] [1]

Birindelli, I

I. Birindelli, I. Capuzzo Dolcetta, and A. Cutr ` ı. Liouville theorems for semilinear equations on the Heisenberg group.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 14(3):295–308, 1997

work page 1997

[2] [2]

Caffarelli, L

L. Caffarelli, L. Nirenberg, and J. Spruck. The Dirichlet problem for nonlinear second-order elliptic equations. III. Functions of the eigenvalues of the Hessian.Acta Math., 155(3-4):261–301, 1985

work page 1985

[3] [3]

Caffarelli, Basilis Gidas, and Joel Spruck

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

work page 1989

[4] [4]

A Liouville theorem in the Heisenberg group.arXiv preprint arXiv:2310.10469, 2023

Giovanni Catino, Yanyan Li, Dario D Monticelli, and Alberto Roncoroni. A Liouville theorem in the Heisenberg group.arXiv preprint arXiv:2310.10469, 2023

arXiv 2023

[5] [5]

Monticelli, and Alberto Roncoroni

Giovanni Catino, Dario D. Monticelli, and Alberto Roncoroni. On the criticalp-Laplace equation. Adv. Math., 433:Paper No. 109331, 38, 2023

work page 2023

[6] [6]

Chang, Matthew J

Sun-Yung A. Chang, Matthew J. Gursky, and Paul C. Yang. Entire solutions of a fully nonlinear equation. InLectures on partial differential equations, volume 2 ofNew Stud. Adv. Math., pages 43–

work page

[7] [7]

Classification of solutions of some nonlinear elliptic equations

Wen Xiong Chen and Congming Li. Classification of solutions of some nonlinear elliptic equations. Duke Math. J., 63(3):615–622, 1991

work page 1991

[8] [8]

Symmetry results for critical anisotropicp- Laplacian equations in convex cones.Geom

Giulio Ciraolo, Alessio Figalli, and Alberto Roncoroni. Symmetry results for critical anisotropicp- Laplacian equations in convex cones.Geom. Funct. Anal., 30(3):770–803, 2020

work page 2020