[论文解读] Special Itô maps and an $L^2$ Hodge theory for one forms on path spaces

K. D. Elworthy, Xue-Mei Li|arXiv (Cornell University)|Nov 21, 2019

Algebraic Geometry and Number Theory参考文献 34被引用 4

一句话总结

本文通过引入特殊的伊藤映射，并在对偶卡梅伦-马汀丛的 $L^2$-截面上定义一个闭的外微分 $ar{d}$，为紧致黎曼流形 $M$ 上的路径空间 $C_{x_0}M$ 建立了 $L^2$ Hodge 理论。其关键贡献是一个 Hodge 分解定理，表明 $H^1(C_{x_0}M)$ 中每个 $L^2$ 上同调类在拉普拉斯算子 $ abla^1 = ar{d}^*ar{d} + ar{d}ar{d}^*$ 的核中都有唯一的调和代表元，且满足 $L^2\Gamma(\mathcal{H}^1_\cdot^*) = \ker \Delta^1 \oplus \overline{\text{Image}\, \bar{d}} \oplus \overline{\text{Image}\, d^{1*}}$。该理论通过马利阿文随机分析和随机过程方法，将有限维 Hodge 理论推广至无限维路径空间。

ABSTRACT

We prove a Kodaira-Hodge decomposition on differential 1-forms on the space of non-smooth paths over a Riemannian manifold, allowing us to define the corresponding first cohomology group. This uses the Itô map of a Brownian system and damped stochastic parallel translation.

研究动机与目标

• 为紧致黎曼流形 $M$ 的路径空间 $C_{x_0}M$ 上的一次微分形式发展 $L^2$ Hodge 理论。
• 在对偶卡梅伦-马汀丛 $\mathcal{H}^1_\cdot^*$ 的 $L^2$-截面上定义一个闭的外微分 $\bar{d}$。
• 利用拉普拉斯算子 $\Delta^1 = \bar{d}^*\bar{d} + \bar{d}\bar{d}^*$，建立 $L^2$ 一次微分形式的 Hodge 分解。
• 证明 $H^1(C_{x_0}M)$ 中每个 $L^2$ 上同调类在 $\ker \Delta^1$ 中有唯一的代表元，从而将有限维 Hodge 理论推广至无限维情形。
• 通过特殊的伊藤映射与随机分析方法，尽管路径空间上缺乏光滑的单位分解，仍构建出 $L^2$-理论。

提出的方法

• 将路径空间 $C_{x_0}M$ 定义为满足 $\sigma(0) = x_0$ 的连续路径 $\sigma: [0,T] \to M$ 的空间，并赋予其 $C^\infty$ Banach流形结构。
• 在切空间 $T_\sigma C_{x_0}M$ 上赋予上确界范数 $\|v\|_\sigma^\infty = \sup_t |v(t)|_{\sigma(t)}$，从而诱导出一个 Finsler 结构。
• 将卡梅伦-马汀空间 $H^1_\sigma$ 定义为沿 $\sigma$ 的向量场 $v$ 的空间，使得 $v_t = //_t(\sigma) h_t$，其中 $h_t \in L^2$-霍尔德路径且 $h_0 = 0$，构成 $H$-可微性的‘可接受方向’。
• 构造卡梅伦-马汀丛的对偶丛 $\mathcal{H}^1_\cdot^*$，并将 $L^2$-截面 $L^2\Gamma(\mathcal{H}^1_\cdot^*)$ 视为 $L^2$ 一次微分形式的空间。
• 通过光滑柱状一次微分形式上标准外微分的 $L^2$-闭包，定义外微分 $d$ 的闭包 $\bar{d}$。
• 在 $L^2\Gamma(\mathcal{H}^1_\cdot^*)$ 上定义伴随算子 $d^*$ 与拉普拉斯算子 $\Delta^1 = \bar{d}^*\bar{d} + \bar{d}\bar{d}^*$，并证明其为自伴算子且定义域稠密。
• 利用戴维德的分部积分公式与 $\bar{d}$ 的闭值域性质，建立 Hodge 分解 $L^2\Gamma(\mathcal{H}^1_\cdot^*) = \ker \Delta^1 \oplus \overline{\text{Image}\, \bar{d}} \oplus \overline{\text{Image}\, d^{1*}}$。

实验结果

研究问题

• RQ1 尽管路径空间上缺乏光滑单位分解，是否仍可为无限维路径空间 $C_{x_0}M$ 上的一次微分形式建立 $L^2$ Hodge 理论？
• RQ2 对偶卡梅伦-马汀丛 $\mathcal{H}^1_\cdot^*$ 的 $L^2$-截面，外微分 $\bar{d}$ 的正确定义是什么？它是否为闭算子？
• RQ3 在 $L^2\Gamma(\mathcal{H}^1_\cdot^*)$ 上，拉普拉斯算子 $\Delta^1 = \bar{d}^*\bar{d} + \bar{d}\bar{d}^*$ 是否允许分解为调和、恰当与共恰当分量的正交直和？
• RQ4 每个 $H^1(C_{x_0}M)$ 中的 $L^2$ 上同调类是否在 $\ker \Delta^1$ 中有唯一的调和一次微分形式代表？
• RQ5 特殊伊藤映射与路径空间上微分形式的 $L^2$-理论之间有何关系？

主要发现

• 在 $\mathcal{H}^1_\cdot^*$ 的 $L^2$-截面上，外微分 $\bar{d}$ 是一个闭算子，其为光滑柱状一次微分形式上标准外微分的 $L^2$-闭包。
• $\bar{d}$ 的伴随算子 $d^*$ 在包含光滑柱状一次微分形式的稠密定义域上良好定义，且 $\bar{d}^*\bar{d} + \bar{d}\bar{d}^*$ 定义了 $L^2\Gamma(\mathcal{H}^1_\cdot^*)$ 上的非负自伴拉普拉斯算子 $\Delta^1$。
• $L^2\Gamma(\mathcal{H}^1_\cdot^*)$ 允许 Hodge 分解：$L^2\Gamma(\mathcal{H}^1_\cdot^*) = \ker \Delta^1 \oplus \overline{\text{Image}\, \bar{d}} \oplus \overline{\text{Image}\, d^{1*}}$，且各分量正交。
• $H^1(C_{x_0}M)$ 中每个 $L^2$ 上同调类在 $\ker \Delta^1$（即调和一次微分形式空间）中都有唯一的代表元。
• 复形 $L^2(C_{x_0}M; \mathbb{R}) \oplus L^2\Gamma(\mathcal{H}^1_\cdot^*) \oplus L^2\Gamma(\mathcal{H}^2_\cdot^*)$ 上的算子 $\tilde{d} + \tilde{d}^*$ 是自伴的，且其平方亦为自伴，确认了 Hodge 理论的一致性。
• 证明依赖于 $\bar{d}$ 的闭值域性质，以及 $\overline{\text{Image}\, \bar{d}}$ 与 $\overline{\text{Image}\, d^{1*}}$ 的正交性，后者通过分部积分及 $\psi$ 在 $\wedge^2 T\mathcal{I}$ 像上的消失性得到确立。