A relative Langlands dual realization of $T^*(G/K)$ and derived Satake

技術要約：$T^*(G/K)$ の相対的ラングランズ双対実現と派生サタケ（Derived Satake）

問題提起
本論文は、双対群 $\check{G}$ に対する球状多様体 $\check{X}$ に関連付けられた「相対的双対」（またはシンプレクティック双対）多様体 $M_{\check{G}, \check{X}}$ を特定するという問題に取り組んでいる。分裂型（split）の群や特定のケース（例：$\check{X} = \check{G}$）においては、派生サタケ圏における環オブジェクトを通じてこのような双対多様体を構成する手法は確立されているが、本論文ではその逆の問題、すなわち、表現論において関心の対象となるアフィン・ハミルトン $G$-多様体 $M$（具体的には準分裂対称空間 $X = G/K$ の余接束 $T^*(G/K)$）が与えられたとき、それに対応する双対群 $\check{G}$ の球状多様体 $\check{X}$ を特定できるか？という問題を調査している。

著者らは、$G$ が必ずしも分裂型ではない準分裂対称空間であるケースに焦点を当てている。このような場合、双対対称空間の素朴な候補（双対群を双対対称部分群で割ったもの）は、正しい幾何学を生み出すことに失敗する。本論文は、「ループ対称空間」を導入し、既知の結果をこれらの準分裂の設定へと一般化する派生圏的同値（Derived Satake）を確立することによって、この問題を解決しようとしている。

手法
その手法は、幾何学的表現論、ループ群の理論、および正則中心化群スキームの研究を組み合わせたものである。

1. 幾何学的セットアップとKostant-Rallis理論:
   著者らは、対称空間のためのKostant-Rallis理論を利用する。彼らは $T^*(G/K)$ の余接束を、正則中心化群スキーム $J_G$ および $J_H$（ここで $H$ は関連する分裂対称部分群である）に関連付ける。具体的には、$T^*(G/K)$ の座標環と、$G, H$, および中心化群スキーム間のノルム写像を含む特定の商の不変環との間の同型を確立する。

2. ねじれループ群とアフィン・グラスマン多様体:
   核心となる技術的革新は、双対群のピン留めされた（pinned）対合 $\check{\theta}_0$ によって定義される、ループ群 $\check{G}(F)$ 上の「ねじれた」対合 $\check{\theta}$（$\check{\theta}(\gamma)(t) = \check{\theta}_0(\gamma(-t))$）の導入である。これにより、ねじれループ群 $\check{G}(F)^{\check{\theta}}$ と ねじれアフィン・グラスマン多様体 $\text{Gr}^{\check{\theta}} = \check{G}(F)^{\check{\theta}} / \check{G}(O)^{\check{\theta}}$ が定義される。

3. ねじれグラスマン多様体に対する派生サタケ同値:
   著者らは、これらのねじれアフィン・グラスマン多様体に対する派生サタケ同値を証明する。彼らは、$\check{G}(O)^{\check{\theta}}$-等変な $\text{Gr}^{\check{\theta}}$ 上の層の派生圏が、分裂対称部分群 $H$ のシフトされた余接束（具体的には $T^*H[2]$）上の完全複体（perfect complexes）の圏と等価であることを示す。これは、Zhuらによる研究を派生的な設定へと拡張するものである。

4. 環オブジェクトと相対的双対:
   BZSV（Ben-Zvi, Nadler, Sakellaridis）およびBFN（Braverman, Finkelberg, Nakajima）の枠組みを用い、ループ対称空間 $\check{X}^{\check{\theta}}(F) = \check{G}(F) / \check{G}(F)^{\check{\theta}}$ に関連する派生サタケ圏における環オブジェクト $A_{\check{G}, \check{\theta}}$ を構成する。そして、この環オブジェクトの座標環を通じて、相対的双対多様体 $M_{\check{G}, \check{\theta}}$ を定義する。

5. 純粋性と定式性（Purity and Formality）:
   ねじれ派生サタケ圏における $!$-純粋なオブジェクトに関する定式性と完全忠実性の性質を証明することが極めて重要なステップとなる。これにより、著者らはこれらの環オブジェクトのコホモロジーを明示的に計算し、それを $T^*(G/K)$ の幾何学へと結びつけることが可能となる。

主要な貢献と結果

• 定理 1.1 (幾何学的同型): 著者らは、以下の自然な $G$-等変な環の同型を確立する：
  $$C[M_{\check{G}, \check{\theta}}] \cong C[T^*(G/K)]$$
  これは、ループ対称空間 $\check{X}^{\check{\theta}}(F)$ の相対的双対が、準分裂対称空間 $G/K$ の余接束と一致することを特定している。これは、非分裂型群に対する相対的ラングランズ双対性の具体的な一族の例を提供する。

• 定理 1.2 (ループ対称空間の派生サタケ): 著者らは、ループ対称空間の派生サタケ圏と、シフトされた余接束上の等変な完全複体の圏との間の標準的な同値性を確立する：
  $$D^b_{\check{G}(O)}(\check{X}^{\check{\theta}}(F))_e \cong \text{Perf}_G(T^*(G/K)[2])$$
  ここで、添字 $e$ は、ハイエケ作用の下での基底軌道の双対化層によって生成される部分圏を表す。これは、派生サタケ同値を、簡約型群から準分裂対称空間へと一般化するものである。

• 定理 1.3 (ねじれ派生サタケと純粋性):

  1. ねじれアフィン・グラスマン多様体に関するモノイダル同値が証明される：$D^b_{\check{G}(O)^{\check{\theta}}}(\text{Gr}^{\check{\theta}}) \cong \text{Perf}_{H \times H}(T^*H[2])$。
  2. $!$-純粋なオブジェクトに対する完全忠実性の結果が確立され、ねじれグラスマン多様体の標準的なアフィン・グラスマン多様体への埋め込みを含むテンソル積のコホモロジーに関する公式が提供される。

• Bezrukavnikov 同値 (定理 1.4): 派生サタケ同値と、緩やかに分岐する（tamely ramified）同値に関する最近の研究を組み合わせることで、著者らは、モーメント写像に沿ったグロタンディーク・シュプリンゲル分解の基底変更上の、等変な完全複体の構成的な実現を導き出す：
  $$D^b_{\check{I}}(\check{X}^{\check{\theta}}(F))_e \cong \text{Perf}_G((T^*(G/K) \times_{\mathfrak{g}^*} \tilde{\mathfrak{g}})[2])$$
  これは、準分裂対称空間のための Bezrukavnikov 同値の一種として機能する。

• 拡張と変種: 論文では、三致（triality）（$\text{Spin}_8$ の場合）、特殊パラホリック部分群（$SU_{2n+1}$ に関連）、および部分体 $F_n = \mathbb{C}((t^n))$ を含む変種についても議論している。これらのケースは、先行研究（Zhu の研究など）で検討されたすべてのねじれアフィン・グラスマン多様体を網羅している。

意義と主張
本論文は、「余接束が相対的双対多様体として現れるか？」という問いに対し、「肯定的な回答」を提供していると主張している。その意義は以下の点にある：

1. ラングランズ双対性の一般化: 分裂型群や特定の球状多様体に主に限定されていた相対的ラングランズ双対性の枠組みを、非分裂（準分裂）対称空間の領域へと拡張したこと。
2. 圏的実現: $T^*(G/K)$ 上の完全複体の圏を、ループ対称空間上の層を用いて「構成的に実現」すること。これは、これらの空間のプランシュレル公式の圏化（categorification）にあたる。
3. 幾何学的ラングランズへの接続: 著者らは、これらの結果が「ねじれ相対的ラングランズ双対性」予想（ループ対称空間の派生圏と、ツイスター $\mathbb{P}^1$ 上の実束のモジュライスタック上の構成的複体の圏との関係を提唱するもの）の証拠を提供していると述べている。
4. 技術的基礎: 本研究は、ねじれアフィン・グラスマン多様体に対する派生サタケ同値を確立しており、これは近傍サイクル関数の研究や $!$-純粋なオブジェクトの定式性に依存する、独立した関心を持つ結果である。

著者らは、結果が $G$ が余剰（adjoint）であり、$X$ が準分裂であることを前提としていることを明示している。また、派生サタケ同値は確立しているものの、量子的な対応物（$(\mathfrak{g}, K)$-加群に関連するもの）については、今後の研究課題として残されていると述べている。本論文は、これらの空間のための完全な幾何学的ラングランズ・プログラムを解いたと主張しているのではなく、相対的双対というレンズを通して、対称空間の幾何学とループ群の表現論の間に決定的な架け橋を築いたものである。