[論文レビュー] An application of the reduction method to Sutherland type many-body systems

L. Fehér|arXiv (Cornell University)|Aug 30, 2013

Nonlinear Waves and Solitons参考文献 10被引用数 3

ひとこと要約

本稿は、非コンパクトな単純リー群上の自由測地線運動から、スピン・サザーランド型多体系を導出するためのハミルトニアン還元法を一般化する。群 Y 上の自由系を、カルタン対合と可換な対合の固定点部分群を含む最大コンパクト部分群とからなる対称性群により還元することで、稠密な開部分多様体上での還元系がスピン・サザーランドモデルに対応することを示している。主な結果として、スピン自由度のない状況において、三つの任意の結合定数を持つ $BC_n$ サザーランド系が特殊ケースとして得られることを導出する。

ABSTRACT

We study Hamiltonian reductions of the free geodesic motion on a non-compact simple Lie group using as reduction group the direct product of a maximal compact subgroup and the fixed point subgroup of an arbitrary involution commuting with the Cartan involution. In general, we describe the reduced system that arises upon restriction to a dense open submanifold and interpret it as a spin Sutherland system. This dense open part yields the full reduced system in important special examples without spin degrees of freedom, which include the BC(n) Sutherland system built on 3 arbitrary couplings for m

研究の動機と目的

• 従来の特殊ケースにとどまらず、より広い非コンパクト単純リー群のクラスにまでハミルトニアン還元法を拡張すること。
• 還元枠組みにおける任意のモーメントマップ制約から生じる還元系の特徴づけ。
• 物理的に重要な系（例：荷電粒子を有する $BC_n$ サザーランドモデル）において、還元系がスピン自由となる条件の明確化。
• 群論的還元を通じて、可積分な多体系を幾何学的・代数的枠組みで理解するためのフレームワークの確立。

提案手法

• 非コンパクト単純リー群 Y 上の自由測地線運動を、$Y_+$（最大コンパクト部分群）と $Y^+$（カルタン対合と可換な対合の固定点部分群）の直積からなる対称性群 $Y_+ \times Y^+$ を用いてハミルトニアン還元する。
• 一般化されたカルタン分解を用いて、リー代数 $\mathcal{Y}$ を対合 $\theta$ と $\gamma$ による固有空間に分解し、関連する部分代数と対称空間を特定する。
• 最大アーベル部分代数 $\mathcal{A} \subset \mathcal{Y}_{-}^{-}$ 内の正則元の稠密な開部分多様体に運動を制限することで、還元系が適切に定義され、可積分性を保証する。
• 共軛軌道 $Y_+$ と $Y^+$ に対応するモーメントマップ制約を課し、特にスピン自由度を消去する最小軌道および一点軌道に注目する。
• 自由測地線運動を還元された位相空間上に射影することで、還元ハミルトニアンを明示的に導出する。この還元位相空間は $T^*\check{\mathcal{A}}$ に微分同相であることが示される。
• 還元系がスピン自由となるのは、$Y^+$ の共軛軌道が一点（一点共軛軌道）である場合であり、このとき還元ハミルトニアンは三つの任意の結合定数を持つ $BC_n$ サザーランド系と一致する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクト単純リー群上の自由測地線運動のハミルトニアン還元が、スピン・サザーランド型系をもたらす条件は何か？
• RQ2 対称性群 $Y_+ \times Y^+$ の構造とモーメントマップ制約の選択が、還元系の可積分性および物理的解釈に与える影響は何か？
• RQ3 一点共軛軌道がスピン自由度を消去し、スピン自由サザーランド系を導く役割は何か？
• RQ4 一般還元フレームワークは、既知の可積分系（例：三つの任意の結合定数を持つ $BC_n$ サザーランド系）を再現できるか？
• RQ5 還元位相空間が最大アーベル部分代数の正則部分 $\check{\mathcal{A}}$ の余接束に微分同相であるための必要十分条件は何か？

主な発見

• 還元位相空間 $P_{\text{red}}$ は、最大アーベル部分代数 $\mathcal{A} \subset \mathcal{Y}_{-}^{-}$ の正則部分 $\check{\mathcal{A}}$ の余接束 $T^*\check{\mathcal{A}}$ に微分同相であり、これにより適切に定義され、可積分な系が保証される。
• 還元ハミルトニアンはスピン・サザーランド型系に対応し、全系の構造はモーメントマップ制約と群論的分解によって決定される。
• もし $Y^+$ の共軛軌道が一点（例：$\{y_0 C^r\}$）であれば、系はスピン自由となり、還元ハミルトニアンは三つの任意の結合定数を持つ $BC_n$ サザーランドモデルと一致する。
• $m$ 個の正の電荷と $n-m$ 個の負の電荷を持つ粒子が半直線上に存在し、鏡像相互作用と原点に固定された電荷を持つ $BC_n$ サザーランド系は、$\kappa$, $x_0$, $y_0$ を独立な結合パラメータとして、特殊ケースとして得られる。
• 還元フレームワークにより、$SU(n)$ の最大トーラスによるゼロモーメントマップ値における最小共軛軌道還元が、一点空間を生じさせることにより $BC_n$ 系が出現することの解明がなされる。
• 技術的条件 $(x_0^2 - y_0^2) \neq 0$ は、$q_1 > \cdots > q_m > 0$ および $q_{m+1} > \cdots > q_n > 0$ の定義域上で動的整合性を保証し、系の物理的解釈に不可欠である。