[論文レビュー] Classical Solutions in the BMN Matrix Model

Joakim Arnlind, Jens Hoppe|ArXiv.org|Dec 15, 2003

Black Holes and Theoretical Physics参考文献 3被引用数 7

ひとこと要約

本稿は、特定のSU(3)行列表現を用いて行列力学をスカラー関数の常微分方程式に還元することにより、ボソン的BMN行列模型における明示的な古典的解を構成する。回転する膜や高次元的対象のハミルトニアン系を導出し、N→∞極限において一定角速度を持つ配置に対応する解を得る。非自明な回転対称性を持つ時変および中間的定常解も含まれる。

ABSTRACT

Several reductions of the bosonic BMN matrix model equations to ordinary point particle Hamiltonian dynamics in the plane (or R^3) are given - as well as a few explicit solutions (some of which, as N->infinity, correspond to membranes rotating with constant angular velocity, others to higher dimensional objects).

研究の動機と目的

• 回転対称性を持つ膜のような拡張対象を記述する明示的な古典的解を、BMN行列模型で見つけること。
• 行列模型の全動的を、スカラー関数に支配される低次元ハミルトニアン系へ還元すること。
• これらの解の連続体極限（N→∞）を探索し、回転する膜配置に対応するものかどうかを検証すること。
• 保存角運動量を持つ非自明な時変および中間的定常解を同定すること。
• 特定のsu(3)行列表現が、ラプラシアン型作用素の対角的作用をもたらし、一貫した還元を可能にすることを示すこと。

提案手法

• カタン＝ヴァイの基底を用いて、SU(3)代数から9個のヘルミート的N×N行列M_iを構成し、閉じた交換関係を満たすようにする。
• 行列上に作用する3つの離散的ラプラシアン作用素Δ₋, Δ‖, Δ₊を、二重交換子を用いて定義し、M_iに作用させると既知の固有値を持つ対角的作用を示す。
• X_a(t) = x(t)M_a, X_μ(t) = z(t)R_μν(t)M_νおよび類似の形のアンザッツを用いて、行列模型の全方程式をスカラー関数x(t), y(t), z(t)に関する常微分方程式系に還元する。
• 剛体回転をモデル化するため、z²φ̇ = L = constという制約を課し、動的を有効な1次元ハミルトニアン系に還元する。
• 各還元に対する有効ハミルトニアンを導出し、得られた常微分方程式が正準的であり、エネルギーおよび角運動量を保存することを示す。
• アンザッツの整合性を検証するため、関係する行列が適切に可換であり、ラプラシアン作用が選択された表現においても対角的のままであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 BMN行列模型において、N→∞極限で一定角速度を持つ回転膜を記述する明示的な時変解を構成できるか？
• RQ2 行列模型の式が、スカラー関数に関する可解な常微分方程式系に還元される条件は何か？
• RQ3 これらの還元系において、角運動量のような保存量はどのように行列力学から生じるか？
• RQ4 一部の座標が定数だが非ゼロであるような中間的解はどのようなものがあり、安定な回転配置を示唆するか？
• RQ5 異なるラプラシアン作用素Δ₋, Δ‖, Δ₊は、行列アンザッツにどのように作用し、一貫した力学系を生じるか？

主な発見

• 本稿は、スカラー関数x(t), y(t), z(t)に関する3つの結合常微分方程式に還元することで、BMN行列模型における明示的な時変解を構成し、式(8)に与えられるハミルトニアン構造を持つ。
• 回転するX_μおよびX_aのアンザッツにおいて、系は有効ポテンシャル項K²/x⁴およびL²/y⁴を含む式(15)に還元される。これは回転エネルギーをモデル化する。
• zが定数で非ゼロである中間的解が存在し、これは線形φ(t)および5次方程式の特定の根に対応する。x=0およびz=±z₀の状況も含む。
• M_a′′=0およびM_a′=M_aの条件が満たされる場合、常微分方程式における結合構造が変更され、式(13)に示されるように異なる有効ポテンシャルが得られる。
• これらの解のN→∞極限は、一定角速度で回転する古典的膜に対応し、行列アンザッツにおけるラプラシアン作用素の対角的性質によって確認される。
• モデルは時変解と静的解（例：x=0, mまたは2m）の両方を支持しており、後者はL=0, z=0の極限で回復される。