[논문 리뷰] Integral Canonical Models of Shimura Varieties of Preabelian Type

Adrian Vasiu|ArXiv.org|2003. 07. 08.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 주로 균일 특성에서의 Dedekind 환 위에서 '건강한' 및 '매우 건강한' 정칙 스킴의 개념을 도입하고 분석하여, 전아벨 유형의 슈미라 다양체에 대한 정수 캐논리컬 모델이 존재하는 조건을 확립한다. 특히, 에탈 및 프로에탈 코버링이 건강한 정규 스킴 성질을 유지함을 증명하고, 웨일 제한 및 강하 기법을 사용하여 정칙 스킴가 건강한 성질을 갖는 조건을 제공한다.

ABSTRACT

We prove the existence of integral canonical models of Shimura varieties of preabelian type with respect to primes of characteristic at least 5.

연구 동기 및 목표

• Dedekind 환 위에서 '건강한' 및 '매우 건강한' 정칙 스킴를 정의하고 특성화하며, 특히 혼합 특성에서 다룬다.
• 지역화, 완비화 및 이산 평가환수를 통한 당김에 의한 건강한 스킴 성질의 안정성에 대해 조사한다.
• 웨일 제한 및 강하 기법을 사용하여 건강한 정규 스킴 위에 아벨 스킴이 어떻게 확장되는지 조건을 설정한다.
• 에탈 또는 프로에탈 코버링이 건강한 정규 스킴 성질을 유지하는지 조사한다.
• 특히 $ x^l + y^2 + z^2 + p = 0 $ 형태의 방정식으로 정의된 특이점들을 고려할 때, 건강하지만 매우 건강하지 않은 정칙 스킴의 예를 제공한다.

제안 방법

• 아벨 스킴의 확장을 연구하기 위해 '확장 가능한 쌍' $ (Y, U) $ 의 개념을 사용한다.
• Y가 건강한 경우, 에탈 코버링 $ Y_1 o Y $ 에서 아벨 스킴을 기본 스킴 Y로 확장하기 위해 스칼라의 웨일 제한을 적용한다.
• 적절한 조건 하에서, 스킴의 일반점에서 정의된 아벨 다양체를 열린 부분스킴으로 올리는 데 강하 이론을 활용한다.
• 고전적 순수성 정리를 적용하여, 정수적이고 거의 건강한 정칙 스킴이며 기본군이 자명한 경우는 반드시 건강하다는 것을 보인다.
• 완비화가 $ ext{Spec}(W(k)[[x,y,z]]/(x^l + y^2 + z^2 + p)) $ 인 국소 스킴을 분석하여, 건강하지만 매우 건강하지 않은 정칙 스킴의 예를 구성한다.
• 양의 특성에서 국소 환의 형식적 매끄러움과 충실한 평탄성을 이용하여 건강한 성질을 검증한다.

실험 결과

연구 질문

• RQ1 Dedekind 환 위의 정칙 스킴이 어떤 조건에서 '건강한' 또는 '매우 건강한'으로 간주되는가?
• RQ2 에탈 또는 프로에탈 사상에 의해 건강한 정규 스킴 성질이 내림내림 또는 올라감이 가능한가?
• RQ3 기저 스킴이 건강한 경우, 스킴의 열린 부분스킴에서 정의된 아벨 스킴이 전체 스킴으로 확장될 수 있는가?
• RQ4 건강하지만 매우 건강하지 않은 정칙 스킴의 예가 존재하는가? 그리고 이러한 스킴는 어떻게 구성할 수 있는가?
• RQ5 특히 기본군이 자명한 경우에, 거의 건강한 성질이 건강한 성질로 이르는 정도는 어느 정도인가?

주요 결과

• 모든 정칙 형식적 매끄러운 스킴이 $ O $ 위에 있고 $ e < p-1 $ 를 만족하는 경우, 건강한 정칙 스킴이다.
• 기본군이 자명한 거의 건강한 정칙 스킴는 고전적 순수성 정리에 의해 반드시 건강하다.
• 에탈 코버링은 건강한 정규 스킴 성질을 유지한다: $ Y $ 가 건강한 정규 스킴이고 $ q: Y_1 o Y $ 가 $ (Y_1, q^{-1}(U)) $ 가 확장 가능한 에탈 사상이라면, $ Y_1 $ 도 건강하다.
• 프로에탈 코버링도 동일한 조건 하에서 건강한 정규 스킴 성질을 유지한다.
• 건강하지만 매우 건강하지 않은 정칙 스킴가 존재한다. 예를 들어 $ l > p > 3 $ 인 국소 스킴 $ ext{Spec}(W(k)[[x,y,z]]/(x^l + y^2 + z^2 + p)) $ 는 그러한 예이다. 여기서 $ k $ 는 특성 $ p $ 의 완전체이다.
• 추상적인 매우 건강한 정칙 스킴의 클래스는 국소화, 완비화, 형식적 매끄러움, 동일한 분기 지수를 가진 혼합 특성의 이산 평가환수 간의 환 준동형에 의한 당김에 대해 안정하다.