[논문 리뷰] Twisted geometric Satake equivalence: reductive case

Sergey Lysenko|arXiv (Cornell University)|2014. 11. 25.

Finite Group Theory Research참고 문헌 1인용 수 5

한 줄 요약

이 논문은 대수적으로 닫힌 체 위의 분할 재구성 군에 대해 기하학적 사타케 동치의 비틀린 형태를 수립하며, 이는 이전 결과에서 거의 단순 군에서 재구성 군으로의 확장을 포함한다. 이는 $K_2$와 $
\mathbb{G}_m$에 의한 중심 확장과 함께 메타플레틱 자료를 포함하여, 애매한 이중 군의 표현과 $G(\mathcal{O})$-불변 펄스브 sheaf의 대칭 모나이드 동치를 구축한다. 주요 입력은 곡선 위의 대칭 이차형식과 사타케 자료이다.

ABSTRACT

In this paper we extend the twisted Satake equivalence established in arXiv:0809.3738 for almost simple groups to the case of split reductive groups.

연구 동기 및 목표

• 대수적으로 닫힌 체 위의 거의 단순 군에서 분할 재구성 군으로의 비틀린 사타케 동치를 확장하기.
• 이전 물리적 접근에서의 오류를 수정하면서 메타플레틱 기하학적 롱글랜드 이론에 대해 수학적으로 엄밀한 프레임워크를 제공하기.
• $\theta$-자료와 중심 확장을 사용하여, 주어진 $\mathbb{G}_m$-단조성과 함께 $G(\mathcal{O})$-불변 펄스브 sheaf의 대칭 모나이드 범주를 구축하기.
• $K_2$-중심 확장과 $\mathbb{G}_m$-gerbe를 통해 메타플레틱 구조를 포함하는 기하학적 사타케 동치를 수립하기.
• 군 $G$의 웨일 군과 이중 군 $\check{G}_\zeta$의 웨일 군이 $\mathrm{Aut}(\Lambda^\sharp)$의 부분군으로서 일치함을 증명하기.

제안 방법

• 메타플레틱 구조를 모델링하기 위해 재구성 군에 대한 $K_2$-중심 확장 이론인 브릴린스키-델라인 이론을 활용한다.
• 매끄럽고 사영적인 곡선 $X$ 위에서 대칭 이차형식 $\kappa: \Lambda \otimes \Lambda \to \mathbb{Z}$와 슈퍼 확장 $\tilde{\Lambda}^s$를 이용하여 $\theta$-자료를 구성하며, 캐논칼 번들의 제곱근 $\Omega^{1/2}$를 사용한다.
• 편향된 이sov미즘 $^\prime c^{\gamma_1,\gamma_2}$를 가진 선다발 $\lambda^\gamma = (\Omega^{1/2})^{\otimes -\kappa(\gamma,\gamma)} \otimes \epsilon^\gamma$를 정의하고, 이는 $\mathcal{P}^\theta(X,\Lambda)$의 대상이 된다.
• 리만 하위군 $M$에 대한 아핀 그라스만이 $\mathrm{Gr}_G$와 $\mathrm{Gr}_M$의 이론을 적용하고, 자연스러운 사상 $f_0: \mathrm{Gr}_{M_0} \to \mathrm{Gr}_G$를 사용하여 선다발과 단조성을 연결한다.
• $\mathrm{Gr}_M$ 내의 $T$-안정 부분 스킴 $Y \cong \mathbb{P}^1$을 분석하여, $\mathcal{L}_{M_0}$의 절단의 소멸 차수를 통해 국소 시스템의 단조성을 계산한다.
• 조건 $\zeta^{(a+b)c_j\kappa_j(\alpha_i,\alpha_i)/2}$가 자명함이 되는 것은 $b\bar{\kappa}(\alpha_i,\alpha_i) \in 2N\mathbb{Z}$일 때이므로, 이를 통해 최소 $b = \delta_i$를 정의하고, 이에 따라 $m_i = \delta_i$를 정의한다.

실험 결과

연구 질문

• RQ1 비틀린 기하학적 사타케 동치는 어떻게 대수적으로 닫힌 체 위의 거의 단순 군에서 분할 재구성 군으로 확장될 수 있는가?
• RQ2 $\mathbb{G}_m$-단조성이 $\zeta$인 $G(\mathcal{O})$-불변 펄스브 sheaf의 범주에 대한 정확한 기하학적 및 범주론적 구조는 무엇인가?
• RQ3 $K_2$-중심 확장이 어떻게 $\theta$-자료와 기하학적 사타케 범주의 대칭 모나이드 구조를 유도하는가?
• RQ4 메타플레틱 설정에서 군 $G$의 웨일 군과 이중 군 $\check{G}_\zeta$의 웨일 군 사이의 관계는 무엇인가?
• RQ5 선다발 제한과 소멸 차수를 통해 아핀 그라스만이 스트라타의 국소 시스템의 단조성은 어떻게 계산되는가?

주요 결과

• 논문은 $\mathbb{E}/G(\mathcal{O})$ 위의 $G(\mathcal{O})$-불변 $\bar{\mathbb{Q}}_\ell$-펄스브 sheaf의 범주와 $\mathbb{G}_m$-단조성 $\zeta$를 갖는 $\check{G}_\zeta$의 표현의 범주 사이에 대칭 모나이드 동치를 수립한다.
• 군 $G$의 웨일 군과 $\check{G}_\zeta$의 웨일 군은 $\mathrm{Aut}(\Lambda^\sharp)$의 부분군으로서 동형이며, 이는 롱글랜드 대칭과의 호환성을 보장한다.
• $b\bar{\kappa}(\alpha_i,\alpha_i) \in 2N\mathbb{Z}$를 만족하는 최소 $b$는 $\delta_i$이며, 이는 $m_i = \delta_i$를 정의하고, 이는 단조성 조건을 지배한다.
• $\mathrm{Gr}_{M_0}$에 제한된 선다발 $f_0^*\mathcal{L}_j$는 $\mathcal{L}_{M_0}^{\kappa_j(\alpha_i,\alpha_i)/2}$와 동형이며, 이는 $M_0$의 기하학적 구조와 $\mathcal{L}_j$의 전반적 구조를 연결한다.
• $\mathrm{Gr}_M$ 내의 $T$-안정 부분 스킴 $Y \subset \mathrm{Gr}_M$은 $\mathbb{P}^1$과 동형이며, 고정점은 $t^\nu M(\mathcal{O})$와 $t^{-\lambda}M(\mathcal{O})$에 있다. $\mathcal{L}_{M_0}$의 $Y$에 제한된 것은 $\mathcal{O}_{\mathbb{P}^1}(a+b)$이다.
• $\Omega_{\bar{c}}^{\kappa_j(\nu,\nu)/2}$에 대한 영이 아닌 원소에 대응하는 $\mathcal{L}_{M_0}^{\kappa_j(\alpha_i,\alpha_i)/2}$의 절단은 $t^{-\lambda}M(\mathcal{O})$에서 차수 $(a+b)\kappa_j(\alpha_i,\alpha_i)/2$로 소멸하며, 이는 단조성을 결정한다.