[論文レビュー] Differential gorms, differential worms

Denis Kochan, Pavol Ševera|ArXiv.org|Jul 22, 2003

Homotopy and Cohomology in Algebraic Topology被引用数 9

ひとこと要約

この論文は、多様体 $M$ への $\mathbb{R}^{0|n}$ からの写像の超空間上の関数として定義される、微分形式の高次元一般化である微分 gorm と worms を導入する。超群 $\mathit{Diff}(\mathbb{R}^{0|n})$ がこれらの関数空間に作用することを調べることで、ホモロジー代数を一般化し、関手的およびスタック論的手段を用いて、等変コホモロジーと準ポisson群ガロイドの新しい幾何的解釈を提供する。

ABSTRACT

We study "higher-dimensional" generalizations of differential forms. Just as differential forms can be defined as the universal commutative differential algebra containing C^\infty(M), we can define differential gorms as the universal commutative bidifferential algebra. From a more conceptual point of view, differential forms are functions on the superspace of maps from the odd line to M and the action of Diff(the odd line) on forms is equivalent to deRham differential and to degrees of forms. Gorms are functions on the superspace of maps from the odd plane to M and we study the action of Diff(the odd plane) on gorms; it contains more than just degrees and differentials. By replacing 2 with arbitrary n, we get differential worms. We also study a generalization of homological algebra that uses Diff(the odd plane) or higher instead of Diff(the odd line), and a closely related question of forms (and gorms and worms) on some generalized spaces (contravariant functors and stacks) and of approximations of such "spaces" in terms of worms. Clearly, this is not a gormless paper.

研究の動機と目的

• 微分形式を次数 1 を超えて一般化するため、$n=2$ の場合の微分 gorm と $n\geq2$ の場合の worms を、多様体 $M$ への $\mathbb{R}^{0|n}$ からの写像の超空間上の関数として導入すること。
• de Rham 微分が $\mathit{Diff}(\mathbb{R}^{0|1})$ の作用から生じることに類似した枠組みを、$n$ を高次元に拡張し、$\mathit{Diff}(\mathbb{R}^{0|n})$ の作用によって微分形式の概念的枠組みを一般化すること。
• 次数 $n \geq 2$ に対して $\mathit{Diff}(\mathbb{R}^{0|1})$ を $\mathit{Diff}(\mathbb{R}^{0|n})$ に置き換えることで、より豊かな代数的構造を明らかにする一般化ホモロジー代数を構築すること。
• 代表可能な関手とスタックを用いて、一般化コホモロジー理論（例えば等変コホモロジーと準ポisson構造）を解釈すること。
• 超幾何学と一般化空間上の群ガロイド作用を用いて、高次微分不変量の幾何的かつ関手的基盤を提供すること。

提案手法

• 微分形式の普遍性を一般化し、$C^\infty(M)$ を含む普遍的可換双微分代数として微分 gorm を定義する。
• 微分形式を奇数の曲線 $\mathbb{R}^{0|1} \to M$ の超空間上の関数として再解釈し、de Rham 微分が $\mathit{Diff}(\mathbb{R}^{0|1})$ の作用から生じることを明らかにする。
• $\mathbb{R}^{0|2} \to M$ に拡張して微分 gorm を定義し、$\mathit{Diff}(\mathbb{R}^{0|2})$ の作用を解析する。この作用は、次数と微分の他に、$n=1$ の場合に存在しないより高次の対称性を含む。
• $\mathit{Diff}(\mathbb{R}^{0|2})$ の表現として gorm の空間を分解し、$\mathit{Mat}(2)$-表現論を用いて既約成分を同定する。
• gorm に対する積分理論を構築し、閉かつ可積分な gorm の積分と多様体 $M$ のオイラー特性数の間の定理を証明する。
• 反変関手とスタックを用いて一般化空間にこの枠組みを適用し、特にスタックを剛性化することで、Weil や Cartan モデルにおけるコホモロジー不変量を表現する。

実験結果

リサーチクエスチョン

• RQ1 微分形式は、$n \geq 2$ に対して、$\mathbb{R}^{0|n} \to M$ という高次元超多様体への写像を通じてどのように体系的に一般化できるか？
• RQ2 関数空間 $\mathrm{Maps}(\mathbb{R}^{0|n}, M)$ 上に作用する $\mathit{Diff}(\mathbb{R}^{0|n})$ の作用から、どのような代数的・幾何的構造が生じるか？
• RQ3 次数 $n \geq 2$ に対して $\mathit{Diff}(\mathbb{R}^{0|1})$ を $\mathit{Diff}(\mathbb{R}^{0|n})$ に置き換えることで、一般化ホモロジー代数を構築できるか？
• RQ4 等変コホモロジーと準ポisson幾何学といった標準的コホモロジー理論は、この枠組みからスタック論的構成によってどのように導かれるか？
• RQ5 積分とトポロジカル不変量（例：オイラー特性数）は、微分 gorm と worms の文脈で果たす役割は何か？

主な発見

• 微分 gorm は、自然に $\mathbb{R}^{0|2} \to M$ の超空間上の関数として生じ、その代数的構造は $\mathit{Diff}(\mathbb{R}^{0|2})$ の作用によって支配される。
• $\mathit{Diff}(\mathbb{R}^{0|2})$ の gorm への作用は、次数と微分の他に、$n=1$ の場合に存在しない高次元の対称性や構造を含む。
• gorm の空間は $\mathit{Mat}(2)$ の表現として分解され、一般な部分は $\widetilde{T_{\vec{l}}^{*}}M$（余接テトリスバンドル）と同型であり、非一般な部分は微分形式と同型である。
• 多様体 $M$ のオイラー特性数と任意の閉かつ可積分な gorm の積分を結ぶ定理が証明され、古典的 Gauss-Bonnet 定理が一般化される。
• Weil モデルと Cartan モデルの等変コホモロジーは、接続を持つ $\mathbb{R}^{0|1} \to N$ の写像空間上の不変関数として、剛性化されたスタックを用いて回復される。
• 準ポisson群ガロイドが、$\mathbb{R}[2]$-作用を持つ次数付き奇数シンプレクティック群ガロイドに一致することを示し、一般化カテゴリ $\mathcal{G}_{[1]}$ の自然な対象の源を提供する。