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

偏極化群上の部分ラプラシアンの同値性

基本情報

論文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

要約

本論文は、部分リーマン李群間の部分ラプラシアン作用素と交換する滑らかな写像を特徴付け、これらの写像が正確に部分リーマン共形浸没であることを証明する。本研究はカルノ群上で開始された解析を明確にし、特にカルノ群における部分ラプラシアン作用素が部分リーマン構造を完全に決定することを証明する。

研究背景と動機

問題背景

古典的結果の一般化の必要性: ヘルガソンはリーマン多様体上で、微分同相写像が等距写像であることと、それがラプラシアン交換写像であることが同値であることを証明した。ワトソンらはこの結果を調和リーマン浸没に一般化した。本論文はこの理論を部分リーマン設定に拡張する。
部分ラプラシアンの幾何学的意義: 部分リーマン李群上では、部分ラプラシアン作用素は計量と測度によって共に決定される。どのような写像がこのような作用素構造を保存するかを理解することは、部分リーマン幾何学を理解する上で本質的である。
カルノ群上の未解決問題: 文献1では、カルノ群上で向量場の平方和として定義された2つの微分作用素が同値であるかどうかという問題が提起されていた。本論文はこの問題を完全に解決する。

研究動機

部分リーマン幾何学における作用素同値性の完全な理論を確立する
カルノ群上の部分ラプラシアンの一意性問題を解決する
部分リーマン幾何学に新しい解析ツールを提供する

核心的貢献

主定理A: 部分リーマン李群間の部分ラプラシアンと交換するC²写像を完全に特徴付け、それらが正確に共形浸没であることを証明
定理B: カルノ群に対して、部分ラプラシアンが部分リーマン構造を完全に決定することを証明
作用素同値性理論: 平方和作用素の同値性の完全な分類を確立
ハイゼンベルク群の完全な記述: ハイゼンベルク群上のすべての同値類部分ラプラシアンの完全な記述を提供

方法の詳細説明

問題設定

部分リーマン李群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}$ は括弧生成部分空間
部分リーマン李群: 偏極化の基礎上にスカラー積 $\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を部分リーマン李群とし、 $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（カルノ群の場合）

陳述: GとHを部分リーマンカルノ群とする。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（作用素同値性）

2つの平方和作用素 $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): 共形浸没の部分ラプラシアンの直接計算
(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の証明

カルノ群の膨張性質を利用
パンス微分可能性理論を適用
カルノ群等距の分類結果を使用

ハイゼンベルク群への応用

シンプレクティック谱理論

ハイゼンベルク群 $H(\omega,g)$ に対して、シンプレクティック谱を定義： $\vec{r}_\omega(g) = (r_1, \ldots, r_n) \in (0,+\infty)^n$

定理5.6（ハイゼンベルク群の分類）

2つのハイゼンベルク群 $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}$ において、部分ラプラシアンは： $\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)$