[논문 리뷰] Local models of Shimura varieties, I. Geometry and combinatorics

G. Pappas, Michael Rapoport외 1명|arXiv (Cornell University)|2010. 11. 25.

Advanced Algebra and Geometry참고 문헌 92인용 수 41

한 줄 요약

이 논문은 쇼이마 다양체의 국소 모델에 대한 종합적인 조사로, 그 기하학적 및 조합적 성질에 중점을 두고 있다. 국소 모델은 그라스만이안에서의 선형대수학적 자료를 통한 접근과 베일린슨-드린펠드-게이츠코리 변형에서의 슈베르트 다양체의 폐쇄를 통한 접근 두 가지 방식으로 제시되며, 특히 파라호리 수준 구조의 경우 쇼이마 다양체의 특이점을 모델링하는 데서 그 역할을 강조한다. 주요 결과로는 평탄성, 코hen-맥컬레이성, 유리 특이점, 그리고 정규 교차 특이점을 갖는 해소가 포함된다.

ABSTRACT

We survey the theory of local models of Shimura varieties. In particular, we discuss their definition and illustrate it by examples. We give an overview of the results on their geometry and combinatorics obtained in the last 15 years. We also exhibit their connections to other classes of algebraic varieties such as nilpotent orbit closures, affine Schubert varieties, quiver Grassmannians and wonderful completions of symmetric spaces.

연구 동기 및 목표

• 쇼이마 다양체의 국소 모델 이론을 조사하며, 그 기하학적 및 조합적 구조에 중점을 두기.
• 특히 수준 구조가 파라호리일 때, 쇼이마 다양체의 p로의 줄임표에서 특이점 이해에 국소 모델이 수행하는 역할를 명확히 하기.
• 국소 모델을 더 넓은 대수기하학적 맥락, 즉 아벨 다양체의 모듈리 공간, 특이 곡선 위의 벡터 번들의 모듈리 공간, 유한 평탄 군 스킴 등과 연결하기.
• 최근 15년간의 개방 문제와 최근 진전, 특히 평탄성, 코헨-맥컬레이성, 정규 교차 특이점을 갖는 해소에 대해 강조하기.
• 근접 사이클에 관한 코트비츠 추측을 포함한 코homological 측면에 대한 후속 논문의 기초를 마련하기.

제안 방법

• 유한체 위의离散가환환 스펙트럼 위의 프로젝티브 스킴으로서 국소 모델을 정의하며, A, C 및 일부 D 유형의 경우 그라스만이안의 곱에서 유도된 선형대수학적 자료를 사용한다.
• 아핀 플래그 다양체의 베일린슨-드린펠드-게이츠코리 변형을 사용하여 국소 모델을 슈베르트 다양체의 폐쇄로 실현한다.
• Iwahori-Weyl 군 내의 {μ}-가능 집합을 통한 국소 모델의 특이 섹션 분석을 통해 조합론과 기하학을 연결한다.
• 동차 공간 ((PGLr)^s / PGLr)의 등변 프로젝티브 임bedding을 사용하여 델리뉴 스킴과 그 최소 모델을 통한 해소 기법을 적용한다.
• 행렬 방정식(예: AA^T = A^T A = π·I)을 이용한 명시적 해소를 구성하고, 이들을 워너블 완비화와 토리oidal 해소와 연결한다.
• 팔링스의 방법을 사용하여 국소 모델의 등변 해소를 구축하며, 특이 섹션이 계산 가능한 중복도를 갖는 정규 교차 디바이저가 될 수 있음을 보였다.

실험 결과

연구 질문

• RQ1 수준 구조가 파라호리일 때, 국소 모델은 쇼이마 다양체의 p로의 줄임표에서 특이점을 어떻게 포괄하는가?
• RQ2 국소 모델이 평탄성, 코헨-맥컬레이성, 또는 유리 특이점을 갖는 데 필요한 조건은 무엇인가?
• RQ3 국소 모델은 유한 평탄 군 스킴이나 특이 곡선 위의 벡터 번들의 모듈리 공간과 어떻게 관련되어 있는가?
• RQ4 특이 섹션이 정규 교차를 이루는 명시적 해소를 국소 모델에 구성할 수 있으며, 구성 요소의 중복도는 무엇인가?
• RQ5 국소 모델의 근접 사이클 복합체의 구조는 어떻게 되며, 이는 코트비츠 추측과 어떻게 관련되어 있는가?

주요 결과

• 행렬 방정식 Z = {A ∈ Mat_n×n | AA^T = A^T A = π·I}에 대해, n 이 짝수일 경우 평탄 폐쇄는 코헨-맥컬레이성과 유리 특이점을 갖는다. n 이 홀수일 경우 정규화는 코헨-맥컬레이성과 유리 특이점을 갖는다.
• 팔링스는 2차원 심플렉틱 군에 대해 특이 섹션이 정규 교차를 이루는 등변 해소를 구축하며 구성 요소의 중복도를 계산하였다.
• 행렬 배열에 관련된 델리뉴 스킴의 최소 모델 D_min은 r = 2일 때 Spec R 위의 반안정 곡선을 정의하며, 이는 0차 수준의 반안정 마킹된 곡선의 모듈리 공간을 통해 배열을 매개한다.
• 행렬 배열의 보편 가족의 기저는 (PGL2)^s / PGL2의 프로젝티브 등변 임베딩으로서, 라우모르 타입이며 국소 모델의 정규화 가능 수정을 허용한다.
• 행렬 방정식 {A = A^T, A^2 = π·I}의 해공간은 분비된 유니타리 군과 최대 파라호리 부분군의 국소 모델을 모델링한다.
• 식 (8.4.8)–(8.4.10)에서 유도된 행렬 방정식들은 대칭 공간의 프로젝티브 공간으로의 임베딩에서 유래되며, 이들의 특이점은 사전에 직접 연결되지 않더라도 국소 모델로 모델링됨을 보였다.