[论文解读] $\mathbb{Z}_2^n$-Supergeometry II: Batchelor-Gawedzki Theorem

Tiffany Covolo, Janusz Grabowski+1 more|arXiv (Cornell University)|Aug 13, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 4

一句话总结

本文通過證明每一個 $ζ_2^n$-流形都是非典則分裂的，從而建立了 Batchelor-Gawedzki 定理的 $ζ_2^n$-超幾何推廣，即其局部同構於 $ζ_2^n\setminus\{0\\$-分次向量叢的超化。證明依賴於構造一個在光滑函數上取值的 Hausdorff-完備 $ζ_2^n$-交換形式冪級數代數，並利用濾子與上同調不變量來確保代數的一致性與層層面上的同構。

ABSTRACT

Quite a number of $\mathbb{Z}_2^n$-gradings, $n\geq 2$, appear in Physics and in Mathematics. The corresponding sign rules are given by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The new theory exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise (the parity is the parity of the total degree). Formal series are the appropriate substitute for nilpotency; the category of $\mathbb{Z}_2^\bullet$-manifolds is closed with respect to the tangent and cotangent functors. The $\mathbb{Z}_2^n$-supergeometric viewpoint provides deeper insight and simplified solutions; interesting relations with Quantum Field Theory and Quantum Mechanics are expected. In this article, we introduce split $\mathbb{Z}_2^n$-manifolds as intrinsic superizations of $\mathbb{Z}_2^n\setminus\{0\}$-graded vector bundles and prove that, conversely, any $\mathbb{Z}_2^n$-manifold is noncanonically split. We thus provide a complete proof of the $\mathbb{Z}_2^n$-extension of the so-called Batchelor-Gawedzki Theorem.

研究动机与目标

• 將經典的 Batchelor-Gawedzki 定理推廣至 $ζ_2^n$-超幾何設定，其中符號規則由 $ζ_2^n$-度數的內積決定。
• 確立任何 $ζ_2^n$-流形都允許非典則分裂結構，從而推廣經典超流形的情形。
• 透過構造一個 Hausdorff-完備 $ζ_2^n$-交換形式冪級數代數，為 $ζ_2^n$-超幾何提供嚴謹基礎，以取代冪零性。
• 展示 $ζ_2^n$-流形的範疇在切叢與余切叢函子下封閉，從而支援更深遠的幾何與物理應用。

提出的方法

• 將分裂 $ζ_2^n$-超流形定義為 $ζ_2^n\setminus\{0\}$-分次向量叢的內在超化，利用纖維上的 $ζ_2^n$-度數來定義代數結構。
• 透過由正度數齊次元素生成的理想濾子，構造從 $ζ_2^n$-分次向量叢上的形式冪級數代數到 $ζ_2^n$-流形結構層的層態射。
• 利用目標代數的 Hausdorff-完備性，確保形式冪級數構造中部分和的柯西序列收斂。
• 定義結構態射在截面層的對稱代數上的度數保持、$C^{∞}$-多重線性推廣，以確保 $ζ_2^n$-交換性。
• 利用濾子導出的上同調不變量，驗證所誘導的映射尊重代數結構，且在層層面上為同構。
• 透過證明其與乘法相容性及在濾子拓撲下的收斂性，驗證所得態射為 $ℝ$-代數同構。

实验结果

研究问题

• RQ1 經典的 Batchelor-Gawedzki 定理能否推廣至任意 $n \geq 2$ 的 $ζ_2^n$-超流形？
• RQ2 每一個 $ζ_2^n$-流形是否都非典則同構於 $ζ_2^n\setminus\{0\}$-分次向量叢的超化？
• RQ3 在 $ζ_2^n$-超幾何中，若偶數度坐標非冪零，應如何取代冪零性？
• RQ4 $ζ_2^n$-流形的函數層背後的代數結構為何？其如何確保乘法與濾子下的一致性？
• RQ5 $ζ_2^n$-流形的範疇是否如經典情形般在切叢與余切叢函子下封閉？

主要发现

• 每一個 $ζ_2^n$-流形都是非典則分裂的，即其局部同構於 $ζ_2^n\setminus\{0\}$-分次向量叢的超化。
• $ζ_2^n$-流形的結構層同構於 $ζ_2^n$-分次向量叢截面層的對稱代數的完備化，透過形式冪級數實現。
• 從形式冪級數代數到 $ζ_2^n$-流形結構層的誘導層態射為 $ℝ$-代數同構，保持度數與單位元。
• 該構造依賴於一個 Hausdorff-完備 $ζ_2^n$-交換代數，其中柯西序列的收斂性確保目標代數中極限的唯一存在。
• 證明使用由正度數齊次元素生成的理想濾子，並顯示部分積之間的差位於更高濾子層次，從而確保代數一致性。
• 由濾子導出的上同調不變量確保該態射尊重乘法運算，且與由度數內積定義的 $ζ_2^n$-交換符號規則相容。