[논문 리뷰] Singularities of pluri-theta divisors in Char $p>0$

Christopher D. Hacon|arXiv (Cornell University)|2011. 12. 09.

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

한 줄 요약

이 논문은 양의 특성 p > 0에서 주로 극대화된 아벨 다양체(PPAVs) 위의 플루리-세타 분할자가 미약한 특이성을 가진다는 것을 증명한다. 이를 위해 임의의 유리수 ε ∈ (0,1)과 D ∈ |mΘ|에 대해 쌍 (X, (1−ε)/m D)가 강한 F-정칙임을 보이며, 핵심 결과는 모든 x ∈ X에 대해 mult_x(D) ≤ m·dim X임을 보여, 고전적인 특성 0 결과를 테스트 아이디얼과 일반성의 소멸을 통해 특성 p > 0 기하학에서 일반화한다.

ABSTRACT

We show that if $(X,\Theta)$ is a PPAV over an algebraically closed field of characteristic $p>0$ and $D\in |m\Theta|$, then $(X,\frac 1 m D)$ is a limit of strongly $F$-regular pairs and in particular ${ m mult}_x(D)\leq m\cdot \dim X$ for any $x\in X$.

연구 동기 및 목표

• 특성 0에서 알려진 플루리-세타 분할자의 로그-칸onical 특이성을 양의 특성 p > 0으로 확장하는 것.
• 특성 p > 0에서 PPAV 위의 쌍 (X, (1−ε)/m D)가 강한 F-정칙임을 입증하여, 미약한 특이성을 유도하는 것.
• 모든 x ∈ X에 대해 D ∈ |mΘ|인 플루리-세타 분할자의 다중도가 mult_x(D) ≤ m·dim X임을 증명하는 것.
• 특성 0에서의 도구인 승수 아이디얼과 카와마타-비에흐 범위를 특성 p > 0에서 테스트 아이디얼과 일반성의 소멸로 대체하는 것.

제안 방법

• 양의 특성에서 강한 F-정칙성과 날카로운 F-순수성을 정의하기 위해 테스트 아이디얼 τ(X, Δ)와 σ(X, Δ)를 사용한다.
• 아벨 다양체 위에서 푸리에-무카이 변환을 적용하여 X와 그 이중 bX 위의 층의 코homological 성질을 연결한다.
• [CH03], [Hacon04], [PP08]의 일반성 소멸 정리들을 활용하여 일반적인 x ∈ bX에 대해 H^0(σ(X, Δ) ⊗ O_X(Θ) ⊗ P_x^) ≠ 0임을 보인다.
• 코homology와 기저 변경을 사용하여 일반적인 x ∈ bX에 대해 평가 사상 H^0(σ(X, Δ) ⊗ O_X(Θ) ⊗ P_x^) → k(x)가 전사임을 유도한다.
• 일반적인 Θ의 이동이 σ(X, Δ)의 공지지에 따라 영이 되면, 공지지는 공집합이어야 하므로 σ(X, Δ) = O_X임을 보인다.
• 세르 소멸과 분할 계수의 점근적 양성으로 인해, H^i(O_X((1−p^{ne})(K_X+Δ) + (p^{ne}−t)Θ)) = 0 (i > 0, 큰 n)임을 보이는 것으로 귀결된다.

실험 결과

연구 질문

• RQ1 특성 0에서 플루리-세타 분할자의 로그-칸onical 성질이 양의 특성 p > 0으로 확장되는가?
• RQ2 강한 F-정칙성이 양의 특성에서 플루리-세타 분할자의 특이성을 제어하는 데 사용될 수 있는가?
• RQ3 D ∈ |mΘ|에 대해 다중도의 bound mult_x(D) ≤ m·dim X가 양의 특성에서 성립하며, 이는 테스트 아이디얼을 통해 유도될 수 있는가?
• RQ4 F-특이성의 맥락에서 일반성 소멸 결과가 카와마타-비에흐 소멸을 대체할 수 있는가?
• RQ5 특성 0에서 F-유계 특이성을 지닌 불가약한 세타 분할자가 특성 p > 0에서도 F-유계 특이성을 지닐까?

주요 결과

• 주어진 PPAV (X, Θ)에서 특성 p > 0에서 임의의 유리수 ε ∈ (0,1)과 D ∈ |mΘ|에 대해 쌍 (X, (1−ε)/m D)는 강한 F-정칙이다.
• 그 결과로, (X, 1/m D)는 모든 로그-불일치가 ≥0이므로 로그-칸onical하다.
• 모든 x ∈ X에 대해 어떤 플루리-세타 분할자의 다중도는 mult_x(D) ≤ m·dim X를 만족한다.
• 테스트 아이디얼 σ(X, (1−ε)/m D)의 공지지는 공집합이므로 σ(X, (1−ε)/m D) = O_X이며, 이는 강한 F-정칙성을 의미한다.
• 증명은 일반성 소멸과 코homological 소멸에 의존하며, 특성 p > 0에서 카와마타-비에흐 소멸이 실패하는 것을 보완한다.
• 조건은 (1−ε)/m D의 지수 값이 p로 나누어지지 않는다는 것이며, 극한을 취함으로써 모든 ε에 대해 결론이 확장된다.