[論文レビュー] The Lie algebra of the group of bisections

Hirokazu Nishimura|ArXiv.org|Dec 2, 2006

Advanced Algebra and Geometry参考文献 1被引用数 9

ひとこと要約

本稿では、合成微分幾何学における微線形群ガロアの二分写像群の接空間が、ジャコビ恒等式の2通りの別個の証明を用いて自然にリー代数をなすことを確立している。無限小変換と微小立方体を用いて幾何学的にリー括弧構造を導出し、二分写像群の接空間の代数的閉包性と基本的恒等式を確認している。

ABSTRACT

Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.

研究の動機と目的

• 微線形群ガロアの二分写像群の接空間が、合成微分幾何学において自然にリー代数をなすことの確立。
• このリー代数構造におけるジャコビ恒等式の2つの独立した幾何的証明の提供。
• 零冪無限小量を用いて、無限小ゲージ変換と二分写像のリー代数との関係を明確化すること。
• 微小立方体構成と置換対称性の文脈において、リー括弧を形式化すること。

提案手法

• 零冪無限小量を含むグロタンディークトーパスを用いた合成微分幾何学の枠組み。特に $ D = \{d \in \mathbb{R} \mid d^2 = 0\} $。
• ベクトル場を $ X: D \to \mathfrak{B}(G) $ とし $ X_0 = \mathrm{id} $ を満たす写像として、二分写像群への接ベクトルとして表現する。
• リー括弧 $[X,Y]$ を、操作 $ \ast $ を用いた流れの交換子の導関数として定義する。
• $ n $-微小立方体 $ X_n \circledast \cdots \circledast X_1 $ を構成し、$ \mathfrak{B}(G) $ 上の高次無限小作用を符号化する。
• 微小立方体に置換対称性 $ \sum_\varepsilon $ を適用し、無限小変換の異なる順序を比較する。
• 微小立方体の軸に沿った差の比較によりジャコビ恒等式を導出し、特に $ (Y \circledast X) \mathbin{\cdot\!\!\cdot} \sum_{(12)}(X \circledast Y) = [X,Y] $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 微線形群ガロアの二分写像群の接空間は、合成微分幾何学において自然にリー代数構造をもつか？
• RQ2 このリー代数におけるジャコビ恒等式は、無限次元多様体や古典的集合論に依存せずに幾何学的に証明可能か？
• RQ3 微小立方体構成と置換対称性は、リー括弧およびその恒等式をどのように符号化するか？
• RQ4 無限小流れと演算 $ \ast $ は、二分写像を用いたリー括弧の定義において果たす役割は何か？
• RQ5 2つの別個のジャコビ恒等式の証明は、幾何的および代数的基盤においてどのように異なるか？

主な発見

• 恒等元における二分写像群の接空間は、リー代数束 $ \Gamma(\mathcal{A}G) $ の切断の空間と同型であり、リー代数をなす。
• リー括弧 $[X,Y]$ は、$ \sigma, \rho \in \mathfrak{B}(G) $ を用いた交換子 $ \sigma \ast \rho \ast \sigma^{-1} \ast \rho^{-1} $ の導関数として幾何学的に実現される。
• ジャコビ恒等式の第一の証明は、随伴作用 $ \mathbf{L}_X $ に依拠し、恒等式 $ [X,[Y,Z]] = \mathbf{L}_X[Y,Z] - \mathbf{L}_{[X,Y]}Z - \mathbf{L}_Y[X,Z] $ を用いる。
• 第二の証明は微小立方体構成に依拠する：$[X,Y] = Y \circledast X \mathbin{\cdot\!\!\cdot} \sum_{(12)}(X \circledast Y) $、高次微小立方体がジャコビ恒等式を符号化する。
• 関数 $ \lambda $ を $ D^3 $ 上に構成し、微小立方体の値を補間し、対角上での括弧を回復することで、ジャコビ恒等式を検証する。
• 対称的微小立方体比較により、ジャコビ恒等式の3通りの形が確認され、合成的幾何的推論によりリー代数構造が裏付けられる。