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

Asymptotics of Riemannian Lie groups with nilpotency step 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 (度量几何)
发表时间: October 15, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2503.00560

摘要

本文研究了2步幂零李群上黎曼和子黎曼度量的渐近行为，建立了这些度量与其渐近度量之间的精确估计。作者为每个度量构造了一个Carnot度量，使得其平方与原度量的平方保持有界距离。特别地，证明了Burago-Margulis猜想的类似结果：每个2步幂零黎曼李群都与其渐近锥处于有界距离。作为推论，获得了(子)黎曼度量球体积渐近展开中误差项的精细估计。为实现这一目标，开发了一种新颖的技术来高效扰动可整曲线，在预设的垂直方向上修改其端点。

研究背景与动机

问题背景

大尺度几何与渐近锥：多项式增长度量群的大尺度几何与其渐近锥密切相关。对于黎曼幂零李群，渐近锥是子黎曼Carnot群，这些渐近空间通常不是黎曼的（除非群是交换的）。
Burago-Margulis猜想：该猜想断言所有幂零群都与其渐近锥处于有界距离，但已知在更一般的子Finsler设置和幂零有限生成群中会失效。
体积增长问题：理解度量球的体积渐近行为是几何群论的核心问题，特别是误差项的精确估计一直缺乏深入研究。

研究动机

填补2步幂零李群渐近几何理论的空白
建立度量与其渐近锥之间的精确量化关系
为体积增长估计提供更精细的误差分析
开发处理曲线扰动的新技术工具

核心贡献

主要定理：证明了对于任意2步幂零子黎曼李群，存在常数C > 0使得 $|d_∞(p,q)^2 - d(p,q)^2| ≤ C$ 其中 $d_∞$ 是规范渐近度量。
Burago-Margulis猜想的证明：对于2步幂零黎曼李群，构造了与原度量在有界距离内的Carnot度量。
体积增长的精细估计：证明了度量球体积的渐近展开为 $\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{ for every } w ∈ Δ_e ∩ [g,g]\}$ $Δ_∞ := \bigcup_{p∈G} dL_p(V) ⊆ Δ$

规范渐近度量为： $d_∞(p,q) := \inf\{ℓ(γ) | γ \text{ is } Δ_∞\text{-horizontal}, 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|ζ|$

这个技术的关键在于利用复化李代数和Fourier级数构造扰动：

对于 $ζ = ∑_{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. 改进的Ball-Box定理

推论3.2：存在 $C > 0$ 使得 $d(e, q·\exp(ζ))^2 ≤ d(e,q)^2 + C|ζ|$ 这改进了经典的Ball-Box定理，将误差从 $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))$ 。