[논문 리뷰] The weak Beauville--Bogomolov decomposition in characteristic $p\geq 0$

Zsolt Patakfalvi, Maciej Zdanowicz|arXiv (Cornell University)|2019. 12. 29.

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

한 줄 요약

이 논문은 정성 p > 0에서 약한 정상성 조건 하에 캐논리컬 클래스가 자명한 매끄럽고 사영적인 다양체에 대해 약한 Beauville–Bogomolov 분해를 수립한다. 이러한 다양체는 아벨 다양체와 미약한 특이성을 가진 Calabi–Yau 유형 다양체의 곱으로서의 유한 무분리 덮개를 갖는다고 보여주며, 반례를 통해 약한 정상성 조건이 필수적임을 증명한다. 또한 −KX가 반준가법일 경우로 확장되었을 때, 알바네제 사상이 등가적임을 보인다.

ABSTRACT

We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement cannot be dropped. Additionally, if the assumption $K_X \sim 0$ is replaced by $-K_X$ being semi-ample, we show the weaker statement that all closed fibers of the Albanese morphism are isomorphic. Finally, we apply our main theorem to draw consequences to the behavior of rational points and fundamental groups of weakly ordinary $K$-trivial varieties in positive characteristic.

연구 동기 및 목표

• K-자명 다양체에 대해 정성 p에서 Beauville–Bogomolov 분해의 특성 p 버전을 수립하기 위해.
• 특히 약한 정상성과 같은 최소한의 조건이 이러한 분해가 존재하기 위해 필요한지 규명하기 위해.
• 정성 p에서 K-자명 다양체의 유리점과 에탈 기본군의 행동을 조사하기 위해.
• 부분적 정성 p에서 Demailly–Peternell–Schneider의 신축성에 관한 추측을 해결하기 위해, 반정의적 반대 canonical 다발을 가진 분해의 등가성에 대해.
• −KX가 반준가법일 경우로 결과를 확장하여, 알바네제 사상의 등가성을 보여주기 위해.

제안 방법

• Frobenius 작용이 H^n(X, O_X)에 대해 단사임을 조건으로 하는 약한 정상성 다변량의 개념을 사용한다.
• F-분할 이론과 강한 F-정칙 특이성 이론을 적용하여 분해에서의 특이성을 제어한다.
• 반정의성 정리와 벡터 번들의 수치적 평탄성을 활용하여 상대 canonical sheaf와 기본 변화 성질을 분석한다.
• log-Isom 스킴 이론과 곡선 위의 분해에 대한 등가성 기준을 적용하여 전반적인 등가성을 유도한다.
• 알바네제 사상과 그 기본 변화 성질을 활용하여 문제를 아벨 다양체 위의 분해로 환원한다.
• −KX/T −Δ가 반정의적이고 (X, Δ)가 klt임을 이용하여 고차원 코hom로지 제어와 소멸 정리 적용

실험 결과

연구 질문

• RQ1 정성 p에서 K-자명 다양체에 대해 약한 Beauville–Bogomolov 분해가 존재하는 조건은 무엇인가?
• RQ2 약한 정상성 조건 없이도 분해를 달성할 수 있는가? 만약 불가능하면 그 이유는 무엇인가?
• RQ3 KX ∼ 0가 아닌 −KX가 반준가법일 경우 알바네제 사상은 어떻게 되는가?
• RQ4 정성 p에서 klt이면서 반정의적 반대 canonical 다발 조건을 만족하는 쌍의 알바네제 사상이 등가적일 수 있는가?
• RQ5 정성 p에서 단순연결이 아닌 K-자정 다양체에 대해, 유리점과 기본군에 관한 결과들이 어느 정도까지 일반화되는가?

주요 결과

• KX ∼ 0를 만족하는 약한 정상성과 전역적으로 F-분할된 다변량에 대해, 유한 무분리 덮개를 통해 아벨 다양체와 특이성이 미약한 Calabi–Yau 유형 다변량의 곱으로 분해되는 약한 Beauville–Bogomolov 분해가 성립한다.
• 약한 정상성 조건은 필수적이다: 비-약한 정상성인 경우 분해가 실패함을 보여주는 반례가 구성된다.
• KX ∼ 0가 −KX가 반준가법일 경우로 대체되면, 알바네제 사상의 모든 섬유가 서로 동형이지만, 분해는 더 약해진다.
• 반정의적 반대 canonical 다발 조건을 만족하는 klt 쌍의 알바네제 사상은 특성 0에서 등가적임을 부록에서 Codogni와 함께 증명하였다.
• 약한 정상성 K-자정 다양체의 에탈 기본군은 거의 아벨이며, 유리점은 알바네제 사상에 의해 제어된다.
• 주요 결과는 증가된 비정규성 bq(X)가 유한하고, 최대 아벨 덮개를 실현함을 의미하며, 고전적 결과를 정성 p로 확장한다.