Matsuki duality for loop groups

技術的サマリー：ループ群に対する松木双対性

問題提起
本論文は、古典的な松木双対性をループ群の文脈へ拡張することを扱っている。古典的には、複素連結半単純群 $G$ とその実形式 $G_{\mathbb{R}}$ および対称部分群 $K$ に対して、松木双対性は旗多様体 $B$ 上の $K$-軌道と $G_{\mathbb{R}}$-軌道の間の全単射を確立する。著者らは、ループ群に対して同様の全単射を確立しようとする。具体的には、対称部分群のループ群 $K((t))$ と実形式の多項式ループ群 $L G_{\mathbb{R}}$ の、アフィン・グラスマン多様体 ($Gr$) およびアフィン旗多様体 ($F\ell$) 上の軌道間の関係を扱う。

この設定における中心的な課題は、「ひねられた」対合の存在である。著者らはループ群 $G(F)$（ここで $F = \mathbb{C}((t))$）上の 2 つの対合を考える：

1. $\theta$: ひねられた対合で、$\theta(\gamma)(t) = \theta_0(\gamma(\epsilon t))$ と定義される。ここで $\theta_0$ は複素カルタン対合であり、$\epsilon \in \{1, -1\}$ である。
2. $\eta$: 多項式ループ群 $G[t, t^{-1}]$ 上のひねられた対合で、$\eta(\gamma)(t) = \eta_0(\gamma(\epsilon \bar{t}^{-1}))$ と定義される。ここで $\eta_0$ は実形式 $G_{\mathbb{R}}$ を定義する共役である。

目標は、$\theta$-ひねられた共役作用の下での反固定点集合 $G(F)^{\text{inv} \circ \theta}$ 上の $G(O)$（形式弧群）および $I$（イワホリ部分群）の軌道を分類し、これらを $\eta$-ひねられた共役作用の下での $G[t, t^{-1}]^{\text{inv} \circ \eta}$ 上の $G[t]$ および $I_p$（多項式イワホリ）の軌道と関連付けることである。

手法
アプローチは完全に組合せ論的であり、アフィン・グラスマン多様体に関するナドラーの仕事と、軌道閉包の特異点に関する著者らの先行研究に着想を得ている。手法は以下の手順で進行する：

1. カルタン分解とパラメータ化: 著者らはカルタン分解を用いて、反固定点集合を支配的コウェイト $\lambda \in X^*(T)^+$ でインデックス付けされた二重剰余類に層化（ストラタ）する。
2. 軌道の分類: 各層について、軌道の分類をレヴィ部分群 $L_\lambda$ 内の特定の部分空間 ($A_{\lambda,0}$ および $B_{\lambda,0}$) の研究に帰着させる。彼らは、これらの軌道がこれらの部分空間の連結成分と全単射であることを証明し、これらはさらにコンパクト実形式 ($L_{\lambda, c}$ または $T_c$) による軌道に帰着される。
3. 交差解析: 重要な技術的要素は、$\theta$-ひねられた軌道と $\eta$-ひねられた軌道の間の交差の解析である。著者らは、対応する軌道の交差が、コンパクト群 $G_c$（球面軌道の場合）または $T_c$（イワホリ軌道の場合）の単一の軌道であることを示す。
4. 均質化とツイスター幾何: 本論文は、これらの軌道分類を射影直線 $\mathbb{P}^1$ の実形式上のベクトル束の幾何と結びつける。$\mathbb{P}^1$ 上の共役 $\eta$ を考慮することで、著者らは軌道の集合を、実形式 $\mathbb{P}^1_\eta$ 上の $G_{\mathbb{R}}$-束の同型類（$\epsilon$ に応じて実射影直線または「ツイスター-$\mathbb{P}^1$」のいずれか）と同一視する。
5. コトウィッツ集合: 結果はコトウィッツ集合 $B(G_{\mathbb{R}})$ と結びつけられ、これら集合のループ群軌道による幾何的解釈が提供される。

主要な貢献と結果

• 主要定理（ループ群に対する松木双対性）: 本論文は以下の間の全単射を確立する：

  • $G(F)^{\text{inv} \circ \theta}$ 上の $G(O)$-軌道と $G[t, t^{-1}]^{\text{inv} \circ \eta}$ 上の $G[t]$-軌道。
  • $G(F)^{\text{inv} \circ \theta}$ 上の $I$-軌道と $G[t, t^{-1}]^{\text{inv} \circ \eta}$ 上の $I_p$-軌道。
    この対応は、対応する軌道の交差がコンパクト群 $G_c$（または $T_c$）の単一の軌道であるという性質によって特徴づけられる。さらに、対応する軌道上の等変局所系の間にも全単射が存在する。

• アフィン・グラスマン多様体と旗多様体: 基底点を通る軌道に制限することで、著者らはアフィン・グラスマン多様体 ($Gr$) およびアフィン旗多様体 ($F\ell$) に対する松木双対性を導出する。これは、ひねられていない場合 ($\epsilon = 1$) におけるナドラーの結果をひねられた場合 ($\epsilon = -1$) に一般化するとともに、$\epsilon = 1$ の場合でさえ以前には扱われていなかったアフィン旗多様体への双対性を拡張する。

• ベクトル束とツイスター幾何: 著者らは、軌道集合を以下と同一視する均質化定理を提供する：

  • 実形式 $\mathbb{P}^1_\eta$ 上の $G_{\mathbb{R}}$-束の同型類。
  • 特定の点におけるボーレル還元を備えたそのような束の同型類。
    これは、組合せ論的軌道データを「円形的」または「対極的」な実ツイスター構造（シンプソンの意味における）の幾何と結びつける。

• コトウィッツ集合: 本論文は、$G[t]$-軌道の集合をコトウィッツ集合 $B(G_{\mathbb{R}})$ と同一視し、ループ群軌道を通じてこれらの集合に対する新たな幾何的視点を提供する。

• 例: 理論は、$GL_2$ の実形式、すなわち $GL_2(\mathbb{R})$、$GL_1(\mathbb{H})$、$U(2)$、および $U(1, 1)$ に対して明示的に展開される。これらの例は、軌道のパラメータ化と対応するベクトル束の構造を説明し、パラメータ化集合が空または非自明である場合を含む。

意義と主張
著者らは、この仕事が実ループ群の幾何を理解するための基礎的な組合せ論的枠組みを提供すると主張する。その意義は以下の点にある：

1. 統合: 純粋な内側類に属するすべての実形式を同時に扱う。
2. 新たな幾何的接続: ループ群軌道の交差とツイスター空間上のベクトル束の間の直接的なリンクを確立し、表現論と代数幾何を架橋する。
3. 導来同値の基盤: 本論文は、これらの結果が、等変導来圏の双対性をアップグレードするためにモース理論的解釈を用いる今後の研究 ([CNY]) の前駆となることを指摘している。これは、実群に対する幾何的ラングランズと相対的ラングランズ双対性を関連付けるための重要な要素として提示されている。

本論文は、実群に対する完全な幾何的ラングランズ予想の解決を主張するものではないが、導来同値を支える軌道構造を明確にすることにより、そのようなプログラムに向けた必要なステップとしてその組合せ論的結果を位置づけている。