[논문 리뷰] Cycles on Shimura varieties via geometric Satake

Liang Xiao, Xinwen Zhu|arXiv (Cornell University)|2017. 07. 18.

Advanced Algebra and Geometry인용 수 44

한 줄 요약

이 논문은 기하학적 사타케를 통해 모듈라 스킴의 mod p 섬유 사이의 코homological 대응을 구축하여, 애핀 델 브루아-루스티그 다양체의 기약 성분을 중간 코homology의 테이트 클래스와 연결한다. 일반성 조건 하에서 기본 뉴턴 스트라툼의 기약 성분의 사이클 클래스가 히지 타입의 슈이마 다양체의 중간 코homology에서 모든 테이트 클래스를 생성한다는 것을 증명하며, 이는 이 설정에서 테이트 추측에 대한 기하적 증거를 제공한다.

ABSTRACT

We construct (cohomological) correspondences between mod $p$ fibers of different Shimura varieties and describe the fibers of these correspondences by studying irreducible components of affine Deligne-Lusztig varieties. In particular, in the case of correspondences from a Shimura set to a Shimura variety, we obtain a description of the basic Newton stratum of the latter, and show that the irreducible components of the basic Newton stratum generate all the Tate classes in the middle cohomology of the Shimura variety, under a certain genericity condition. Along the way, we also determine the set of irreducible components of the affine Deligne-Lusztig variety associated to an unramified twisted conjugacy class.

연구 동기 및 목표

• 기하학적 사타케를 통해 서로 다른 슈이마 다양체의 mod p 섬유의 코homology를 연결하는 기하적 프레임워크를 수립하는 것.
• 환경 차원의 반만 되는 차원을 가진 히지 타입의 슈이마 다양체에서 기본 뉴턴 스트라툼의 구조를 묘사하는 것.
• 일반성 조건 하에서 기본 루프의 기약 성분의 사이클 클래스가 중간 코homology에서 모든 테이트 클래스를 생성함을 증명하는 것.
• 비분할된 스트레스터드 쌍대류류에 관련된 애핀 델 브루아-루스티그 다양체의 기약 성분 집합을 결정하는 것.
• 지역 shtuka와 그 모듈라이 공간의 맥락에서 기하학적 대응을 일반화하여, 슈이마 다양체 간의 코homological 전이를 가능하게 하는 것.

제안 방법

• p-진 군에 대한 기하학적 사타케 동치를 활용하여 표현을 애핀 그라스만리안 위의 층과 연결하는 것.
• 반무한 궤도와 MV 사이클을 통해 애핀 델 브루아-루스티그 다양체(ADLVs)의 기약 성분을 분석하는 것.
• 국소 헤이크 스택과 펄스성 층을 이용하여 국소 shtuka 모듈라이 공간 간의 코homological 대응을 구축하는 것.
• 일반화된 샤펠리 씨 제한 사상 적용을 통해 국소 shtuka 모듈라이의 코homology를 자동형 표현과 연결하는 것.
• 국소 계열과 펄스성 층의 맥락에서 자코넷-랑즈 전이를 활용하여 서로 다른 슈이마 다양체의 코homology를 연결하는 것.
• 사이클 클래스 사상과 쌍대성을 적용하여 성분의 기본 클래스를 코homological 대응과 교차 수와 연결하는 것.

실험 결과

연구 질문

• RQ1 기하학적 사타케는 어떻게 mod p 슈이마 다양체의 섬유 사이의 코homological 대응을 구축하는가?
• RQ2 차원 d를 가진 히지 타입 슈이마 다양체에서 d가 환경 차원의 반일 경우 기본 뉴턴 스트라툼의 구조는 어떻게 되는가?
• RQ3 일반성 조건 하에서 기본 뉴턴 스트라툼의 기약 성분의 사이클 클래스가 중간 코homology에서 모든 테이트 클래스를 생성하는가?
• RQ4 비분할된 스트레스터드 쌍대류류에 관련된 애핀 델 브루아-루스티그 다양체의 기약 성분 집합은 무엇인가?
• RQ5 국소 shtuka 모듈라이 공간에 대한 코homological 대응은 어떻게 슈이마 다양체의 대응으로 내림내릴 수 있는가?

주요 결과

• 차원 d를 가진 히지 타입 슈이마 다양체에서 d가 환경 차원의 반일 경우, 기본 뉴턴 스트라툼의 기약 성분은 애핀 델 브루아-루스티그 다양체의 기하학을 통해 묘사된다.
• 자기표현에 대한 일반성 조건이 성립할 경우, 기본 루프의 기약 성분의 사이클 클래스는 슈이마 다양체의 중간 코homology에서 모든 테이트 클래스를 생성한다.
• 비분할된 스트레스터드 쌍대류류에 관련된 애핀 델 브루아-루스티그 다양체의 기약 성분 집합은 기하학적 사타케 동치와 MV 사이클 이론에 의해 완전히 결정된다.
• 국소 shtuka 모듈라이 공간 간의 코homological 대응은 국소 헤이크 스택 위의 펄스성 층을 통해 구축되며, 명시적인 사이클 클래스 사상이 존재한다.
• 국소 shtuka 모듈라이 공간에서의 대응의 기본 클래스는 추적 사상 하에서 고정점의 기본 클래스로 매핑되며, 바르샤브스키의 추적 공식을 일반화한다.
• 국소 모듈라이 공간 내 두 사이클의 교차 수는 쌍대 코homological 대응의 복합에 해당하며, 콪팩티피케이션 선택과 무관하다.