[论文解读] Analysis on Riemannian foliations of bounded geometry

Jesús A. Álvarez López, Yuri A. Kordyukov+1 more|arXiv (Cornell University)|May 30, 2019

Algebraic Geometry and Number Theory参考文献 18被引用 5

一句话总结

本文为有界几何的黎曼叶状结构建立了叶状Hodge分解，使与叶状流相关的光滑化算子的构造成为可能，并描述了其Schwartz核。该结果被推广至叶状Novikov微分复形，为算术几何中的动力迹公式提供了框架，尤其适用于Deninger的zeta函数程序。

ABSTRACT

A leafwise Hodge decomposition was proved by Sanguiao for Riemannian foliations of bounded geometry. Its proof is explained again in terms of our study of bounded geometry for Riemannian foliations. It is used to associate smoothing operators to foliated flows, and describe their Schwartz kernels. All of this is extended to a leafwise version of the Novikov differential complex.

研究动机与目标

• 将叶状Hodge分解推广至有界几何的黎曼叶状结构，确保叶状Laplacian与投影算子的良好行为。
• 利用叶状Hodge分解与热算子，定义并分析与叶状流相关的光滑化算子。
• 通过几何数据与群作用，描述这些算子的Schwartz核。
• 将框架推广至叶状Novikov微分复形，通过闭1-形式引入扰动。
• 通过提供具有不动点的奇异叶状空间上动力Lefschetz迹公式的工具，支持Deninger的程序。

提出的方法

• 使用叶状Hodge分解 $ C^{\infty}(M;\Lambda\mathcal{F}) = \ker\Delta_{\mathcal{F}} \oplus \overline{\operatorname{im}d_{\mathcal{F}}} \oplus \overline{\operatorname{im}\delta_{\mathcal{F}}} $ 对叶状微分形式进行分解，并将投影算子投射至调和形式。
• 通过叶状热算子 $ e^{-u\Delta_{\mathcal{F}}} $ 构造光滑化算子，得到算子 $ P_{u,f} = \int_{\mathbb{R}} \phi^{t*} e^{-u\Delta_{\mathcal{F}}} f(t) dt $，其中 $ f \in C^\infty_c(\mathbb{R}) $。
• 利用拉回与基本群作用下的等变性，描述这些算子的Schwartz核，其局部有限性由有界几何保证。
• 通过扰动微分 $ d_{\mathcal{F},z} = d_{\mathcal{F}} + z\,\theta\wedge $ 及其伴随 $ \delta_{\mathcal{F},z} = \delta_{\mathcal{F}} - \bar{z}\,\theta\lrcorner $，将框架扩展至叶状Novikov复形，其中 $ \theta \in C^\infty_{\text{ub}}(M;\Lambda^{0,1}) $。
• 将叶状流及其作用提升至正规覆盖，以定义 $ \phi^{t*}_z $，从而构造扰动光滑化算子及其核。
• 利用 $ \Gamma $-等变性与级数的局部有限性，将核 $ K_P(p,q) $ 表示为群轨道上的求和，利用距离函数的 $ h $-等变性。

实验结果

研究问题

• RQ1 如何在有界几何的黎曼叶状结构背景下建立并应用叶状Hodge分解？
• RQ2 与有界几何黎曼叶状结构上叶状流相关的光滑化算子的Schwartz核具有何种结构？
• RQ3 如何将叶状Hodge理论推广至带有闭1-形式扰动的Novikov微分复形？
• RQ4 叶状热算子在定义迹类光滑化算子及其超迹不变量中起何种作用？
• RQ5 该框架如何适应处理具有不动点的叶状流，特别是在Deninger的动力迹公式程序背景下？

主要发现

• 叶状Hodge分解在有界几何的黎曼叶状结构中成立，将 $ C^\infty(M;\Lambda\mathcal{F}) $ 分解为调和部分、$ d_{\mathcal{F}} $ 的像与 $ \delta_{\mathcal{F}} $ 的像，其中 $ \Pi_{\mathcal{F}} = e^{-\infty\Delta_{\mathcal{F}}} $ 投影至 $ \ker\Delta_{\mathcal{F}} $。
• 算子 $ P_{u,f} = \int_{\mathbb{R}} \phi^{t*} e^{-u\Delta_{\mathcal{F}}} f(t) dt $ 对所有 $ u > 0 $ 是光滑且迹类的，其超迹与 $ u $ 无关，且当 $ u \downarrow 0 $ 时，其极限捕捉了闭轨道的贡献。
• 光滑化算子 $ P $ 的Schwartz核由 $ K_P(p,q) = \sum_{\gamma \in \Gamma} T_\gamma^* K_{\widetilde{P}}(\gamma \cdot \tilde{p}, \tilde{q}) $ 给出，其局部有限性由有界几何与距离函数的 $ h $-等变性保证。
• 对于叶状Novikov复形，扰动微分 $ d_{\mathcal{F},z} = d_{\mathcal{F}} + z\,\theta\wedge $ 及其伴随 $ \delta_{\mathcal{F},z} $ 保持有界几何，并在 $ d\theta = 0 $ 时满足 $ d_{\mathcal{F},z}^2 = 0 $，$ \delta_{\mathcal{F},z}^2 = 0 $。
• 叶状Novikov扰动 $ \phi^{t*}_z $ 的流作用被提升至正规覆盖，从而可构造扰动光滑化算子，其核可通过群轨道上的 $ \Gamma $-等变求和表达。
• 结果在Novikov设定下保持结构不变：所有关于光滑化算子、核与迹不变量的结果，均可通过 $ D_{\mathcal{F},z} $ 与 $ \Pi_{\mathcal{F},z} $ 推广至扰动复形。