[논문 리뷰] Foliations and the cohomology of moduli spaces of bounded global $G$-shtukas

Stephan Neupert|arXiv (Cornell University)|2016. 10. 19.

Algebraic Geometry and Number Theory참고 문헌 41인용 수 9

한 줄 요약

이 논문은 유계 전역 G-shtuka의 모듈리 공간의 특수 섹션에서 노이만 스트라타를 라파포르트-진 공간과 이구사 다양체의 곱으로 분해함을 확립한다. 이는 대수적 및 아디크 설정 모두에서 성립한다. Id(bνi)-자uncated isomorphism을 통해 이구사 다양체를 구성하고, 균일화 사상(uniformization morphism)을 사용함으로써, 전역 G-shtuka의 ℓ-진 코homology와 국소 및 이구사 성분의 코homology를 연결함으로써, 코homological comparison theorems를 통한 랑글랜드 대응의 실현을 위한 프레임워크를 제공한다.

ABSTRACT

For arbitrary reductive groups $G$ defined over a finite field, we decompose Newton strata in the special fiber of moduli spaces of global $G$-shtukas into a product of Rapoport-Zink spaces and Igusa varieties. This allows us to compare the $\ell$-adic cohomology of these spaces together with the various actions on them.

연구 동기 및 목표

• 유계 전역 G-shtuka 모듈리 공간의 특수 섹션에서의 노이만 스트라타를 라파포르트-진 공간과 이구사 다양체의 곱으로 분해하는 것.
• 기본 케이스의 곱 분해에 의존하지 않고, Id(bνi)-자르기된 isomorphism을 사용하여 이구사 다양체를 구성하는 것.
• 균일화 사상(uniformization morphism)을 통해 전역 G-shtuka의 ℓ-진 코homology와 국소 및 이구사 성분의 코homology 간의 비교를 수립하는 것.
• 특히 분할을 유지하지 못하고, 허위 사이클의 행동이 문제인 아디크 해석 기하학 설정에서의 코homological 과제를 다루는 것.

제안 방법

• Id(bνi)-자르기된 isomorphism을 통해 유계 전역 G-shtuka를 파라미터화하는 모듈리 공간으로서 이구사 다양체를 구성함으로써, 보편적인 국소 G-shtuka (L+G, bνiσ*)에 대한 자르기된 isomorphism을 활용한다.
• 기본가장이 아닌 기본 알코프에 의한 복잡성 회피를 위해 중심 잎의 완전화에 대한 기본 변화(base change)를 적용함으로써 직접 프로베니우스 당김을 가능하게 한다.
• 균일화 사상(uniformization morphism)을 적용하여 전역 G-shtuka 모듈리 공간의 코homology를 라파포르트-진 공간과 이구사 다양체의 곱과 연결한다.
• 아디크 설정에서의 코homology 비교를 위해 분석화(analytification)와 허위 사이클 층 RΨan을 사용하며, 특히 컴actsupport 코homology에 초점을 맞춘다.
• 분석화가 분할을 유지하지 못함을 분석함: 그로텐디크 군에서 동치가 되지 않는 코homology 복합체를 유도하는 N(νi)an과 N(νi)an,strat이라는 아디크 부분공간 간의 불일치를 보여준다.
• 특히 형식 스킴가 국소적으로 유한형이 아닌 경우, 라파포르트-진 공간에 대한 비교 정리에서 장애를 규명한다.

실험 결과

연구 질문

• RQ1 유계 전역 G-shtuka 모듈리 공간의 특수 섹션에서의 노이만 스트라타는 아디크 설정에서도 라파포르트-진 공간과 이구사 다양체의 곱으로 분해될 수 있는가?
• RQ2 기본 케이스의 곱 분해에 의존하지 않고, 비기본 국소 G-shtuka에 대해 어떻게 이구사 다양체를 균일하게 구성할 수 있는가?
• RQ3 비유한 콪팩트 아디크 공간의 맥락에서 분석화와 허위 사이클 층은 코homological 구조를 얼마나 잘 유지하는가?
• RQ4 왜 형식 스킴가 국소적으로 유한형이 아닌 라파포르트-진 공간에 대해서는 표준 비교 정리가 실패하는가?
• RQ5 전역 G-shtuka의 코homology는 라파포르트-진 성분과 이구사 성분의 코homology를 가상 표현으로서 표현할 수 있는가?

주요 결과

• 유계 전역 G-shtuka 모듈리 공간의 특수 섹션은 라파포르트-진 공간과 이구사 다양체의 곱으로 분해되며, 이구사 다양체는 중심 잎의 완전화 위의 유한 에탈 코버링으로 표현된다.
• Id(bνi)-자르기된 isomorphism을 통한 이구사 다양체의 구성은 비기본 케이스에서 곱 분해에 의존하지 않는 균일한 모듈리 기술을 제공한다.
• 균일화 사상 덕분에 전역 G-shtuka 모듈리 공간의 코homology는 라파포르트-진 공간과 이구사 성분의 코homology와 연결되며, 이는 가상의 G(Aci) × ΓE′-표현 간의 비교를 이끈다.
• 분석화가 분할을 유지하지 못함: 그로텐디크 군에서 동치가 되지 않는 코homology 복합체를 유도하는 N(νi)an과 더 큰 부분공간 N(νi)an,strat 간의 불일치가 존재한다.
• 현재 설정에서 이구사 다양체 위의 허위 사이클 층 RΨanη는 형식적 미끄러짐의 실패로 인해 상수 층 Z/ℓrZ와 이sovolumetric이 아니다.
• 현재 설정에서 라파포르트-진 공간에 대한 비교 정리는 실패한다. 형식 스킴가 국소적으로 유한형이 아니므로, 전문화 사상 sp−1Uclε는 베르코비치 공간 Uclrigε와 다를 것이며, 이는 이전 증명의 핵심 단계를 무효화한다.