[논문 리뷰] Boundedness of minimal partial du Val resolutions of canonical surface foliations

Yenan Chen|arXiv (Cornell University)|2019. 12. 06.

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

한 줄 요약

이 논문은 일반 유형의 캐논리컬 표면 혼합의 최소 부분 du Val 해석의 유계성을 확립하며, 고정된 Hilbert 함수를 가진 이러한 혼합 표면이 유계인 가족을 이룬다는 것을 증명한다. 핵심 결과는 캐논리컬 모델과 그 해석이 유계이며, 날카운 절단 특이점 외부에서 다중칸온리컬 계열이 효과적으로 생성되며, 이방형 및 날카운 절단 특이점에 대해 균일한 경계가 존재한다는 것이다.

ABSTRACT

In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.

연구 동기 및 목표

• 일반 유형의 캐논리컬 표면 혼합에 대한 최소 부분 du Val 해석의 유계성을 확립하기 위해.
• 기존의 비라시오널 유계성 결과를 개선하여 캐논리컬 모델과 그 해석의 유계성을 보여주기 위해.
• 혼합 표면의 캐논리컬 모델에서 이방형 특이점의 지수와 임bedding 차원에 대한 효과적인 경계를 제공하기 위해.
• [HL21, 추측 1]을 확인하기 위해 날카운 절단 특이점 외부에서 다중칸온리컬 계열의 효과적 생성을 보여주기 위해.
• 일반 유형의 혼합 표면 맥락에서 날카운 절단 특이점의 구조에 대한 균일한 경계를 설정하기 위해.

제안 방법

• 정규 완전 표면에서 Mumford의 교차 이론을 사용하여 Weil 분할의 교차 수를 정의하고 계산하기 위해.
• 혼합과 접선층의 순수 질서 1 부분층 사이의 쌍대성을 활용하여 특이 표면에서 혼합을 정의하기 위해.
• 날카운 절단 및 이방형 특이점의 최소 해석을 활용하여 예외적 분할과 그 교차 행렬을 분석하기 위해.
• Zariski 분해 및 준효과성 논증을 사용하여 해석 상의 분할의 크기와 강도를 연구하기 위해.
• 특이점에서의 임베딩 차원과 군 작용의 유계성으로부터 지수와 차수에 대한 균일한 경계를 유도하기 위해.
• [HL21], [Fuj12], [Lan01]의 결과를 적용하여 예외적 위치의 보완에서 휘어진 캐논리컬 번들의 매우 강력한 성질을 확립하기 위해.

실험 결과

연구 질문

• RQ1 고정된 Hilbert 함수 P(m) = χ(X_c, mK_F_c)에 대해 일반 유형의 캐논리컬 표면 혼합에 대한 최소 부분 du Val 해석이 유계인가?
• RQ2 혼합 표면의 캐논리컬 모델에서 이방형 특이점의 지수와 임베딩 차원에 대해 효과적인 경계를 설정할 수 있는가?
• RQ3 충분히 나누어지는 m에 대해 다중칸온리컬 계열 |mK_F|가 날카운 절단 특이점 외부에서 동형사상이 되는 비라시오널 사상으로 정의되는가?
• RQ4 일반 유형의 혼합 표면 맥락에서 날카운 절단 특이점의 구조에 대해 균일한 경계가 존재하는가?
• RQ5 해석과 캐논리컬 모델의 유계성에 의해 일반 유형의 혼합 표면의 모듈리 이론을 어떻게 발전시킬 수 있는가?

주요 결과

• 모든 고정된 Hilbert 함수 P(m) = χ(X_c, mK_F_c)에 대해 캐논리컬 모델 (X_c, F_c)과 그 최소 부분 du Val 해석 (X, F)의 집합은 유계인 가족을 이룬다.
• 모든 이방형 특이점의 지수와 임베딩 차원이 각각 C_1과 C_2로 유계이도록 하는 균일한 상수 C_1과 C_2가 존재한다.
• κ(K_F_c) = 2 이고 고정된 Hilbert 함수 P(m)를 가진 모든 캐논리컬 모델 (X_c, F_c)에 대해, m_P가 존재하여 m이 m_P로 나누어떨어지는 경우 |mK_F|는 날카운 절단 특이점의 보완에서 동형사상이 되는 비라시오널 사상으로 정의된다.
• 날카운 절단 특이점의 최소 해석에서의 교차 행렬과 구성 요소의 수는 가족 전체에 걸쳐 균일하게 유계이다.
• 각 날카운 절단 특이점에서 혼합의 지수는 유계이며, 예외적 분할 위에서의 군 작용의 차수도 유계이다.
• 최소 해석 g: Y → X의 예외적 위치의 보완에서 K_Y + βK_G는 매우 강력하여, 날카운 절단 외부에서 다중칸온리컬 계열의 효과적 생성을 보장한다.