[论文解读] $L^\infty$ cohomology is intersection cohomology

Guillaume Valette|arXiv (Cornell University)|Dec 3, 2009

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

一句话总结

本文建立了紧致子解析伪流形的非奇异部分的 $L^∞$ 上同调与最大旁秩下交上同调之间的 de Rham 型同构。通过在子解析奇异链上进行积分以及利用子解析集的度量结构，作者证明了 $L^\infty$ 上同调在不需对奇点施加度量假设的情况下捕捉了奇异空间的拓扑不变量，将先前的 $L^2$ 结果推广到了 $L^\infty$ 设置。

ABSTRACT

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

研究动机与目标

• 在紧致子解析伪流形的非奇异部分上建立 $L^\infty$ 微分形式的 de Rham 定理。
• 证明 $L^\infty$ 上同调在最大旁秩下与交上同调同构，推广先前的 $L^2$ 结果。
• 通过在子解析奇异链上积分，实现 $L^\infty$ 上同调类的几何实现。
• 通过利用子解析集的精确度量结构，消除对奇点的度量假设，使结果适用于一般的紧致子解析伪流形。
• 通过识别出自然的微分形式类——$L^\infty$ 形式——为奇异子解析概形上的 Hodge 理论奠定基础，这些形式产生有限维且具有拓扑意义的上同调。

提出的方法

• 将 $L^\infty$ 上同调定义为具有有界范数的 $C^\infty$ 微分形式及其外导数的复形的上同调。
• 利用子解析集的理论及其在实解析 Puiseux 级数域 $k(0_+)$ 上的延拓，分析奇点附近的度量结构。
• 应用传递原理（Łoś 定理），将 $k(0_+)$ 中一般纤维的几何性质提升至小的正实参数，确保奇点附近行为的一致性。
• 在一般纤维中构造一个全局子解析微分同胚，其为双李普希茨，以控制奇点集的局部几何并确保形式的有界性。
• 通过在子解析奇异链上积分 $L^\infty$ 形式，实现 $L^\infty$ 上同调与交上同调之间的同构。
• 利用子解析集在 $k(0_+)^n$ 上的延拓对应于位于该集合上的 Puiseux 弧的芽集这一事实，实现对奇异行为的模型论分析。

实验结果

研究问题

• RQ1 在不假设度量锥形性的情况下，$L^\infty$ 上同调能否用于计算奇异空间的交上同调？
• RQ2 是否存在通过在子解析链上积分实现的 $L^\infty$ 上同调类的几何实现？
• RQ3 在所有紧致子解析伪流形中，$L^\infty$ 上同调与最大旁秩下交上同调之间的同构是否能统一建立？
• RQ4 使用 Puiseux 级数和一般纤维是否能实现对奇点的统一处理，而无需额外的度量假设？
• RQ5 $L^\infty$ 上同调能否作为奇异子解析概形上 Hodge 理论的基础？

主要发现

• 紧致子解析伪流形的非奇异部分的 $L^\infty$ 上同调与最大旁秩下的交上同调同构。
• 该同构通过在子解析奇异链上积分 $L^\infty$ 形式显式实现。
• 证明依赖于子解析奇点的精确度量描述，从而消除了对奇点先前的度量假设。
• $L^\infty$ 上同调群是有限生成的，这是由于一致有界性和子解析结构的直接结果。
• 从 $k(0_+)$ 到实参数的传递原理确保了在一般纤维中的几何性质可推出对小的正实参数的一致行为。
• 该结果将 Cheeger 的 $L^2$ de Rham 定理推广到了 $L^\infty$ 设置，将微分几何工具的适用范围扩展到了更广泛的奇异空间类别。