[論文レビュー] Implosions and hypertoric geometry

Andrew Dancer, Frances Kirwan+1 more|University of Southern Denmark Research Portal (University of Southern Denmark)|May 21, 2013

Geometry and complex manifolds参考文献 17被引用数 4

ひとこと要約

この論文は、SU(n) に対して、クーヴァー構成と超トーリック幾何学を用いて、シンプレクティックインプロージョンのハイパーカイラー類似物を構成し、複素共軛軌道の標準的アフィン完備化を実現する分岐したハイパーカイラー空間を生成する。主な結果は、インプロージョン内にハイパーカイラー多様体が存在することの同定であり、これはシンプレクティックインプロージョンのトーリック構造を一般化し、クーヴァーデータとモーメント写像の還元によって記述される。

ABSTRACT

The geometry of the universal hyperKaehler implosion for SU(n) is explored. In particular, we show that the universal hyperKaehler implosion naturally contains a hypertoric variety described in terms of quivers. Furthermore, we discuss a gauge theoretic approach to hyperKaehler implosion.

研究の動機と目的

• コンパクトなリー群に対するギュイユマン、ジェフリー、スヤマールのシンプレクティックインプロージョンのハイパーカイラー類似物を構築すること。
• 以前の研究で得られたSU(n)のクーヴァーに基づくハイパーカイラーインプロージョンの構成を拡張し、特に超トーリック構造とゲージ理論的記述に焦点を当てる。
• SU(n)の複素化におけるレヴィ部分群と半単純軌道を用いて、ハイパーカイラーインプロージョン空間の分岐構造を精緻化すること。
• [0,1] または [0,∞) におけるナフ方程式のゲージ理論的構成と、有限次元のハイパーカイラーインプロージョンを結びつけること。
• インプロージョンに、正のワイル・チェンバのトーリック多様体と同型なハイパーカイラー多様体が含まれることを確立し、シンプレクティックの場合を一般化すること。

提案手法

• SU(n) のユニバーサルハイパーカイラーインプロージョンを、SL(n,C) の余接束 T*SL(n,C) を最大のユニポテンツ部分群 N で複素シンプレクティックなGIT商として構成する。
• クーヴァー図を用いてインプロージョンの開部分集合を記述し、特にナフ行列のジョルダン標準形に基づく標準形に注目する。
• 最大トーラス作用に関するハイパーカイラー商構成を適用し、コスタント多様体（複素共転軌道の標準的アフィン完備化）を回復する。
• SU(n) の群構造を用いて、インプロージョンの分岐構造を、レヴィ部分群と K_C 内の半単純軌道によってインデックス化されたストラトムに精緻化する。
• ナフデータの空間におけるビエラウススケール計量を分析し、三重 (τ₁,τ₂,τ₃) の固定中心化群によって定義されるストラトムに接する方向における計量の有限性を示す。
• 有限次元のインプロージョンと、[0,1] 上のナフデータの無限次元モジュライ空間を比較し、ユニバーサルハイパーカイラーインプロージョンと形式的に同値であると示唆する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティックインプロージョンの構成を、SU(n) に対してハイパーカイラー設定に一般化するにはどうすればよいか？
• RQ2 クーヴァー図は、ハイパーカイラーインプロージョン空間およびそのハイパーカイラー部分多様体を記述する上で果たす役割は何か？
• RQ3 精緻化されたインプロージョンの分岐構造は、SU(n) の群論的構造（レヴィ部分群とSL(n,C) 内の半単純軌道を用いて）どのように反映されるか？
• RQ4 ハイパーカイラーインプロージョンは、[0,1] または [0,∞) におけるナフ方程式の解のモジュライ空間とどのような関係にあるか？
• RQ5 ビエラウススケール計量が、インプロージョン空間の接ベクトルに沿って有限である条件は何か？

主な発見

• SU(n) のハイパーカイラーインプロージョンには、自然に埋め込まれるハイパーカイラー多様体が含まれており、これはシンプレクティックインプロージョンのトーリック構造を一般化する。
• このハイパーカイラー多様体は、最大トーラス作用によるインプロージョンのハイパーカイラー商として得られ、複素共転軌道の標準的アフィン完備化に対応する。
• インプロージョン空間は、SL(n,C) 内のレヴィ部分群と半単純軌道によってインデックス化された精緻な分岐構造を有する。
• ビエラウススケール計量は、三重 (τ₁,τ₂,τ₃) の固定中心化群によって定義されるストラトムに接するすべての接ベクトルに対して有限であり、分岐したリーマン計量構造を保証する。
• SU(2) の場合、インプロージョンは平坦な H² であり、スケール計量は至る所で有限である。これは、空間の既知の平坦性と整合する。
• 有限次元のハイパーカイラーインプロージョンは、[0,1] 上のナフデータのモジュライ空間と形式的に同値であり、より深いゲージ理論的解釈を示唆する。