[论文解读] The Toral Rank Conjecture and variants of equivariant formality

Manuel Amann, Leopold Zoller|arXiv (Cornell University)|Oct 10, 2019

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文引入了两种新的等变形式性概念——$\mathcal{MOD}$-形式性和形式核心作用——它们将经典等变形式性推广，以更好地与有理同伦论及环形秩猜想保持一致。通过将这些概念与$A_\infty$-代数及Hirsch–Brown模型联系起来，作者在新情况下证明了环形秩猜想，表明满足任一条件的几乎自由环作用满足$\dim H^*(X;\mathbb{Q}) \geq 2^n$，从而扩展了已知结果，并为变换群的上同调退化提供了一个统一的框架。

ABSTRACT

An action of a compact Lie group is called equivariantly formal, if the Leray--Serre spectral sequence of its Borel fibration degenerates at the E_2-term. This term is as prominent as it is restrictive. In this article, also motivated by the lack of junction between the notion of equivariant formality and the concept of formality of spaces (surging from rational homotopy theory) we suggest two new variations of equivariant formality: "MOD-formal actions" and "actions of formal core". We investigate and characterize these new terms in many different ways involving various tools from rational homotopy theory, Hirsch--Brown models, $A_\infty$-algebras, etc., and, in particular, we provide different applications ranging from actions on symplectic manifolds and rationally elliptic spaces to manifolds of non-negative sectional curvature. A major motivation for the new definitions was that an almost free action of a torus $T^n\curvearrowright X$ possessing any of the two new properties satisfies the toral rank conjecture, i.e. $dim H^*(X;Q)\geq 2^n$. This generalizes and proves the toral rank conjecture for actions with formal orbit spaces.

研究动机与目标

• 为弥合经典等变形式性与有理同伦论中形式性之间的脱节，特别是在环形秩猜想的背景下。
• 定义新的、更具弹性的等变形式性概念，以检测上同调退化，同时保持与空间形式性的兼容性。
• 通过利用这些改进的概念，证明环形秩猜想在新类几乎自由环作用中的成立。
• 统一有理同伦论、$A_\infty$-代数与Hirsch–Brown模型的工具，用于研究等变上同调。

提出的方法

• 通过等变上同调上的模理论条件引入$\mathcal{MOD}$-形式作用，推广经典形式性。
• 通过要求等变上同调作为分类空间上同调代数上的模是形式的，来定义形式核心作用。
• 使用Hirsch–Brown模型为cdga构造最小的$C_\infty$-模型，以控制高阶运算$m_n$。
• 应用$A_\infty$-代数技术来刻画形式性，并构造相容的循环选择同态$f_n$。
• 建立cdga之间上同调单射态射的相容性定理，保持形式性与单位结构。
• 借助Buchsbaum–Eisenbud–Horrocks猜想（通过Walker）的结果，将上同调界与环形秩猜想联系起来。

实验结果

研究问题

• RQ1 等变形式性能否被改进，以检测与空间有理形式性一致的上同调退化？
• RQ2 $\mathcal{MOD}$-形式性或形式核心作用是否意味着对几乎自由环作用，环形秩猜想成立？
• RQ3 $A_\infty$-结构与$C_\infty$-模型如何有助于刻画Borel构造的有理同伦类型？
• RQ4 这些新形式性能否用于重新证明或扩展环形秩猜想至已知情况之外？
• RQ5 形式核心在控制轨道空间与等变上同调代数的有理上同调中的作用是什么？

主要发现

• 对于任何$\mathcal{MOD}$-形式性或具有形式核心的几乎自由环作用，环形秩猜想成立，且有$\dim H^*(X;\mathbb{Q}) \geq 2^n$。
• 新形式性可局部检测上同调退化，因此对乘积因子上的作用可独立于非形式部分进行评估。
• 形式核心作用确保等变上同调代数作为$H^*(BT^n;\mathbb{Q})$-模是形式的，从而推广了经典等变形式性。
• 对于形式cdga，其最小$C_\infty$-模型可构造为当$n \geq 3$时$m_n = 0$，且该结构在上同调单射映射下保持不变。
• 单位最小模型的构造与形式性兼容，使得$f_n$可在含单位因子的纯张量上为零，从而简化形式性检测。
• 作者通过这些改进的形式性，为此前未验证的情况（包括辛流形与有理椭球空间）提供了环形秩猜想的新证明。