[论文解读] On Normal Stratified Pseudomanifolds

Gabriel Díaz Padilla|arXiv (Cornell University)|Oct 2, 2002

Topological and Geometric Data Analysis参考文献 7被引用 25

一句话总结

本文为拓扑分层伪流形构造了一个函子性正规化，其在比以往已知更广泛的伪度族下保持交化同调。该构造确保正规化映射为保持锥形结构的局部平凡分层态射，并明确描述了正规化空间的分层结构与原始空间的关系。

ABSTRACT

A stratified pseudomanifold is normal if its links are connected. A normalization of a stratified pseudomanifold $X$ is a normal stratified pseudomanifold $Y$ together with a finite-to-one projection $n:Y o X$ satisfying a local condition related to the fibers. The map n preserves the intersection homology. Following Borel any pl-stratified pseudomanifod has a normalization in the above sense. In this parper: 1.- We prove that the map $n$ can be required to satisfy a stronger condition: it is a locally trivial stratified morphism preserving the conical structure transverse to the strata. 2.- We extend Borel's result for any topological stratified pseudomanifold and for a family of perversities which is larger than the usual one. 3.- We make an explicit construction of such a normalization. We give a detailed description of the normalizer's stratification. 4.- We prove that our construction is functorial, thus unique up to isomorphisms. With little adjust our procedure holds also in the $C^{\infty}$ category.

研究动机与目标

• 将正规化的存在性从PL-分层伪流形扩展至一般的拓扑分层伪流形。
• 证明正规化在比传统考虑更广的伪度族下仍保持交化同调。
• 以函子性方式构造正规化，确保唯一性。
• 明确描述正规化空间的分层结构与原始伪流形之间的关系。
• 证明正规化映射为保持横截锥形结构的局部平凡分层态射。

提出的方法

• 本文通过尊重分层结构并保持交化同调的函子性过程构造正规化。
• 将正规化定义为从一个正规分层伪流形到原始空间的有限对一映射，满足改进的邻域条件。
• 该构造依赖于对链和正则部分连通分支的分析，以定义原像的结构。
• 确保正规化映射为局部平凡映射，并保持横截于分层的锥形结构。
• 该方法经小幅修改后可推广至$C^{ u}$范畴。
• 所用伪度族被明确定义，并证明其严格大于经典伪度族。

实验结果

研究问题

• RQ1 能否将正规化从PL-分层伪流形扩展至一般拓扑分层伪流形，同时保持交化同调？
• RQ2 是否存在一种函子性正规化构造，适用于拓扑分层伪流形并保持锥形结构？
• RQ3 原始伪流形的分层结构与其中心化空间的分层结构之间有何关系？
• RQ4 在哪些伪度族下，交化同调在正规化下仍被保持？
• RQ5 能否要求正规化映射为局部平凡分层态射？

主要发现

• 正规化映射被构造为保持交化同调的函子性、有限对一的分层态射。
• 该构造确保正规化映射为保持横截锥形结构的局部平凡分层态射。
• 正规化空间的分层结构被明确描述为原始伪流形的分层及其链的函数。
• 正规化在严格大于经典伪度族的伪度族下仍保持交化同调。
• 该方法经最小调整后可推广至$C^{ u}$范畴，表明其具有广泛适用性。