[论文解读] Maximal syzygies in equivariant cohomology

Matthias Franz|arXiv (Cornell University)|Mar 18, 2014

Advanced Combinatorial Mathematics被引用 1

一句话总结

本文引入了大多边形空间——作为欧几里得空间中实二次曲面交集定义的紧致可定向流形——其在等变上同调中表现出新颖的行为。尽管其等变上同调在 BT 的上同调上永远不是自由模，但它们支持精确的 Chang-Skjelbred 序列，并具有完美的等变 Poincaré 配对，表明对 T-流形的已知 syzygy 有界是紧致的。

ABSTRACT

We study a new class of compact orientable manifolds, called big polygon spaces. They are intersections of real quadrics and related to polygon spaces, which appear as their fixed point set under a canonical torus action. What makes big polygon spaces interesting is that they exhibit remarkable new features in equivariant cohomology: The Chang-Skjelbred sequence can be exact for them and the equivariant Poincare pairing perfect although their equivariant cohomology is never free as a module over the cohomology ring of BT. More generally, big polygon spaces show that a certain bound on the syzygy order of the equivariant cohomology of compact orientable T-manifolds obtained by Allday, Puppe and the author is sharp.

研究动机与目标

• 引入并研究一类称为大多边形空间的新紧致可定向流形类。
• 研究其等变上同调性质，特别是与 Chang-Skjelbred 精确序列的关系。
• 分析这些空间中等变 Poincaré 配对是否完美。
• 确定等变上同调在 H*(BT) 上是否为自由模，若不是，则其对 syzygy 有界意味着什么。
• 通过构造具有最大 syzygy 顺序的反例，证明对 T-流形的 syzygy 顺序已知有界是紧致的。

提出的方法

• 将大多边形空间构造为欧几里得空间中实二次曲面的交集。
• 分析其在标准环面作用下的不动点集结构。
• 应用 Chang-Skjelbred 精确序列研究这些流形的等变上同调。
• 利用等变 Poincaré 对偶配对评估其非退化性。
• 研究等变上同调在 H*(BT) 上的模结构，表明其永远不是自由模。
• 将等变上同调的 syzygy 顺序与 Allday、Puppe 及作者工作的已知上界进行比较。

实验结果

研究问题

• RQ1 对于等变上同调在 H*(BT) 上非自由的紧致可定向 T-流形，Chang-Skjelbred 序列是否可能精确？
• RQ2 在何种条件下，此类流形中的等变 Poincaré 配对是完美的？
• RQ3 大多边形空间的等变上同调在 H*(BT) 上的模结构是否为自由模？
• RQ4 大多边形空间是否实现了 T-流形已知有界所允许的最大 syzygy 顺序？
• RQ5 大多边形空间能否用于证明 T-流形 syzygy 有界的紧致性？

主要发现

• 尽管其等变上同调在 H*(BT) 上非自由，大多边形空间仍支持精确的 Chang-Skjelbred 序列。
• 大多边形空间的等变 Poincaré 配对是完美的，表明其具有强对偶性质。
• 大多边形空间的等变上同调在 BT 的上同调环上永远不是自由模。
• 这些流形实现了由 Allday、Puppe 及作者建立的有界所允许的最大可能 syzygy 顺序。
• 大多边形空间的存在表明，对紧致可定向 T-流形的 syzygy 有界是紧致的。
• 大多边形空间提供了首个已知的紧致可定向 T-流形实例，其具有精确的 Chang-Skjelbred 序列和完美的 Poincaré 配对，但等变上同调非自由。