[論文レビュー] 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

ひとこと要約

本稿では、古典的等変形形式性を一般化し、有理ホモトピー論およびトーラルランク予想とより整合性を持つようにするために、2つの新しい等変形形式性の概念——$\mathcal{MOD}$-形式性と形式的コア作用——を導入する。$A_\infty$-代数およびHirsch–Brownモデルと結びつけることで、著者たちは新たな場合においてトーラルランク予想を証明し、いずれの条件を満たす almost free なトーラス作用についても $\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.

研究の動機と目的

• 古典的等変形形式性と有理ホモトピー論における形式性の間の乖離を是正すること、特にトーラルランク予想の文脈において。
• コホモロジー的退化を検出可能でありながら、空間の形式性と整合性を保つ、より柔軟な等変形形式性の概念を定義すること。
• これらの洗練された概念を活用して、新たなクラスの almost free なトーラス作用についてトーラルランク予想を証明すること。
• 等変コホモロジーの研究において、有理ホモトピー論、$A_\infty$-代数、Hirsch–Brownモデルのツールを統合すること。

提案手法

• 等変コホモロジーに対するモジュール論的条件を用いて、$\mathcal{MOD}$-形式的作用を定義し、古典的形式性を一般化する。
• 形式的コア作用を、分類空間のコホモロジー上のモジュールとしての等変コホモロジーの形式性を要件とする形で定義する。
• Hirsch–Brownモデルを用いて、cdga に対する最小の $C_\infty$-モデルを構成し、高次作用 $m_n$ を制御可能にする。
• $A_\infty$-代数の技法を用いて形式性を特徴付け、整合的なサイクル選択ホモモルフィズム $f_n$ を構成する。
• コホモロジー的単射な射間における形式性およびユニタル構造を保存する、適合定理を確立する。
• Buchsbaum–Eisenbud–Horrocks の予想（Walker を通じて）の結果を活用し、コホモロジー的境界とトーラルランク予想を結びつける。

実験結果

リサーチクエスチョン

• RQ1 等変形形式性は、空間の有理形式性と整合する形で、コホモロジー的退化を検出できるように洗練させることができるか？
• RQ2 $\mathcal{MOD}$-形式的または形式的コア作用は、almost free なトーラス作用についてトーラルランク予想を意味するか？
• RQ3 $A_\infty$-構造および$C_\infty$-モデルは、Borel 構成の有理ホモトピー型を特徴付けるのにどのように寄与するか？
• RQ4 これらの新しい形式性は、既知のケースを超えてトーラルランク予想を再証明または拡張するために利用可能か？
• RQ5 形式的コアは、軌道空間および等変コホモロジー代数の有理コホモロジーを制御する役割を果たすか？

主な発見

• 任意の $\mathcal{MOD}$-形式的、または形式的コアを持つ almost free なトーラス作用について、$\dim H^*(X;\mathbb{Q}) \geq 2^n$ が成り立つ。
• 新しい形式性は局所的にコホモロジー的退化を検出できるため、非形式的成分に依存せずに、積因子上の作用を独立して評価可能である。
• 形式的コア作用は、等変コホモロジー代数が $H^*(BT^n;\mathbb{Q})$ 上のモジュールとして形式的であることを保証し、古典的等変形形式性を一般化する。
• 形式的 cdga に対しては、$m_n = 0$（$n \geq 3$）となる最小の $C_\infty$-モデルを構成可能であり、この構造はコホモロジー的単射な写像のもとでも保存される。
• ユニタル最小モデルの構成は形式性と適合するため、$f_n$ がユニット因子を含む純粋テンソル上で消えるようにでき、形式性の検出が簡略化される。
• 著者たちは、これらの洗練された形式性を用いて、以前に検証されていなかったケース、特にシンプレクティック多様体および有理的エリプティック空間について、トーラルランク予想の新たな証明を提供した。