[论文解读] Harmonic forms on manifolds with edges

Eugénie Hunsicker, Rafe Mazzeo|ArXiv.org|Mar 16, 2005

Geometric Analysis and Curvature Flows参考文献 11被引用 4

一句话总结

本文通过加权 de Rham 上同调与边缘伪微分演算，计算了具有不完整边缘奇点的紧致黎曼分层空间上的 $L^2$ 调和形式空间。当纤维上同调在临界度数上消失时，证明了 $L^2$ 调和形式与交上同调群相对应，从而解决了具有不完整度量的奇异空间上霍奇理论中的一个关键情形。

ABSTRACT

Let $(X,g)$ be a compact Riemannian stratified space with simple edge singularity. Thus a neighbourhood of the singular stratum is a bundle of truncated cones over a lower dimensional compact smooth manifold. We calculate the various polynomially weighted de Rham cohomology spaces of $X$, as well as the associated spaces of harmonic forms. In the unweighted case, this is closely related to recent work of Cheeger and Dai \cite{CD}. Because the metric $g$ is incomplete, this requires a consideration of the various choices of ideal boundary conditions at the singular set. We also calculate the space of $L^2$ harmonic forms for any complete edge metric on the regular part of $X$.

研究动机与目标

• 确定具有不完整边缘奇点的紧致分层空间上 $L^2$ 调和形式的拓扑意义。
• 通过分析加权 $L^2$ 上同调与调和形式，将霍奇理论扩展至不完整边缘度量。
• 阐明在奇异层存在的情况下，$L^2$ 调和形式与交上同调之间的关系。
• 通过区分最小与最大 de Rham 复形，解决不完整度量下奇异点处边界条件的依赖性问题。
• 刻画最小与最大 $L^2$ de Rham 复形何时重合，从而实现调和形式与交上同调的识别。

提出的方法

• 使用多项式加权 $L^2$ 上同调分析分层空间正则部分上的微分形式。
• 应用边缘伪微分演算构造不完整边缘度量上 Hodge 拉普拉斯算子的参数器。
• 依赖纤维帽与纤维边界演算的类比，通过边缘演算将这些方法适配至不完整度量。
• 分析拉普拉斯算子的法向算子，研究谱间隙与本质谱，尤其关注零附近的行为。
• 采用层论技术计算交上同调，特别是针对奇异层上锥丛的情形。
• 区分 de Rham 复形的最小与最大扩张，以处理不完整度量与奇异边界条件。

实验结果

研究问题

• RQ1 在不完整边缘度量下，加权 $L^2$ 调和形式与底层分层空间的拓扑不变量之间有何关系？
• RQ2 在不完整边缘空间的正则部分上，最小与最大 de Rham 复形在何种条件下重合？
• RQ3 在何种条件下，不完整边缘度量上的 $L^2$ 调和 $k$-形式空间与交上同调相对应？
• RQ4 当基维数 $b$ 为奇数时，纤维 $F$ 的上同调在确定 $L^2$ 调和形式的维数方面起何种作用？
• RQ5 Hodge 拉普拉斯算子的本质谱如何影响无限维 $L^2$ 调和形式的存在性？

主要发现

• 对于不完整边缘度量，当纤维上同调 $H^ ho(F)$ 消失时，$L^2$ 调和 $k$-形式分解为 $L^2 ilde{ ho}^k(M,g) \times L^2 ilde{ ho}^{k-r}(M,g)$。
• 当 $b$ 为偶数，或当 $\rho = (2k - b - 1)/2$ 时 $H^ ho(F) = 0$，最小与最大 de Rham 复形重合，从而确保 $L^2$ 调和形式定义良好。
• 在相同的上同调消失条件下，$L^2$ 调和 $k$-形式空间微分同构于交上同调 ${I\tilde{H}}^k_{\frak{m}}(X)$。
• 当 $b$ 为奇数且 $H^\rho(F) \neq 0$ 时，由于 $\triangle_k$ 的本质谱在零处聚集，空间 $L^2\tilde{\rho}^k(M,g)$ 为无限维。
• 通过边缘演算中的参数器构造，确立了 $\triangle_k$ 在零处的谱间隙，确保当 $\nu$ 为小且非零时，$\triangle_k - \nu$ 的余项为紧致。
• 该结果通过将对应关系推广至偶维纤维与完整的多项式权重尺度，推广了 Cheeger 与 Dai 的工作。