[論文レビュー] A Categorical Formulation of Superalgebra and Supergeometry

Christoph Sachse|ArXiv.org|Feb 27, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 21

ひとこと要約

本稿では、関手の点による定式化を用いて、超代数および超幾何学を完全に圏論的枠組みで提示する。これにより、無限次元設定への自然な拡張が可能となり、超幾何学の基礎的問題（例えば、Berezin-Leites-Kostant的およびde Witt-Rogers的アプローチの関係、奇数パラメータの幾何的役割）が明確化される。主たる貢献は、ベース変換に関して関手的であるのを保ちつつ、既存のアプローチを統一・一般化する関手的枠組みの構築である。

ABSTRACT

We reformulate superalgebra and supergeometry in completely categorical terms by a consequent use of the functor of points. The increased abstraction of this approach is rewarded by a number of great advantages. First, we show that one can extend supergeometry completely naturally to infinite-dimensional contexts. Secondly, some subtle and sometimes obscure-seeming points of supergeometry become clear in light of these results, e.g., the relation between the Berezin-Leites-Kostant and the de Witt-Rogers approaches, and the precise geometric meaning of odd parameters in supergeometry. In addition, this method allows us to construct in an easy manner superspaces of morphisms between superobjects, i.e., the inner Hom objects associated with the sets of such morphisms. The results of our work rely heavily and were inspired by the ideas of V. Molotkov, who first outlined the approach extensively expounded here.

研究の動機と目的

• V. Molotkovのプログラムにインspiredされ、関手の点を用いて超代数および超幾何学を完全に圏論的枠組みで再定式化すること。
• 超幾何学における基礎的曖昧性（例えば、奇数パラメータの幾何的意味、Berezin-Leites-Kostant的およびde Witt-Rogers的アプローチの関係）を解消すること。
• 超対象間の準同型の超空間（内部Hom対象）を自然かつ関手的に構成すること。
• 環付き空間アプローチの無限次元における制限を克服することで、超幾何学を有限次元を超えて拡張すること。
• de Witt-Rogers的アプローチが、ベース変換に関して関手的である場合にのみ有効であり、奇数次元に人工的な位相を与えると破綻することを示すこと。

提案手法

• Yonedaの補題を用いて、従来の環付き空間形式主義に代わる、超対象の関手的点による記述を行う。
• Molotkovが提唱した、可算個の生成元によって提示される超多様体の圏を用い、関手的アプローチを計算的に扱いやすくする。
• 超ベクトル空間 $\overline{V}$ におけるチャートおよびスーパドメインを用いて超多様体を構成する。ここで $\overline{V}$ は $\overline{\mathbb{K}}$-加群としての超表現可能（superrepresentable）である。
• 通常の位相における $ U \subset \mathbb{K}^m $ の開集合を用い、$ (\Lambda_{\bar{0}})^m \times (\Lambda_{\bar{1}})^n $ 上の de Witt 位相を、形の開集合 $ U \times (\Lambda_{\bar{0}}^{\text{nil}})^m \times (\Lambda_{\bar{1}})^n $ として定義する。
• すべての構成がベース変換 $ \varphi: \Lambda \to \Lambda' $ に関して不変であることを保証し、奇数座標に非関手的位相を与えるのを排除する。
• de Witt 超多様体上の超関数が、自然変換 $ f: \mathcal{M} \to \mathfrak{R} $ の $ \Lambda $-成分に自然に一致することを確立する。ここで $ \mathfrak{R} $ は関手の点の超表現可能関手である。

実験結果

リサーチクエスチョン

• RQ1 関手の点を用いて、超代数および超幾何学を完全に圏論的言語で再定式化することは可能か？
• RQ2 奇数パラメータの幾何的意味は明確に何を意味するのか？ それは形式的または代数的解釈とはどのように異なるか？
• RQ3 de Witt-Rogers的アプローチと Berezin-Leites-Kostant 的アプローチの関係は何か？ どのような条件下でこれらは同値となるか？
• RQ4 内部Hom対象（準同型の超空間）は、圏論的枠組み内で自然に構成可能か？
• RQ5 環付き空間アプローチには、無限次元超幾何学においてどのような制限があるのか？ それらはどのように克服できるか？

主な発見

• 関手の点による構成は、超代数および超幾何学の完全な圏論的かつ関手的枠組みを提供し、無限次元設定への自然な一般化を可能にする。
• 環付き空間的アプローチと関手の点的アプローチの同値性は、かつてその茎が有限生成である場合にのみ成立する。無限次元ではこの同値性は成立しない。
• de Witt-Rogers的アプローチは、すべての構成がベース変換に関して関手的である場合にのみ、関手的アプローチと同値である。奇数次元に非自明な位相を与えると、この同値性は破綻する。
• de Witt的アプローチにおける超関数は、自然変換 $ \mathcal{M} \to \mathfrak{R} $ の $ \Lambda $-成分に自然に一致し、圏論的枠組みと整合的であることが保証される。
• 内部Hom対象（準同型の超空間）の構成は、圏論的アプローチにおいて明快かつ標準的に行えるようになり、長年の技術的難問が解決される。
• 固定されたグラスマン代数 $ \Lambda $ の選択は、すべての構成がベース変換に関して関手的でない限り、人工的な構造を導入する。そうでなければ、特定の $ \Lambda $ が根本的な物理的役割を果たすと解釈され、物理的に正当化されない。