[논문 리뷰] On subadditivity of Kodaira dimension in positive characteristic

Zsolt Patakfalvi|arXiv (Cornell University)|2013. 08. 25.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 11

한 줄 요약

이 논문은 기하적 일반성의 기저와 기하적 일반 섬유의 해세-위트 행렬이 영행렬이 아닐 조건 하에서, 정규화된, 전사적인 사상에 대해 양의 특성에서 코다이라 차원의 하향성질을 확립한다. 상대 카르티에 모듈과 S0-모듈을 이용하여, κ(X) ≥ κ(KF) + κ(Y)를 증명함으로써, 이 설정에서 고전적 하향성 추측(κ(X) ≥ κ(F) + κ(Y))을 증명하며, 양의 특성에서 히오지 이론과 코다이라 소멸성의 결여를 우회한다.

ABSTRACT

We show that for a surjective, separable morphism f of smooth projective varieties over an algebraically closed field of positive characteristic such that $f_* \mathcal{O}_X = \mathcal{O}_Y$ subadditivity of Kodaira dimension holds, provided the base is of general type and the Hasse-Witt matrix of the geometric general fiber is not nilpotent.

연구 동기 및 목표

• 고전적 도구인 히오지 이론과 코다이라 소멸성이 실패하는 양의 특성에서 코다이라 차원의 하향성질을 확립하기 위해.
• 기저와 섬유에 기하학적 조건을 두어, 이타카 추측(Cn,m)을 양의 특성으로 확장하기 위해.
• 특성 0 기법을 특성 0이 아닌 방법, 특히 S0-모듈과 상대 카르티에 모듈로 대체하기 위해.
• 기하적 일반 섬유의 해세-위트 행렬이 영행렬이 아니면, 안정적인 프로베누스 이미지가 비자명하다는 것을 증명하여 상대 캐논리컬 선다발의 약한 양의성을 가능하게 한다.

제안 방법

• 특성 0이 아닌 상황에서 프로베누스 당김 하에서 캐논리컬 선다발의 행동을 분석하기 위해 상대 카르티에 모듈을 사용한다.
• S0-모듈 구성법을 적용하여 프로베누스 하에서 전역 절단의 비소멸성을 탐지함으로써, 해세-위트 행렬의 비영행렬성 보장.
• S0-이론을 통해 m > 0에 대해 f∗ωmX/Y의 약한 양의성을 적용함으로써, 특성 0의 약한 양의성 결과를 대체한다.
• 기저의 일반 점의 완전 폐쇄로 문제를 축소하여 기하적 일반 섬유를 분석한다.
• 그로텐디크 대칭과 토르션-프리미니멀성을 이용하여, f가 유한하고 X가 고렌스타인일 때 f∗ωmY → ωmX의 임bedding을 구성한다.
• S0(Xη, ωXη) ≠ 0와, 완전 점 y ∈ U에 대해 S0(Xy, ωXy) ≠ 0인 U ⊆ Y의 열린 부분집합이 존재하는 것 사이의 동치성을 기반으로 한다.

실험 결과

연구 질문

• RQ1 기저가 일반적이고 기하적 일반 섬유의 해세-위트 행렬이 영행렬이 아닐 때, 양의 특성에서 코다이라 차원의 하향성질이 성립하는가?
• RQ2 양의 특성에서 코다이라 소멸성과 히오지 이론의 실패를 S0-모듈과 카르티에 모듈을 통해 극복할 수 있는가?
• RQ3 S0(Xη, ωXη) ≠ 0는 기저에서 S0(Xy, ωXy) ≠ 0인 열린 부분집합이 존재하는 것과 동치인가?
• RQ4 특성 0의 가정 없이도 상대 캐논리컬 선다발의 약한 양의성을 양의 특성에서 확립할 수 있는가?
• RQ5 양의 특성에서 캐논리컬 링을 통한 코다이라 차원과 캐논리컬 선다발의 코다이라-이타카 차원 간의 비교는 어떻게 되는가?

주요 결과

• 이 논문은 양의 특성에서 대수적으로 닫힌 체 위의 정규화된, 전사적인 사상 f: X → Y에 대해, κ(Y) = dim Y 이고 기하적 일반 섬유의 해세-위트 행렬이 영행렬이 아니면, κ(X) ≥ κ(KF) + κ(Y)임을 증명한다.
• 해세-위트 행렬의 비영행렬성은 S0(Xη, ωXη) ≠ 0와 동치이며, 이는 기하적 일반 섬유에서 비자명한 프로베누스-안정 전역 절단의 존재를 보장한다.
• 조건 S0(Xη, ωXη) ≠ 0는 기저 내에서 S0(Xy, ωXy) ≠ 0인 모든 완전 점 y ∈ U ⊆ Y에 대해 열린 부분집합 U가 존재함을 의미한다.
• 주요 결과는 더 일반적인 설정으로 확장된다: X가 정규이고 고렌스타인이며, Y가 정칙이고, κ(Y) = dim Y, S0(Xη, ωXη) ≠ 0 이면, κ(KX) ≥ κ(KXη) + κ(KY)이다.
• 논문은 S2, G1 다양체에서 캐논리컬 링을 통한 코다이라 차원(κ(X))이 캐논리컬 선다발의 코다이라-이타카 차원(κ(ωX))에 의해 상한으로 제한됨을 증명하며, 스무스 다양체에서는 등식이 성립함을 보였다.
• 저자들은 주어진 조건 하에서 캐논리컬 선다발과 섬유의 코다이라-이타카 차원이 동치임을 이용하여, 고전적 하향성 추측(κ(X) ≥ κ(F) + κ(Y))이 더 강력한 부등식 κ(X) ≥ κ(KF) + κ(Y)로부터 유도됨을 보였다.