[论文解读] Equivariantly formal 2-torus actions of complexity one

Vladimir Gorchakov|arXiv (Cornell University)|Apr 3, 2023

Topological and Geometric Data Analysis被引用 4

一句话总结

本文研究了流形上复杂度為一的等變形式2-环面作用，證明此類作用的軌道空間為拓撲流形，且在可定向性條件下同胚於球面。研究進一步表明，對於可定向的小覆蓋，將2-環面作用限制於指數為2的子群時，其軌道空間同胚於n-維球面，從而推廣了關於實 Grassmannian 和旗流形的已知結果。

ABSTRACT

In this paper we study a specific class of actions of a $2$-torus $\mathbb{Z}_2^k$ on manifolds, namely, the actions of complexity one in general position. We describe the orbit space of equivariantly formal $2$-torus actions of complexity one in general position and restricted complexity one actions in the case of small covers. It is observed that the orbit spaces of such actions are topological manifolds. If the action is equivariantly formal, we prove that the orbit space is a $\mathbb{Z}_2$-homology sphere. We study a particular subclass of these $2$-torus actions: restrictions of small covers to a subgroup of index 2 in general position. The subgroup of this form exists if and only if the small cover is orientable, and in this case we prove that the orbit space of a restricted $2$-torus action is homeomorphic to a sphere.

研究动机与目标

• 對一般位置下等變形式2-環面作用之複雜度為一的軌道空間進行特徵描述。
• 確定在小覆蓋中存在一般位置的2-子環面的條件。
• 證明當小覆蓋可定向時，此類限制作用的軌道空間同胚於球面。
• 將關於實 Grassmannian 和旗流形軌道空間的已知結果推廣至可定向小覆蓋的更廣泛類別。

提出的方法

• 本文使用2-環面作用的一般位置概念，要求在固定點處任意n−1個權重在Z₂上線性無關。
• 透過Z₂上固定點集與流形的貝蒂數相等來定義等變形式性。
• 採用Rⁿ上標準複雜度一作用的座標描述，利用子群G = {(g₁,…,gn) ∈ Z₂ⁿ : ∏gi = 1}。
• 利用拓撲學中環面理論的結果，特別是簡單多面體上小覆蓋的軌道空間結構。
• 使用從完整2-環面作用軌道空間到子群軌道空間的商映射，證明後者是邊界上具有識別關係的多面體的二重。
• 應用判據：2-子環面G = Ker(ξ)處於一般位置當且僅當ξ(λᵢ) = 1對所有特徵向量λᵢ成立。

The action of $\mathbb{Z}_{2}$ on $S^{2}$

实验结果

研究问题

• RQ1 在何種條件下，等變形式2-環面作用在複雜度為一時的軌道空間為拓撲流形？
• RQ2 在小覆蓋中，指數為2的2-子環面何時存在？其軌道空間的拓撲結構為何？
• RQ3 限制後的2-環面作用軌道空間與原小覆蓋的拓撲性質有何關係？
• RQ4 當作用為等變形式且處於一般位置時，軌道空間的精確拓撲類型為何？
• RQ5 在可定向小覆蓋上，限制2-環面作用的軌道空間是否恆同胚於球面？

主要发现

• 在一般位置下，等變形式2-環面作用在複雜度為一時，其軌道空間為具有Z₂-同調球面上同調的拓撲流形，同構於H*(Sⁿ; Z₂)。
• 小覆蓋中存在一般位置的2-子環面，當且僅當小覆蓋可定向。
• 當此類2-子環面存在時，其唯一。
• 在可定向小覆蓋上，限制2-環面作用的軌道空間同胚於n-維球面Sⁿ。
• 軌道空間的構造等價於透過商映射將兩個n-維圓盤沿其邊界黏合，從而得到Sⁿ。
• G = Ker(ξ)的一般位置條件為ξ(λᵢ) = 1對所有特徵向量λᵢ成立，確保無穩定子群包含於G中。

The action of $\mathbb{Z}_{2}$ on $M_{3}$