[논문 리뷰] Minimal models and boundedness of stable varieties

Kalle Karu|ArXiv.org|1998. 04. 08.

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

한 줄 요약

이 논문은 n-차원의 안정적이고 스무스 가능하며 반-로그-칸토니컬 특이점을 지닌 다양체의 모듈리 함수자에 대해, 차원 n+1에서의 최소 모델 프로그램(MMP)을 가정할 때 유계성을 확립한다. 약한 준정적 분해와 MMP(n+1)를 통한 상대 캐논리컬 모델 적용을 통해 이러한 다양체에 대해 사영적인 근본 모듈리 공간의 존재를 증명하며, 매츠사카의 유계성 정리(유계성 정리)를 특이한 안정 다양체로 일반화한다.

ABSTRACT

We consider a class of stable smoothable n-dimensional varieties, the analogs of stable curves. Assuming the minimal model program in dimension n+1, we prove that this class is bounded. From Kollar's method of constructing projective moduli spaces we get as a corollary that minimal model program in dimension n+1 implies the existence of a projective coarse moduli space for stable smoothable n-folds.

연구 동기 및 목표

• 고정된 Hilbert 함수를 가진 안정적이고 스무스 가능하며 반-로그-칸토니컬 특이점을 지닌 n-차원 다양체의 모듈리 함수자에 대한 유계성을 확립하기 위해.
• 암시적 캐논리컬 번들의 양성 조건을 가진 매끄러운 다양체에 대한 매츠사카의 유계성 결과를 특이한 안정 다양체의 경우로 확장하기 위해.
• 차원 n+1에서의 최소 모델 프로그램을 가정할 때, 모듈리 함수자가 사영 스킴에 의해 근본적으로 표현됨을 보이기 위해.
• 표면에 대한 알렉세예프의 유계성 결과를 고차원 안정 다양체로 일반화하기 위해.
• 이를 위해 안정 쌍 (X, D)에 대해 로그-칸토니컬 특이점과 양성 K_X + D를 고려하고, 로그-MMP(n+1) 하에서 방법을 적용하기 위해.

제안 방법

• 근원적 Gorenstein 특이점을 지닌 정규 다양체와 양성 캐논리컬 번들의 고정된 가속도를 갖는 쌍의 모듈리 공간을 포함하는 콪팩티피케이션된 Hilbert 스킴을 통해 보편 가속도를 구성하기 위해.
• 보편 가속도에 대해 약한 준정적 분해를 적용하여 반-로그-칸토니컬 특이점과 양호한 붕괴 성질을 지닌 가속도를 얻기 위해.
• 차원 n+1에서의 최소 모델 프로그램(MMP(n+1))을 사용하여 약한 준정적 가속도의 상대 캐논리컬 모델을 구성하기 위해.
• Siu–Kawamata 정리들을 통한 다중형수의 불변성에 기반하여, 상대 캐논리컬 환의 기저 위에서 유한 생성임을 증명하기 위해.
• 최종적으로, 사영 기저 B 위에서 구성된 가속도가 주어진 Hilbert 함수를 가진 모든 안정적이고 스무스 가능한 n-차원 다양체를 매개변수화함을 확립하기 위해.
• 로그-칸토니컬 특이점과 로그-MMP(n+1)를 고려하여 안정 쌍 (Y₀, D₀)에 대해 방법을 적응하기 위해, 다중형수의 불변성과 로그-칸토니컬 쌍에 대한 반정적 성질을 가정하기 위해.

실험 결과

연구 질문

• RQ1 차원 n+1에서의 최소 모델 프로그램을 가정할 때, 고정된 Hilbert 함수를 가진 안정적이고 스무스 가능하며 반-로그-칸토니컬 특이점을 지닌 n-차원 다양체의 모듈리 함수자가 유계성을 갖는가?
• RQ2 이러한 n-차원 다양체에 대해 근본 모듈리 공간의 구성이 MMP(n+1)에 의한 가속도의 유계성으로 환원될 수 있는가?
• RQ3 로깅-칸토니컬 특이점과 양성 K_Y₀ + D₀를 지닌 안정 쌍 (Y₀, D₀)에 대한 유계성 결과는 로그-MMP(n+1)와 다중형수의 불변성에 어떻게 의존하는가?
• RQ4 반정적 성질과 다중형수의 불변성에 대한 가정은 고차원 MMP 가정으로 얼마나 넓게 대체될 수 있는가?
• RQ5 모듈리 함수자가 국소적으로 닫혀 있고, 분리 가능하며 완비적이라면, 유계성에 의해 사영적인 근본 모듈리 공간의 존재가 유도되는가?

주요 결과

• 차원 n+1에서의 최소 모델 프로그램을 가정할 경우, 고정된 Hilbert 함수 H를 가진 안정적이고 스무스 가능한 n-차원 다양체의 모듈리 함수자 M_H^sm은 유계적이다.
• 유계성은 M_H^sm이라는 사영적인 근본 모듈리 공간의 존재를 암시하며, 이는 모듈리 함수자를 근본적으로 표현한다.
• 다중형수의 불변성과 MMP(n+1)에 기반하여, 약한 준정적 가속도의 상대 캐논리컬 환은 기저 위에서 유한 생성된 대수의 층이다.
• 사영 기저 B 위에서 구성된 가속도의 섬유는 주어진 Hilbert 함수 H를 가진 모든 안정적이고 스무스 가능한 n-차원 다양체를 포함한다.
• 이 증명은 알렉세예프의 반-로그-칸토니컬 표면에 대한 유계성 결과를 고차원 n-차원 다양체로 단순화하고 일반화한다.
• 로그-MMP(n+1)와 다중형수의 불변성이 성립할 경우, 이 방법은 안정 쌍 (Y₀, D₀)에 대해 적응 가능하며, 로그-칸토니컬 특이점과 양성 K_Y₀ + D₀를 가진다.