[논문 리뷰] Geometric Bernstein Asymptotics and the Drinfeld-Lafforgue-Vinberg degeneration for arbitrary reductive groups

Simon Schieder|arXiv (Cornell University)|2016. 07. 03.

Advanced Algebra and Geometry참고 문헌 28인용 수 7

한 줄 요약

이 논문은 재구성군 $G$ 의 비놀브 반군을 사용하여 곡선 위의 $G$-_bundle 모듈라이 스택 $Δ\text{Bun}_G$ 의 표준적인 다중 매개변수 분열인 Drinfeld-Lafforgue-Vinberg 분열 $Δ\text{VinBun}_G$ 를 도입한다. 국소 모델을 구성하고 가닥으로 분해가 가능하다는 것을 증명하며, 이 분열의 인접 사이클이 시각-함수 대응에 의해 버네스타인의 점근적 맵과 대응됨을 보여, 사켈라리디스의 추측을 확인하고 이전의 $\mathrm{SL}_2$ 결과를 임의의 재구성군으로 일반화한다.

ABSTRACT

We define and study the Drinfeld-Lafforgue-Vinberg compactification of the moduli stack of G-bundles Bun_G for an arbitrary reductive group G; its definition is given in terms of the Vinberg semigroup of G, and is due to Drinfeld (unpublished). Throughout the article we prefer to view the compactification as a canonical multi-parameter degeneration of Bun_G which we call the Drinfeld-Lafforgue-Vinberg degeneration VinBun_G. We construct local models for the degeneration VinBun_G which "factorize in families" and use them to study its singularities, generalizing results of the article [Sch1] which was confined with the case G = SL_2. The multi-parameter degeneration VinBun_G gives rise to, for each parabolic of G, a corresponding nearby cycles functor. Our main theorem expresses the stalks of these nearby cycles in terms of the cohomology of the parabolic Zastava spaces. From this description we deduce that the nearby cycles of VinBun_G correspond, under the sheaf-function correspondence, to Bernstein's asymptotics map on the level of functions. This had been speculated by Bezrukavnikov-Kazhdan [BK] and Chen-Yom Din [CY] and conjectured in a precise form by Sakellaridis [Sak2].

연구 동기 및 목표

• 재구성군 $G$ 에 대해 임의의 경우에 대해 $\mathrm{Bun}_G$ 의 표준적인 다중 매개변수 분열인 Drinfeld-Lafforgue-Vinberg 분열 $\mathrm{VinBun}_G$ 를 비놀브 반군을 사용하여 정의하고 연구한다.
• $\mathrm{VinBun}_G$ 의 국소 모델을 구성하고 가닥으로 분해가 가능하게 하며, 이를 통해 분열의 특이점을 분석한다.
• 각 재구성군 $G$ 의 포탄 $P$ 에 대해 인접 사이클 함자 $\Psi_P$ 가 시각-함수 대응에 의해 함수 위상에서 버네스타인의 점근적 맵과 대응됨을 증명한다.
• 이전의 $\mathrm{SL}_2$ 결과를 임의의 재구성군으로 일반화하여 기하 Langlands 프로그램의 맥락에서 버네스타인의 점근적 맵의 기하적 실현을 확립한다.

제안 방법

• 분열 $\mathrm{VinBun}_G$ 는 $G$ 의 비놀브 반군을 통해 정의되며, 이는 $\mathrm{Bun}_G$ 의 표준적 컴actsification ${\overline{\mathrm{Bun}}}_G$ 를 제공한다.
• 국소 모델은 비놀브 반군 내의 열린 열린 부분집합을 이용한 GIT 몫으로 구성되며, 포탄에 의해 분할되고 가닥 성질을 지닌다.
• 인접 사이클 $\Psi_P$ 는 이러한 국소 모델을 통해 분석되며, 이들이 포탄 Zastava 공간 위로 피복된다는 것이 밝혀진다.
• 시각-함수 대응을 적용하여 $\Psi_P$ 와 관련된 함수가 버네스타인의 점근적 맵과 일치함을 보인다.
• 양의 코웨이트에 대한 코스타ント 분할을 사용하여 $\Psi_P$ 의 스타크를 그로텐디크 군에서 계산하며, $q$-변형과 오일러 특성수를 포함한 명시적 공식을 도출한다.
• 증명은 인접 사이클의 가닥 성질과 유니포텐트 등변성 기법을 유도된 $\overline{\mathbb{Q}}_\ell$-시각의 호모토피 범주에서 활용한다.

실험 결과

연구 질문

• RQ1 어떻게 재구성군 $G$ 에 대해 임의의 경우에 대해 Drinfeld-Lafforgue-Vinberg 분열 $\mathrm{VinBun}_G$ 를 체계적으로 정의하고 연구할 수 있는가?
• RQ2 각 재구성군 $G$ 의 포탄 $P$ 와 관련된 인접 사이클 $\Psi_P$ 의 기하적 구조는 무엇인가?
• RQ3 $\Psi_P$ 의 스타크는 포탄 Zastava 공간의 코homology 와 어떻게 관련이 있는가?
• RQ4 시각-함수 대응이 $\Psi_P$ 를 버네스타인의 점근적 맵으로 보내는가, 사켈라리디스의 추측이 맞는가?
• RQ5 버네스타인의 점근적 공식은 기하 Langlands 프로그램의 맥락에서 Zastava 공간의 코homology 를 통해 기하적으로 실현될 수 있는가?

주요 결과

• 각 포탄 $P$ 에 대해 인접 사이클 $\Psi_P$ 는 해당 포탄 Zastava 공간의 코homology 와 동형임을 보였으며, 그로텐디크 군 내에서 명시적 공식이 존재한다.
• 주요 인접 사이클 $\Psi^{\mathrm{princ}}$ 와 관련된 함수는 $\sum_{{\mathcal{K}} \in \mathrm{Kostant}(\check{\theta})} (1-q)^{|R_{{\mathcal{K}}}|} q^{-|{\mathcal{K}}|} q^{\langle \rho, \check{\theta} \rangle} \mathbbold{1}_{\check{\theta}}$ 로 계산되며, 버네스타인의 점근적 맵과 정확히 일치한다.
• 가닥 성질과 유니포텐트 등변성 기법을 통해 점근적 맵의 공식이 유도되었으며, 사켈라리디스의 추측이 정확한 형태로 확인되었다.
• 국소 모델은 엄격한 $P$-영역과 브라우트 영역의 GIT 몫으로 구성되었으며, 가닥으로 분해가 가능했다.
• 상수 시각의 $*$-확장의 스타크는 동일한 Zastava 공간 코homology 를 사용하여 계산되었으며, 기하 Langlands 프로그램에 응용되었다.
• 이전의 $G = \mathrm{SL}_2$ 결과가 임의의 재구성군으로 일반화되었으며, 기하 점근적 이론을 위한 통일된 프레임워크를 확립하였다.