[論文レビュー] The Integration Algorithm for Nilpotent Orbits of G/H^{*} Lax systems: for Extremal Black Holes

Pietro Fré, A. S. Sorin|ArXiv.org|Mar 23, 2009

Black Holes and Theoretical Physics参考文献 6被引用数 9

ひとこと要約

本稿は、超対称重力における極小ブラックホールを記述する上で鍵となるべき、冪零なLax作用素に対する有限で初期データのみに依存する統合アルゴリズムを提示することで、G/H* Lax系の可積分性プログラムを完了する。この手法は、非対角化可能でない、および冪零なLax行列へとコーディングのアルゴリズムを一般化し、行列指数関数と不変データを用いて明示的な解を提供する。SL(3,R)/SO(1,2)の場合には完全な分類が得られる。

ABSTRACT

Hereby we complete the proof of integrability of the Lax systems, based on pseudo-Riemannian coset manifolds G/H^{*}, we recently presented in a previous paper [arXiv:0903.2559]. Supergravity spherically symmetric black hole solutions have been shown to correspond to geodesics in such manifolds and, in our previous paper, we presented the proof of Liouville integrability of such differential systems, their integration algorithm and we also discussed the orbit structure of their moduli space in terms of conserved hamiltonians. There is a singular cuspidal locus in this moduli space which needs a separate construction. This locus contains the orbits of Nilpotent Lax operators corresponding to extremal Black Holes. Here we intrinsically characterize such a locus in terms of the hamiltonians and we present the complete integration algorithm for the Nilpotent Lax operators. The algorithm is finite, requires no limit procedure and it is solely defined in terms of the initial data. For the SL(3;R)/SO(1,2) coset we give an exhaustive classification of all orbits, regular and singular, so providing general solutions for this case. Finally we show that our integration algorithm can be generalized to generic non-diagonalizable (in particular nilpotent) Lax matrices not necessarily associated with symmetric spaces.

研究の動機と目的

• 極小ブラックホールに対応する冪零軌道に相当する特異的でカスプ状の軌道集合に対応する、G/H* Lax系の可積分性プログラムを完了すること。
• 極限手続きを要しない、有限で閉形式の統合アルゴリズムを、非対角化可能でないLax作用素に提供すること。
• 対称空間の商に限定されない、任意の非対角化可能でないLax行列へと統合手法を一般化すること。
• SL(3,R)/SO(1,2)の場合におけるすべての正則軌道と特異的軌道の分類を提供し、この代表的モデルに対する一般解を提示すること。
• Lax方程式の解を、Lax行列とその関連変換行列を含む初期データのみで完全に表現すること。

提案手法

• Borel部分代数上のLie-Poisson括弧を用い、式(2.5)の行列式関係を用いて多項式的および有理関数的不変量を抽出することで、保存ハミルトニアンを構成する。
• Lax作用素のノルム化条件とCasimir関数の消滅を用いて、特異的軌道集合を内在的に特徴付ける。
• 一般解を行列変換 $ L(t) = \Phi(t) \mathcal{J} \Phi(t)^{-1} $ を用いて導出する。ここで $ \mathcal{J} $ は初期Lax行列のジョルダン標準形である。
• $ \Phi(t) $ と $ \Phi^{-1}(t) $ を初期データ $ \Phi(0) $ と $ e^{-t\mathcal{J}} $ の形で表現し、明示的な行列式に基づく公式（式A.23, A.28）を提示する。
• $ \eta $-対称Lax作用素の場合に、$ e^{-t\mathcal{J}} = e^{-tQ} e^{-t\text{Nil}} $ の分解を用い、$ \mathcal{J} $ が冪零またはブロック対角の場合に初等関数で表現可能となる。
• 対角化可能な場合の解を[7]の既知の結果から回復し、$ N=2,3,4,5 $ における直接的検証により非対角化可能な場合へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 極小ブラックホールに対応する冪零軌道に対応するLax系の統合は、どのようにして完了可能か？
• RQ2 初期行列が非対角化可能または冪零である場合に、Lax方程式を統合する一般の有限アルゴリズムは何か？
• RQ3 解を、極限手続きや反復的手順を必要とせず、初期データのみで表現することは可能か？
• RQ4 SL(3,R)/SO(1,2)の軌道構造—正則的および特異的（冪零的）軌道を含む—は、すべての可能な解をどのように分類するか？
• RQ5 統合手法は、対称空間を越えて、任意の非対角化可能でないLax行列へとどの程度一般化可能か？

主な発見

• 本稿は、初期データ $ L_0 $ のみに依存する有限で閉形式の統合アルゴリズムを、冪零Lax作用素に対して提示する。極限や反復的手順は一切不要である。
• SL(3,R)/SO(1,2)の商において、正則的および特異的軌道をすべて完全に分類し、各タイプに対して明示的な一般解を提供する。
• 解は $ L(t) = \Phi(t) \mathcal{J} \Phi(t)^{-1} $ の形で表現され、ここで $ \Phi(t) $ は初期データと行列指数関数 $ e^{-t\mathcal{J}} $ から構成され、$ \mathcal{J} $ はジョルダン標準形にある。
• 対角化可能なLax行列に対する既知の解を非対角化可能な場合へと一般化した手法を提示し、$ \Phi(t) $ と $ \Phi^{-1}(t) $ の明示的公式を行列式と初期行列に基づいて提示する。
• $ \mathrm{SL(N)}/\mathrm{SO(p,N-p)} $ の商において $ N=2,3,4,5 $ の場合に、$ \mathcal{J} $ が冪零である場合も含め、閉形式の指数関数を用いて正しさを検証する。
• $ \eta $-対称Lax作用素の場合、指数関数 $ e^{-t\mathcal{J}} $ は $ e^{-tQ} e^{-t\text{Nil}} $ に分解可能であり、両者とも初等関数で表現可能となる。これにより、解は解析的に扱いやすくなる。