[論文レビュー] A loop group method for affine harmonic maps into Lie groups

Josef F. Dorfmeister, Jun-ichi Inoguchı+1 more|arXiv (Cornell University)|May 2, 2014

Black Holes and Theoretical Physics参考文献 24被引用数 4

ひとこと要約

本稿は、捩れのない双不変接続を備えた一般のリー群へのアフィン調和写像に対して、ループ群手法を展開し、コンパクトな半単純群に限らないウーレンベック＝セガル理論を拡張する。主な貢献は、双不変リーマン計量を持たない可解群や半単純でない群への調和写像の一般化されたワイエルシュトラス型表現の確立であり、特にユークリッド運動群SE₂と中性接続を用いた可解リー群に対する明示的構成が可能となり、双不変計量が存在しない場合でも明示的な曲面生成が可能になる。

ABSTRACT

We generalize the Uhlenbeck-Segal theory for harmonic maps into compact semi-simple Lie groups to general Lie groups equipped with torsion free bi-invariant connection.

研究の動機と目的

• コンパクトな半単純リー群へのウーレンベック＝セガルのループ群理論を、捩れのない双不変接続を備えた一般のリー群へ一般化すること。
• 非コンパクトおよび半単純でないリー群、特に双不変計量が存在しない左不変計量のみを備えた群において、ゼロ曲率表現およびループ群形式化の欠如を解消すること。
• 双不変リーマン計量を持たない可解リー群（例：SE₂やG(1,−1)）への調和写像の一般化されたワイエルシュトラス型表現を確立すること。
• 従来の手法が失敗する非コンパクトな同次空間へのグローバルに滑らかな調和曲面の構成フレームワークを構築すること。
• レヴィ＝チビタ接続が失敗する場合でも、中性接続（捩れのない双不変アフィン接続）がループ群形式化を可能にすることを示すこと。

提案手法

• リー群Gに中性接続を導入し、これは捩れがなく双不変である。Gをアフィン対称空間G×G/Gとして扱う。
• 中性接続を備えたリーマン面からGへのアフィン調和写像を定義し、接続の曲率と捩れに基づく調和性方程式を満たすものとする。
• 拡張フレームと拡張ムーラー＝カルタン形式を用いて、ウーレンベック＝セガルのアプローチを非コンパクトおよび可解群へ一般化したループ群形式化を構築する。
• ループ群のイワサワ分解を用い、拡張フレームと正則ポテンシャルξを通じて一般化されたワイエルシュトラス型表現を導出する。
• 具体的な例（SE₂やG(1,−1)のような可解リー群）にこの手法を適用し、特定の正則ポテンシャルを選んで積分することで明示的な曲面パラメトライゼーションを導出する。
• 中性接続を用いて調和性条件を複素座標で再表現し、φ̃₁z z̄ − ½(φ̃₁z φ̃³z̄ + φ̃₁z̄ φ̃³z) = 0 などのPDEを得る。このPDEはループ群手法により解ける。

実験結果

リサーチクエスチョン

• RQ1 ループ群手法は、コンパクトな半単純リー群に限らず、可解群および非コンパクト群へ一般化可能か？
• RQ2 可解リー群が双不変リーマン計量を持たない場合、調和写像のループ群形式化は不可能か？
• RQ3 捩れのない双不変アフィン接続のみを備えたリー群への調和写像に対して、一般化されたワイエルシュトラス型表現を構築可能か？
• RQ4 中性接続は、非コンパクトおよび半単純でないリー群へのループ群手法の実現に果たす役割は何か？
• RQ5 双不変計量を持たないリー群（例：SE₂やG(1,−1)）における明示的調和曲面は、どのように構成可能か？

主な発見

• 本稿は、捩れのない双不変接続を備えた任意のリー群へのアフィン調和写像に対するループ群手法を確立し、ウーレンベック＝セガル理論を非コンパクトおよび可解群へ一般化した。
• 可解リー群SE₂に対して、一般化されたワイエルシュトラス型表現は、複素可解群G(1,−1)ℂへの共役を用いて構成され、明示的な曲面パラメトライゼーションが可能になった。
• 正則ポテンシャルを用いた明示的曲面解が導出された。例えば、ξ¹(z) = −1/4およびξ²(z) = i/4でz* = 0とすると、平面φ(z, z̄, λ = −1) = (x, y, 0)が得られる。
• SE₂における調和性条件は、複素化された座標を用いたPDE系として再表現され、ループ群手法が中性接続と整合することを確認した。
• 本手法は、双不変リーマン計量を持たない群（例：ノルム群や可解群）にも適用可能であり、ターファン幾何やダメク＝リッチ空間に現れる群を含む。
• 本フレームワークにより、従来の手法がゼロ曲率表現を欠くために失敗する非コンパクト同次空間（例：スルーマンフォールドやカーノー群）におけるグローバルに滑らかな調和曲面の構成が可能になった。