[论文解读] Extra-fine sheaves and interaction decompositions

Daniel Bennequin, Olivier Peltre+2 more|arXiv (Cornell University)|Sep 26, 2020

Topological and Geometric Data Analysis参考文献 31被引用 4

一句话总结

本文在具有Alexandrov拓扑的偏序集中引入了超精细层与超超精细层，建立了超精细性与通过和-交条件实现的相互作用分解之间的对应关系。本文推导出自由层全局截面维数的上同调公式，推广了Kellerer与Matúš关于边缘问题解的经典结果，并通过偏序集的单纯复形局部系统，证明了Čech上同调与拓扑上同调之间的比较关系。

ABSTRACT

We introduce an original notion of extra-fine sheaf on a topological space, and a variant (hyper-extra-fine) for which Čech cohomology in strictly positive degree vanishes. We provide a characterization of such sheaves when the topological space is a partially ordered set (poset) equipped with the Alexandrov topology. Then we further specialize our results to some sheaves of vector spaces and injective maps, where extra-fineness is (essentially) equivalent to the decomposition of the sheaf into a direct sum of subfunctors, known as interaction decomposition, and can be expressed by a sum-intersection condition. We use these results to compute the dimension of the space of global sections when the presheaves are freely generated over a functor of sets, generalizing classical counting formulae for the number of solutions of the linearized marginal problem (Kellerer and Matúš). We finish with a comparison theorem between the Čech cohomology associated to a covering and the topos cohomology of the poset with coefficients in the presheaf, which is also the cohomology of a cosimplicial local system over the nerve of the poset. For that, we give a detailed treatment of cosimplicial local systems on simplicial sets. The appendixes present presheaves, sheaves and Čech cohomology, and their application to the marginal problem.

研究动机与目标

• 开发用于分析超图与偏序集上数据结构的上同调工具，特别是在信息论与数据集成中的应用。
• 在具有Alexandrov拓扑的偏序集中定义并表征超精细与超超精细层，确保正度数Čech上同调的消失。
• 通过和-交条件，建立向量丛层中超精细性与相互作用分解之间的对应关系。
• 利用上同调维数计算，推广线性化边缘问题解的经典计数公式。
• 比较覆盖的Čech上同调与偏序集的拓扑上同调，通过偏序集单纯复形上的余单纯局部系统，证明其等价性。

提出的方法

• 在拓扑空间中引入超精细层的概念，其变体（超超精细）可确保正度数Čech上同调的消失。
• 表征具有Alexandrov拓扑的偏序集上的超精细层，证明当层为向量空间时，其等价于相互作用分解。
• 利用Möbius反演与偏序集的关联代数，推导自由层全局截面的维数公式。
• 应用Hall公式与偏序集的Euler示性数，将层的上同调Euler示性数表示为Möbius函数与纤维大小的组合。
• 通过分析偏序集单纯复形上的余单纯局部系统，构造覆盖的Čech上同调与偏序集的拓扑上同调之间的比较同构。
• 对单纯集上的余单纯局部系统进行详尽处理，以建立上同调比较定理。

实验结果

研究问题

• RQ1 在配备Alexandrov拓扑的偏序集中，如何表征超精细层，其上同调意义为何？
• RQ2 在向量丛层中，超精细性与相互作用分解在何种意义上等价，其代数表达为何？
• RQ3 满足弱交性质的偏序集上自由层的全局截面空间的维数是多少？其如何推广已知的计数公式？
• RQ4 覆盖的Čech上同调与以预层为系数的偏序集的拓扑上同调之间有何关系？偏序集的单纯复形起何作用？
• RQ5 能否利用偏序集单纯复形上余单纯局部系统的上同调来计算以预层为系数的偏序集的上同调？

主要发现

• 对于满足弱交性质且纤维大小有限的有限偏序集 $\mathcal{A}$，层 $\overline{F}$ 的全局截面空间的维数为 $\sum_{\alpha,\beta \in \mathcal{A}} \mu_{\alpha\beta}(N_{\beta} - 1)$。
• 层 $F$ 的上同调Euler示性数为 $\sum_{\alpha,\beta \in \mathcal{A}} \mu_{\alpha\beta} N_{\beta}$，其等于 $\dim_{\mathbb{K}}H^0(\mathcal{U}_{\mathcal{A}}; \overline{F}) + \chi(\mathcal{A})$，其中 $\chi(\mathcal{A})$ 为偏序集的Euler示性数。
• 当 $\mathcal{A} = \partial\Delta(n-1)$ 时，即标准 $(n-1)$-单形的边界，Euler示性数为 $1 + (-1)^n$，且和为1的相容全局测度的数量为 $(N-1)^n$，与已知结果一致。
• 对于完整单形 $\Delta(n-1)$，Euler示性数为1，全局截面的数量为 $N^n - (N-1)^n + (-1)^n$，反映了上同调维数公式。
• 比较定理表明，覆盖的Čech上同调同构于偏序集的拓扑上同调，而后者又同构于偏序集单纯复形上余单纯局部系统的上同调。
• 通过Möbius函数定义的偏序集 $\mathcal{A}$ 的Euler示性数 $\chi(\mathcal{A}) = \sum_{\alpha,\beta} \mu_{\alpha\beta}$，与单纯复形 $N(\mathcal{A})$ 的Euler示性数以及当 $\mathcal{A}$ 满足弱交性质时的几何实现的古典Euler示性数一致。