[논문 리뷰] Discrete invariants of varieties in positive characteristic

B.J. Moonen, Torsten Wedhorn|ArXiv.org|2003. 06. 24.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 15

한 줄 요약

이 논문은 양의 특성에서 매끄럽고 완전한 다양체의 이산 불변량을 분류하기 위한 통합 프레임워크로, 벡터 번들의 필터레이션과 준선형 동형사상이 결합된 대수적 구조인 F-zips를 도입한다. 대수적으로 닫힌 체 위에서 F-zips의 완전한 분류를 Weyl 군의 조합론적 자료를 통해 제공하며, 기저 스킴에 대해 스킴 이론적 Ekedhal-Oort 분할을 구성하여, 타원곡선과 K3 곡면에 대해 알려진 분할을 일반화한다.

ABSTRACT

If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism $X o S$ satisfying certain conditions the de Rham bundles $H^n_{ m dR}(X/S)$ have a natural structure of an $F$-zip. We give a complete classification of $F$-zips over an algebraically closed field by studying a semi-linear variant of a variety that appears in recent work of Lusztig. For every $F$-zip over $S$ our methods give a scheme-theoretic stratification of $S$. If the $F$-zip is associated to an abelian scheme over $S$ the underlying topological stratification is the Ekedahl-Oort stratification. We conclude the paper with a discussion of several examples such as good reductions of Shimura varieties of PEL type and K3-surfaces.

연구 동기 및 목표

• F-zips를 사용하여 양의 특성에서 다양체의 이산 불변량을 체계적으로 분류하기 위한 프레임워크를 개발한다.
• 조건 (D)를 만족하는 임의의 매끄럽고 완전한 사상으로 타원곡선에 대한 Ekedhal-Oort 분할을 일반화한다.
• 특성 p에서 다양체의 모듈리 공간의 분할을 집합론적 정의가 아닌 스킴 이론적 정의로 제공한다.
• K3 곡면과 PEL 유형의 시무라 다양체에 대한 이전의 모듈리 공간 분할 결과를 통합하고 확장한다.
• 군론적 및 대수기하학적 방법을 통해 F-zip의 구조와 호지이론적 자료의 열화 사이의 기하적 대응을 수립한다.

제안 방법

• 특성 p의 스킴 S 위에서 F-zip을 정의한다. 이는 Hodge 필터레이션, 쌍대 필터레이션, 그리고 역 카르티에 연산자에 의해 유도된 그레디에이션 조각들 사이의 준선형 동형사상이 있는 벡터 번들의 조합이다.
• 고정된 유형 $\tau$에 대해 F-zip의 구조를 매개하는 모듈리 스킴 $X_{\tau}$를 도입하며, 이는 자연스러운 $\mathrm{GL}_n$-작용을 갖는다.
• Lusztig의 다양체의 준선형 변형을 사용하여 $X_{\tau}$ 내의 $\mathrm{GL}_n$-오빗을 연구하고, 이를 Weyl 군의 이중 코셋을 통해 분류한다.
• 각 $u \in {}^JW$에 대해 $S^u_{\underline{M}} \subset S$로 정의되는 부분함수를 정의하여 일반화된 Ekedhal-Oort 분할을 구성하며, 이는 국소적으로 닫힌 부분스킴으로 표현 가능하다.
• K3 곡면에 적용하기 위해 그 제2 de Rham 코homology에 정규직교 F-zip의 구조를 부여하고, 분할이 높이와 아르틴 불변량 분할과 관련됨을 밝힌다.
• de Rham 번들의 자명화 토르서에서 F-zip의 구조 모듈리 공간으로의 주기 사상 $\#S \to X_\tau$를 수립하며, 이는 호지 이론에서의 고전적 주기 사상과 유사하다.

실험 결과

연구 질문

• RQ1 어떻게 대수기하학적 구조를 통해 양의 특성에서 다양체의 이산 불변량을 체계적으로 분류할 수 있는가?
• RQ2 대수적으로 닫힌 체에서 양의 특성에서 F-zips의 완전한 분류는 무엇인가?
• RQ3 조건 (D)를 만족하는 임의의 매끄럽고 완전한 사상으로 타원곡선을 초월해 Ekedhal-Oort 분할이 어떻게 일반화되는가?
• RQ4 특성 p에서 다양체의 모듈리 공간의 분할은 스킴 이론적 구조를 가지며, 이는 de Rham 코homology의 기하학과 어떻게 관련되는가?
• RQ5 K3 곡면에서 F-zip의 구조는 높이와 아르틴 불변량 분할을 어떻게 반영하고 통합하는가?

주요 결과

• 대수적으로 닫힌 체 $k$ 위에서 유형 $\tau$의 F-zips의 동형류는 Weyl 군 내의 최소 코셋 대표자 집합 $({}^JW)$와의 전단사 사상이 존재한다.
• 모든 F-zip은 고유한 $u \in {}^JW$에 대해 표준 F-zip $\underline{M}^u_\tau \otimes_{\mathbb{F}_p} k$와 동형이 되며, 이는 완전한 조합론적 분류를 확립한다.
• 기저 스킴 $S$의 일반화된 Ekedhal-Oort 분할은 $S$를 국소적으로 닫힌 부분스킴 $S^u_{\underline{M}}$들로 분할하며, 각 부분스킴은 $u \in {}^JW$에 대응한다. 이 분할은 전단사이며 단사 사상이다.
• 타원곡선의 경우, $H^1_{\rm dR}$ 위의 F-zip의 구조에 의해 유도되는 분할은 고전적인 Ekedhal-Oort 분할과 일치한다.
• 차수 $2d$의 극화를 가진 K3 곡면의 경우, 원시 코homology 위의 F-zip 분할은 높이 및 아르틴 불변량 분할과 일치한다: $1 \leq j \leq 11$에 대해 $S^{(j)} = S_j \setminus S_{j+1}$이며, $S_{11} = S_\infty$이다.
• $k$-점에서의 초특이성 국소 $S_{\infty,l}(k)$는 분리된 부분분할의 합집합으로 분해된다: $S_{\infty,l}(k) = \coprod_{i \geq 21-l} S^{(i)}(k)$로 표현되며, 이는 Ogus의 결과와의 일관성을 확인한다.