[论文解读] Cohomology of toric origami manifolds with acyclic proper faces

Anton Ayzenberg, Mikiya Masuda+2 more|arXiv (Cornell University)|Jul 3, 2014

Advanced Combinatorial Mathematics参考文献 15被引用 5

一句话总结

本文为轨道空间的所有真面均同伦等价于点的可定向环形折纸流形建立了上同调计算，推广了此前针对轨道空间为可缩情形的结果。通过归纳的手术过程与谱序列技术，推导出贝蒂数与等变上同调环的显式公式，表明当满足真面无圈条件时，中心范围内的奇数贝蒂数为零。

ABSTRACT

A toric origami manifold is a generalization of a symplectic toric manifold (or a toric symplectic manifold). The origami symplectic form is allowed to degenerate in a good controllable way in contrast to the usual symplectic form. It is widely known that symplectic toric manifolds are encoded by Delzant polytopes, and the cohomology and equivariant cohomology rings of a symplectic toric manifold can be described in terms of the corresponding polytope. Recently, Holm and Pires described the cohomology of a toric origami manifold $M$ in terms of the orbit space $M/T$ when $M$ is orientable and the orbit space $M/T$ is contractible. But in general the orbit space of a toric origami manifold need not be contractible. In this paper we study the topology of orientable toric origami manifolds for the wider class of examples: we require that every proper face of the orbit space is acyclic, while the orbit space itself may be arbitrary. Furthermore, we give a general description of the equivariant cohomology ring of torus manifolds with locally standard torus actions in the case when proper faces of the orbit space are acyclic and the free part of the action is a trivial torus bundle.

研究动机与目标

• 将环形折纸流形上同调描述从轨道空间可缩的情形推广至更一般情形。
• 填补当轨道空间不可缩但所有真面均无圈时，对贝蒂数与上同调环理解的空白。
• 在真面无圈条件下，推广关于环形流形的等变上同调结果。
• 为此类更广义流形提供系统化的贝蒂数与等变上同调环计算方法。

提出的方法

• 应用归纳手术过程逐步简化轨道空间，追踪贝蒂数的变化。
• 利用纤维丛 $ET \times_T M \to BT$ 的 Serre 谱序列分析等变上同调结构。
• 通过面环与单纯偏序集建模轨道空间及其各面的上同调。
• 运用涉及特征映射与克莱默法则的线性代数技术，关联同调类与交积。
• 该方法通过放宽可缩性假设至真面无圈性，推广了 Holm 与 Pires 的早期结果。
• 证明了广义版本的引理 3.5，表明在余维数为 $r$ 的无圈假设下，高阶上同调映射是满射。

实验结果

研究问题

• RQ1 当轨道空间不可缩但所有真面均无圈时，如何描述环形折纸流形的上同调？
• RQ2 对于具有局部标准作用且真面无圈的环形流形，其等变上同调环的结构是怎样的？
• RQ3 此类流形的贝蒂数能否通过归纳法计算？其在手术操作下的变化遵循何种递推关系？
• RQ4 真面无圈性在多大程度上能保证中心范围内奇数贝蒂数的消失？
• RQ5 在无圈条件下，原流形的上同调群与轨道空间及边界分量的上同调群之间有何关系？

主要发现

• 当轨道空间中每个余维数 $\geq r$ 的面均为无圈时，奇数贝蒂数 $b_{2i+1}(M)$ 在 $r \leq i \leq n-r-1$ 范围内为零。
• 经一次手术操作后，第一贝蒂数满足 $b_1(M') = b_1(M) - 1$，且由庞加莱对偶性，$b_{2n-1}$ 同样减少 1。
• 当 $i \geq r$ 时，贝蒂数满足 $b_{2i}(M') = b_{2i}(M) + b_{2i}(B) + b_{2i-2}(B)$，其中 $B$ 为边界分量。
• 在无圈假设下，等变上同调环 $H^*_T(M)$ 同构于面环 $\mathbb{Z}[M/T]$。
• 上同调环 $H^*(M)$ 同构于 $\mathbb{Z}[M/T]/(\theta_1,\dots,\theta_n)$，推广了拟环形流形的情形。
• 当可能时，可通过避免与面相交的同伦代表元，利用特征映射的线性关系计算额外同调类 $x_{L,j}$ 的交积。