[논문 리뷰] A canonical linear system associated to adjoint divisors in characteristic $p > 0$

Karl Schwede|arXiv (Cornell University)|2011. 07. 19.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 20

한 줄 요약

이 논문은 양의 특성 p > 0에서 프로베누스 역상과 그로텐디크 추적 사상으로 유도된 캐논ical 선형계 S₀(X, ω_X ⊗ L)를 제안한다. 이 선형계가 L − K_X − Δ가 크고 네프일 때, τ(X, Δ) ⊗ O_X(L + nM)를 전역적으로 생성함을 증명하며, 퇴화 정리 대신 테스트 이상수를 사용하여 양의 특성에서 다이어그램 이상수 스타일의 전역 생성 결과를 일반화한다. 주요 결과는 L − K_X − Δ가 크고 네프일 경우 τ(X, Δ) ⊗ O_X(L + nM)가 전역적으로 생성됨을 보여주며, 이는 특성 p > 0에서 후지타 유형 정리의 일반화이다.

ABSTRACT

Suppose that $X$ is a projective variety over an algebraically closed field of characteristic $p > 0$. Further suppose that $L$ is an ample (or more generally in some sense positive) divisor. We study a natural linear system in $|K_X + L|$. We further generalize this to incorporate a boundary divisor $\Delta$. We show that these subsystems behave like the global sections associated to multiplier ideals, $H^0(X, \mJ(X, \Delta) ensor L)$ in characteristic zero. In particular, we show that these systems are in many cases base-point-free. While the original proof utilized Kawamata-Viehweg vanishing and variants of multiplier ideals, our proof uses test ideals.

연구 동기 및 목표

• 카와마타-비에흐 정리의 퇴화가 발생하는 특성 0에서의 다이어그램 이상수 전역 생성 결과의 특성 p > 0에서의 대응을 확립하기 위해, 퇴화 정리 대신 테스트 이상수를 사용한다.
• 프로베누스 역상과 그로텐디크 추적 사상에서 유래된 캐논ical 선형계 S₀(X, ω_X ⊗ L)를 정의하고 연구한다.
• L − K_X − Δ가 크고 네프일 경우, 이 선형계가 τ(X, Δ) ⊗ O_X(L + nM)를 전역적으로 생성함을 보여주며, 후지타 유형 정리를 특성 p > 0로 일반화한다.
• 테스트 이상수가 Nadel 유형의 퇴화가 실패함에도 불구하고, 특성 0에서의 다이어그램 이상수와 유사하게 전역적으로 행동함을 보여준다.

제안 방법

• e ≫ 0에 대해 Frobenius-추적 사상 H⁰(X, F^e_* (ω_X ⊗ L^{p^e})) → H⁰(X, ω_X ⊗ L)의 안정된 상으로서 캐논ical 선형계 S₀(X, ω_X ⊗ L)를 정의한다.
• 그로텐디크 추적 사상 F^e_* ω_X → ω_X를 사용하고 선형(bundle)으로 틀어, 전역 단면 간의 사상 구조를 구성한다.
• 테스트 이상수 τ(X, Δ)를 다이어그램 이상수 J(X, Δ)의 특성 p > 0에서의 대응으로 간주하고, 국소적 및 전역적 성질을 활용한다.
• L − K_X − Δ가 크고 네프일 조건 하에, S₀(X, ω_X ⊗ L^{n+1})를 통해 τ(X, Δ) ⊗ O_X(L + nM)의 전역 생성성을 증명한다.
• 제한 사상과 F^e_* (I_Z · L_{e,Δ})를 포함하는 정확한 수열을 사용하여 X의 전역 단면과 F-순수 중심 Z의 전역 단면 간의 관계를 규명한다.
• 결과를 F-순수 카이어 모듈러스로 일반화하고, F-입술 조건 하에 h^i(ω^q_X) ⊗ M^{d+i−1} ⊗ L의 전역 생성성을 도출한다.

실험 결과

연구 질문

• RQ1 특성 0에서의 다이어그램 이상수 전역 생성 결과를, 퇴화 정리 대신 테스트 이상수를 사용하여 특성 p > 0에서 재현할 수 있는가?
• RQ2 L − K_X − Δ가 크고 네프일 경우, 캐논ical 선형계 S₀(X, ω_X ⊗ L)가 τ(X, Δ) ⊗ O_X(L + nM)를 전역적으로 생성하는가?
• RQ3 캐논ical 선형계 S₀(X, ω_X ⊗ L)를 사용하여, 전역 생성성과 매장에 관한 후지타의 추측을 특성 p > 0로 확장할 수 있는가?
• RQ4 특성 0에서의 Nadel 퇴화가 실패함에도 불구하고, 테스트 이상수는 특성 p > 0에서 어떻게 전역적으로 행동하는가?
• RQ5 F-순수 중심 Z에 대한 캐논ical 선형계의 제한이 기저점 없음과 전성성을 유지하는가?

주요 결과

• L − K_X − Δ가 크고 네프일 경우, 캐논ical 선형계 S₀(X, ω_X ⊗ L)가 τ(X, Δ) ⊗ O_X(L + nM)를 전역적으로 생성함을 보여주며, 특성 p > 0에서의 전역 생성성을 증명한다.
• 강한 F-정칙 쌍 (X, Δ)에 대해, 동일한 조건 하에 선형(bundle) O_X(L + nM)가 전역적으로 생성됨을 보여주며, 후지타 유형 결과를 확장한다.
• L이 앰플리일 경우, 특성 0에서의 매끄러움 조건 없이도, F-입술 다양체에서 S₀(X, ω_X ⊗ L)는 기저점 없음임을 보여준다.
• 모든 F-순수 중심 Z에 대해, S₀(X, σ(X, Δ) ⊗ O_X(M))에서 S₀(Z, σ(Z, φ^Δ_Z) ⊗ O_Z(M))로의 제한 사상은 전성이며, 전역 생성성을 유지한다.
• 곡선의 경우, S₀(X, ω_X ⊗ L^{n+1})는 모든 n ≥ dim X에 대해 기저점 없음임을 보여주며, 차원 1에서 후지타의 추측을 확인한다.
• 차원 d인 프로젝티브 F-입술 다양체 X에서, M과 L이 각각 전역적으로 생성되고 앰플리일 경우, −d < i < 0에 대해 h^i(ω^q_X) ⊗ M^{d+i−1} ⊗ L는 전역적으로 생성된다.