[논문 리뷰] On minimal varieties growing from quasismooth weighted hypersurfaces

Meng Chen, Chen Jiang외 1명|arXiv (Cornell University)|2020. 05. 20.

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

한 줄 요약

이 논문은 단일 비표준 특이점을 가진 정규화된 쿼اسي스무스 가중 히프레르세이프의 가중 블로우업 위에서 캐논리컬 분할의 새로운 네파시티 기준을 수립하여, 일반형 3-다양체의 59개의 가족, 여러 무한 급수의 코다이라 차원 2인 3-다양체, 그리고 노에터 선 근처의 예제를 구성한다. 이 방법은 캐논리컬 차원이 $ n-1 $ 또는 $ n-2 $인 일반형 $ n $-다양체의 캐논리컬 체적에 대해 효과적인 하한을 제공하며, 차원 ≤5에서 최적임을 보여준다.

ABSTRACT

This paper concerns the construction of minimal varieties with small canonical volumes. The first part devotes to establishing an effective nefness criterion for the canonical divisor of a weighted blow-up over a weighted hypersurface, from which we construct plenty of new minimal $3$-folds including $59$ families of minimal $3$-folds of general type, several infinite series of minimal $3$-folds of Kodaira dimension $2$, $2$ families of minimal $3$-folds of general type on the Noether line, and $12$ families of minimal $3$-folds of general type near the Noether line. In the second part, we prove effective lower bounds of canonical volumes of minimal $n$-folds of general type with canonical dimension $n-1$ or $n-2$. Examples are provided to show that the theoretical lower bounds are optimal in dimension less than or equal to $5$ and nearly optimal in higher dimensions.

연구 동기 및 목표

• 단일 비표준 특이점을 가진 정규화된 쿼اسي스무스 가중 히프레르세이프 $ X o ext{Proj}(b{C}[x_1, ext{...},x_{n+2}]) $ 위에서의 가중 블로우업에 대한 캐논리컬 분할의 효과적인 네파시티 기준을 개발하는 것.
• 이 기준을 이용하여 새로운 일반형 3-다양체 및 코다이라 차원 2인 3-다양체의 가족을 구성하는 것.
• 캐논리컬 차원이 $ n-1 $ 또는 $ n-2 $인 일반형 $ n $-다양체의 캐논리컬 체적에 대한 효과적인 하한을 수립하는 것.
• 이론적 하한이 최대 차원 5에서 최적임을 보이고, 높은 차원에서는 거의 최적임을 보이는 것.
• 특히 차원 3에서 노에터 선 근처의 이론적 하한을 실현하는 명시적 예제를 제공하는 것.

제안 방법

• 가중치 $ (b_1, ext{...},b_{n+2}) $를 가진 정규화된 쿼اسي스무스 가중 히프레르세이프 $ X o ext{Proj}(b{C}[x_1, ext{...},x_{n+2}]) $의 비표준 순환 몫 특이점 $ Q $에서의 가중 블로우업을 적용한다.
• 도수 $ d $, 가중치 $ b_j $, 특이점의 불변량 $ r, e_j $를 포함하는 부등식을 사용하여, 블로우업 $ Y $ 위의 캐논리컬 분할 $ K_Y $가 네파시티임을 보장하는 충분 조건을 유도한다.
• 교차 이론을 통해 $ ext{Vol}(Y) o ext{Vol}(X) imes \text{블로우업에서의 조정 인자} $의 관계를 이용하여 캐논리컬 체적을 추정한다.
• 가정 하에 $ (K_Y imes C) < 0 $인 수치 기준을 사용하여 모순을 도출함으로써 $ K_Y $가 네파시티임을 증명한다.
• 예외적 분할 $ E_1, E_2 $의 구조와 초평면의 엄격한 전이와의 교차를 이용하여 $ K_Y^{n-1} imes E_1 $의 양성도를 검증한다.
• 가중 투영 공간 $ b{P}(e_1, ext{...},e_n) $의 정규화 및 $ b{P}(b_n, b_{n+1}, b_{n+2}) $ 내 일반 초등형의 기하학적 일관성을 확보하기 위해 기하학적 성질을 검증한다.

실험 결과

연구 질문

• RQ1 쿼اسي스무스 가중 히프레르세이프 위에서의 가중 블로우업을 통해 일반형 3-다양체의 체계적 구성이 가능한가?
• RQ2 블로우업의 캐논리컬 분할이 네파시티를 유지하기 위한 조건은 무엇인가?
• RQ3 캐논리컬 차원이 $ n-1 $ 또는 $ n-2 $인 일반형 $ n $-다양체의 캐논리컬 체적에 대한 효과적인 하한은 무엇인가?
• RQ4 이러한 이론적 하한은 낮은 차원과 높은 차원에서 최적 또는 거의 최적인가?
• RQ5 기본 변형 불변량과 피카르 수와 다른 새로운 일반형 3-다양체의 가족을 구성할 수 있는가?

주요 결과

• 논문은 일반형 3-다양체의 59개의 새로운 가족을 구성하였으며, 모두 피카르 수가 최소 2 이상이고 이아노-플러거의 목록과 다름을 보였다.
• 이론적으로 유도된 쿼اسي스무스 초등형의 특이점에서의 가중 블로우업을 통해 코다이라 차원 2인 3-다양체의 여러 무한 급수를 제공하였다.
• 두 개의 일반형 3-다양체 가족이 정확히 노에터 선 위에 위치하여 그 경계에서 가능한 최소 캐논리컬 체적을 달성하였다.
• 노에터 선 근처에 위치하는 12개의 추가적인 일반형 3-다양체 가족이 구성되었으며, 이는 이론적 최소 체적에 가까이 접근하였다.
• 캐논리컬 차원이 $ n-1 $ 또는 $ n-2 $인 일반형 $ n $-다양체의 캐논리컬 체적에 대한 효과적인 하한을 증명하였고, 이들이 차원 ≤5에서 최적임을 보였다.
• 이론적 하한을 실현하는 예제를 구성하여, 이들이 차원 최대 5에서 정확히 최적임을 확인하였고, 높은 차원에서는 거의 최적임을 입증하였다.