[論文レビュー] Biharmonic maps into compact Lie groups and the integrable systems

Hajime Urakawa|arXiv (Cornell University)|Oct 5, 2009

Geometric Analysis and Curvature Flows参考文献 6被引用数 3

ひとこと要約

本稿は、コンpaktoなリーマン多様体からコンパクトなリー群への滑らかな写像に対して、Maurer-Cartan形式を用いて双調和写像方程式の簡略化を導出する。ループ群の定式化を確立し、コンformal計量を備えたℝ²の定義域からコンパクトなリー群へのすべての実解析的双調和曲線および双調和写像を特徴づける。これは、調和写像に用いられた統合系の技法を双調和写像へと拡張するものである。

ABSTRACT

The reduction of biharmonic maps equation in terms of the Maurer-Cartan form for all smooth map of any compact Riemannian manifolds into a compact Lie group with bi-invariant Riemannian metric is obtained. By this formula, all the biharmonic curves into a compact Lie group and all biharmonic maps from a 2-dimensional open domain into a compact Lie group are characterized.

研究の動機と目的

• コンパクトなリー群への双調和写像方程式をMaurer-Cartan形式論法を用いて簡略化すること。
• 初期データを用いて、コンパクトなリー群へのすべての実解析的双調和曲線を特徴づけること。
• コンformal計量を備えたℝ²の開領域からコンパクトなリー群への双調和写像を分類すること。
• 従来調和写像に用いられた統合系の技法を、双調和写像の文脈へと拡張すること。
• 拡張接続およびスペクトルパラメータを用いて、双調和写像のループ群定式化を確立すること。

提案手法

• リー群上のMaurer-Cartan形式αの引き戻しを用いて、双調和条件をδdδα + Trace_g([α, dδα]) = 0として導出する。
• 局所座標(x,y)および複素座標(z, z̄)における双調和写像方程式を表現し、A_x, A_y, A_z, A_z̄およびB_x, B_y, B_z, B_z̄を含む偏微分方程式系を導出する。
• スペクトルパラメータν ∈ S¹を導入し、νに依存する1形式β_νおよびα_νを構成して、拡張接続を用いて双調和系を符号化する。
• 積分可能性条件dα_ν + [α_ν ∧ α_ν] = 0および共微分δα_νを用いて、Φ_ν⁻¹dΦ_ν = α_νを満たす拡張解Φ_νを定義する。
• 接続および曲率条件を変更することで、調和写像理論の枠組み（例：ループ群作用および拡張解）を双調和設定へと適用する。
• 双調和方程式と系(7.14)–(7.15)の同値性を確立し、解が所定の2階偏微分方程式系を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 Maurer-Cartan形式論法を用いて、コンパクトなリー群への写像に対する双調和写像方程式の簡略化形は何か？
• RQ2 初期データを用いて、コンパクトなリー群への双調和曲線を完全に特徴づける方法は何か？
• RQ3 ℝ²にコンformal計量を備えた写像の構造は、コンパクトなリー群へとどのように特徴づけられるか？
• RQ4 調和写像に用いられた統合系の枠組みを、ループ群手法を用いて双調和写像へと拡張可能か？
• RQ5 スペクトルパラメータν ∈ S¹は、双調和写像の拡張解を構成する際に果たす役割は何か？

主な発見

• コンパクトなリー群Gへのすべての実解析的双調和曲線は、F(t) = α(∂/∂t)として、初期データF(0), F′(0), F′′(0)によって完全に決定される。
• コンformal計量g = μ²g₀を備えた開領域Ω ⊂ ℝ²から(G,h)への双調和写像は、双調和写像方程式δΘ̃ = 0に同値であるPDE系(7.12)–(7.15)によって特徴づけられる。
• B_x, B_yが調和写像方程式(5.15)を満たすならば、A_x, A_yが双調和写像方程式(5.20)を満たすことが示され、調和解と双調和解の間の階層関係が確立される。
• ループ群定式化により、ν ∈ S¹に対してΦ_ν: Ω → Gを満たす拡張解の族Φ_νが得られ、α_νはスペクトルパラメータおよびMaurer-Cartan形式の引き戻しにより定義される。
• 共微分δα_νは明示的にδα_ν = -2μ⁻²[(1−ν)/2 ∂A_z/∂z̄ + (1−ν⁻¹)/2 ∂A_z̄/∂z]として与えられ、幾何学的構造とスペクトルパラメータが結びつけられる。
• 系(7.14)–(7.15)は双調和写像方程式(6.1)に同値であり、導出されたPDE系が元の幾何的条件と整合していることが確認される。