[논문 리뷰] Good and semi-stable reductions of Shimura varieties

Xuhua He, G. Pappas외 1명|arXiv (Cornell University)|2018. 04. 25.

Algebraic Geometry and Number Theory참고 문헌 42인용 수 3

한 줄 요약

이 논문은 약한 분할 조건 하에서 슈이마 다양체와 그에 관련된 국소 모델의 양호한 및 준안정 감소 조건을 설정하며, Pappas-Zhu 프레임워크를 통해 구성된 국소 모델이 유일하게 정의되고 특수 섹션을 가짐을 증명한다. 핵심 결과는 군이 약한 분할 확장에서 분해될 때, 아벨 유형 슈이마 다양체의 국소 모델에 대해 양호하거나 준안정 감소가 발생하는 모든 경우를 특정하는 데서 나온다. 이를 위해 CCP 조건과 엄격한 가짜 안정 감소를 핵심 도구로 사용한다.

ABSTRACT

We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses.

연구 동기 및 목표

• p에서의 포라히오 수준 구조를 갖는 아벨 유형 슈이마 다양체에 대해, 모든 양호한 및 준안정 감소의 경우를 규명하는 것.
• Pappas와 Zhu가 구성한 국소 모델이 약한 분할 조건 하에서 유일함을 증명하여 보조 선택에 대한 독립성에 대한 열린 문제를 해결하는 것.
• 국소 모델의 특이점들을 특성화하고, 이와 관련된 슈이마 다양체의 감소 유형과 연결하는 것.
• ‘CCP 조건’을 도입하고 분석하여 준안정 감소의 핵심 기준으로 삼으며, 이 조건이 유리적 엄격한 가짜 안정 감소와 동치임을 증명하는 것.
• 약한 경우에 대해 양호하거나 준안정 감소를 갖는 국소 모델의 완전한 분류를 제공하여 기존의 모듈러 곡선 결과를 일반 슈이마 다양체로 확장하는 것.

제안 방법

• p-진 필드 위의 대칭 형식에서 격자 체인과 등방 조건을 사용하여, 난이도 모델 함수의 일반 섹션의 평탄한 폐쇄를 국소 모델로 정의한다.
• G를 p-진 필드 F 위의 재수성 군으로, {μ}를 최소 코어키라, K를 파라히오 부분군으로 하는 국소 모델 삼중체 (G, {μ}, K)의 프레임워크를 사용한다.
• 유리적 엄격한 가짜 안정 감소를 위한 필요충분 조건으로서 ‘CCP 조건’(코어키라와 파라히오의 호환성)을 도입한다.
• 플래그 다양체의 좌표와 이차 제약 조건을 사용하여, 국소 모델의 특수 섹션을 애니지드 차트에서의 명시적 방정식을 통해 분석한다.
• 특정 방정식(예: x1y2n + ... + xnyn + xn+1yn+1 = 0)이 평탄성에 의해 항상 성립함을 보여, 국소 모델이 특수 섹션을 축소함을 증명한다.
• 비분할 확장으로의 기저 변경을 통해 분류의 잘 정의성을 확보하고, 준안정 감소와 CCP 조건 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 국소 모델 삼중체 (G, {μ}, K)에 대해 어떤 조건에서 해당 국소 모델이 양호한 감소를 갖는가?
• RQ2 특히 G가 약한 분할 확장에서 분해될 때, 국소 모델이 준안정 감소를 갖는 조건은 무엇인가?
• RQ3 국소 모델의 구성이 보조 선택에 대해 독립적인가, 특히 약한 경우에서 그러한가?
• RQ4 CCP 조건과 특수 섹션의 기하적 구조 사이의 정확한 관계는 무엇인가?
• RQ5 최소 또는 파라히오 수준 구조의 경우를 초월하여 양호한 및 준안정 감소의 분류를 확장할 수 있는가?

주요 결과

• G가 F의 약한 분할 확장에서 분해될 경우, 국소 모델 Mloc_K(G, {μ})는 보조 선택에 영향을 받지 않고 유일하게 정의된다.
• 국소 모델의 기하적 특수 섹션은 축소되어 있으며, 잔여체 k 위의 아핀 플래그 다양체에서 {μ}-가능한 지역과 동형이다.
• 국소 모델이 양호한 감소를 갖는 것은 국소 모델 삼중체가 CCP 조건을 만족하고 군이 약한 분할 조건을 갖는 것과 동치이다.
• 비분할 SO_{2n}에서 r = n 및 {0}인 경우, 국소 모델은 매끄럽다. 이는 아핀 차트에서 연결 성분의 자리크리 클로처가 아핀 공간과 동형이기 때문이다.
• 반면, 분할된 SO_{2n}의 경우 μ = μ1일 때, 특수 섹션에서의 특이한 교차로 인해 가짜 안정 감소를 갖지 못한다.
• 나이브 모델이 평탄하지 않을 경우, 특수 섹션에 추가 성분이 존재한다. 이는 분할된 SO_{2n}의 경우 P^{n-1} × P^{n-1} 성분이 정의 방정식을 충족하지 않기 때문이다.