[論文レビュー] Abstract Geometric Algebra. Orthogonal and Symplectic Geometries

PP Ntumba, Ac Orioha|ArXiv.org|Oct 18, 2008

Advanced Topics in Algebra参考文献 11被引用数 4

ひとこと要約

この論文は、$τ$-加群を係数とする$χ$-代数の層$τ$の下で、抽象微分幾何学（ADG）の層的設定において、シンプレクティック・グラム・シュミットの定理とウィットの定理を一般化する。等長なシンプレクティックな便利$τ$-加群は、ラジカル分解を許容し、部分加群上の任意の等長写像は全加群へ拡張可能であることが示され、滑らかな多様体に依存しない設定におけるシンプレクティック幾何学の基礎的枠組みが提供される。

ABSTRACT

Our main interest in this paper is chiefly concerned with the conditions characterizing extit{orthogonal and symplectic abstract differential geometries}. A detailed account about the sheaf-theoretic version of the extit{symplectic Gram-Schmidt theorem} and of the extit{Witt's theorem} is also given.

研究の動機と目的

• 抽象微分幾何学（ADG）の層的枠組みへ、シンプレクティック・グラム・シュミットの定理とウィットの定理を拡張すること。
• 層$τ$の$χ$-代数上の便利$τ$-加群における直交的およびシンプレクティック構造を特徴付けること。
• ラジカル部分加群を含む状況において、部分加群上の等長写像が全加群への等長写像へ拡張可能な条件を確立すること。
• $τ$-加群に対する層的枠組みのシンプレクティック・グラム・シュミット過程およびウィットの定理のバージョンを提供すること。
• 滑らかな多様体に依存しない抽象微分空間へ、古典的なシンプレクティックおよび直交的幾何学の結果を一般化すること。

提案手法

• 論文は、$τ$が$χ$-代数の層である$χ$-代数化空間$(X, τ)$上で層的構成を用いる。
• $τ$-双線形形式を介して$τ$-加群のペアリングを定義し、形式$\phi$から誘導される$τ$-準同型$\phi^{τ}: τ^* \to \mathcal{E}^*$および$\phi^{τ}: τ^* \to \mathcal{F}^*$を構成する。
• モジュールのラジカル、$\mbox{rad}~{}\mathcal{F}(U) = \mathcal{F}(U) \cap \mathcal{F}(U)^\perp$の概念を導入し、$τ$-同型写像と整合することを証明する。
• 任意の部分加群$\mathcal{F}$上の等長写像$\sigma$が、ラジカルおよび非退化部分を保存する限り、全加群$\mathcal{E} = \mathcal{H} \bot \mathcal{G} \bot \mathcal{J}$への等長写像へ拡張可能であることを証明する。
• 可逆なセクションを用いてシンプレクティック形式を正規化することで、双曲的$τ$-加群$\mathcal{H}$と$\mathcal{H}'$間の明示的$τ$-同型写像$\beta$を構成する。
• 理論を応用して、等長なシンプレクティックな便利$τ$-加群が双曲的およびラジカル部分に分解可能であることを示し、等長写像の拡張を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、$χ$-代数の層上の層的$τ$-加群へシンプレクティック・グラム・シュミットの定理を一般化できるか？
• RQ2 抽象微分幾何学における便利$τ$-加群の設定へ、ウィットの定理（等長写像の拡張）を拡張できるか？
• RQ3 ラジカル部分加群は$τ$-同型写像の下でどのように振る舞い、シンプレクティック$τ$-加群の分解に利用可能か？
• RQ4 $τ$-ラジカルの層は、$τ$-加群上の直交的およびシンプレクティック構造を特徴付ける上で果たす役割は何か？
• RQ5 シンプレクティック$τ$-加群の部分加群上で定義された等長写像は、全加群へどのように拡張可能か、そしてどのような条件下で可能か？

主な発見

• シンプレクティック・グラム・シュミットの定理が層的$τ$-加群へ一般化され、任意のシンプレクティック$τ$-加群が双曲的およびラジカル部分に分解可能であることが示された。
• ウィットの定理が層的枠組みへ拡張された：等長なシンプレクティックな便利$τ$-加群の部分加群間の任意の等長写像は、全加群への等長写像へ拡張可能である。
• ラジカル$\mbox{rad}~{}\mathcal{F}(U) = \mathcal{F}(U) \cap \mathcal{F}(U)^\perp$として定義された$τ$-加群のラジカルは、$τ$-同型写像のもとで保存され、モジュールの等長写像と整合的であることが保証された。
• 任意の2つの等長なシンプレクティックな便利$τ$-加群に対して、双曲的およびラジカル成分を保存する$τ$-同型写像が存在する。
• 係数代数層$\u03c4$の可逆セクションを用いてシンプレクティック形式を正規化することで、双曲的$τ$-加群間の明示的$τ$-同型写像$\beta$が構成され、等長性が保証された。