[論文レビュー] Generators for Rational Loop Groups and Geometric Applications

Neil Donaldson, Daniel J. F. Fox+1 more|ArXiv.org|Mar 1, 2008

Nonlinear Waves and Solitons参考文献 14被引用数 7

ひとこと要約

本稿では、複素再帰的群の表現に基づく一般化された単純要素の定義を導入することで、特に CSp(n, ℂ)、SO(n, ℂ)、G₂ などのネオ古典的群を含む複素再帰的群に関連する有理ループ群の生成定理を確立する。単純要素がねじれ有理ループ群を生成することを証明し、明示的なドレッシングおよび可換性公式を提供する。これにより、G₂/SO(4)-アーベル面のℝ⁷における新しい幾何学的理論への応用が可能になる。

ABSTRACT

Uhlenbeck proved that a set of simple elements generates the group of rational loops in GL(n,C) that satisfy the U(n)-reality condition. For an arbitrary complex reductive group, a choice of representation defines a notion of rationality and enables us to write down a natural set of simple elements. Using these simple elements we prove generator theorems for the fundamental representations of the remaining neo-classical groups and most of their symmetric spaces. In order to apply our theorems to submanifold geometry we also obtain explicit dressing and permutability formulae. We introduce a new submanifold geometry associated to G_2/SO(4) to which our theory applies.

研究の動機と目的

• 複素再帰的群の表現の選択に基づき、有理ループ群における単純要素の一般的概念を定義すること。
• ネオ古典的群である CSp(n, ℂ)、SO(n, ℂ)、G₂ の基本表現に関連するねじれ有理ループ群の生成定理を証明すること。
• これらの生成要素に対する明示的なドレッシングおよび可換性公式を構築し、ループ群作用の実用的計算を可能にすること。
• ℝ⁷における G₂/SO(4)-アーベル面の新しい部分多様体幾何を、ループ群枠組みによって導入すること。
• 表現論的有理性の概念を行列群に限らず拡張し、GL(n, ℂ) に対する Uhlenbeck の生成定理を他の古典的および例外的群へと拡張すること。

提案手法

• G → End(V) である表現 ρ を用いてループの有理性を定義し、g ∈ ℒ(G) が有理的であるとは ρ∘g が有理的であることと定義する。
• 最小の極を持つ有理ループとしての単純要素を、選択された表現と実性条件に基づき定義する。
• Birkhoff 分解と負のループのドレッシング作用を用いて、単純要素が正のループ上に作用する方法を定義する。
• 単純要素の合成が新たな単純要素を用いて再順序可能であることを示す明示的な可換性定理を導出する。
• 拡張されたガウス写像と構造方程式を用いて ℝ² 上の平坦接続を構成し、部分多様体幾何を実現する。
• オクタニオンを用いて G₂ ⊂ SO(7) の埋め込みを明示的に記述し、𝔤₂ ⊂ 𝔰𝔬(7) の定義方程式を乗法表から導出する。

実験結果

リサーチクエスチョン

• RQ1 表現論的有理性に基づく一般化された単純要素の定義は、随伴表現や標準表現に依存しない有理ループ群に対して定式化可能か？
• RQ2 これらの単純要素は、ネオ古典的群の基本表現に対応するねじれ有理ループ群 ℒ⁻ᵀ(G) を生成するか？
• RQ3 これらの生成要素に対して、アルゴリズム的計算を可能にする明示的なドレッシングおよび可換性公式を導出可能か？
• RQ4 ループ群作用が対称空間 G₂/SO(4) に与える幾何的構造は何か？ そして、平坦接続を用いてどのように実現できるか？
• RQ5 表現論的有理性の概念は、行列群を超えてどのように拡張可能であり、新たな設定において生成定理を導く手がかりとなるか？

主な発見

• 著者らは、表現と実性条件に基づき定義された単純要素が、CSp(n, ℂ)、SO(n, ℂ)、G₂ に対してねじれ有理ループ群 ℒ⁻ᵀ(G) を生成することを証明した。
• G₂ については、7次元複素ベクトル空間 ℂ⁷ 上の基本表現がオクタニオンを用いて実現され、𝔤₂ ⊂ 𝔰𝔬(7) の定義方程式が明示的に導出された。
• すべての考察対象群に対して、明示的なドレッシングおよび可換性公式が構築され、単純要素によるループ群作用の計算が可能になった。
• ℝ⁷における G₂/SO(4)-アーベル面の新しい部分多様体幾何が導入され、拡張されたガウス写像によって定義される平坦接続によって実現された。
• バンドル引き戻し ϕ*W の構造方程式から、すべての λ ∈ ℂ に対して θλ = ∑ᵢ(λbᵢ + [bᵢ, v])dxᵢ が平坦であることが示され、可積分性が裏付けられた。
• 生成要素が、極が λ = 0 および ∞ に高々1つずつであり、τg(λ) = g(λ̅)⁻¹ を満たす最小次数の有理ループであることが示された。