[논문 리뷰] Semipositivity theorems for moduli problems

Osamu Fujino|arXiv (Cornell University)|2012. 10. 22.

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

한 줄 요약

이 논문은 혼합 호지 이론과 호지 번들의 최근 발전을 활용하여 안정 다항식의 모듈리 함수에 대한 반양성 정리들을 수립함으로써, 콜라르의 의미에서 안정 다항식의 모듈리 함수가 반양성임을 증명한다. 이 결과는 콜라르의 프로젝티브성 기준을 완성하며, 안정 다항식의 계량 모듈리 공간의 모든 닫힌 완비 부분공간이 프로젝티브하다는 것을 보여주며, 특히 차원 ≥3에 대한 프로젝티브성 결과를 확장한다.

ABSTRACT

We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the sense of Kollár. This completes Kollár's projectivity criterion for the moduli spaces of higher-dimensional stable varieties.

연구 동기 및 목표

• 등급화된 양성 혼합 호지 구조의 적절한 변화로부터 유래된 특이 다항식을 포함하는 모듈리 문제에 대한 반양성 정리 수립.
• 안정 다항식의 모듈리 함수가 콜라르의 의미에서 반양성임을 증명함으로써 그의 프로젝티브성 기준을 완성.
• 이전에 알려지지 않았던 바와 같이, $n \geq 3$ 차원의 안정 $n$-다항식에 대해 모듈리 공간의 프로젝티브성을 확장.
• 반등급 특이 다항식을 가진 피브레이션에서 캐논리컬 선다발의 직접 이미지의 반양성에 대한 호지 이론적 기초 제공.

제안 방법

• FF1과 FFS에서 얻은 호지 번들의 반양성 정리에 기반하여, 반등급 특이 다항식을 가진 피브레이션에 적용.
• 콤��� 지원을 가진 코homology에 대한 혼합 호지 구조 이론을 적용하여 직접 이미지 선다발의 네파이스성 분석.
• 유한 사상에 의한 기본 변화 기법을 사용하여, 매끄러운 프로젝티브 곡선 위의 선다벨의 네파이스성 검증.
• 적절한 특이 다항식 조건과 캐논리컬 선다벨의 생성 조건 하에서 $f_*\omega_{X/C}^{[m]}$ 이 모든 $m \geq 1$ 에 대해 네파이스임을 이용.
• 콜라르의 프로젝티브성 기준을 적용하기 위해 반양성 조건을 검증함: $f_*\omega^{[mm_0]}_{X/C}$ 가 모든 $m \geq 1$ 에 대해 네파이스.
• $\mathcal{O}_X(k(K_{X/C} + \Delta))$ 가 $f$-생성 가능임을 이용하고, 텐서 거듭제곱의 네파이스성에 대한 귀납적 추론을 활용.

실험 결과

연구 질문

• RQ1 차원 $n \geq 3$ 인 다항식에 대해, 안정 다항식의 모듈리 함수가 콜라르의 의미에서 반양성인가?
• RQ2 반등급 특이 다항식을 가진 피브레이션에 대해, 호지 이론적 방법을 사용하여 캐논리컬 선다벨의 직접 이미지의 반양성성을 확립할 수 있는가?
• RQ3 콜라르의 프로젝티브성 기준은 표면의 경우를 초월하여 안정 다항식의 계량 모듈리 공간에 적용 가능한가?
• RQ4 캐논리컬 선다벨 $\omega_{X/C}^{[k]}$ 가 국소적으로 자유롭고 $f$-생성 가능하다는 가정 하에 $f_*\omega_{X/C}^{[m]}$ 의 네파이스성은 증명 가능한가?
• RQ5 피브레이션에 특이 다항식이 존재하더라도, 고정된 Hilbert 함수 $H$ 를 가진 안정 다항식의 모듈리 공간은 프로젝티브한가?

주요 결과

• 안정 다항식의 모듈리 함수 $\mathcal{M}^{\text{stable}}$ 는 콜라르의 의미에서 반양성이며, 즉 모든 $m \geq 1$ 과 어떤 고정된 $m_0$ 에 대해 $f_*\omega^{[mm_0]}_{X/C}$ 가 네파이스이다.
• 고정된 Hilbert 함수 $H$ 를 가진 안정 다항식의 계량 모듈리 공간은 프로젝티브하며, 이는 콜라르의 프로젝티브성 기준을 완성한다.
• 이전의 증명이 표면에 국한되어 있었기 때문에, $n \geq 3$ 차원의 안정 $n$-다항식에 대해 이 결과는 새로운 것이다.
• 반양성 정리는 $S_2$ 조건과 고차원에서의 정규 교차 조건을 만족하는 등차원 다항식에 대해, 기저 곡선의 조밀한 열린 부분집합에서 반등급 특이 다항식을 가진다.
• $f_*\omega_{X/C}^{[m]}$ 의 네파이스성은 유한 사상에 의한 기본 변화에 대해 유지되며, 이는 전역 네파이스성을 보장한다.
• 증명은 단순 정규 교차 쌍에 대해 $f_*\omega_{X/C}(D)$ 의 호지 이론적 반양성에 기반하며, 특이 피브레이션으로 일반화된다.