Holomorphic disks and GIT quotients

技術的サマリー：正則ディスクと GIT 商

問題提起
本論文は、連結なコンパクトリー群 $G$ のハミルトニアン作用を備えた滑らかな代数多様体 $X$ のシンプレクティック幾何と、その縮約のシンプレクティック幾何との関係を調査する。具体的には、著者は、$G$-不変なラグランジュ部分多様体 $L$ 上に境界を持つ $X$ 内の正則ディスクのモジュライ空間と、商ラグランジュ $L/G$ 上に境界を持つ幾何学的不変量理論（GIT）商 $X // G$ 内の正則ディスクのモジュライ空間との間の対応を確立することを目的としている。

シンプレクティック縮約における主要な困難は、その構成がモーメント写像のレベル集合 $\mu^{-1}_G(0)$ への制限と不安定軌道の除去を必要とするため、縮約前後の正則曲線の直接比較が非自明である点にある。等変フロア理論はこのような比較のための枠組みを提供するが、本論文は等変フロア理論に依存せず、代わりに GIT 商とシンプレクティック縮約の間に架け橋を提供するケンプフ＝ネス定理を利用することで、その関係を確立しようとする。

手法
このアプローチは、半安定軌道 $X^{ss}$ の幾何学的構造と、正則商写像 $q: X^{ss} \to X // G$ に依存している。本論文は主に 2 つの段階で進行する。

1. 主束を介した対応：著者は、半安定軌道 $X^{ss}$ と商 $X // G$ の間の関係を、正則主 $G$-束 $q: P_G \to M$ としてモデル化する。全空間 $P_G$ 内（境界が $L$ 上にある）と底空間 $M$ 内（境界が $L/G$ 上にある）の正則ディスクのモジュライ空間を解析することで、対応関係を確立する。

   • ディスクの持ち上げ：中心的な技術的要素は、商 $M$ 内のすべての正則ディスクが、全空間 $P_G$ への正則な持ち上げを許容することを証明することである。これは、境界条件を尊重する束の引き戻し上の正則自明化を構成することによって達成される。著者は、ディリクレ境界条件付きのエルミート・ヤン＝ミルズ方程式の可解性に関するドナルドソンの結果を用いて、境界縮約と両立する平坦計量の存在を保証し、それによって持ち上げの構成を可能にしている。
   • モジュライ空間の同型：持ち上げの性質と $\pi_2(G, G) = 0$ という事実を用いて、著者は、全空間内のモジュライ空間の商と商内のモジュライ空間との間の誘導写像が、向きを保存する同相写像であることを証明する。

2. ディスクポテンシャルの計算：本論文は、「半安定」および「不安定」なディスク類の概念を導入する。ディスク類の像が完全に $X^{ss}$ 内に収まれば半安定であり、そうでなければ不安定である。

   • 半安定ディスクポテンシャル：著者は、$L$ のディスクポテンシャルにおいて半安定類に対応する項のみを保持することで、「半安定ディスクポテンシャル」$W^{ss}_L$ を定義する。
   • 変数の除去：すべてのマソロ指数 2 の不安定類が「完全に除外される」（すなわち、すべての代表ディスクが不安定軌道と交差する）という仮定の下で、商 $L/G$ のディスクポテンシャルは、基本群上の誘導写像 $q^*: \pi_1(L) \to \pi_1(L/G)$ の核に $W^{ss}_L$ を制限することで計算される。これには、群作用の方向に対応するローラン多項式における変数の除去が含まれる。

主要な貢献と結果

• 定理 A（定理 3.13）：適切な正則性と位相的な仮定（具体的には $L/G$ がスピンであり、モジュライ空間がコンパクトであること）の下で、写像 $\phi: \mathcal{M}_1(P_G, L, J, \beta)/G \to \mathcal{M}_1(X // G, L/G, q^*J, q^*\beta)$ は向きを保存する同相写像である。したがって、ディスク数え上げ不変量 $n_\beta$ と $n_{q^*\beta}$ は一致する。
• 定理 B（定理 4.11）：$L$ が正のラグランジュトーラスであり、すべての不安定なマソロ指数 2 の類が完全に除外されるトーラス作用に対して、商 $L/G$ のディスクポテンシャルは、$L$ の半安定ディスクポテンシャルを $q^*$ の核に制限したもので与えられる：
  $$W_{L/G}(z) = W^{ss}_L|_{\ker(q^*)}(z)$$
  これは、商のディスクポテンシャルを事前商から導出するための計算的に効果的な式を提供する。
• 定理 C（定理 6.3）：本論文はこれらの手法を、二次超曲面 $Q_n \subseteq \mathbb{CP}^{n+1}$ 上のゲルファント＝ツェイトリン（GZ）系のディスクポテンシャルの計算に応用する。退化法と低次元の二次曲面への GIT 商縮約を利用することで、著者は $Q_n$ 内の任意のトーラスファイバー $L_n(u)$ に対するディスクポテンシャルの明示的な式を導出し、単調ファイバーに限定されていた以前の結果を拡張する。得られたポテンシャルは以下の通りである：
  $$W_{L_n(u)}(y) = \frac{1}{y_n}T^{n-u_n} + \frac{y_n}{y_{n-1}}T^{u_n-u_{n-1}} + \dots + \frac{y_2}{y_1}T^{u_1-u_2} + 2y_2T^{u_2} + y_1y_2T^{u_1+u_2}$$

意義と主張
本論文は、その主要な利点が定理 4.11 の計算的有効性にあると主張している。GIT 商とシンプレクティック縮約の間の対応を利用することで、この手法は直接計算が困難な状況においてディスクポテンシャルの明示的な計算を可能にする。具体的には、基底から全空間へのディスクポテンシャルの持ち上げと、高次元の問題を低次元のものへ縮約することを可能にする。

著者は、この縮約手続きが、高次元の等方フラグ多様体に対するディスクポテンシャルを低次元の場合に還元して計算するための効果的な手法を提供すると予想していると述べている。また、この仕事は、単調なものだけでなく任意のトーラスファイバーに対するポテンシャルを計算することで、ゲルファント＝ツェイトリンファイバーに関する以前の結果を一般化している。本論文は、これらの結果が等変フロア理論の機構を用いず、主束の幾何学的性質とケンプフ＝ネス定理に依存して導出されたことを強調している。