[論文レビュー] The Symplectization Functor

Rui Loja Fernandes|ArXiv.org|Oct 18, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 10

ひとこと要約

この論文は、可積分なポアソン多様体からシンプレクティック群体へ、およびポアソン写像から正準関係へ写像する関手 Σ を導入し、ポアソン圏とシンプレクティック圏の間の関手的ブリッジを確立する。主な貢献は、Σ がファイブレーションや連結和といった幾何的構成を保存することであり、これによりファイバー付きシンプレクティック群体やカップリング形式へと拡張され、ポアソン幾何における幾何的量子化と可積分性の体系的枠組みが提供される。

ABSTRACT

We describe a symplectization functor from the Poisson category to the symplectic "category" and we study some of its properties.

研究の動機と目的

• 可積分なポアソン多様体の圏からシンプレクティック群体の『圏』への関手 Σ を形式化すること。
• Σ がポアソン幾何におけるファイブレーション、商、連結和といった幾何的構成をどのように保存するかを調査すること。
• Σ がポアソンファイブレーションを、乗法的カップリング形式を持つファイバー付きシンプレクティック群体へ写像することを確立すること。
• Σ がポアソン多様体の幾何的および変形量子化に与える影響を探索すること。
• シンプレクティゼーションとリー代数的積分との違いを明確にし、シンプレクティック設定におけるより豊かな幾何を強調すること。

提案手法

• ポアソンテンソル π を用いて許容的経路を定義し、余接路の合同類としてシンプレクティック群体 Σ(M) を定義する。
• 経路の連結と反転に基づく、出発点、到着点、乗法、単位元、逆元の写像を用いて、Σ(M) 上の群体構造を定義する。
• 各ポアソン写像 φ に対して、Σ(M₁) × Σ(M₂)̅ に含まれる正準関係 Σ(φ) を割り当て、これはラグランジュ部分群体であるため、関手性が保証される。
• ポアソンファイブレーション M → B に Σ を適用し、ファイバー型がファイバーのポアソン多様体上のシンプレクティック群体である、ファイバー付きシンプレクティック群体が得られることを示す。
• シンプレクティック群体上のハミルトニアン群作用を用いて、ファイバー付き群体の全空間に乗法的カップリング2形式を導出する。
• 連結和やポアソン＝ニエンヒュイズ構造に Σ を適用し、Σ(M₁#M₂) ≅ Σ(M₁)#Σ(M₂) およびシンプレクティック＝ニエンヒュイズ群体が得られることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティゼーション関手 Σ は、ポアソン圏からシンプレクティック群体と正準関係の『圏』への関手として、どのように厳密に定義可能か？
• RQ2 特にポアソン多様体のファイブレーションや商の文脈において、Σ が保存する幾何的構造は何か？
• RQ3 シンプレクティゼーション関手は連結和やその他のポアソン幾何的演算へと拡張可能か？その結果得られるシンプレクティック構造は何か？
• RQ4 構造群のハミルトニアン作用は、ファイバー付きシンプレクティック群体に乗法的カップリング形式をもたらす際に果たす役割は何か？
• RQ5 シンプレクティゼーション関手は、標準的なリー代数的積分関手とどのように異なり、この文脈でなぜシンプレクティック構造が非自明なのか？

主な発見

• シンプレクティゼーション関手 Σ は、可積分なポアソン多様体を、出発点1-連結なシンプレクティック群体へ写像し、T*M 上の標準的シンプレクティック形式から生じるシンプレクティック構造を持つ。
• 任意の可積分なファイバー型 (F, π) を持つポアソンファイブレーション M → B に対して、一意に定まる出発点1-連結なファイバー付きシンプレクティック群体 Σ(M) → M が存在し、ファイブレーションを統合する。
• ファイバー付きシンプレクティック群体の全空間には、構造群のハミルトニアン作用により、乗法的カップリング2形式が存在し、これによりプレシンプレクティック群体となる。
• 関手 Σ はファイブレーションを保存し、ポアソンファイブレーションをファイバー付きシンプレクティック群体へ写像するため、ポアソンファイブレーションのシンプレクティック実現を提供する。
• シンプレクティゼーション関手はリー代数的積分関手と同値ではなく、ポアソン写像は一般にリー代数的準同型ではないため、Σ(M) のシンプレクティック幾何は、それらの基盤となる代数的構造よりも豊かな構造を符号化している。
• 連結和やポアソン＝ニエンヒュイズ構造への Σ の適用は、Σ(M₁#M₂) ≅ Σ(M₁)#Σ(M₂) を示唆し、シンプレクティック＝ニエンヒュイズ群体を導く。これは、統合系との深い関係を示唆する。