[论文解读] Orientability and fundamental classes of Alexandrov spaces with applications

Ayato Mitsuishi|arXiv (Cornell University)|Oct 25, 2016

Geometric Analysis and Curvature Flows参考文献 33被引用 3

一句话总结

本文建立了阿列克桑德罗夫空间中多种可定向性概念——拓扑、几何与分析——的等价性，并为可定向开子集证明了类庞加莱对偶定理。主要贡献在于在有理系数下，于度数 0、1、n-1 和 n 处建立了上同调与同调之间的对偶同构，并将其应用于曲率估计与填充半径不等式。

ABSTRACT

In the present paper, we consider several valid notions of orientability of Alexandov spaces and prove that all such conditions are equivalent. Further, we give topological and geometric applications of the orientability. In particular, a Poincaré-type duality theorem is proved. As a corollary to the duality theorem, we also prove that if a closed Alexandrov space admits a positive curvature bound in a synthetic sense, then its codimension one homology vanishes. Further, we obtain a filling radius inequality for closed orientable Alexandrov spaces.

研究动机与目标

• 统一并澄清阿列克桑德罗夫空间中各种可定向性定义，这些空间未必可三角剖分或为同调流形。
• 在阿列克桑德罗夫空间的背景下，证明拓扑、几何与分析意义上的可定向性概念是等价的。
• 为阿列克桑德罗夫空间中可定向开子集建立类庞加莱对偶定理，使用有理系数。
• 推导出拓扑障碍，例如对于正曲率闭合阿列克桑德罗夫空间，其余维数一的有理同调群消失。
• 为闭合可定向阿列克桑德罗夫空间建立填充半径不等式，并探讨具有边界的空间中的对偶性。

提出的方法

• 通过局部同调同构及有理系数上同调中方向类的相容性来定义可定向性。
• 利用紧支集上同调与内部相对上同调之间的自然同构，将对偶性结果转移。
• 对 n 维阿列克桑德罗夫空间中无边界的开子集应用对偶映射 $ D_M: H^k_c(M;\mathbb{Q}) \to H_{n-k}(M;\mathbb{Q}) $。
• 利用锥邻域与方向传递，证明空间的对偶 $ D(X) $ 可定向当且仅当原空间 $ X $ 可定向。
• 通过同构 $ H^*(M,\partial M) \cong H^*_{\mathrm{c}}(M\setminus\partial M) $，为具有边界的紧阿列克桑德罗夫空间建立类莱夫谢茨对偶性。
• 利用 NB-空间（法向带体）的结构及其粘合方式，来定义并分析可定向性与边界行为。

实验结果

研究问题

• RQ1 阿列克桑德罗夫空间中各种可定向性定义——拓扑、几何与分析——是否等价？
• RQ2 对于阿列克桑德罗夫空间中可定向开子集，使用有理系数时，是否存在类庞加莱对偶性？
• RQ3 在合成意义下，正曲率闭合阿列克桑德罗夫空间会引发何种拓扑约束？
• RQ4 能否为闭合可定向阿列克桑德罗夫空间建立填充半径不等式？
• RQ5 在何种条件下，具有边界的可定向阿列克桑德罗夫空间的边界本身也是可定向的？

主要发现

• 阿列克桑德罗夫空间的所有可定向性概念——包括拓扑、几何与分析定义——均等价。
• 对于 n 维阿列克桑德罗夫空间中可定向开子集，在度数 $ k = n $ 与 $ k = n-1 $ 处，存在类庞加莱对偶同构 $ D_M: H^k_c(M;\mathbb{Q}) \to H_{n-k}(M;\mathbb{Q}) $。
• 对于闭合可定向阿列克桑德罗夫 n-空间，当 $ k = 0,1,n-1,n $ 时，对偶映射 $ D_M: H^k(M;\mathbb{Q}) \to H_{n-k}(M;\mathbb{Q}) $ 是同构。
• 若闭合 n 维阿列克桑德罗夫空间的曲率 $ \geq \kappa > 0 $，则其余维数一的有理同调 $ H_{n-1}(\Sigma;\mathbb{Q}) $ 消失。
• 对于正曲率的闭合可定向阿列克桑德罗夫空间，其整数余维数一同调 $ H_{n-1}(\Sigma;\mathbb{Z}) $ 同样消失。
• 对于闭合可定向阿列克桑德罗夫空间，填充半径不等式成立，提供了几何-拓扑约束。