Equivalence of sub-Laplacian on Polarized groups

Basic Information

• Paper ID: 2501.00576
• Title: Equivalence of sub-Laplacian on Polarized groups
• Authors: Antoni Kijowski, Sebastiano Nicolussi Golo, Ben Warhurst
• Classification: math.DG (Differential Geometry), math.AP (Analysis and Partial Differential Equations)
• Publication Date: December 31, 2024
• Paper Link: https://arxiv.org/abs/2501.00576

Abstract

This paper characterizes smooth mappings between sub-Riemannian Lie groups that commute with the sub-Laplacian operator, proving that these mappings are precisely conformal submersions. This work clarifies analysis initiated on Carnot groups, particularly establishing that the sub-Laplacian operator on Carnot groups completely determines the sub-Riemannian structure.

Research Background and Motivation

Problem Background

1. Need for Generalization of Classical Results: Helgason proved on Riemannian manifolds that a diffeomorphism is an isometry if and only if it commutes with the Laplacian. Watson and others extended this result to harmonic Riemannian submersions. This paper extends this theory to the sub-Riemannian setting.
2. Geometric Significance of sub-Laplacian: On sub-Riemannian Lie groups, the sub-Laplacian operator is determined jointly by the metric and measure. Understanding which mappings preserve this operator structure is crucial for understanding sub-Riemannian geometry.
3. Open Problem on Carnot Groups: Reference 1 raised the question of whether two differential operators on Carnot groups, each defined as sums of squares of vector fields, are equivalent. This paper completely resolves this problem.

Research Motivation

• Establish a complete theory of operator equivalence in sub-Riemannian geometry
• Resolve the uniqueness problem of sub-Laplacian on Carnot groups
• Provide new analytical tools for sub-Riemannian geometry

Core Contributions

1. Main Theorem A: Completely characterizes C² mappings between sub-Riemannian Lie groups that commute with the sub-Laplacian, proving they are precisely conformal submersions
2. Theorem B: For Carnot groups, proves that the sub-Laplacian completely determines the sub-Riemannian structure
3. Operator Equivalence Theory: Establishes complete classification of equivalence of sum of squares operators
4. Complete Description for Heisenberg Groups: Provides complete description of all equivalence classes of sub-Laplacians on Heisenberg groups

Detailed Methodology

Problem Setup

Study C² mappings F between sub-Riemannian Lie groups G and H such that for all u ∈ C²(H): $\triangle_G(u \circ F) = \lambda^2 \cdot (\triangle_H u) \circ F + \langle b, (\nabla_H u) \circ F \rangle_H + c \cdot (u \circ F)$

Core Concepts

1. Polarized Lie Groups

• Definition: A polarized Lie group is a pair (G,V), where G is a connected Lie group and $V \subset \mathfrak{g}$ is a bracket-generating subspace
• sub-Riemannian Lie Group: A polarized group with an added inner product $\langle \cdot, \cdot \rangle_G$

2. Lie Differential

• First-order Lie Differential: $DF(p)[v] := \frac{d}{dt}\big|_{t=0} F(p)^{-1}F(p\exp(tv))$
• Second-order Lie Differential: $D^2F(p)[v,w] := \frac{d}{dt}\big|_{t=0} DF(p\exp(tw))[v]$

3. Conformal Submersion

A mapping $F: \Omega_G \to \Omega_H$ is a conformal submersion with factor $\lambda$ if:

• F is a contact mapping: $DF(p)[V(G)] \subseteq V(H)$
• The restriction $DF(p)|_{V(G)}: V(G) \to V(H)$ is a homothetic projection with factor $\lambda(p)$

Technical Innovations

1. Lie Differential Method

Uses Lie differentials rather than standard differential geometric differentials, better suited to Lie group structure: $D^2F(p)[v,v] = \tilde{v}^2u(p)$

2. Homothetic Projection Theory

A linear map $L: V \to W$ is a homothetic projection with factor $\lambda$ if and only if: $\langle L^T w_1, L^T w_2 \rangle_V = \lambda^2 \langle w_1, w_2 \rangle_W$

3. Test Function Construction

Constructs special test functions $u_\alpha^{\hat{q}}(q) := \phi(q) \cdot \langle \alpha|\log(q) \rangle^2$ to verify conformal properties.

Main Results

Theorem A (Complete Characterization)

Statement: Let G and H be sub-Riemannian Lie groups, and $F: \Omega_G \to \Omega_H$ be a C² mapping. The following are equivalent:

(i) For all $u \in C^2(\Omega_H)$: $\triangle_G(u \circ F) = \lambda^2 \cdot (\triangle_H u) \circ F + \langle b, (\nabla_H u) \circ F \rangle_H + c \cdot (u \circ F)$

(ii) F is a conformal submersion with factor $\lambda$, $c \equiv 0$, and: $b(p) = \text{trace}_G(D^2F(p)) + DF(p)[\nabla_G\mu_G(p)] - \lambda(p)^2\nabla_H\mu_H(F(p))$

Theorem B (Carnot Groups Case)

Statement: Let G and H be sub-Riemannian Carnot groups. If there exist a C² mapping $F: G \to H$ and $\lambda > 0$ such that: $\triangle_G(u \circ F) = \lambda^2(\triangle_H u) \circ F$

then H is a quotient group of G. If $\dim(G) = \dim(H)$, then F is a composition of dilations, left translations, and isometries.

Corollary 5.1 (Operator Equivalence)

Two sum of squares operators $P_X = \sum_{i=1}^r \tilde{X}_i^2 + \text{div}_G(\tilde{X}_i)\tilde{X}_i$ and $P_Y = \sum_{i=1}^r \tilde{Y}_i^2 + \text{div}_G(\tilde{Y}_i)\tilde{Y}_i$ are equal if and only if there exists an inner product such that both X and Y are orthonormal bases.

Proof Strategy

Proof of Theorem A

1. (ii) ⇒ (i): Direct computation of sub-Laplacian for conformal submersions
2. (i) ⇒ (ii):
   • Construct special test functions to verify conformal properties
   • Use the identity $\sum_{i=1}^r \langle\alpha|DF(\hat{p})X_i\rangle^2 = \lambda(\hat{p})^2 \sum_{i=1}^s \langle\alpha|Y_i\rangle^2$
   • Prove $DF(\hat{p})[V(G)] \subset V(H)$ and that it is a homothetic projection

Proof of Theorem B

• Exploit the dilation property of Carnot groups
• Apply Pansu differentiability theory
• Use classification results for isometries of Carnot groups

Application to Heisenberg Groups

Symplectic Spectrum Theory

For Heisenberg group $H(\omega,g)$, define the symplectic spectrum: $\vec{r}_\omega(g) = (r_1, \ldots, r_n) \in (0,+\infty)^n$

Theorem 5.6 (Classification for Heisenberg Groups)

Two Heisenberg groups $H(\omega_1,g_1)$ and $H(\omega_2,g_2)$ are isometric if and only if there exists $\rho > 0$ such that: $\vec{r}_{\omega_1}(g_1) = \rho\vec{r}_{\omega_2}(g_2)$

Coordinate Representation

In standard coordinates $(x,y,z) \in \mathbb{R}^{2n+1}$, the sub-Laplacian is: $\triangle_{\bar{r}} = \sum_{i=1}^n r_i^2 \left( \frac{\partial^2}{\partial x_i^2} + \frac{\partial^2}{\partial y_i^2} + \frac{x_i^2 + y_i^2}{4}\frac{\partial^2}{\partial z^2} + \left(x_i\frac{\partial}{\partial y_i} - y_i\frac{\partial}{\partial x_i}\right) \right)$

Related Work

1. Classical Theory: Results of Helgason, Watson, Fuglede, and Ishihara on the Riemannian case
2. sub-Riemannian Geometry: Open problems posed by Bonfiglioli-Lanconelli-Uguzzoni
3. Carnot Group Theory: Known results on free Lie groups and Heisenberg groups
4. Harmonic Morphism Theory: Generalizations by Goldberg and Ishihara

Conclusions and Discussion

Main Conclusions

1. Completely resolves the characterization problem of operator-commuting mappings between sub-Riemannian Lie groups
2. Proves that the sub-Laplacian on Carnot groups uniquely determines the geometric structure
3. Establishes complete theory of equivalence of sum of squares operators
4. Provides classification of all sub-Laplacians on Heisenberg groups

Limitations

1. Results primarily apply to the Lie group setting; general sub-Riemannian manifolds require further investigation
2. The C² regularity requirement may be too strong; optimal regularity conditions remain undetermined
3. The non-unimodular group case involves complex modular function calculations

Future Directions

1. Generalize to general sub-Riemannian manifolds
2. Investigate optimal regularity conditions
3. Explore connections with hypoelliptic PDE theory
4. Apply to geometric and harmonic analysis

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete resolution of the problem and establishes a systematic theoretical framework
2. Technical Innovation: Clever application of Lie differential methods and homothetic projection theory
3. Applied Value: Resolves important open problems in the field
4. Clear Exposition: Well-structured and rigorous proofs

Weaknesses

1. Technical Threshold: Requires deep background in Lie groups and sub-Riemannian geometry
2. Scope of Application: Primarily limited to the Lie group setting
3. Computational Complexity: Practical applications may involve complex calculations

Impact

1. Theoretical Contribution: Provides important analytical tools for sub-Riemannian geometry
2. Problem Resolution: Completely resolves the open problem posed by Bonfiglioli and others
3. Methodological Significance: The Lie differential method may inspire related research

Applicable Scenarios

1. sub-Riemannian geometry research
2. Carnot group theory
3. Hypoelliptic partial differential equations
4. Rigidity problems in geometric group theory

References

1 A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni. Stratified Lie groups and potential theory for their sub-Laplacians. Springer, 2007.

8 S. Helgason. Differential geometry, Lie groups, and symmetric spaces. AMS, 2001.

18 B. Watson. "Manifold maps commuting with the Laplacian". J. Differential Geometry, 1973.