[논문 리뷰] Continuity of volumes on arithmetic varieties

Atsushi Moriwaki|ArXiv.org|2006. 12. 11.

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

한 줄 요약

이 논문은 $C^{\infty}$-헤르미트의 가역층에 대한 산술 체적 함수의 연속성을 확립하며, 이는 체적 함수가 유리수 네론-세베르 기하학적 군 위에서 연속임을 증명한다. 핵심 결과는 네프 헤르미트 선다발에 대한 산술 힐베르트-사무엘 공식으로, 산술 자기교차수의 양성도를 통해 크기의 성격을 특징짓는다.

ABSTRACT

We introduce the volume function for hermitian invertible sheaves on an arithmetic variety as an analogue of the geometric volume function. The main result of this paper is the continuity of the arithmetic volume function. As a consequence, we have the arithmetic Hilbert-Samuel formula for a nef hermitian invertible sheaf. We also give another several applications, for example, a generalized Hodge index theorem, an arithmetic Bogomolov-Gieseker's inequality, etc.

연구 동기 및 목표

• 산술 다양체 위의 $C^{\infty}$-헤르미트의 가역층에 대해 기하학적 체적 함수의 유사체로 산술 체적 함수를 정의하고 연구한다.
• 산술 체적 함수가 유리수 네론-세베르 기하학적 군 위에서 연속임을 확립하여 산술기하학의 기본적 문제를 해결한다.
• 네프 헤르미트 선다발에 대한 산술 힐베르트-사무엘 공식을 유도하여 크기의 성격을 산술 자기교차수의 양성도와 연결한다.
• 연속성 결과를 응용하여 일반화된 호지 인덱스 정리와 산술 보고몰로프-기세커 부등식을 도출한다.

제안 방법

• 초등수의 제곱노름이 1 이하인 단면의 로그 성장률의 상한극한을 통해 산술 체적 함수를 정의한다.
• 체적 함수의 동차성과 이를 이용해 유리수 네론-세베르 기하학적 군으로 확장한다.
• 산술 다양체 위의 선다발 단면에 대한 제어된 코homology 성장률을 포함하는 핵심 기술적 추정(정리 C)을 확립한다.
• 산술 리만-로흐에 의존하지 않고, 분할의 기하학적 성질과 코homological bound를 기반으로 직접 추정을 사용하여 연속성을 증명한다.
• 연속성 결과를 응용하여 네프성과 준양성 조건 하에서 산술 힐베르트-사무엘 공식과 일반화된 호지 인덱스 정리를 도출한다.
• 특이점의 해소와 앰플리튜드 가정을 사용하여 문제를 알려진 경우로 환원하고 코homological 성장 추정을 적용한다.

실험 결과

연구 질문

• RQ1 산술 다양체의 유리수 네론-세베르 기하학적 군 위에서 산술 체적 함수는 연속적인가?
• RQ2 네프 $C^{\infty}$-헤르미트 선다발에 대해 산술 힐베르트-사무엘 공식이 성립하는가?
• RQ3 네프성과 준양성 조건 하에서 산술 다양체에 대해 일반화된 호지 인덱스 정리를 확립할 수 있는가?
• RQ4 산술 자기교차수의 양성도가 헤르미트 선다발의 크기 성격을 유도하는 데 어떤 조건에서 성립하는가?
• RQ5 일반화된 호지 인덱스 정리로부터 산술 보고몰로프-기세커 부등식을 도출할 수 있는가?

주요 결과

• 산술 체적 함수는 $\widehat{\operatorname{Pic}}(X)\otimes\mathbb{Q}$ 위에서 연속이며, 이는 네프 헤르미트 선다발에 대해 산술 힐베르트-사무엘 공식의 타당성을 암시한다.
• 네프 $C^\infty$-헤르미트 선다발 $\overline{L}$에 대해 산술 힐베르트-사무엘 공식이 성립한다: $\log\#\{s\in H^0(X,mL+N)\mid\|s\|_{\sup}\leq 1\} = \frac{\widehat{\operatorname{deg}}(\widehat{c}_1(\overline{L})^{\cdot d})}{d!}m^d + o(m^d)$ as $m\to\infty$.
• 산술 체적은 $\overline{L}$가 네프일 경우 $\widehat{\operatorname{vol}}(\overline{L}) = \widehat{\operatorname{deg}}(\widehat{c}_1(\overline{L})^{\cdot d})$를 만족하며, $\overline{L}$가 크기일 필요충분조건은 $\widehat{\operatorname{deg}}(\widehat{c}_1(\overline{L})^{\cdot d}) > 0$이다.
• 일반화된 호지 인덱스 정리가 성립한다: $L_\mathbb{Q}$가 네프이고, $c_1(\overline{L})$가 준양성이며, $L$이 중간 정도의 코homological 성장률을 가질 경우 $\widehat{\operatorname{vol}}(\overline{L}) \geq \widehat{\operatorname{deg}}(\widehat{c}_1(\overline{L})^{\cdot d})$이다.
• 에인슈타인-헤르미트 헤르미트 벡터다발에 대해 산술 표면에서 산술 보고몰로프-기세커 부등식이 성립한다: $\widehat{\operatorname{deg}}\left(\widehat{c}_2(\overline{E}) - \frac{r-1}{2r}\widehat{c}_1(\overline{E})^2\right) \geq 0$.
• 체적 함수의 연속성 덕분에, 섬유에서의 네프성과 첫 번째 체르니 형식의 준양성 조건 하에서 $\widehat{\operatorname{deg}}(\widehat{c}_1(\overline{L})^{\cdot d}) > 0$이면 항상 $\overline{L}$가 크다고 결론내일 수 있다.