[论文解读] Effondrement, spectre et propri\\'et\\'es diophantiennes des flots riemanniens

Pierre Jammes|arXiv (Cornell University)|May 19, 2005

Mathematical Dynamics and Fractals参考文献 17被引用 3

一句话总结

本文研究了在紧流形上黎曼叶状结构的绝热坍缩下，微分形式上霍奇拉普拉斯算子的小特征值的渐近行为。它建立了小特征值数量与叶状结构的基本上同调之间的谱对应关系，并引入了一个与叶状结构线性单值性群的无理性指数相关的丢番图不变量，将谱行为与极限空间的算术性质联系起来。

ABSTRACT

Let F be a riemannian flow on a closed manifold M. We study the behavior of the first eigenvalues of the Hodge Laplacian acting on differential forms under adiabatic collapsing of the flow. We show that the number of small eigenvalues is related to the basic cohomology of F, and give spectral criteria for the vanishing of the \\'Alvarez class and the Euler class of F. We also define a diophantine invariant of the flow wich is related to the asymptotical behavior of the small eigenvalues. An appendix is devoted to arithmetic properties of riemannian flows.

研究动机与目标

• 分析在黎曼叶状结构绝热坍缩下，微分形式上霍奇拉普拉斯算子的小特征值的行为。
• 将小特征值的数量与叶状结构的基本上同调联系起来，特别是在坍缩参数 ε → 0 的极限下。
• 通过特征值衰减，提供流的Álvarez类和欧拉类消失的谱判据。
• 定义并研究与小特征值渐近行为相关的叶状结构的丢番图不变量。
• 将谱衰减速率与Gromov-Hausdorff距离以及叶状结构单值性群的无理性指数联系起来。

提出的方法

• 通过一维参数族的纤维丛度量 $g_\varepsilon = \varepsilon^2 g_H \oplus g_V$ 实现绝热坍缩，其中 $g_H$ 为横截度量，$g_V$ 为沿叶的度量。
• 在 $g_\varepsilon$ 下分析微分形式上霍奇拉普拉斯算子的谱，重点关注 $\varepsilon \to 0$ 时的首特征值。
• 应用基本上同调 $H^*(M/\mathcal{F})$ 来计数小特征值，使用公式 $m_p = \dim H^p(M/\mathcal{F}) + \dim H^{n-p}(M/\mathcal{F}) - b_p(M)$。
• 通过叶状结构在一般叶闭包上线性流的无理性指数 $\mu(\mathcal{F})$ 定义丢番图不变量，特别关注二维环面闭包的情形。
• 利用Gromov-Hausdorff距离 $\delta(M,\mathcal{F},g_\varepsilon)$ 将谱衰减与坍缩流形收敛到极限空间的几何收敛性联系起来。
• 推导谱界：$c^{-1} \varepsilon^2 \leq \lambda_{p,k}(M,g_\varepsilon) \leq c \varepsilon^2$，其中 $1 \leq k \leq m_p$，且 $c > 1$ 与 $\varepsilon$ 无关。

实验结果

研究问题

• RQ1 在黎曼叶状结构的绝热坍缩下，微分形式上霍奇拉普拉斯算子的小特征值数量如何变化？
• RQ2 何种谱条件可推出流的Álvarez类和欧拉类的消失？
• RQ3 小特征值的渐近行为如何与流的单值性的丢番图性质相关？
• RQ4 坍缩流形的Gromov-Hausdorff距离与小特征值衰减速率之间的确切关系是什么？
• RQ5 一般叶闭包上线性流的无理性指数如何影响谱衰减？

主要发现

• 在坍缩下，微分形式上小特征值的数量由 $m_p = \dim H^p(M/\mathcal{F}) + \dim H^{n-p}(M/\mathcal{F}) - b_p(M)$ 给出，将谱计数与基本上同调联系起来。
• 小特征值满足 $c^{-1} \varepsilon^2 \leq \lambda_{p,k}(M,g_\varepsilon) \leq c \varepsilon^2$，其中 $1 \leq k \leq m_p$，且 $c > 1$ 与 $\varepsilon$ 无关，表明其具有二次缩放行为。
• Álvarez类 $[\kappa]$ 当且仅当 $\lambda_{1,1}(M,g_\varepsilon) \to 0$ 当 $\varepsilon \to 0$ 且欧拉类 $[e]$ 非零时消失。
• 对于一般叶闭包的二维环面闭包，有 $\liminf_{\varepsilon \to 0} \frac{\ln \delta(M,\mathcal{F},g_\varepsilon)}{\ln \varepsilon} = \frac{1}{\mu(\mathcal{F})}$，其中 $\mu(\mathcal{F})$ 为流的无理性指数。
• 在单值向量为坏逼近的假设下，谱衰减速率满足 $\limsup_{\varepsilon \to 0} \frac{\ln \lambda_{p,i}(M,g_\varepsilon)}{\ln \delta(M,\mathcal{F},g_\varepsilon)} = 2\mu(\mathcal{F})$。
• 丢番图不变量 $\mu(\mathcal{F})$ 控制小特征值的渐近行为，建立了谱理论与黎曼叶状结构中丢番图逼近之间的深层联系。