[논문 리뷰] Semiample perturbations for log canonical varieties over an F-finite field containing an infinite perfect field

Hiromu Tanaka|arXiv (Cornell University)|2015. 03. 04.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 양의 특성에서 무한한 완전체를 포함하는 F-유한 체 위에서, 로그 캐논성은 약간의 조건 하에 반-약한 암시적 변형을 유지함을 보여준다. F-특이점 이론과 추적 사상들을 사용하여, 로그 캐논성을 유지하는 효과적 인수의 유리 동치류의 존재를 증명하며, 고전적 방법이 실패하는 양의 특성에서 베텐타이프 결과를 일반화한다.

ABSTRACT

Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, Δ)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an effective $\mathbb{Q}$-divisor $Δ' \sim_{\mathbb Q} Δ+D$ such that $(X, Δ')$ is log canonical if there exists a log resolution of $(X, Δ)$.

연구 동기 및 목표

• 고전적 베텐타이프 정리가 유리 점의 조밀도 실패로 인해 실패하는 양의 특성으로의 밸런스 베텐타이프 정리의 확장을 도모한다.
• F-유한 체 위에서 로그 캐논성 쌍에 대해 반-약한 효과적 변형이 존재함을 증명한다 (또한 klt를 유지함).
• 특히 유한 체 위에서의 기술적 장애를 F-특이점과 추적 사상들을 사용하여 극복한다.
• 상대적 풍부성 정리의 핵심 기술 도구를 제공함으로써 상대 문제를 절대 문제로 환원한다.
• 반-약한 인수를 가진 로그 캐논성 쌍으로의 F-특이점 결과를 일반화하며, 유리 점과 p-거듭제곱 토판의 구조를 사용한다.

제안 방법

• 양의 특성에서 고전적 베텐타이프 추론을 대체하기 위해, 특히 날카로운 F-순수성과 강한 F-정칙 특이점에 초점을 맞춘 F-특이점 이론을 활용한다.
• 특히 $\operatorname{Tr}_X^{e_0}((p^{e_0}-1)(\Delta + D'))$ 의 전사성은 F-순수성과 로그 캐논성을 판단하는 기준이 된다.
• 효과적 인수의 $\dim X$-튜플을 매개하는 매개체 공간 $T \simeq \mathbb{A}_k^{q \cdot \dim X}$ 를 구성하며, $p^\infty$-토르션 유리 점의 조밀성으로 일반성 보장.
• 모든 충분히 일반적인 튜플에 대해 추적 사상의 전사성을 확보하기 위해, $p^\infty$-토르션 점들의 집합의 컴actness를 적용하여 일관된 $e_0$ 를 찾는다.
• 유리 계수의 경우를 유계 계수의 경우로 줄이기 위해 계수를 약간 변형하고 구성원 수에 대한 귀납법을 사용한다.
• 분석의 단순화를 위해 $X$ 가 정칙이고 $\Delta$ 가 단순 정규 교차임을 가정하기 위해 로그 해소를 존재한다고 가정한다.

실험 결과

연구 질문

• RQ1 유리 점의 조밀도 실패로 고전적 베텐타이프 정리가 실패하는 양의 특성에서 반-약한 변형이 로그 캐논성을 유지할 수 있는가?
• RQ2 적절한 수의 유리 점을 확보하기 위해 기저 체에 대한 어떤 조건이 필요한가?
• RQ3 유리 점의 조밀도가 없는 상황에서 F-특이점은 어떻게 로그 캐논성을 유지하는 효과적 변형을 구성할 수 있는가?
• RQ4 일관된 $e_0$ 가 존재하여, 밀도 있는 인수 구성에 대해 Frobenius 추적 사상이 항상 전사가 되는가?
• RQ5 상대적 풍부성 문제는 이러한 변형을 통해 양의 특성에서 절대 문제로 환원될 수 있는가?

주요 결과

• 양의 특성에서 무한한 완전체를 포함하는 F-유한 체 위의 프로젝티브 로그 캐논성 쌍 $(X, \Delta)$ 과 반-약한 $\mathbb{Q}$-인수 $D$ 에 대해, $(X, \Delta + D')$ 가 로그 캐논성이 되는 효과적 $\mathbb{Q}$-인수 $D' \sim_\mathbb{Q} D$ 가 존재한다.
• 만약 $(X, \Delta)$ 가 klt라면, 강한 F-정칙성에 의해 $(X, \Delta + D')$ 가 klt가 되도록 $D'$ 를 선택할 수 있다.
• 핵심 기술적 결과는 추적 사상 $\operatorname{Tr}_X^{e_0}((p^{e_0}-1)(\Delta + D'))$ 가 전사가 되는 일관된 $e_0$ 가 존재한다는 것이다. 이는 날카로운 F-순수성과 따라서 로그 캐논성을 암시한다.
• 구성은 $\mathbb{A}_k^r$ 에서의 $p^\infty$-토르션 유리 점의 조밀성과 $X$ 의 올바름을 이용하여 일반 구성에 걸쳐 일관성을 확보한다.
• 유리 근사와 계수 변형을 통해 실수 계수의 경우는 유리 계수의 경우로 환원되며, 실수 경우는 유리 계수의 경우로 줄어든다.
• 기저 체가 무한한 완전체를 포함하므로, 유리 점의 충분한 수를 확보하기 위해 유한 체에 의존하지 않는다.