2025-11-10T02:56:08.488208

Asymptotics of Riemannian Lie groups with nilpotency step 2

Donne, Nalon, Golo et al.

We derive sharp estimates comparing asymptotic Riemannian or sub-Riemannian metrics in 2-step nilpotent Lie groups. For each metric, we construct a Carnot metric whose square remains at bounded distance from the square of the original metric. In particular, we deduce the analogue of a conjectire by Burago-Margulis: every 2-step nilpotent Riemannian Lie group is at bounded distance from its asymptotic cone. As a consequence, we obtain a refined estimate of the error term in the asymptotic expansion of the volume of the (sub-)Riemannian metric balls. To achive this, we develop a novel technique to efficiently perturb rectifiable curves modifying their endpoints in a prescribed vertical direction.

academic

リーマン2段幂零リー群の漸近性

基本情報

論文ID: 2503.00560
タイトル: Asymptotics of Riemannian Lie groups with nilpotency step 2
著者: Enrico Le Donne, Luca Nalon, Sebastiano Nicolussi Golo, Seung-Yeon Ryoo
分類: math.DG（微分幾何学）、math.GR（群論）、math.MG（距離幾何学）
発表日時: 2025年10月15日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2503.00560

要約

本論文は2段幂零リー群上のリーマン計量および部分リーマン計量の漸近挙動を研究し、これらの計量とその漸近計量の間の精密な推定を確立している。著者は各計量に対してカルノー計量を構成し、その平方が原計量の平方と有界距離を保つようにしている。特に、ブラゴ・マルグリス予想の類似結果を証明した：すべての2段幂零リーマンリー群は、その漸近錐と有界距離にある。系として、（部分）リーマン計量の球体積漸近展開における誤差項の精密な推定を得た。この目的を達成するため、所定の垂直方向で端点を修正する可整曲線の効率的な摂動に関する新規な技術を開発した。

研究背景と動機

問題背景

大規模幾何と漸近錐：多項式増長を持つ距離群の大規模幾何は、その漸近錐と密接に関連している。リーマン幂零リー群の場合、漸近錐は部分リーマンカルノー群であり、これらの漸近空間は通常リーマンではない（群が可換である場合を除く）。
ブラゴ・マルグリス予想：この予想は、すべての幂零群がその漸近錐と有界距離にあると主張しているが、より一般的な部分フィンスラー設定および幂零有限生成群では失効することが知られている。
体積増長問題：距離球の体積漸近挙動を理解することは幾何群論の中心的な問題であり、特に誤差項の精密な推定は深く研究されていない。

研究動機

2段幂零リー群の漸近幾何理論の空白を埋める
計量とその漸近錐の間の精密な定量的関係を確立する
体積増長推定に対してより精密な誤差分析を提供する
曲線摂動を扱うための新しい技術ツールを開発する

核心的貢献

主定理：任意の2段幂零部分リーマンリー群に対して、定数 $C > 0$ が存在し $|d_∞(p,q)^2 - d(p,q)^2| ≤ C$ が成り立つことを証明した。ここで $d_∞$ は標準漸近計量である。
ブラゴ・マルグリス予想の証明：2段幂零リーマンリー群に対して、原計量と有界距離内にあるカルノー計量を構成した。
体積増長の精密な推定：距離球体積の漸近展開が $\text{vol}(B(r)) = Cr^Q + O(r^{Q-2})$ であることを証明し、誤差項の最適性を示した。
新規な摂動技術：所定の垂直方向で曲線の端点を摂動する技術を開発し、初期曲線に依存しないエネルギー差の界を提供できる。
漸近計量の剛性結果：2段幂零リー群における漸近計量の同値条件を特徴付けた。

方法の詳細

問題設定

2段幂零リー群 $(G,d)$ 上の部分リーマン計量 $d$ とその標準漸近計量 $d_∞$ の関係を研究する。ここで：

$G$ は単連結2段幂零リー群
$d$ は左不変部分リーマン計量
$d_∞$ は $Δ_∞$ -水平曲線により定義される標準漸近計量

核心的技術フレームワーク

1. 標準漸近計量の構成

部分リーマン構造 $(Δ,ρ)$ に対して、以下を定義する： $V := \{v ∈ Δ_e | ρ(v,w) = 0 \text{ すべての } w ∈ Δ_e ∩ [g,g]\}$ $Δ_∞ := \bigcup_{p∈G} dL_p(V) ⊆ Δ$

標準漸近計量は以下で与えられる： $d_∞(p,q) := \inf\{ℓ(γ) | γ \text{ は } Δ_∞\text{-水平}, p,q ∈ γ([0,1])\}$

2. 垂直変分技術（核心的革新）

補題3.1（摂動技術）：任意の $u ∈ L^2([0,1],Δ_e)$ と $ζ ∈ [g,g]$ に対して、 $v ∈ L^2([0,1],V)$ が存在し以下を満たす：

$γ_{u+v}(1) = γ_u(1) + ζ$
$∫_0^1 ρ_e(v(t),u(t))dt = 0$
$∫_0^1 ρ_e(v(t),v(t))dt ≤ C|ζ|$

この技術の鍵は、複素化リー代数とフーリエ級数を利用した摂動の構成にある：

$ζ = ∑_{k=1}^m α_k[x_k,y_k]$ に対して、制御関数を構成する： $v_k(t) := ∑_{n∈E_k} \text{Re}(z_{n,k}(y_k + ix_k)f_n(t))$ ここで $f_n(t) = e^{2πint}$ 、 $\{z_{n,k}\}$ は特定の線形系を満たす。

3. 改善されたボール・ボックス定理

系3.2： $C > 0$ が存在し $d(e, q·\exp(ζ))^2 ≤ d(e,q)^2 + C|ζ|$ が成り立つ。これは古典的なボール・ボックス定理を改善し、誤差を $O(\sqrt{|ζ|})$ から $O(|ζ|)$ に向上させた。

主定理の証明戦略

上界推定：垂直変分技術を利用して、任意のエネルギー最小化曲線 $γ$ を水平部分と垂直摂動に分解し、摂動のエネルギーを制御することで $d_∞(e,q)^2 ≤ d(e,q)^2 + C$ を得る。
下界推定： $d(p,q) ≤ d_∞(p,q)$ から直接得られる。
漸近挙動：有界差推定から $|d_∞(p,q) - d(p,q)| = O(1/d(p,q))$ を導出する。