[논문 리뷰] Codimension one foliations with trivial canonical class on singular spaces II

Stéphane Druel, Wenhao Ou|arXiv (Cornell University)|2019. 12. 16.

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

한 줄 요약

이 논문은 klt 특이성을 가진 복소 사영 다양체 위의 코너티원 수 하나의 폴로니에이션을 분류하며, 그들은 캐논리컬 특이성과 수치적으로 영인 캐논리컬 클래스를 가진다. 이는 그들이 곡선에서의 올려받음 또는 군 유형의 컴팩티피케이션에서 유래된다는 것을 증명한다. 핵심 결과는 이러한 폴로니에이션들이 대수적으로 적분 가능하고, 그 캐논리컬 클래스가 토르션임을 보여주며, 수치적 차원이 0인 폴로니에이션 3차원 다양체로의 최소모델 프로그램을 확장한다.

ABSTRACT

In this article, we give the structure of codimension one foliations with canonical singularities and numerically trivial canonical class on varieties with klt singularities. Building on recent works of Spicer, Cascini - Spicer and Spicer - Svaldi, we then describe the birational geometry of rank two foliations with canonical singularities and canonical class of numerical dimension zero on complex projective threefolds.

연구 동기 및 목표

• klt 특이성을 가진 복소 사영 다양체 위의 코너티원 수 하나의 폴로니에이션을 캐논리컬 특이성과 수치적으로 영인 캐논리컬 클래스를 가진다.
• 이전 결과에서 캐논리컬 특이성에 대한 제약를 극복하고, klt 특이성의 설정으로 폴로니에이션의 비라션 분류를 확장한다.
• 이러한 폴로니에이션에 대해 부존재 추측을 증명함으로써 캐논리컬 클래스가 토르션임을 확립한다.
• 수치적 차원이 0인 복소 사영 3차원 다양체 위의 랭크 두 폴로니에이션의 비라션 기하학을 기술한다.
• 매끄럽고 캐논리컬 특이성을 통해 얻은 결과를 더 넓은 klt 범주로 일반화하기 위해 준-에탈 코버와 폴로니에이션 올려받기를 사용한다.

제안 방법

• 이 문제를 캐논리컬 특이성을 가진 다양체로 줄이기 위해 준-에탈 코버를 사용하며, 폴로니에이션의 구조와 수치적으로 영인 캐논리컬 클래스 성질을 유지한다.
• 폴로니에이션 최소모델 프로그램을 적용하여 3차원 다양체 위의 랭크 두 폴로니에이션을 수치적으로 영인 캐논리컬 클래스를 가진 최소 모델로 줄인다.
• klt 특이성을 가진 표면로 바움-보트 및 카마초-사드 공식을 확장하여 폴로니에이션 특이성을 분석한다.
• 닫힌 유리형 1-형식과 평탄한 선형군을 가진 폴로니에이션의 구조를 이용하여 대수적으로 적분 가능하지 않은 경우를 분석한다.
• 에케다르-시프리드-바론-테일러 추측과 로그 캐논리컬 쌍을 활용하여 코버에서의 근원성과 분지의 제어를 한다.
• 교환형 컴팩티피케이션의 아핀 대수적 군의 등변 컴팩티피케이션 이론을 활용하여 기저 위의 군 유형 폴로니에이션을 분류한다.

실험 결과

연구 질문

• RQ1 klt 다양체 위의 코너티원 수 하나의 폴로니에이션은 캐논리컬 특이성과 수치적으로 영인 캐논리컬 클래스를 가지며, 그 구조는 어떻게 되는가?
• RQ2 이러한 폴로니에이션에 대해 부존재 추측이 성립하는가, 즉 캐논리컬 클래스가 토르션인가?
• RQ3 3차원 다양체 위의 랭크 두 폴로니에이션의 비라션 기하학은 최소모델 프로그램 하에서 어떻게 분해되는가?
• RQ4 닫힌 유리형 1-형식과 평탄한 선형군을 가진 폴로니에이션은 klt 설정에서 분류될 수 있는가?
• RQ5 준-에탈 코버는 폴로니에이션 특이성을 해결하고 캐논리컬 클래스 성질을 유지하는 데 어떤 역할을 하는가?

주요 결과

• klt 다양체 위의 코너티원 수 하나의 폴로니에이션은 캐논리컬 특이성과 수치적으로 영인 캐논리컬 클래스를 가지며, 이는 곡선에서의 올려받음 또는 아핀 대수적 군의 군 유형 컴팩티피케이션에서 유래된다.
• 이러한 폴로니에이션의 캐논리컬 클래스는 토르션임을 확인하여 이 설정에서의 부존재 추측을 증명한다.
• 캐논리컬 특이성과 수치적 차원이 0인 복소 사영 3차원 다양체 위의 랭크 두 폴로니에이션은 최소모델 프로그램을 거친 후 캐논리컬 클래스가 수치적으로 영이 된다.
• 분류에는 두 경우가 포함된다: 하나는 준-에탈 코브를 통해 곡선에서 폴로니에이션을 올려받는 경우이며, 다른 하나는 등변 컴팩티피케이션의 1차원 리 부분군에서 유래되는 경우이다.
• klt 표면로 바움-보트 및 카마초-사드 공식을 확장함으로써 특이한 설정에서 폴로니에이션 특이성을 분석할 수 있게 되었다.
• 준-에탈 코브와 로그 캐논리컬 쌍의 사용은 비라션 변환 하에서 폴로니에이션의 올려받음 형태가 잘 유지됨을 보장한다.