[论文解读] A short note on additive functions on Riemannian co-compact coverings

Minh Kha|arXiv (Cornell University)|Oct 31, 2015

advanced mathematical theories参考文献 3被引用 3

一句话总结

本文提出了一种基于上同调与调和形式的拓扑不变方法，用于在黎曼共紧正规覆盖上构造可加函数。该方法利用de Rham上同调，建立了模周期函数的可加函数空间、基流形上具有恰当提升的闭1-形式空间，以及从丛群到ℝ的实同态空间之间的同构关系，实现了不依赖基本域选择的典范构造。

ABSTRACT

The main purpose of this note is to provide a topological approach to defining additive functions on Riemannian co-compact normal coverings.

研究动机与目标

• 开发一种在黎曼共紧正规覆盖上定义可加函数的拓扑不变方法，避免依赖于基本域等任意选择。
• 建立模周期函数的可加函数空间与从丛群到ℝ的实同态空间之间的典范同构关系。
• 通过Hodge理论将可加函数与基流形上的调和形式联系起来，实现基于Hodge理论的典范构造。
• 推广并形式化此前文献中简要提及的不变方法。
• 为构造具有指定丛群作用下变换规律的调和可加函数提供一个框架。

提出的方法

• 定义空间 $\Omega^1(M;G)$ 为上拉映射 $\pi^*: H^1_{\text{dR}}(M) \to H^1_{\text{dR}}(X)$ 的核，即由其在 $X$ 上的提升为恰当形式的闭1-形式组成。
• 对每个 $\omega \in \Omega^1(M;G)$，构造光滑函数 $f_\omega(x) = \int_{x_0}^x \pi^*\omega$，其满足可加性关系 $f_\omega(g\cdot x) - f_\omega(x) = \text{const}$。
• 在 $\mathcal{A}(X)$ 上引入等价关系 $\sim$，识别相差一个 $G$-周期函数的函数，从而得到商空间 $\mathcal{A}(X)/\sim$。
• 定义线性映射 $\Lambda: \Omega^1(M;G) \to \mathcal{A}(X)/\sim$，由 $[\omega] \mapsto [f_\omega]$ 给出，并证明其为同构。
• 定义映射 $\Upsilon: \mathcal{A}(X)/\sim \to \operatorname{Hom}(G,\mathbb{R})$，将每个可加函数与对应的同态 $\ell_f$ 关联。
• 利用Hodge理论在每个上同调类中构造调和代表，确保具有指定变换行为的调和可加函数的存在性与唯一性。

实验结果

研究问题

• RQ1 如何在不依赖基本域选择的前提下，定义黎曼共紧正规覆盖上的可加函数？
• RQ2 模周期函数的可加函数空间与从丛群到ℝ的实同态空间之间的确切关系是什么？
• RQ3 能否为任意给定的同态 $\ell \in \operatorname{Hom}(G,\mathbb{R})$ 构造出典范的调和可加函数？
• RQ4 基流形上的de Rham上同调类如何与覆盖空间上可加函数的结构相关联？
• RQ5 基流形上调和1-形式的上拉在构造覆盖空间上调和可加函数中起什么作用？

主要发现

• 基流形 $M$ 上具有在 $X$ 上提升为恰当形式的闭1-形式空间 $\Omega^1(M;G)$ 同构于 $\operatorname{Hom}(G,\mathbb{R})$，从而为可加函数提供了拓扑表征。
• 由 $[\omega] \mapsto [f_\omega]$ 定义的映射 $\Lambda: \Omega^1(M;G) \to \mathcal{A}(X)/\sim$ 是同构，建立了典范对应关系。
• 由 $[f] \mapsto \ell_f$ 定义的映射 $\Upsilon: \mathcal{A}(X)/\sim \to \operatorname{Hom}(G,\mathbb{R})$ 是同构，确认了模周期函数的可加函数与从 $G$ 到 $\mathbb{R}$ 的群同态之间存在一一对应。
• 对任意 $\ell \in \operatorname{Hom}(G,\mathbb{R})$，存在唯一的调和函数 $f$ 在 $X$ 上满足 $f(g\cdot x) = f(x) + \ell(g)$，至多相差一个常数。
• 当 $G = \mathbb{Z}^d$ 时，存在一个光滑的 $\mathbb{R}^d$-值可加函数 $h$ 满足 $h(g\cdot x) = h(x) + g$，从而使得Albanese伪度量可表示为 $d_G(x,y) = |h(x) - h(y)|$。
• 分解式 $\mathcal{A}(X) = \bigsqcup_{\alpha \in \operatorname{Hom}(G,\mathbb{R})} \{ f_\alpha + \varphi \mid \varphi \text{ 是周期函数} \}$ 成立，其中 $f_\alpha$ 为调和函数且在固定基点处为零。