[논문 리뷰] Boundedness of moduli of varieties of general type

Christopher D. Hacon, James McKernan외 1명|arXiv (Cornell University)|2014. 12. 03.

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

한 줄 요약

이 논문은 고정된 부피와 유계 계수를 가진 일반형(semi log canonical) 쌍의 모듈리 공간의 유계성을 확립한다. 양호한 최소 모델이 가족에서 잘 행동함을 증명하고, 다중가행성의 다항식의 불변성을 활용하여, 이러한 쌍이 유계 가족을 이룬다는 것을 보이며, 고차원에서 모듈리 공간을 구성하는 데 핵심적인 단계를 해결한다.

ABSTRACT

We show that the family of semi log canonical pairs with ample log canonical class and with fixed volume is bounded.

연구 동기 및 목표

• 고정된 부피와 유계 계수를 가진 일반형(semi log canonical) 쌍에 대한 모듈리 함수자(functor)의 유계성을 확립하기 위해.
• 정규화와 이중 위치(locus) 기법을 통해 로그 캐논리컬 쌍에서의 유계성 결과를 반정규 캐논리컬 쌍으로 확장하기 위해.
• 양호한 최소 모델과 풍부한 모델이 가족에서 잘 행동함을 증명하여 기저 변화와의 호환성을 보장하기 위해.
• Kollár-Shepherd-Barron 프로그램을 활용하여 고차원에서 안정 다양체의 모듈리 공간을 구성하기 위한 기초 단계를 제공하기 위해.
• 부피와 계수 집합이 고정될 경우 모듈리 공간이 유계임을 보이며, 이는 계수 집합의 유한성(비라시오널 동치 관계 이하에서)을 암시한다.

제안 방법

• 반정규 캐논리컬 쌍의 정규화를 통해 문제를 로그 캐논리컬 쌍으로 감소시키며, 여기서 $ K_Y + \Gamma = n^*(K_X + \Delta) $ 를 만족한다.
• 가족에서의 MMP를 적용하고, 로그 스무스 조건을 가정할 때 평탄한 변형에서 다중가행성의 불변성을 증명한다.
• 만약 한 근원이 양호한 최소 모델을 가진다면, 전체 가정이 기저 위에서 양호한 최소 모델을 가진다는 것을 확립한다.
• 양호한 최소 모델을 가진 근원의 위치의 체계성(construcibility)을 이용하여 가정 간 호환성을 보장한다.
• 반사적 거듭제곱 $ \omega_X $ 의 기저 변화 호환성과 다중가행성 계열의 제약 사상의 상사성(surjectivity)을 적용한다.
• 정규화된 $ \lfloor \Delta \rfloor $ 의 초면에서의 유한 개의 변환(involution)을 통해 반정규 캐논리컬 쌍의 유계성을 로그 캐논리컬 쌍의 유계성으로 감소시킨다.

실험 결과

연구 질문

• RQ1 부피와 계수 집합이 고정될 경우 일반형 반정규 캐논리컬 쌍의 모듈리 공간이 유계일 수 있는가?
• RQ2 가정의 한 근원이 양호한 최소 모델을 가진다면 전체 가정에도 양호한 최소 모델이 존재하는가?
• RQ3 로그 캐논리컬 쌍의 가정에서 다중가행성 계열의 제약 사상이 기저 변화와 호환되는가?
• RQ4 정규화와 변환 데이터를 통해 로그 캐논리컬 쌍의 유계성 결과를 반정규 캐논리컬 쌍으로 확장할 수 있는가?
• RQ5 차원과 부피가 고정될 경우 경계 초면의 계수 집합이 비라시오널 동치 관계 이하에서 유한한가?

주요 결과

• 고정된 차원 $ n $, 고정된 부피 $ d $, DCC 집합 $ I $ 에서 계수를 가지는 반정규 캐논리컬 쌍의 가정 $ \mathfrak{F}_{\text{slc}}(n,d,I) $ 는 유계이다.
• 유한 집합 $ I_0 $ 가 존재하여 $ \mathfrak{F}_{\text{slc}}(n,d,I) = \mathfrak{F}_{\text{slc}}(n,d,I_0) $ 를 만족하며, 이는 계수 유형의 유한성을 암시한다.
• 부드러운 기저 위의 로그 스무스 가정에서 한 근원이 양호한 최소 모델을 가진다면 전체 가정은 기저 위에서 양호한 최소 모델을 가진다.
• 모든 $ m \in \mathbb{N} $ 에 대해 $ m\Delta $ 가 정수일 때 제약 사상 $ \pi_*\mathcal{O}_X(m(K_X + \Delta)) \to H^0(X_u, \mathcal{O}_{X_u}(m(K_{X_u} + \Delta_u))) $ 는 전사이다.
• 전체 가정의 풍부한 모델은 각 근원의 풍부한 모델로 제약되며, 이는 가정 전체에서 캐논리컬 모델의 호환성을 보장한다.
• 고정된 부피와 유한한 계수 집합을 가진 로그 캐논리컬 쌍의 가정의 유계성은 $ \lfloor \Delta \rfloor $ 의 정규화된 초면에서의 변환 데이터를 통해 해당 반정규 캐논리컬 쌍의 가정의 유계성으로 이어진다.