[논문 리뷰] Liftability of the Frobenius morphism and images of toric varieties

Piotr Achinger, Jakub Witaszek외 1명|arXiv (Cornell University)|2017. 08. 12.

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

한 줄 요약

이 논문은 정수 $p^2$ 모듈로에서 프로베누스 사상의 올림 가능성을, 유한 에탈 커버 이후 일반 아벨 다양체 위에 토릭 섬유를 가진 피브레이션 구조와 연결하는 추측을 제안한다. 이 추측이 옥체타와 위스니에프스키의 토릭 다양체의 상에 대한 추측을 함의한다는 것을 증명하고, 프로베누스 올림 이론, 변형 이론, 프로베누스 스플릿팅 기법을 사용하여 표면, 팔란도 3차원 다양체, 그리고 동차 공간에 대해 주요 추측을 검증한다.

ABSTRACT

We formulate a conjecture characterizing smooth projective varieties in positive characteristic whose Frobenius morphism can be lifted modulo $p^2$ - we expect that such varieties, after a finite etale cover, admit a Zariski-locally trivial fibration with toric fibers over an ordinary abelian variety. We prove that this assertion implies a conjecture of Occhetta and Wiśniewski, which states that a smooth image of a projective toric variety is a toric variety. In order to deal with an important special case, we develop a logarithmic variant of the characterization of ordinary varieties with trivial tangent bundle due to Mehta and Srinivas. Furthermore, we verify our conjecture for surfaces, Fano threefolds, and homogeneous spaces (answering a question posed by Buch-Thomsen-Lauritzen-Mehta). Our proofs are based on a comprehensive theory of Frobenius liftings together with a variety of other techniques including deformation theory of rational curves and Frobenius splittings.

연구 동기 및 목표

• 양의 특성에서 프로베누스 사상이 $p^2$ 모듈로로 올라갈 수 있는 조건을 만족하는 매끄러운 사영 다양체의 기하학적 구조에 대한 추측을 수립하는 것.
• 일반 아벨 다양체 위에 토릭 섬유를 가진 피브레이션과 프로베누스 올림 간의 연결 고리를 확립하는 것.
• 제안된 추측이 옥체타와 위스니에프스키의 사영 토릭 다양체의 상에 대한 토릭 성격에 대한 추측을 함의한다는 것을 증명하는 것.
• 표면, 팔란도 3차원 다양체, 동차 공간 등의 주요 케이스에서 주요 추측을 검증하는 것.
• 자명한 접선(bundle)을 가진 일반 다양체에 대한 메하타–스리니바스 특성화의 로그 버전을 개발하는 것.

제안 방법

• 유한 에탈 커버 이후 일반 아벨 다양체 위에 토릭 섬유를 가진 자리스키 국소적으로 평탄한 피브레이션의 존재에 대한 추측을 수립하는 것.
• 핵심 기술 도구로 프로베누스 올림 이론의 종합적 이론을 사용하는 것.
• 양의 특성에서 기하학적 구조를 분석하기 위해 유리 곡선의 변형 이론을 적용하는 것.
• 특이점과 올림을 연구하기 위해 프로베누스 스플릿팅 기법을 활용하는 것.
• 자명한 접선(bundle)을 가진 일반 다양체에 대한 메하타–스리니바스 기준의 로그 버전을 개발하는 것.
• 이러한 방법들을 고전적 대수기하학 기법과 융합하여 특정 케이스에서 추측을 검증하는 것.

실험 결과

연구 질문

• RQ1 양의 특성에서 매끄러운 사영 다양체의 프로베누스 사상이 $p^2$ 모듈로로 올라갈 수 있는 조건은 무엇인가?
• RQ2 그러한 올림이 존재할 경우, 유한 에탈 커버 이후 일반 아벨 다양체 위에 토릭 섬유를 가진 피브레이션 구조를 유도할 수 있는가?
• RQ3 제안된 추측이 옥체타와 위스니에프스키의 사영 토릭 다양체의 상에 대한 토릭 성격에 대한 추측을 함의하는가?
• RQ4 표면, 팔란도 3차원 다양체, 동차 공간에 대해 추측을 검증할 수 있는가?
• RQ5 로그 기하학은 일반 다양체에 대한 메하타–스리니바스 기준을 확장하는 데 어떤 역할을 하는가?

주요 결과

• 제안된 추측은 옥체타와 위스니에프스키의 추측을 함의하며, 매끄러운 사상에 의한 사영 토릭 다양체의 상이 실제로 토릭 다양체임을 확인한다.
• 모든 양의 특성에서 매끄러운 사영 표면에 대해 추측이 검증되었다.
• 팔란도 3차원 다양체에 대해 추측이 성립하여, 부크, 톰센, 로리츠엔, 메하타가 제기한 질문에 답한다.
• 동차 공간에 대해 추측이 확인되어 그 일반성에 대한 추가적 근거를 제공한다.
• 자명한 접선(bundle)을 가진 일반 다양체에 대한 메하타–스리니바스 기준의 로그 버전이 확립되었으며, 이는 로그 설정으로의 일반 다양체 특성화를 확장한다.