[論文レビュー] Fundamentals for Symplectic $\mathcal{A}$-modules

Anastasios Mallios, Patrice P. Ntumba|ArXiv.org|Dec 8, 2007

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

本稿は、抽象微分幾学を用いて、古典的微分可能性に依存せずに代数的構造で置き換えた、層的構造に基づくシンプレクティック幾何の枠組みを構築する。シンプレクティック $\omega$-準同型が自由 $\tau$-加群上に存在する場合、その行列が恒等行列ブロックを含むブロック反対角行列となるような標準基底が存在することを示し、シンプレクティック変換の固有値に関して、層的構造に基づくケイリー・ハミルトンの定理を証明する。

ABSTRACT

Sheaf theoretically based Abstract Differential Geometry incorporates and generalizes all the classical differential geometry. Here, we undertake to partially explore the implications of Abstract Differential Geometry to classical symplectic geometry. The full investigation will be presented elsewhere.

研究の動機と目的

• 古典的シンプレクティック幾何を、$C^\infty$-微分可能性に依存しない代数的・層的枠組みで再定式化すること。
• シンプレクティック形式やシンプレクティック群といった基本的構造を、$\tau$-加群および層的構造による構成を用いて一般化すること。
• 有限ランクの自由 $\tau$-加群上のシンプレクティック $\tau$-準同型に対して、標準基底の存在を確立すること。
• $\tau$-加群の自己準同型に対して、層的構造に基づくケイリー・ハミルトンの定理を発展させること。
• 与えられたシンプレクティック構造 $\omega$ を保存する $\tau$-自己同型の層としてのシンプレクティック群層 $\mathcal{S}p\,\mathcal{E}$ を定義し、研究すること。

提案手法

• 古典的テンソルの層的類似物として $\tau$-テンソルを定義し、$\tau(U)$-加群の多重線形セクションの前層の層化によって得られる。
• 外代数層を、$\tau$-加群 $\mathcal{E}$ 上の外 $\tau$-$k$-形式の芽の層の直和として構成し、外積 $\wedge$ を備える。
• 任意の非退化で反対称な $\tau$-準同型 $\omega$ が、局所的自明化と層の正則性を用いて、行列が $\begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}$ に一致する基底を持つことを証明する。
• 与えられたシンプレクティック構造 $\omega$ を保存する $\tau$-自己同型の層として、シンプレクティック群層 $\mathcal{S}p\,\mathcal{E}$ を定義する。
• 固有ベクトルの層 $\mathcal{PV}(\mathcal{E})$ を、局所的固有ベクトルの前層の層化として定義し、$\Gamma(\mathcal{A})$ の完全性により、グローバルな固有ベクトルの存在を証明する。
• 特徴多項式 $P(t)$ に対して関数方程式 $P(t) = t^{2n}P(1/t)$ が成り立つことを利用し、層的構造の文脈でケイリー・ハミルトンの定理を適用することで、シンプレクティック変換 $\varphi$ の固有値 $\lambda$ に対して $\lambda^{-1}$ も固有値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック幾何は、$C^\infty$-微分可能性に依存せずに、完全に層的構造と代数的枠組みで再構築可能か？
• RQ2 有限ランクの自由 $\tau$-加群上での非退化で反対称な $\tau$-準同型の標準行列形は何か？
• RQ3 シンプレクティック群は、シンプレクティック構造を保存する自己同型の層としてどのように一般化可能か？
• RQ4 層的構造の文脈におけるシンプレクティック変換の固有値の関係は何か？
• RQ5 特徴多項式が層代数に値をとる $\tau$-加群の自己準同型に対して、ケイリー・ハミルトンの定理を拡張可能か？

主な発見

• 任意の非退化で反対称な $\tau$-準同型 $\omega$ は、自由 $\tau$-加群 $\mathcal{A}^n(X)$ 上で、その行列が $\begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}$ に一致する基底をもつ。ここで $I_n$ は単位行列である。
• この標準形はベクトル層へと拡張され、有限ランクの局所自由 $\tau$-加群に対しても成り立つ。
• シンプレクティック群層 $\mathcal{S}p\,\mathcal{E}$ は、与えられたシンプレクティック構造 $\omega$ を保存する $\tau$-自己同型の層として、適切に定義されている。
• 任意の $\mathcal{A}^{2n}(X)$ 上のシンプレクティック変換 $\varphi$ に対して、$\lambda$ が固有値であれば、$\lambda^{-1}$ も固有値であることが、特徴多項式 $P(t)$ に対して関数方程式 $P(t) = t^{2n}P(1/t)$ を用いて示された。
• 局所的固有ベクトルが制限写像に関して整合性条件を満たすとき、$\tau$-加群の自己準同型に対してグローバルな固有ベクトルが存在する。これは、$\Gamma(\mathcal{A})$ の完全性に起因する。
• 固有ベクトルの層 $\mathcal{PV}(\mathcal{E})$ は、局所的固有ベクトルの前層の層化として適切に定義されており、$\Gamma(\mathcal{A})$ の完全性により、層の公理を満たす。