[论文解读] A geometric criterion for syzygies in equivariant cohomology

Matthias Franz|arXiv (Cornell University)|May 20, 2012

Advanced Combinatorial Mathematics参考文献 17被引用 3

一句话总结

本文建立了一项几何准则，用于判断一个定向T-流形的等变上同调何时是分类空间BT上同调的挠环（syzygy）。该准则仅依赖于商空间X/T的面结构，统一并推广了关于各类T-流形等变上同调的自由性与无挠性的已有结果，同时实现了新例子的系统性构造。

ABSTRACT

Let T be a torus and X an orientable T-manifold such that the action is almost free outside of finitely many submanifolds of codimension 2. We characterize geometrically when the equivariant cohomology H_T^*(X) is a certain syzygy as module over H^*(BT). It turns out that this only depends on the face structure of the orbit space X/T. Our criterion unifies and generalizes results of many authors about the freeness and torsion-freeness of equivariant cohomology for various classes of T-manifolds. It also permits to easily construct new examples.

研究动机与目标

• 刻画当一个定向T-流形X在除有限个余维2子流形外几乎自由作用时，其等变上同调H_T^*(X) 何时是H^*(BT)上的挠环。
• 识别轨道空间X/T上的几何条件，该条件决定H_T^*(X)作为H^*(BT)-模的挠环性质。
• 推广并统一各类T-流形等变上同调自由性与无挠性结果的已有结论。
• 提供一种系统方法，用于构造具有指定挠环性质的T-流形新例子。

提出的方法

• 该方法依赖于分析轨道空间X/T的面结构，其编码了T-作用的轨道类型分层。
• 利用等变上同调H_T^*(X)由轨道空间的拓扑与作用的各向同性数据决定的事实。
• 通过将模论中的挠环性质与轨道空间的组合几何联系起来，推导出该准则。
• 该方法利用了关于环面作用等变上同调的已知结果，并将其应用于轨道空间作为分层空间的结构。
• 关键洞见在于，挠环条件仅依赖于X/T的面格（face poset），而不依赖于X或作用的更精细拓扑细节。

实验结果

研究问题

• RQ1 在轨道空间X/T满足何种几何条件时，等变上同调H_T^*(X) 是H^*(BT)上的挠环？
• RQ2 X/T的面结构如何决定H_T^*(X)作为H^*(BT)-模的模论性质？
• RQ3 该准则在何种意义上推广了关于等变上同调自由性与无挠性的已知结果？
• RQ4 该准则能否用于系统性地构造具有所需挠环性质的T-流形新例子？

主要发现

• 当且仅当轨道空间X/T的面结构满足特定几何条件时，等变上同调H_T^*(X) 是H^*(BT)上的挠环。
• 该准则仅依赖于轨道空间X/T的组合与拓扑结构，而不依赖于X的全局拓扑或作用的细节，仅需各向同性数据。
• 该结果统一并推广了关于各类T-流形等变上同调自由性与无挠性的已有定理。
• 该方法可实现具有指定挠环性质的T-流形新例子的系统构造。