[논문 리뷰] Introduction to Shimura varieties with bad reduction of parahoric type

Thomas J. Haines|ArXiv.org|2004. 09. 24.

Advanced Algebra and Geometry참고 문헌 59인용 수 50

한 줄 요약

이 논문은 소수 $p$ 에서 악성 감소를 보이는 슈이마 다양체에 대해, 라포포르트-지크 현지 모델을 사용한 평행구조를 중심으로 종합적인 소개를 제공한다. 평탄성, 분할, 제타 함수에 관한 기본 결과를 수립하며, 주요 기여로는 '가짜 유니터리 슈이마 다양체'에서 코트비츠-라포포르트 분할과 기본 근원의 공집합이 아님을 증명하고, 현지 모델을 통한 부드러운 근원과 인접 사이클의 새로운 특성화를 포함한다.

ABSTRACT

This survey article explains the construction of Rapoport-Zink local models and their use in understanding various questions relating to the singularities in the reduction modulo p of certain Shimura varieties with parahoric level structure at p.

연구 동기 및 목표

• 레프포르트-지크 현지 모델의 추상적 프레임워크를 $p$ 에서 평행구조를 가진 슈이마 다양체의 맥락에서 명확화하고 구체화하기.
• 특히 평탄성과 분할에 관해, 악성 감소의 경우 슈이마 다양체의 기하학에 관한 기본 결과를 수립하기.
• 특히 '가짜 유니터리' 및 시겔 슈이마 다양체에서 코트비츠-라포포르트 분할과 기본 근원의 공집합이 아님을 새롭게 증명하고 결과를 제공하기.
• 현지 모델도구를 통해 현지 모델 다이어그램과 인접 사이클을 이용해 현지 모델과 글로벌 슈이마 다양체를 연결함으로써, 반단순 제타 함수의 계산을 가능하게 하기.
• 특히 국소 L-요소와 자동형 L-함수의 맥락에서, 랑글랜즈 프로그램과 관련된 현재 진행 중인 연구를 위한 배경을 제공하기.

제안 방법

• 슈이마 다양체의 $p$ 에서의 특이점과 감소 유형을 연구하기 위해, 레프포르트-지크 현지 모델을 중심 도구로 사용한다.
• 지역체 위의 재구성군에서 이와하리 및 평행구조 부분군 이론을 적용하여 수준 구조를 정의한다.
• 슈이마 다양체의 특별 섬유와 현지 모델의 일반 및 특별 섬유를 연결하는 현지 모델 다이어그램을 구성한다.
• 디외드onné 이론과 크리스탈린 코homology를 활용하여 $p$-나누어지는 군을 $F$ 및 $V$-연산자를 가진 선형대수학적 자료와 연결한다.
• 인접 사이클과 회전 작용을 이용하여 현지 모델의 코hom로지컬 불변량을 슈이마 다양체의 것과 연결한다.
• 조합론적 및 표현 이론적 기법을 적용하여 뉴턴 및 코트비츠-라포포르트 분할, 아핀 덜레인-루스티그 다양체를 분석한다.

실험 결과

연구 질문

• RQ1 이와하리 수준 구조를 가진 슈이마 다양체의 특별 섬유에서 코트비츠-라포포르트 분할이 공집합이 아닐 조건은 무엇인가?
• RQ2 악성 감소의 맥락에서 뉴턴 분할, 코트비츠-라포포르트 분할, 아핀 덜레인-루스티그 다양체는 어떻게 관련되어 있는가?
• RQ3 '가짜 유니터리' 슈이마 다양체에서 평행구조 수준 구조를 가진 기본 근원은 공집합이 아닐까?
• RQ4 이와하리 수준 구조를 가진 슈이마 다양체의 특별 섬유에서 부드러운 근원의 구조는 어떻게 되는가?
• RQ5 현지 모델과 인접 사이클을 통해 반단순 국소 제타 함수를 어떻게 계산할 수 있는가?

주요 결과

• 이와하리 수준 구조를 가진 시겔 모듈라 다양체와 '가짜 유니터리' 슈이마 다양체의 특별 섬유의 모든 연결 성분에서 코트비츠-라포포르트 분할은 공집합이 아님을 보였다.
• 평행구조 수준 구조를 가진 '가짜 유니터리' 슈이마 다양체에서 기본 근원은 공집합이 아니며, 이는 추측을 확인한 것이다.
• 비분비군의 이와하리 부분군에 대응하는 현지 모델은 위상적으로 평탄함을 보였으며, 이는 변형 이론에 있어 핵심 결과이다.
• 이와하리 수준 구조를 가진 슈이마 다양체의 특별 섬유의 부드러운 근원은 코트비츠-라포포르트 분할을 통해 조합론적으로 기술된다.
• '가짜 유니터리' 슈이마 다양체의 반단순 국소 제타 함수는 코트비츠 추측과 인접 사이클 계산을 통해 반단순 $L$-함수로 표현된다.
• 디외드onné 이론을 통해 딜람 및 크리스탈린 코호몰로지 사상 간의 호환성에 대한 새로운 증명이 제시되었으며, 테스트 함수 $\phi_r$ 의 명시적 특정화가 이루어졌다.