[논문 리뷰] Extending torsors on the punctured Spec(A_inf)

Johannes Anschütz|arXiv (Cornell University)|2018. 04. 17.

Algebraic structures and combinatorial models참고 문헌 27인용 수 5

한 줄 요약

이 논문은 Fontaine의 링 $A_{\mathrm{inf}}$ 의 빈도 없는 스펙트럼 위에서의 파라호릭 군 스킴에 대한 토르서가 전체 스펙트럼으로 확장된다는 것을 증명한다. 이는 혼합 및 동차 특성 설정에서의 이전 결과를 일반화한다. 내림내림과 Mal'cev-Neumann 급수를 이용한 새로운 '분해해제(decompletion)' 기법을 통해, 특정 빈도 없는 스펙트럼 위에서 $G$-토르서의 자명성을 확립함으로써, $B^{+}_{\mathrm{dR}}$-아핀 그라스만يان에서 유희드 벡터 아핀 플래그 다양체로의 정규화 지도를 구성하는 데 응용된다.

ABSTRACT

We prove that torsors under parahoric group schemes on the punctured spectrum of Fontaine's ring $A_{\mathrm{inf}}$, extend to the whole spectrum. Using descent we can extend a similar result for the ring $\mathfrak{S}$ of Kisin and Pappas to full generality. Moreover, we treat similarly the case of equal characteristic. As applications we extend results of Ivanov on exactness of the loop functor and present the construction of a canonical specialization map from the $B^+_{\mathrm{dR}}$-affine Grassmannian to the Witt vector affine flag variety.

연구 동기 및 목표

• 파라호릭 군 스킴 $\mathcal{G}$ 가 $\mathcal{O}_E$ 위에서 정의된 $A_{\mathrm{inf}}$ 의 빈도 없는 스펙트럼에서의 $\mathcal{G}$-토르서가 전체 스펙트럼으로 확장됨을 증명하는 것.
• 혼합 및 동차 특성 설정에서의 토르서 확장 결과를 일반화하는 것, 특히 $R_E = \mathcal{O}_E[[z]]$ 와 같은 링에 대해.
• 토르서 확장을 통해 $B^{+}_{\mathrm{dR}}$-아핀 그라스만يان에서 유희드 벡터 아핀 플래그 다양체로의 정규화 지도를 구성하는 것.
• 혼합 특성에서의 셰이머 바이어티 및 국소 슈투카의 모듈리 공간의 정수 모델을 위한 기초 도구를 제공하는 것.

제안 방법

• 내림내림과 파라호릭 성질을 통해, $V = \mathrm{Spec}(A_{\mathrm{inf}}[1/\pi])$ 위에서 $G$-토르서의 자명성을 증명함으로써 문제를 축소하는 것.
• 실수 지수를 가진 Mal'cev-Neumann 급수를 이용한 새로운 '분해해제(decompletion)' 링 $\tilde{A}_{\mathrm{inf}}$ 의 도입으로, 결정 부분을 랭크-1 가치 링으로 단순화하는 것.
• Gabber의 정리(아핀 스킴 위에서의 브라우어 군에 대한 정리)를 적용하여 토리의 자명성을 증명하고, 이를 통해 준단순형, 단순 연결형, 반단순형 군으로 문제를 축소하는 것.
• Steinberg의 정리와 특정 체의 코homological 차원 1 성질을 활용하여 문제를 $\tilde{A}_{\mathrm{inf}}[1/\pi]$ 의 일반점에서의 자명성 확인으로 축소하는 것.
• $\tilde{A}_{\mathrm{inf}}$ 가 $\pi$ 에서 헨젤성임을 이용하여, $V$ 에서의 토르서를 $\tilde{V}$ 로 올리는 것으로, 결정 부분의 기하학을 단순화하는 것.
• 기저 변경 $A_{\mathrm{inf}} \to W(k)$ 를 통한 기본 사슬을 통해, $B^{+}_{\mathrm{dR}}$-토르서를 확장 결과를 통해 $W(k)$-토르서로 식별함으로써 전환 지도를 구성하는 것.

실험 결과

연구 질문

• RQ1 모든 파라호릭 군 스킴 $\mathcal{G}$ 에 대해 $A_{\mathrm{inf}}$ 의 빈도 없는 스펙트럼 위에서의 $\mathcal{G}$-토르서가 전체 스펙트럼으로 확장될 수 있는가?
• RQ2 $R_E = \mathcal{O}_E[[z]]$ 에서의 확장 결과는, $G$ 가 약한 분할 확장에서 분할되는 경우를 초월해 일반적으로 성립하는가?
• RQ3 토르서 확장을 통해 $B^{+}_{\mathrm{dR}}$-아핀 그라스만얀에서 유희드 벡터 아핀 플래그 다양체로의 정규화 지도를 구성할 수 있는가?
• RQ4 $V = \mathrm{Spec}(A_{\mathrm{inf}}[1/\pi])$ 위에서 $G$-토르서의 자명성은 아핀 그라스만얀의 구조와 갈로와 코homology 간에 어떤 관계를 가진다?

주요 결과

• 모든 $\mathcal{G}$-토르서가 $A_{\mathrm{inf}}$ 의 빈도 없는 스펙트럼에서 전체 스펙트럼으로 확장되며, 이는 정리 9.10에 의해 증명된다.
• 확장 결과는 $G$-토르서가 $\mathrm{Spec}(R_E)\setminus\{s\}$ 에서 $\mathrm{Spec}(R_E)$ 로 확장됨을 의미하며, 이는 [27] 및 [22] 에서의 이전 결과를 일반화한다.
• 기저 변경을 통한 토르서 확장을 통해 $\mathrm{sp}: G(B_{\mathrm{dR}}(C))/G(B_{\mathrm{dR}}^{+}(C)) \to G(W(k)[1/p]) / \mathcal{G}(W(k))$ 의 정규화 지도가 구성된다.
• 토리의 경우, 이 지도는 자연스러운 사영 $X_*(T) \to X_*(T)_\Gamma$ 와 일치함을 확인하여, 아핀 그라스만얀의 기존 기술과의 호환성을 확인한다.
• 이 증명은 Mal'cev-Neumann 급수를 이용한 새로운 '분해해제(decompletion)' 기법에 의존하며, 이는 결정 부분을 랭크-1 가치 링으로 단순화하여 코homological 추론을 가능하게 한다.
• 이 결과는 파라호릭 수준 구조를 가진 셰이머 바이어티의 정수 모델을 구성하는 데 핵심적인 기술적 도구를 제공하며, 혼합 특성에서 국소 슈투카의 모듈리 공간을 연구하는 데에도 기여한다.