[论文解读] On the cohomology of torus manifolds

Mikiya Masuda, Taras Panov|ArXiv.org|Jun 5, 2003

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

一句话总结

本文通过将拓扑不变量与轨道商的组合结构联系起来，建立了环面上流形的上同调特征刻画。证明了上同调环由度数二生成当且仅当轨道空间是一个同调多面体，从而推广了环面几何中斯坦利–雷伊纳德环的描述。关键贡献在于对具有平凡奇数度上同调的环面上流形所关联的单纯序集的 $h$-向量进行了完整刻画，表明此类流形存在的充要条件是 $h$-向量满足特定的奇偶性与正性条件。

ABSTRACT

A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is generated by two-dimensional classes if and only if the quotient is a homology polytope. In this case we retrieve the familiar picture from toric geometry: the equivariant cohomology is the face ring of the nerve simplicial complex and the ordinary cohomology is obtained by factoring out certain linear forms. In a more general situation, we show that the odd-degree cohomology of a torus manifold vanishes if and only if the orbit space is face-acyclic. Although the cohomology is no longer generated in degree two under these circumstances, the equivariant cohomology is still isomorphic to the face ring of an appropriate simplicial poset.

研究动机与目标

• 理解环面上流形的上同调性质与其轨道商组合结构之间的关系。
• 将环面簇上同调的斯坦利–雷伊纳德环描述推广到更广泛的环面上流形类。
• 刻画具有平凡奇数度上同调的环面上流形所关联的单纯序集的 $h$-向量。
• 确定具有指定 $h$-向量的此类环面上流形存在的必要与充分条件。

提出的方法

• 本文以等变上同调环 $H^*_T(M;\mathbb{Z})$ 为核心工具，将其识别为与轨道商相关的单纯序集的面环。
• 应用等变上同调中的局部化定理，分析 2-环面子群 $G \subset T^n$ 的限制映射 $H^*_G(M;\mathbb{Z}/2) \to H^*_G(M^G;\mathbb{Z}/2)$。
• 计算等变施蒂费尔–惠特尼类 $w^G(M)$ 为 $\prod_{i=1}^m (1 + \tau_i)$，其中 $\tau_i$ 是与特征子流形相关的度数二类。
• 将欧拉示性数 $\chi(M)$ 的模 2 约化与最高阶施蒂费尔–惠特尼类 $w_{2n}(M)$ 关联，证明其为度数二元素的多项式。
• 通过 $h_i(M) = \text{rank}_{\mathbb{Z}} H^{2i}(M)$ 将单纯序集的 $h$-向量与贝蒂数联系起来，从而对 $h$-向量施加上同调约束。
• 存在性证明使用标准例子（$\mathbb{C}P^n$，$S^{2n}$，$S^{2n-2k} \times S^{2k}$）的等变连通和构造出满足奇偶性与正性准则的任意 $h$-向量的流形。

实验结果

研究问题

• RQ1 环面上流形的上同调环在什么情况下由度数二类生成？
• RQ2 轨道商的何种组合条件可确保上同调由度数二生成？
• RQ3 哪些 $h$-向量可由具有平凡奇数度上同调的环面上流形实现？
• RQ4 此类环面上流形存在的 $h$-向量的必要与充分条件是什么？
• RQ5 在奇数上同调平凡的情况下，模 2 欧拉示性数如何约束 $h$-向量？

主要发现

• 环面上流形的上同调由度数二类生成当且仅当轨道空间为同调多面体。
• 此时，普通上同调环同构于轨道商的斯坦利–雷伊纳德面环模线性形式，与环面几何中的结构一致。
• 环面上流形的奇数度上同调平凡当且仅当轨道空间是面无圈的。
• 即使普通上同调不全由度数二生成，等变上同调环仍同构于单纯序集的面环。
• 对于具有平凡奇数度上同调的环面上流形，其 $h$-向量 $\mathbf{h} = (h_0, \dots, h_n)$ 必须满足 $h_i = h_{n-i}$，$h_0 = 1$，且满足以下之一：(1) $n$ 为奇数，(2) $n$ 为偶数且 $h_{n/2}$ 为偶数，或 (3) $n$ 为偶数，$h_{n/2}$ 为奇数，且对所有 $i$ 有 $h_i > 0$。
• 这些 $h$-向量条件对于实现此类环面上流形的秩 $n$ Gorenstein* 单纯序集而言，既是必要也是充分的。