[論文レビュー] $\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$-超幾何的拡張を、$ζ_2^n$-多様体が非標準的に分解可能であることを示すことで確立している。つまり、$ζ_2^n\setminus\{0\}$-次数付きベクトル bundle の超幾何化と局所的に同型である。証明は、滑らかな関数上の形式的冪級数の Hausdorff完備な $ζ_2^n$-可換代数の構成に依拠しており、フィルトレーションとコhomological不変量を用いて代数的整合性と層レベルでの同型を保証する。

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$-多様体が非標準的な分解構造を有することを確立し、古典的超多様体の場合を一般化すること。
• $ζ_2^n$-超幾何学のための厳密な基礎を提供するため、ニルポテンシーの代わりに Hausdorff完備な $ζ_2^n$-可換代数の形式的冪級数を構成すること。
• $ζ_2^n$-多様体のカテゴリが接ベクトルおよび余接ファンクターに関して閉じていることを示し、より深い幾何的および物理的応用を可能にすること。

提案手法

• ファイバーごとの $ζ_2^n$-次数を用いて代数的構造を定義する $ζ_2^n\setminus\{0\}$-次数付きベクトル bundle の内在的超幾何化として、分裂 $ζ_2^n$-超多様体を導入する。
• 正の次数の同次元から生成されるイデアルによるフィルトレーションを用いて、$ζ_2^n$-次数付きベクトル bundle 上の形式的冪級数代数から $ζ_2^n$-多様体の構造層への層準同型を構成する。
• 目標代数の Hausdorff完備性を用いて、形式的冪級数構成における部分和のコーシー列の収束を保証する。
• 層のセクションの対称代数への $C^{∞}$-多重線形拡張を次数を保存する形で定義し、$ζ_2^n$-可換性を保証する。
• フィルトレーションから導かれるコhomological不変量を用いて、誘導された写像が代数的構造を尊重し、層レベルで同型であることを検証する。
• フィルトレーション位相における乗法性と収束性の整合性を示すことで、結果の写像が $ℝ$-代数同型であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 古典的 Batchelor-Gawedzki 定理は、任意の $n \geq 2$ に対する $ζ_2^n$-超多様体に一般化可能か？
• RQ2 任意の $ζ_2^n$-多様体は、$ζ_2^n\setminus\{0\}$-次数付きベクトル bundle の超幾何化と非標準的に同型か？
• RQ3 偶数次元座標がニルポテンシーでないため、$ζ_2^n$-超幾何学ではニルポテンシーをどのように置き換えることができるか？
• RQ4 $ζ_2^n$-多様体の関数層の背後にある代数的構造は何か？ そして、乗法およびフィルトレーションに関して整合性を保証するのはどのようにか？
• RQ5 $ζ_2^n$-多様体のカテゴリは、古典的場合と同様に接ベクトルおよび余接ファンクターに関して閉じているか？

主な発見

• 任意の $ζ_2^n$-多様体は非標準的に分解可能であり、これは $ζ_2^n\setminus\{0\}$-次数付きベクトル bundle の超幾何化と局所的に同型であることを意味する。
• $ζ_2^n$-多様体の構造層は、$ζ_2^n$-次数付きベクトル bundle のセクション層の対称代数の完成化と同型であり、形式的冪級数を介して実現される。
• 形式的冪級数代数から $ζ_2^n$-多様体の構造層への誘導された層準同型は、$ℝ$-代数同型であり、次数と単位元を保存する。
• この構成は、コーシー列の収束が目標代数に一意な極限を保証する Hausdorff完備な $ζ_2^n$-可換代数に依拠している。
• 正の次数の同次元から生成されるイデアルによるフィルトレーションを用い、部分積の差がより高いフィルトレーションレベルにあることを示し、代数的整合性を保証する。
• フィルトレーションから導かれるコhomological不変量により、写像が乗法を尊重し、次数のスカラー積によって定義される $ζ_2^n$-可換符号則と整合する。