Symmetric spaces for groups over involutive algebras and applications to Higgs bundles

技術要約：対合的代数上の群に関する対称空間、およびヒッグス束への応用

問題提起
本論文は、リー群およびそれに関連する対称空間の理論を、非可換環、特に（随伴を持つ）対合的代数 $(A, \sigma)$ の設定へと一般化するという課題に取り組んでいる。可換体上のリー群に関する理論は確立されているが、非可換の場合は、標準的な行列式が存在しないことなどが原因で、$SL_n$ のような部分群の定義を困難にするなど、重大な困難が生じる。著者らは、エルミート対合的代数上のシンプレクティック群 $Sp_2(A, \sigma)$ および不定直交群 $O(1,1)(A, \sigma)$、ならびにそれらの複素化に焦点を当てている。主な目的は、これらの群に関連するリーマン対称空間 $G/K$ の明示的な幾何学的モデルを構築し、その接空間と微分同相写像を記述することであり、さらにこの枠組みを用いて、リーマン面の基本群の表現を研究するためのヒッグス束の理論へ適用することである。

手法
本論文は、以下の2つの明確に異なる部分に分かれている：

• 第1部：対称空間の幾何学的モデル
  著者らは、エルミート代数上の群に関連する対称空間に対して、4つの異なるモデルを系統的に構築し、分析している：

1. 不定対合作用素の空間： $J^2 = \text{Id}$ （または複素構造に対して $J^2 = -\text{Id}$）を満たし、双線型形式と両立する作用素 $J$ を通じて定義される。
2. 射影空間モデル： $A^2$（またはその複素・四元数拡張）における直線（ライン）の射影空間内の開領域として実現される。これらは、定義される形式に対する正定値性または等長性の条件を満たす直線である。
3. 半空間モデル： 射影モデルから導かれるアフィン・チャートであり、要素の実部および虚部に関する条件（例：$y \in A^\sigma_+$）によって定義される代数 $A$（またはその拡張）の部分集合と同一視される。
4. コンパクト前モデル： 半空間モデルのメビウス変換によって得られる有界領域であり、双曲幾何学における単位円板モデルに類似している。

各モデルについて、著者らは（複素化した）接空間を明示的に計算し、群 $G$ およびその極大コンパクト部分群 $K$ の作用を記述し、モデル間を接続する平衡微分同相写像の微分を導出している。また、これらの空間上の不変リーマン計量を定義している。解析は、実エルミート代数（$Sp_2(A, \sigma)$, $O(1,1)(A, \sigma)$, $A^\times$）およびその複素化（$Sp_2(A^C, \sigma^C)$, $O(A^C, \sigma^C)$）上の群を対象としている。

• 第2部：ヒッグス束への応用
  第1部の幾何学的モデルを活用することで、著者らは $G$-ヒッグス束のデータを再解釈している。既約表現 $\rho: \pi_1(X) \to G$ が与えられるとき、コーレットの定理により、$\rho$-平衡な調和写像 $\rho$-equivariant harmonic map が対称空間 $G/K$ へ存在することが保証される。複素化された接束のプルバックがヒッグス場を与える。著者らは、対称空間 $G/K$ の異なる幾何学的モデルを選択することにより、ヒッグス束のデータ $(E, \phi)$ の代替的な幾何学的実現を提供する。
• 成分の計数： 標準的なモース・ボット理論ではなく、極大コンパクト部分群 $K$ のトポロジーを用いることで、著者らは $Sp_2(A^C, \sigma^C)$ および $O(A^C, \sigma^C)$ の多安定ヒッグス束のモジュライ空間の連結成分の正確な個数を導出している。
• ヒッチン・射影の分解： 著者らは、これらの群に対するヒッチン・射影の分解を構成している。この分解は、中間的なアフィン幾何学的安定化（GIT）商を経由する。この写像は、エルミートまたは対称な要素の代数（具体的には、形式的に実なジョルダン代数）への二次ノルム写像によって誘導される。

主要な貢献および結果

1. 明示的な幾何学的モデル： 本論文は、対合的代数上の群の対称空間を実現するための統一的な枠組みを提供している。これは、$Sp_2$, $O(1,1)$ およびそれらの複素化における、作用素、射影、半空間、およびコンパクト前モデルの接空間と遷移写像を明示的に詳述している。
2. 位相不変量： 著者らは、アルティン・ヴェダーバーンの分解における（具体的には、四元数および複素数の因子の数に基づく）基礎となる代数 $A$ の構造を用いて、群 $Sp_2(A^C, \sigma^C)$ および $O(A^C, \sigma^C)$ の連結成分の数および基本群を確立している。
3. モジュライ空間の成分計数： 極大コンパクト部分群のトポロジーを分析することにより、モース・ボット理論を回避して、ヒッグス束のモジュライ空間の連結成分を数える新しい手法が導入されている。
4. ヒッチン・射影の分解： 本論文は、$Sp_2(A^C, \sigma^C)$-ヒッグス束（およびその実形式）に対するヒッチン・射影が、中間的なGIT商を介して分解されることを示している。この分解は、ジョルダン代数への二次ノルム写像によって制御されている。
5. 次元の効率性： 著者らは、これらのノルム写像のターゲットとなる空間（複素化されたジョルダン代数）が、元の複素化された接モデルよりも厳密に小さい次元を持つことを示している。この複雑さの軽減により、ヒッチン・ベースおよびヒッチン・射影の像をより明示的に特徴付けることが可能になる。

意義および主張
本論文は、この非可換的な視点が、抽象的な正則微分をジョルダン代数的ターゲット上の二次ノルム写像から導かれる不変量として解釈することで、ヒッチン・ベースに対する「幾何学的辞書」を提供すると主張している。著者らは、このアプローチが、全正値性の一般化に動機付けられた、閉曲面の基本群の正の表現の研究にとって特に有益であると述べている。

本研究の意義は、以下の点にある：

• 様々な古典的リー群（$Sp_{2n}(\mathbb{R})$, $O(n,n)$, $U(n,n)$, $Sp(n,n)$ など）を、対合的代数上の群という傘の下で統一すること。
• 非可換の設定において、対称空間の明示的で計算可能なモデルを提供すること。
• ジョルダン代数的なターゲットを用いた二次ノルム写像による分解を通じて、これらの群のヒッチン・ベースの記述に伴う代数的複雑さを簡略化すること。
• ヒッグス束のデータに対し、対称空間の特定の幾何学に直接結びついた、より具体的な幾何学的解釈を提供すること。

著者らは、分解および成分計数の結果が、開発された理論の文脈における $Sp_2(A^C, \sigma^C)$ および $O(A^C, \sigma^C)$ （およびその実形式）の群に特有のものであり、あらゆる非可換リー群に対する普遍的な解決策ではないことを踏まえ、その範囲について謙虚な姿勢を保っている。本研究は、非アーベル・ホッジ理論および正の表現の研究のための、さらなる応用に向けた基礎的な一歩として提示されている。