[논문 리뷰] Logarithmic Kodaira-Akizuki-Nakano vanishing and Arakelov-Parshin boundedness for singular varieties

Sándor J. Kovács|arXiv (Cornell University)|2000. 03. 03.

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

한 줄 요약

이 논문은 특이 다양체에 대해 로그 코다이라-아키즈키-나카노 여명 정리를 대수적 일반화하여, 반단정선형계와 크기 선다발을 갖는 특이 설정으로 일반화한다. 주요 기여는 아라켈로프-파르신 유형의 유한성 결과를 가능하게 하는 기본적인 여명 결과로, 곡선 위의 다양체 가닥에 대해 다항다중선다발의 푸시포워드의 차수는 종수와 특이 섬유 수에 따라 유계임을 증명한다.

ABSTRACT

The article has two parts. The first part is devoted to proving a singular version of the logarithmic Kodaira-Akizuki-Nakano vanishing theorem of Esnault and Viehweg. This is then used to prove other vanishing theorems. In the second part these vanishing theorems are used to prove an Arakelov-Parshin type boundedness result for families of canonically polarized varieties with rational Gorenstein singularities.

연구 동기 및 목표

• 특이 다양체로의 로그 코다이라-아키즈키-나카노 여명 정리의 일반화를 통해 매끄러운 설정에서의 결과를 특이 설정으로 확장한다.
• 제어된 특이 섬유를 갖는 곡선 위의 다양체 가닥에 대해 아라켈로프-파르신 유형의 유한성 결과를 확립한다.
• 다항다중선다중선다발의 푸시포워드의 차수가 종수와 특이 섬유 수에 따라 유계임을 증명한다.
• 모듈리 공간의 유한성과 자동형군 추정에 핵심적인 기술적 도구가 되는 여명 정리를 제공한다.
• 여명 정리가 명백한 일반화가 실패하는 경우에도 여전히 유한성을 암시함을 보여준다.

제안 방법

• 특이 설정에 적합하게 조정된 상대적 코다이라-아키즈키-나카노 여명 정리의 상대적 형태를 사용하여 특이 다양체에 대한 로그 여명 정리를 도입한다.
• 가닥 $ f: X \to C $ 에 대해 곡선 $ C $ 위의 다양체 가닥에 정리를 적용하고, 상대적 기저점 자유 정리를 사용하여 기존의 경우로 환원한다.
• 상대적 캐논리컬 번들 $ \omega_{X/C} $ 에 대한 네프이자 크기 조건을 사용하여, 당김과 수정을 통해 여명 정리를 적용한다.
• 유한 커버 $ \tilde{X} \to X $ 와 수정된 선다발 $ \tilde{\mathcal{L}} $ 을 구성하여, 특정 배경의 보조 다발에 대해 반단정선형계이자 단정선형계가 되도록 하여 여명 정리의 적용을 가능하게 한다.
• 푸시포워드의 차수 $ \deg(f_* \omega_{X/C}^m) $ 를 핵심 불변량으로 사용하며, 종수 $ g $ 와 특이 섬유 수 $ \delta $ 를 통해 유계화한다.
• 모듈리 함수 $ \mathfrak{D}_h^{(m)} $ 와 그 프로젝티브 컴actsification $ \bar{D}_h^{(m)} $ 를 사용하여 가닥을 매개화하고 이러한 사상의 유한성을 증명한다.

실험 결과

연구 질문

• RQ1 반단정선형계이자 크기 선다발을 갖는 특이 다양체에 대해 로그 코다이라-아키즈키-나카노 여명 정리가 확장될 수 있는가?
• RQ2 종수와 특이 섬유 수가 $ 2g - 2 + \delta > 0 $ 를 만족하는 곡선 위의 다양체 가닥에 대해 다항다중선다중선다발의 푸시포워드 차수의 유한성이 유지되는가?
• RQ3 제어된 특이 섬유를 갖는 캐논리컬로 극화된 다양체의 모듈리 공간으로의 사상들을 매개화하는 유한형 부분스킴이 존재하는가?
• RQ4 부드러운 해소가 없는 상황, 특히 비등변형 케이스에서 여명 정리가 유한성 결과를 증명하는 데 사용될 수 있는가?
• RQ5 상대적 $ h $-네프이자 $ h $-크기 캐논리컬 번들의 조건 하에, $ f_* \omega_{X/C}^m $ 의 차수에 대한 정확한 유계는 $ g $, $ \delta $, $ m $ 에 대해 어떻게 표현되는가?

주요 결과

• 반단정선형계이자 크기 선다발을 갖는 특이 다양체에 대해 로그 코다이라-아키즈키-나카노 여명 정리가 성립하며, 이는 에스누얼-비에흐웨그의 결과를 특이 설정으로 일반화한다.
• 모든 $ m \geq \binom{\dim X}{2} + 2 $ 에 대해 $ \deg(f_* \omega_{X/C}^m) $ 의 상한은 $ 4 \cdot \dim X \cdot (2g - 2 + \delta) \cdot m \cdot e(m) $ 이다.
• 유한성에 대해 조건 $ 2g - 2 + \delta > 0 $ 가 필수적이다. 만약 $ g = 0 $ 이고 $ \delta \leq 2 $ 이거나 $ g = 1 $ 이고 $ \delta = 0 $ 이면, 차수를 증가시키는 유한 커버가 존재하므로 유한성이 성립하지 않는다.
• 모든 사상 $ \Psi: C \to \bar{D}_h^{(m)} $ 를 매개화하는 유한형 부분스킴 $ T \subset \mathbb{H} $ 가 존재하며, 이는 $ C \setminus \Delta $ 에서 동시에 해소가 가능하다.
• 모듈리 공간 $ D_h^{(m)} $ 상에서 $ e(\omega_F^m) $ 의 유한성은 결정선다발의 차수 유한성을 보장하며, 이는 코arse 모듈리 스킴의 존재를 뒷받침한다.
• 상대적 기저점 자유 정리를 통해 여명 정리가 적용 가능한 경우로 환원할 수 있으며, 당김과 수정을 통해 이로 인해 유한성의 증명이 가능하다.