2025-11-24T18:58:17.539990

Equivalence of sub-Laplacian on Polarized groups

Kijowski, Golo, Warhurst

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.

academic

Equivalence of sub-Laplacian on Polarized groups

基本信息

论文ID: 2501.00576
标题: Equivalence of sub-Laplacian on Polarized groups
作者: Antoni Kijowski, Sebastiano Nicolussi Golo, Ben Warhurst
分类: math.DG (微分几何), math.AP (分析与偏微分方程)
发表时间: 2024年12月31日
论文链接: https://arxiv.org/abs/2501.00576

摘要

本文刻画了在sub-Riemannian李群之间与sub-Laplacian算子交换的光滑映射，证明了这些映射恰好是sub-Riemannian共形浸没。这项工作澄清了在Carnot群上开始的分析，特别地证明了Carnot群中的sub-Laplacian算子完全决定了sub-Riemannian结构。

研究背景与动机

问题背景

经典结果的推广需求: Helgason在Riemannian流形上证明了微分同胚是等距映射当且仅当它是Laplacian交换映射。Watson等人将此结果推广到调和Riemannian浸没。本文将这一理论扩展到sub-Riemannian设置。
sub-Laplacian的几何意义: 在sub-Riemannian李群上，sub-Laplacian算子由度量和测度共同决定。理解什么样的映射保持这种算子结构对于理解sub-Riemannian几何至关重要。
Carnot群上的开放问题: 文献1中提出了关于Carnot群上两个定义为向量场平方和的微分算子是否等价的问题。本文完全解决了这一问题。

研究动机

建立sub-Riemannian几何中算子等价性的完整理论
解决Carnot群上sub-Laplacian唯一性问题
为sub-Riemannian几何提供新的分析工具

核心贡献

主定理A: 完全刻画了sub-Riemannian李群之间与sub-Laplacian交换的C²映射，证明它们恰好是共形浸没
定理B: 对于Carnot群，证明了sub-Laplacian完全决定sub-Riemannian结构
算子等价性理论: 建立了sum of squares算子等价的完整分类
Heisenberg群的完整描述: 给出了Heisenberg群上所有等价类sub-Laplacian的完整描述

方法详解

任务定义

研究sub-Riemannian李群G和H之间的C²映射F，使得对所有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)$

核心概念

1. 极化李群 (Polarized Lie Groups)

定义: 极化李群是对 $(G,V)$ ，其中G是连通李群， $V \subset \mathfrak{g}$ 是括号生成子空间
sub-Riemannian李群: 在极化基础上添加标量积 $\langle \cdot, \cdot \rangle_G$

2. 李微分

一阶李微分: $DF(p)[v] := \frac{d}{dt}\big|_{t=0} F(p)^{-1}F(p\exp(tv))$
二阶李微分: $D^2F(p)[v,w] := \frac{d}{dt}\big|_{t=0} DF(p\exp(tw))[v]$

3. 共形浸没

映射 $F: \Omega_G \to \Omega_H$ 是因子为 $\lambda$ 的共形浸没，如果：

F是接触映射： $DF(p)[V(G)] \subseteq V(H)$
限制 $DF(p)|_{V(G)}: V(G) \to V(H)$ 是因子为 $\lambda(p)$ 的同调投影

技术创新点

1. 李微分方法

使用李微分而非标准微分几何微分，更适合李群结构： $D^2F(p)[v,v] = \tilde{v}^2u(p)$

2. 同调投影理论

线性映射 $L: V \to W$ 是因子为 $\lambda$ 的同调投影当且仅当： $\langle L^T w_1, L^T w_2 \rangle_V = \lambda^2 \langle w_1, w_2 \rangle_W$

3. 测试函数构造

构造特殊测试函数 $u_\alpha^{\hat{q}}(q) := \phi(q) \cdot \langle \alpha|\log(q) \rangle^2$ 来验证共形性质。

主要结果

定理A (完整刻画)

陈述: 设G和H是sub-Riemannian李群， $F: \Omega_G \to \Omega_H$ 是C²映射。以下等价：

(i) 对所有 $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是因子为 $\lambda$ 的共形浸没， $c \equiv 0$ 且： $b(p) = \text{trace}_G(D^2F(p)) + DF(p)[\nabla_G\mu_G(p)] - \lambda(p)^2\nabla_H\mu_H(F(p))$

定理B (Carnot群情况)

陈述: 设G和H是sub-Riemannian Carnot群。如果存在C²映射 $F: G \to H$ 和 $\lambda > 0$ 使得： $\triangle_G(u \circ F) = \lambda^2(\triangle_H u) \circ F$

则H是G的商群。若 $\dim(G) = \dim(H)$ ，则F是膨胀、左平移和等距同构的复合。

推论5.1 (算子等价性)

两个sum of squares算子 $P_X = \sum_{i=1}^r \tilde{X}_i^2 + \text{div}_G(\tilde{X}_i)\tilde{X}_i$ 和 $P_Y = \sum_{i=1}^r \tilde{Y}_i^2 + \text{div}_G(\tilde{Y}_i)\tilde{Y}_i$ 相等当且仅当存在标量积使得X和Y都是标准正交基。

证明策略

定理A的证明

(ii) ⇒ (i): 直接计算共形浸没的sub-Laplacian
(i) ⇒ (ii):
- 构造特殊测试函数验证共形性质
- 使用恒等式 $\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$
- 证明 $DF(\hat{p})[V(G)] \subset V(H)$ 且是同调投影

定理B的证明

利用Carnot群的膨胀性质
应用Pansu可微性理论
使用Carnot群等距的分类结果

Heisenberg群的应用

辛谱理论

对于Heisenberg群 $H(\omega,g)$ ，定义辛谱： $\vec{r}_\omega(g) = (r_1, \ldots, r_n) \in (0,+\infty)^n$

定理5.6 (Heisenberg群分类)

两个Heisenberg群 $H(\omega_1,g_1)$ 和 $H(\omega_2,g_2)$ 等距当且仅当存在 $\rho > 0$ 使得： $\vec{r}_{\omega_1}(g_1) = \rho\vec{r}_{\omega_2}(g_2)$

坐标表示

在标准坐标 $(x,y,z) \in \mathbb{R}^{2n+1}$ 中，sub-Laplacian为： $\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)$