Pith. sign in

REVIEW 2 major objections 5 minor 18 references

Equivalence of sub-Laplacian on Polarized groups

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

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

Pith's one-line read Smooth maps between sub-Riemannian Lie groups commute with sub-Laplacians exactly when they are conformal submersions.

desk verdict A sound, genuinely general characterization of sub-Laplacian intertwining maps as conformal submersions; the proof has one small repairable gap and the Carnot consequences rest on standard external rigidity theorems. read the letter →

arxiv 2501.00576 v1 pith:Q4HX5X5X submitted 2024-12-31 math.DG math.AP

Antoni Kijowski , Sebastiano Nicolussi Golo , Ben Warhurst This is my paper · ORCID
classification math.DGmath.AP MSC 35B0653C1735H2053C3022F3022E25
keywords sub-Laplaciansub-RiemannianLiegrouppolarizedCarnotHeisenbergconformalsubmersionsumsofsquaressymplecticspectrum
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 characterizes the smooth maps between sub-Riemannian Lie groups (called polarized groups) that commute with the sub-Laplacian, the horizontal Laplace operator built from the group's left-invariant metric and Haar measure. Theorem A states that a C² map F satisfies the intertwining identity Δ_G(u∘F) = λ²(Δ_H u)∘F plus a first-order drift term for every test function u if and only if F is a conformal submersion of factor λ: at every point its horizontal derivative is, up to the factor λ, an isometric projection onto the whole horizontal space of the target. The drift term is forced to be the trace of the second Lie differential plus contributions from the modular functions of the two groups. In the Carnot case the rigidity sharpens: if such a map exists with constant λ, the target is a Carnot quotient of the domain, and in equal dimension the map is a dilation, a left translation, and an isometric automorphism composed. Consequently the sub-Laplacian of a Carnot group is a complete invariant of its sub-Riemannian structure: two such operators are equivalent by a change of coordinates exactly when the underlying Carnot geometries are isometric.

What carries the argument

The proof machinery is a family of localized test functions u^q_α(x)=φ($q^{{-1}}$x)⟨α|log($q^{{-1}}$x)⟩², built from a bump function φ and a covector α; at the point q these functions have zero horizontal derivative but their second Lie derivatives in horizontal directions equal 2⟨α|v⟩². Substituting these into the intertwining identity at a point p with F(p)=q yields Σ_i⟨α|DF(p)X_i⟩² = λ(p)² Σ_j⟨α|Y_j⟩² for every α∈h*, which is precisely the condition that the adjoint of DF(p)|_{V(G)} is a homothetic embedding of factor λ(p). By Proposition 2.4 this is equivalent to DF(p)|_{V(G)} being a homothetic projection, i.e., F being a conformal submersion. The lower-order drift b is then identified by the chain rule from the same identity, giving the formula with trace_G(D²F) and modular-function gradients.

What would settle it

In the Heisenberg example of Section 5.5, choose two scalar products on $R^{5}$ whose symplectic spectra are not proportional, such as (1,2) and (1,3). The paper says the two sub-Laplacians are inequivalent. Checking directly whether any C² change of coordinates F satisfies Δ_{(1,2)}(u∘F)=λ²(Δ_{(1,3)}u)∘F for all u would settle the rigidity claim; the predicted answer is that no such F exists.

Watch

Extended reading notes

Core claim

The central discovery is that, on sub-Riemannian Lie groups, the sub-Laplacian intertwining condition is a geometric condition. Theorem A proves that for a C² map F between open domains of sub-Riemannian Lie groups G and H, the identity Δ_G(u∘F)=λ²(Δ_H u)∘F+⟨b,(∇_H u)∘F⟩_H+c(u∘F) holds for all C² functions u exactly when F is a conformal submersion of factor λ, c≡0, and b(p)=trace_G(D²F(p))+DF(p)[∇_G μ_G(p)]−λ(p)²∇_H μ_H(F(p)). In particular, if the lower-order terms vanish and λ is constant, F is a homothety; if λ≡1 and dimensions agree, F is an isometry. Theorem B then shows that in Carnot groups the sub-Laplacian determines the sub-Riemannian structure: a C² map satisfying the pure scaling identity Δ_G(u∘F)=λ²(Δ_H u)∘F forces H to be a Carnot quotient of G, and in equal dimension F is a dilation, a left translation, and an isometric automorphism composed, so G and H are isomorphic as Carnot groups.

Load-bearing premise

The sharp Carnot conclusions rest on two imported facts: that a smooth-enough map sending horizontal directions to horizontal directions between Carnot groups has a derivative-like approximation at every point, and that every distance-preserving map of a Carnot group is a rigid affine map; if either of these fails, the conclusion that the target is a quotient of the domain could fail even though the conformal-submersion characterization from Theorem A would survive.

Editorial extensions

If this is right

  • For any two sub-Riemannian Lie groups, a C² map whose pullback action on the sub-Laplacian has principal symbol λ²(Δ_H u)∘F must be a conformal submersion; there is no other way to commute with the principal part.
  • On a Carnot group, two sub-Laplacians given by sums of squares of left-invariant fields are equivalent by a coordinate change if and only if the corresponding sub-Riemannian Carnot groups are isometric, and any such coordinate change is itself an isometry and a group automorphism.
  • A sub-Laplacian-commuting map of constant factor forces the target Carnot group to be a quotient of the domain, so the sub-Laplacian detects the whole hierarchy of Carnot quotients.
  • In Heisenberg groups, non-isometric sub-Riemannian structures yield non-equivalent sub-Laplacians, and the equivalence classes are parameterized by the symplectic spectrum of the horizontal scalar product up to a common scale.
  • Every sub-Laplacian on a Carnot group is induced from a free Carnot group by the quotient submetry, giving a normal form in which all Carnot sub-Laplacians are quotients of a free one.

Reading between the lines

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

  • Because Theorem A is proved by pointwise test functions, the same conformal-submersion characterization should hold for sub-Laplacians on general sub-Riemannian manifolds with a smooth measure, not only on Lie groups; the left-invariant structure only fixes the displayed form of the operator.
  • The explicit drift formula suggests a quantitative rigidity device: measuring how far a map commuting with the sub-Laplacian's principal part is from a homothety reduces to computing trace_G(D²F) and the modular gradients, both of which are directly computable in coordinates.
  • Since Remark 1.1 upgrades C² intertwiners on Carnot groups to C∞ via hypoellipticity, and Pansu differentiability is known under weaker regularity, one could hope that the rigidity in Theorem B persists for C¹ or even continuous intertwiners; this is a natural testable weakening.
  • The Heisenberg classification by symplectic spectrum up to scale suggests that for higher-step Carnot groups the equivalence classes of sub-Laplacians will be parameterized by analogous invariants of the horizontal metric under the automorphism group of the nilpotent group; computing such invariants for the first non-Heisenberg case would be a concrete test.
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 characterizes C^2 maps F between open domains of sub-Riemannian Lie groups for which the pullback of the sub-Laplacian is, up to a conformal factor and a first-order term, the sub-Laplacian on the target. Theorem A states that this happens exactly when F is a conformal submersion, with the first-order coefficient given explicitly by the trace of the second-order Lie differential plus a modular-function term. The authors then specialize to Carnot groups, proving that an intertwining map with constant conformal factor forces the target to be a Carnot quotient of the domain, and that in equal dimension F is a dilation composed with a left translation and an isometric automorphism. The paper also gives a complete classification of sub-Laplacian equivalence on Heisenberg groups in terms of the symplectic spectrum of the scalar product.

Significance. The main theorem provides a purely PDE characterization of conformal submersions of sub-Riemannian Lie groups, extending classical results of Helgason, Watson, Fuglede, and Ishihara to the sub-Riemannian setting. The proof of the forward direction is a direct computation, and the converse is obtained by evaluating the operator identity on quadratic test functions; there are no fitted parameters and no ad-hoc assumptions. The Carnot-group corollary answers a question from Bonfiglioli-Lanconelli-Uguzzoni and identifies sub-Laplacian equivalence with isometry, which is a strong and interesting rigidity statement. The Heisenberg classification via the symplectic spectrum is explicit and checkable. The sharp Carnot conclusions depend on two external deep results - Pansu differentiability of C^1 contact maps and affine rigidity of Carnot-group isometries - which are cited but not proved; I checked the citations and found no misstatement of those results. The technical gaps in the proof of Theorem 4.1 are local and repairable, and they do not affect the plausibility of the central claim once repaired.

major comments (2)
  1. [Section 4, Eq. (23)] The passage from (22) to (23) uses equation (8), but (8) is only stated for contact maps and contactness of F has not yet been established at that point of the proof of (i) implies (ii). This is a genuine gap in the written proof. The gap is repairable: because the quadratic test functions introduced in (24) have value and first derivative zero at the base point, the first-order terms in (22) drop and equation (27) can be derived without invoking (8); the authors should rewrite this step to avoid the circular use of contactness.
  2. [Section 4, Eqs. (24)-(26)] The identities D u_hat(q)^alpha(hat(q))[v] = 0 and D^2 u_hat(q)^alpha(hat(q))[v,v] = 2<alpha|v>^2 are stated for v,w in V(H), but in equation (26) they are applied to DF(hat(p))X_i, which is not known to lie in V(H) at that stage. The computation of D^2 u is in fact valid for every v in h via the exponential formula, and the proof should state and prove this extension so that the application in (26) is justified.
minor comments (5)
  1. [Abstract and Theorem A] The abstract says 'smooth maps' while Theorem A is stated for C^2 maps; the wording should be aligned.
  2. [Section 5.5] In the displayed formula for the sub-Laplacian, the term 'x_i^2 + yy_i / 4' appears to contain a typo; it should likely be '(x_i^2 + y_i^2) / 4'.
  3. [Section 5.2, Proposition 5.3] The claim that every C^1 contact map between Carnot groups is Pansu differentiable is cited to [2]; reference [17] (Warhurst) is more specific and is already in the bibliography, so it should be cited here as well.
  4. [Theorem A, final paragraph] The phrase 'conformal C^2 diffeomorphism' should be 'conformal C^2 local diffeomorphism' unless global invertibility is actually proved.
  5. [Section 5.2] The sentence 'We don't know a corresponding characterization of conformal submersions' is confusing in light of Proposition 5.3, which characterizes when a conformal submersion exists; please rephrase to clarify that the explicit form of a general conformal submersion is not known.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem A is a direct local computation and Theorem B relies on external rigidity theorems, not on the paper's own conclusions.

full rationale

I traced the derivation chain and found no circular step. Theorem A is established by two independent directions: Theorem 3.1 computes the sub-Laplacian of a composition under the metric definition of conformal submersion, and Theorem 4.1 proves the converse by evaluating the operator identity on quadratic bump-adapted test functions, obtaining equation (27), which is exactly the homothetic-projection condition of Section 2.7. The conformal submersion condition is defined purely metrically in Section 2.8, while the Laplacian-commutation identity is an independent PDE condition, so neither is defined in terms of the other. Theorem B's Carnot rigidity is imported from external Pansu differentiability and isometry-affineness results cited as [2], [10], and [12]; these are not results of the present paper and are not equivalent to the claimed conclusion. The only self-citation, [17] by one of the authors, appears in the bibliography but is not used in any proof, so it is not load-bearing. The one genuine defect in the written proof is in Theorem 4.1: equation (23) is derived via (8), which presupposes the contact condition that the theorem is trying to establish. This is a proof gap, not a circular reduction: the subsequent test functions have zero value and zero first derivative at the base point, so the offending first-order term drops and equation (27) follows directly from (25) and (26) without using (8). There are no fitted parameters renamed as predictions, no uniqueness conclusion forced by an author-supplied theorem, and no known result repackaged as new. The central claims are derived from first-principles identities against external benchmarks, so the appropriate circularity score is 0.

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

The central derivation is self-contained: Theorem A follows from the chain rule for second-order Lie differentials (Lemma 2.2) plus a pointwise identity obtained from quadratic test functions; no free parameters are introduced. The Carnot and Heisenberg consequences rest on four external results from the literature (Haar measure theory, Pansu differentiability of C1 contact maps, rigidity of Carnot isometries, symplectic spectrum classification), all with independent support. No new entities are postulated.

assumptions (4)
  • standard math Left-invariant Haar measures exist on Lie groups, and the modular function µ_G(g) = det(Ad g) describes how right translations scale them (Section 2.10, Lemma 2.7).
    Standard Lie group theory cited to [3]; enters the divergence formula (17) that defines the sub-Laplacian and produces the modular-function terms in Theorem A.
  • domain assumption Every C1 contact map between Carnot groups is Pansu differentiable at every point (Proposition 5.3 proof).
    Deep external theorem attributed to [2] and plausibly to [17]; it converts a pointwise conformal submersion into a Carnot morphism, a load-bearing input for the quotient conclusion in Theorem B.
  • domain assumption Isometries of Carnot groups are affine maps A composed with left translations, with A an isometric automorphism (Propositions 5.3, 5.4; Theorem 5.6).
    External rigidity results from [10] and [12]; they turn the conformal-submersion conclusion into the explicit form F = delta_lambda composed with A composed with L_p and drive the Heisenberg classification.
  • standard math Equivalence classes of pairs (omega, g) of a symplectic form and a scalar product are classified by the symplectic spectrum (Lemma 5.5).
    Quoted from [14, Lemma 2.4.6]; used in Theorem 5.6 to parametrize isometry classes of Heisenberg groups and hence the equivalence classes of their sub-Laplacians.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivalence of sub-Laplacian on Polarized groups." pith.science (2026). https://pith.science/paper/Q4HX5X5X

@misc{pith2026250100576,
  author       = {Pith},
  title        = {Pith review of: Equivalence of sub-Laplacian on Polarized groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q4HX5X5X}},
  note         = {Machine review of arXiv:2501.00576}
}
read the original abstract

We characterize smooth maps between sub-Riemannian Lie groups that commute with sub-Laplacians. We show they are sub-Riemannian conformal submersions. Our work clarifies the analysis initiated on Carnot groups in \cite{MR2363343}. In particular, we show that the sub-Laplacian in a Carnot group determines the sub-Riemannian structure.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 17 canonical work pages

  1. [1]

    Bonfiglioli, E

    A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni. Stratified Lie groups and po- tential theory for their sub-Laplacians . Springer Monographs in Mathematics. Springer, Berlin, 2007, pp. xxvi+800

    work page 2007

  2. [2]

    E. L. Donne. Metric Lie Groups. Carnot-Carathéodory spaces from the homo- geneous viewpoint. 2024. arXiv: 2410.07291 [math.DG]

    arXiv 2024

  3. [3]

    G. B. Folland. Real analysis. Second. Pure and Applied Mathematics (New York). Modern techniques and their applications, A Wiley-I nterscience Pub- lication. John Wiley & Sons, Inc., New York, 1999, pp. xvi+38 6

    work page 1999

  4. [4]

    Harmonic morphisms between Riemannian man ifolds

    B. Fuglede. “Harmonic morphisms between Riemannian man ifolds”. In: Ann. Inst. Fourier (Grenoble) 28.2 (1978), pp. vi, 107–144

    work page 1978

  5. [5]

    Riemannian submersions commuting with the Laplacian

    S. I. Goldberg and T. Ishihara. “Riemannian submersions commuting with the Laplacian”. In: J. Differential Geometry 13.1 (1978), pp. 139–144

    work page 1978

  6. [6]

    On the geometry of harmonic morphisms

    S. Gudmundsson. “On the geometry of harmonic morphisms” . In: Math. Proc. Cambridge Philos. Soc. 108.3 (1990), pp. 461–466

    work page 1990

  7. [7]

    Quasiregular maps on Car not groups

    J. Heinonen and I. Holopainen. “Quasiregular maps on Car not groups”. In: J. Geom. Anal. 7.1 (1997), pp. 109–148

    work page 1997

  8. [8]

    Helgason

    S. Helgason. Differential geometry, Lie groups, and symmetric spaces . Vol. 34. Graduate Studies in Mathematics. Corrected reprint of the 1 978 original. American Mathematical Society, Providence, RI, 2001, pp. x xvi+641

    work page 2001

Show all 18 references
  1. [9]

    A mapping of Riemannian manifolds which pr eserves harmonic functions

    T. Ishihara. “A mapping of Riemannian manifolds which pr eserves harmonic functions”. In: J. Math. Kyoto Univ. 19.2 (1979), pp. 215–229

    1979

  2. [10]

    Isometries of nilpotent met ric groups

    V. Kivioja and E. Le Donne. “Isometries of nilpotent met ric groups”. In: J. Éc. polytech. Math. 4 (2017), pp. 473–482

    2017

  3. [11]

    A primer on Carnot groups: homogenous grou ps, Carnot- Carathéodory spaces, and regularity of their isometries

    E. Le Donne. “A primer on Carnot groups: homogenous grou ps, Carnot- Carathéodory spaces, and regularity of their isometries”. In: Anal. Geom. Metr. Spaces 5 (2017), pp. 116–137

    2017

  4. [12]

    Isometries of Carnot groups and sub-Finsler homogeneous manifolds

    E. Le Donne and A. Ottazzi. “Isometries of Carnot groups and sub-Finsler homogeneous manifolds”. In: J. Geom. Anal. 26.1 (2016), pp. 330–345

    2016

  5. [13]

    J. M. Lee. Introduction to smooth manifolds. Second. Vol. 218. Graduate Texts in Mathematics. Springer, New York, 2013, pp. xvi+708. REFERENCES 19

    2013

  6. [14]

    McDuff and D

    D. McDuff and D. Salamon. Introduction to symplectic topology . Third. Ox- ford Graduate Texts in Mathematics. Oxford University Pres s, Oxford, 2017, pp. xi+623

    2017

  7. [15]

    Horizontally conformal submersions of CR-s ubmanifolds

    B. Sahin. “Horizontally conformal submersions of CR-s ubmanifolds”. In: Ko- dai Math. J. 31.1 (2008), pp. 46–53

    2008

  8. [16]

    The morphism property of subelliptic e quations on the roto-translation group

    M. V. Tryamkin. “The morphism property of subelliptic e quations on the roto-translation group”. In: Sibirsk. Mat. Zh. 56.5 (2015), pp. 1163–1186

    2015

  9. [17]

    Contact and Pansu differentiable maps on C arnot groups

    B. Warhurst. “Contact and Pansu differentiable maps on C arnot groups”. In: Bull. Aust. Math. Soc. 77.3 (2008), pp. 495–507

    2008

  10. [18]

    Manifold maps commuting with the Laplacian

    B. Watson. “Manifold maps commuting with the Laplacian ”. In: J. Differential Geometry 8 (1973), pp. 85–94. (Kijowski) Montec LLC, Rydygiera 8/6, 01-793, W arsa w, Poland Email address : antekijowski@gmail.com (Nicolussi Golo) University of Fribourg, Chemin du Musée 23, 1700 Fr...

    1973

Pith tools

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