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

기술적 요약: $T^*(G/K)$의 상대적 랭글랜즈 쌍대 실현 및 유도된 사타케(Derived Satake)

문제 정의
본 논문은 랭글랜즈 쌍대 군 $\check{G}$에 대한 구형 다양체(spherical variety) $\check{X}$와 연관된 "상대적 쌍대"(또는 심플렉틱 쌍대) 다양체 $M_{\check{G}, \check{X}}$를 식별하는 문제를 다룬다. 분할된 군(split groups) 및 특정 사례(예: $\check{X} = \check{G}$)에서 유도된 사타케 범주 내의 환 대상(ring objects)을 통한 이러한 쌍대 다양체의 구성은 잘 확립되어 있으나, 본 논문은 그 역문제, 즉 표현론에서 관심 대상인 아핀 해밀토니안 $G$-다양체 $M$, 구체적으로 준분할 대칭 공간(quasi-split symmetric space) $X = G/K$의 공접접 번들 $T^*(G/K)$가 주어졌을 때, $M \cong M_{\check{G}, \check{X}}$를 만족하는 대응하는 구형 다양체 $\check{X}$를 쌍대 군 $\check{G}$에 대해 식별할 수 있는지를 조사한다.

저자들은 $G$가 반드시 분할되지 않은 준분할 대칭 공간인 경우에 집중한다. 이러한 경우, 쌍대 대칭 공간에 대한 단순한 후보(쌍대 군을 쌍대 대칭 부분군으로 나눈 몫)는 올바른 기하학적 구조를 생성하지 못한다. 본 논문은 이러한 문제를 해결하기 위해 "루프 대칭 공간(loop symmetric spaces)"을 도입하고, 이들이 준분할 설정에서도 알려진 결과를 일반화하는 유도된 범주적 동치(derived categorical equivalence, Derived Satake)를 확립함으로써 이를 해결하고자 한다.

방법론
방법론은 기하적 표현론, 루프 군(loop groups) 이론, 그리고 정규 중심자 군 스킴(regular centralizer group schemes)의 연구를 결로한다.

1. 기하적 설정 및 코스탄트-랄리스(Kostant-Rallis) 이론:
   저자들은 대칭 공간을 위한 코스탄트-랄리스 이론을 활용한다. 이들은 $T^*(G/K)$를 정규 중심자 군 스킴 $J_G$ 및 $J_H$($H$는 관련 분할 대칭 부분군)와 연결한다. 구체적으로, $G, H$ 및 중심자 군 스킴 사이의 노름 맵(norm map)을 포함하는 특정 몫의 불변량 환과 $T^*(G/K)$의 좌표 환 사이에 동형 관계가 있음을 확립한다.

2. 비틀린 루프 군(Twisted Loop Groups) 및 아핀 그라سم만니안(Affine Grassmannians):
   핵심적인 기술적 혁신은 핀된 침입(pinned involution) $\check{\theta}_0$를 가진 쌍대 군 $\check{G}$에 의해 정의되는, $\check{\theta}(\gamma)(t) = \check{\theta}_0(\gamma(-t))$를 따르는 "비틀린" 침입 $\check{\theta}$를 도입하는 것이다. 이는 비틀린 루프 군 $\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}}$-공변 층(equivariant sheaves)의 유도 범주가 분할 대칭 부분군의 이동된 공접접 번들(shifted cotangent bundle, 구체적으로 $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) 및 정식성(Formality):
   중요한 단계는 비틀린 유도 사타케 범주 내의 $!$-순수 대상( $!$-pure objects)에 대한 정식성 및 완전 충실성(fully-faithfulness) 성질을 증명하는 것이다. 이를 통해 저자들은 이 환 대상의 코호몰로지를 명시적으로 계산하여, 이를 $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$는 헤케 작용(Hecke action) 하의 기저 궤도에 대한 쌍대화 층(dualizing sheaf)에 의해 생성되는 부분 범주를 나타낸다. 이는 유도된 사타케 동치를 환형 대칭 공간으로 일반화한다.

• 정리 1.3 (비틀린 유도 사타케 및 순수성):

  1. 비틀린 아핀 그라سم만니안에 대한 모노이달 동치(monoidal equivalence)가 증명된다: $D^b_{\check{G}(O)^{\check{\theta}}}(\text{Gr}^{\check{\theta}}) \cong \text{Perf}_{H \times H}(T^*H[2])$.
  2. $!$-순수 대상에 대한 완전 충실성 결과가 확립되어, 비틀린 그라سم만니안의 표준 아핀 그라سم만니안으로의 임베딩을 포함하는 텐서 곱의 코호몰로지에 대한 공식을 제공한다.

• 베즈루카브니코프 동치 (정리 1.4): 최근의 타미하게 분기된(tamely ramified) 동치 연구와 유도 사타케 동치를 결합함으로써, 저자들은 모먼트 맵(moment map)을 따른 그로텐디크-스프링거 해상(Grothendieck-Springer resolution)의 기저 변화에 대한 공변 완벽 복합체의 구성적 실현을 도출한다:
  $$D^b_{\check{I}}(\check{X}^{\check{\theta}}(F))_e \cong \text{Perf}_G((T^*(G/K) \times_{\mathfrak{g}^*} \tilde{\mathfrak{g}})[2])$$
  이는 준분할 대칭 공간에 대한 베즈루카브니코프 동치의 한 버전 역할을 한다.

• 확장 및 변형: 저자들은 삼중성(triality, $\text{Spin}_8$의 경우), 특수 파라호릭 부분군(special parahoric subgroups, $SU_{2n+1}$와 관련된), 그리고 부서 $F_n = \mathbb{C}((t^n))$를 포함하는 경우를 포함하여 결과의 변형들을 논의한다. 이러한 경우들은 기존 문헌(예: Zhu의 연구)에서 고려된 모든 비틀린 아핀 그라سم만니안을 포괄한다.

의의 및 주장
본 논문은 준분할 대칭 공간의 공접접 번들이 상대적 쌍대 다양체로 등장하는가라는 질문에 대해 "긍정적인 답변"을 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 랭글랜즈 쌍대의 일반화: 이전에 분할된 군이나 특정 구형 다양체로 제한되었던 상대적 랭글랜즈 쌍대 프레임워크를 비분할(준분할) 대칭 공간의 영역으로 확장한다.
2. 범주적 실현: 루프 대칭 공간의 층(sheaves)을 통해 $T^*(G/K)$ 상의 완벽 복합체 범주의 "구성적 실현"을 제공하며, 이는 이 공간들의 플랑슈렐 공식(Plancherel formula)을 범주화한 것이다.
3. 기하적 랭글랜즈와의 연결: 저자들은 이 결과가 트위스터 $\mathbb{P}^1$ 상의 실수 번들 모듈러스 스택 상의 구성적 복합체 범주와 루프 대칭 공간의 유도 범주 사이의 관계를 상정하는 "비틀린 상대적 랭글랜즈 쌍대" 추측에 대한 증거를 제공한다고 언급한다.
4. 기술적 토대: 이 작업은 근접 순환 펑터(nearby cycles functors)의 연구와 $!$-순수 대상의 정식성에 의존하는, 비틀린 아핀 그라سم만니안에 대한 유도 사타케 동치를 확립하며, 이는 독립적인 관심사이다.

저자들은 $G$가 아드조인트(adjoint)이고 $X$가 준분할(quasi-split)인 경우에 이 결과들이 의존함을 명시한다. 또한, 유도 사타케 동치는 확립하였으나, $(\mathfrak{g}, K)$-모듈과 관련된 양자 대응(quantum counterpart)은 향후 연구 과제로 남겨두었다고 밝힌다. 본 논문은 이 공간들에 대한 전체 기하적 랭글랜즈 프로그램을 해결한다고 주장하는 것이 아니라, 상대적 쌍대의 관점을 통해 루프 군의 표현론과 대칭 공간의 기하학 사이의 결정적인 가교를 구축하는 것을 목표로 한다.