Infinitesimal automorphisms and obstruction theory on the moduli of $L$-valued $G$-Higgs bundles

技術的概要：L 値 G ヒッグス束のモジュライ上の無限小自己同型と障害理論

問題提起
本論文は、$G$ を半単純線形代数群、$L$ をコンパクトケーラー多様体 $X$ 上の正則ベクトル束とするとき、$X$ 上の $L$ 値主 $G$ ヒッグス束の幾何学的および変形論的性質を取り扱う。$\Omega^1_X$ 値ヒッグス束（標準的なヒッグス束）の理論、特に安定性、無限小自己同型、およびモジュライ空間に関しては確立されているが、任意のベクトル束 $L$ への一般化には、主要な構造的結果の拡張が必要である。具体的には、著者らは以下の目標を掲げている：

1. 安定な $L$ 値 $G$ ヒッグス束の無限小自己同型の空間を計算する。
2. 安定な $G$ ヒッグス束に付随する随伴束の安定性を確立する。
3. 安定な $L$ 値 $G$ ヒッグス束のモジュライ空間のスタック論的性質を決定する。
4. $X$ が滑らかな射影曲面であり $L = K_X$（標準束）である場合の対称的な完全な障害理論を構成し、一般的な半単純群に対するヴァファ・ウィッテン不変量の定義の基礎を築く。

手法
著者らは、微分幾何学的技法（コバヤシ・ヒッチンの対応）と代数幾何学的手法（安定性条件、ハダー・ナラシマン濾過、および障害理論）の組み合わせを用いる。

• 一般化されたコバヤシ・ヒッチンの対応： 解析は、安定性と、クイバー・渦方程式を満たすエルミート計量の存在との対応に依存する。$L$ 値 $G$ ヒッグス束 $(E_G, \phi)$ について、著者らはねじれたクイバー束に関する Álvarez-Cónsul および García-Prada [2] の結果を利用する。安定な束は、以下の方程式を満たす一意な許容エルミート計量 $h$ を許容することを確立する：
  $$i\Lambda_\omega F^{1,1}_E + [\phi, \phi^*_h] = \tau \text{id}_E$$
  ここで、$E = \text{ad}(E_G)$ は随伴束、$F^{1,1}_E$ はチェルン接続の曲率、$\tau$ は次数によって決定される定数である。

• 自己同型のためのボッホナー技法： 無限小自己同型を計算するために、著者らは $\Omega^1_X$ の場合に用いられたボッホナーの公式（Biswas [7]）を適応させる。ヒッグス場と可換な（$[s, \phi]=0$）エンドモルフィズム束の正則切断 $s$ を考慮することで、ラプラシアン $\Delta_d$ を含む微分不等式を導出する。ヤン・ミルズ・ヒッグス方程式とヤコビ恒等式を用いて、$|s|^2$ が劣調和関数であることを示す。コンパクト多様体上では、これは $s$ が平行であることを意味し、自己同型群に対する制約をもたらす。

• 随伴束の安定性： 著者らは Biswas [4] の結果を $L$ 値の設定に拡張する。$(E_G, \phi)$ が安定であれば、付随する随伴ヒッグス束 $(\text{ad}(E_G), \phi)$ が多安定であることを証明する。これには、随伴束のハダー・ナラシマン濾過を解析し、半単純 $G$ に対するキリング形式を用いて、随伴束の不安定化部分対象を主束のパラボリック簡約に関連付けることが含まれる。

• 障害理論の構成： 安定束のモジュライスタックに対して、著者らは変形・障害理論を構成する。モジュライ空間上の普遍複体を利用し、セルル双対を適用する。障害理論の対称性は、条件 $L=K_X$ の下での複体の自己双対性と、半単純 $G$ に対する無限小自己同型群の消滅から導かれる。

主要な貢献と結果

1. 無限小自己同型の計算：
   主要な結果（定理 3.4）は、コンパクトケーラー多様体上の安定な $L$ 値主 $G$ ヒッグス束 $(E_G, \phi)$ に対して、無限小自己同型群 $A(E)$ がリー代数の中心 $\mathfrak{z}(\mathfrak{g})$ に同型であることを述べている。

   • 意義： これは $\Omega^1_X$ 値束に対する既知の結果を任意の $L$ に拡張する。重要なのは、$G$ が半単純であれば $\mathfrak{z}(\mathfrak{g}) = 0$ となり、自己同型群が離散的であることを意味することである。

2. 随伴束の多安定性：
   定理 4.8 は、$(E_G, \phi)$ が安定であれば、$(\text{ad}(E_G), \phi)$ が多安定であることを確立する。これは、随伴束の任意の不安定化部分対象が主束のパラボリック簡約を誘導し、$(E_G, \phi)$ の安定性に矛盾するという事実に依存している。

3. デリーニュ・マンフォードスタックとしてのモジュライスタック：
   命題 5.4 は、半単純群 $G$ に対して、安定な $L$ 値 $G$ ヒッグス束のモジュライスタック $\text{Higgs}^s_L(X)$ がデリーニュ・マンフォード（DM）スタックであることを証明する。

   • 論理： スタックが DM であるためには、その安定化群が有限かつ既約でなければならない。半単純 $G$ に対する無限小自己同型の消滅（$\mathfrak{z}(\mathfrak{g})=0$）は、安定化群が離散的であることを保証する。安定性条件が開条件であることが示され（命題 5.1）、安定軌道が開部分スタックとして存在することが保証される。

4. 対称的な完全な障害理論：
   定理 5.5 は、$X$ が滑らかな射影曲面であり $G$ が半単純である場合、モジュライスタック $\text{Higgs}^s_{K_X}(X)$ に対する対称的な完全な障害理論を構成する。

   • 機構： 障害理論は、射 $\phi_H: T_{\text{Higgs}} \to E_H$ によって与えられる。対称性は、セルル双対と $L=K_X$ という特定の選択の結果として、導来圏における同型 $E_H \cong (E_H)^\vee[-1]$ から生じる。$H^{-1}(E_H)$（無限小自己同型）および $H^2(E_H)$（自己同型の双対）の消滅は、複体が完全であり、次数 $[0, 1]$ に支えられていることを保証する。

意義と主張
本論文は、一般的な半単純群 $G$ に対するヴァファ・ウィッテン不変量の研究のための基礎的枠組みを提供すると主張している。

• 不変量の基盤： 著者らは、安定軌道上での対称的な完全な障害理論の構成が、等変仮想基本類を介してヴァファ・ウィッテン不変量を定義するための前提条件であると明示的に述べている。
• 一般化： この研究は、$\Omega^1_X$ 値束および特定の群（例えば、シンプレクティック群や直交群）に制限されていた以前の結果を、任意の半単純群および任意のねじれ束 $L$ に一般化するものである。
• 今後の課題： 著者らは、これらの結果がギーセカー安定な $G$ ヒッグス層へ一般化されることを意図していると指摘している。最小の第二チャーン類に対して、得られるモジュライ空間は（ヒッグス場のスケーリングを通じて）コンパクトな $\mathbb{C}^*$-固定点集合を持ち、[18] で研究されたシンプレクティックおよび直交の場合と類似した方法で $G$ に対するヴァファ・ウィッテン不変量を定義できると予想している。

本論文は、特定の不変量を計算したり、実験データを提供したりするものではなく、将来の研究においてそのような不変量を定義し計算するために必要な幾何学的およびスタック論的インフラ（無限小剛性、DM 構造、および障害理論）を確立するものである。