[論文レビュー] Differential calculus on $\mathbb{Z}^n_2$-supermanifolds

Tiffany Covolo, Stephen Kwok+1 more|arXiv (Cornell University)|Aug 2, 2016

Algebraic structures and combinatorial models参考文献 9被引用数 6

ひとこと要約

本稿は、$\mathbb{Z}_2^n$-スーパemanifold 上の微分積分学の基礎的な枠組みを確立し、多重次数付き可換構造を導入することで、古典的スーパogeometry を一般化している。主な結果として、逆関数定理、定秩定理、外微分の存在・一意性、および Poincaré の補題を証明し、$\mathbb{Z}_2^n$-スーパemanifold の de Rham コホロロジーがその底辺的還元空間の通常のコホロロジーと一致することを示している。

ABSTRACT

The concept of $\Zn$-supermanifold has been recently proposed as a natural generalization of classical ($\Zs$-graded) supergeometry, allowing for more complicated commutativity constraints. Here we continue the study of $\Zn$-supergeometry by developing the foundations of differential calculus on $\Zn$-supermanifolds.

研究の動機と目的

• $\ mathbb{Z}_2^n$-スーパemanifold 上での微分積分学の厳密な基礎を構築すること。これは、古典的 $\ mathbb{Z}_2$-スーパogeometry をより高い次数に拡張することを目的とする。
• 座標環に形式的べき級数が存在することに起因する技術的課題に対処するため、$\ mathcal{J}$-adic Hausdorff 完備性を課すこと。
• 接層および余接層、微分形式、外微分といった、微分幾何学の核となる概念を $\ mathbb{Z}_2^n$-次数付き設定に一般化すること。
• 逆関数定理、定秩定理、Poincaré の補題といった構造定理を、この一般化された枠組みで証明すること。
• $\ mathbb{Z}_2^n$-スーパemanifold の de Rham コホロロジーが、その底辺的還元空間の通常のコホロロジーと同型であることを確立すること。

提案手法

• $\ mathbb{Z}_2^n$-スーパemanifold を、$\ mathbb{Z}_2^n$-次数付き局所環の構造層を持つ環付き空間のカテゴリとして用いる。
• $\ mathbb{Z}_2^n$-次数付き環上の $\ mathcal{J}$-adic 位相を用い、線形代数の整合性と演算の連続性を保証するため、$\ mathcal{J}$-adic Hausdorff 完備性を要求する。
• 導分を用いて接層および点における接空間を定義し、多重次数付き微分を扱うために修正されたヤコビアンを導入する。
• ポイント関手と Yoneda の補題を用いて、例えば自由加群の直和上の外代数の自然同型を構成する。
• 次数付き圏における対称代数および外代数の普遍的性質を用い、$M = M' \oplus M''$ のときの $\Lambda^\bullet(M)$ の分解といった構造的結果を証明する。
• 外微分の存在および一意性を普遍的性質の議論により証明し、その零冪性および次数付きライブニッツ則の満たされることを検証する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Z}_2^n$-スーパemanifold 上で微分積分学を一貫して展開するには、座標環に形式的べき級数が存在するという点をどのように扱うか。
• RQ2 逆関数定理や定秩定理といった古典的微分幾何学の定理が、$\mathbb{Z}_2^n$-次数付き設定にどの程度一般化可能か。
• RQ3 $\mathbb{Z}_2^n$-スーパemanifold の de Rham コホロロジーが、その底辺的還元空間の通常のコホロロジーと一致するか。
• RQ4 $\mathcal{J}$-adic 位相が、外微分や wedge 積などの層演算の挙動にどのように影響を与えるか。
• RQ5 $\mathcal{J}$-adic Hausdorff 完備性が、$\mathbb{Z}_2^n$-次数付き環上の線形代数的構成の妥当性を保証するために果たす役割は何か。

主な発見

• 外微分は、$\mathbb{Z}_2^n$-スーパemanifold 上で存在し、その普遍的性質によって一意に定まる。これは、次数付きライブニッツ則および零冪性を満たす。
• Poincaré の補題は $\mathbb{Z}_2^n$-スーパemanifold に対しても成り立ち、$\mathbb{Z}_2^n$-スーパemanifold $M$ の de Rham コホロロジーが、その底辺的還元空間 $|M|$ の通常のコホロロジーと同型であることを示唆する。
• 逆関数定理は $\mathbb{Z}_2^n$-次数付き設定で証明され、修正ヤコビアンが可逆であるような準同型の局所可逆性が保証される。
• 定秩定理が確立され、任意の定秩の準同型が、埋め込みと射影の合成として分解可能であることが示された。
• 接層および余接層は適切に定義されており、準同型の修正ヤコビアンは、$\mathbb{Z}_2^n$-次数付き可換性と整合する合成則を満たす。
• 自由 $R$-加群 $M$ の外代数 $\Lambda^\bullet(M)$ は、有限ランクの自由 $R$-加群であり、$M = M' \oplus M''$ のとき、自然な同型 $\Lambda^\bullet(M) \cong \Lambda^\bullet(M') \otimes_R \Lambda^\bullet(M'')$ が存在する。