[논문 리뷰] Local volumes on normal algebraic varieties

Mihai Fulger|arXiv (Cornell University)|2011. 05. 16.

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

한 줄 요약

이 논문은 정규 대수다양체의 비라티오널 수정에서 카르티에 초면에 대한 국소 체적의 새로운 개념을 도입하며, 고립 특이점의 체적을 일반화한다. 국소 체적 함수의 연속성, 동차성, 로그볼록성과 함께, limsup 대신 극한을 사용하는 푸지타 유형의 근사 정리를 증명하고, 특이점의 체적이 로그해결에서 카누니컬 초면의 국소 체적과 같음을 보여, 표면 결과를 고차원으로 확장한다.

ABSTRACT

In this paper we study a notion of volume for Cartier divisors on arbitrary blow-ups of normal complex algebraic varieties of dimension greater than one, with a distinguished point. We apply this to study a volume for normal isolated singularities, generalizing work on surfaces done by Wahl. We also compare this volume of isolated singularities to a different generalization due to Boucksom, de Fernex and Favre.

연구 동기 및 목표

• 정규 대수다양체 위의 점에서 카르티에 초면의 국소 체적을 정의하고 연구하는 것.
• 고립 특이점의 체적을 고차원으로 일반화하여 표면 특이점의 결과를 확장하는 것.
• 부크스롬, 드 페르네, 파브르가 도입한 대안적 개념과 이 국소 체적을 비교하는 것.
• 국소 체적의 기하학적 및 점근적 성질(소멸, 로그볼록성 포함)을 조사하는 것.
• 국소 다중도 및 체적에 대한 교차 이론적 해석 가능성 탐색

제안 방법

• 점 $ x $ 에서 카르티에 초면 $ D $ 의 국소 체적을 $ \mathrm{vol}_x(D) = \lim_{m\to\infty} \frac{h^1_x(mD)}{m^n/n!} $ 으로 정의한다. 여기서 $ h^1_x(D) = \dim H^1_{\{x\}}(X, \pi_*\mathcal{O}_{X'}(D)) $ 이다.
• $ \mathrm{vol}_x(D) $ 가 잘 정의되어 있고, $ n $-동차적이며, 점 $ x $ 에서의 수치 동치에 대한 네로-세베 공간 위에서 연속적임을 증명한다.
• 볼록 기하학과 푸지타 근사 기법을 사용하여 극한이 존재하고 $ \limsup $ 와 같음을 보이며, [19]의 방법을 확장한다.
• 로그해결 $ \pi: (\widetilde{X},E) \to (X,x) $ 에서 특이점 $ (X,x) $ 의 국소 체적을 $ K_{\widetilde{X}} + E $ 의 체적과 연관지운다.
• 점 $ x $ 에서의 예외적 초면 공간에서 $ \mathrm{vol}_x $ 가 로그볼록임을 확립하지만, 전체 네로-세베 공간에서는 반드시 로그볼록이 아닐 수 있음을 밝힌다.
• 점근 호모로지 함수와 아이디얼 층의 계승 가중족을 사용하여 $ \mathrm{vol}_x(D) $ 를 국소 다중도 $ \widehat{h}^1_x(\mathfrak{a}_p) $ 로 표현한다.

실험 결과

연구 질문

• RQ1 만약 $ D $ 가 네프가 아니거나 $ x $ 에서만 지지되지 않는 경우, 국소 체적 $ \mathrm{vol}_x(D) $ 는 점근적 교차 이론적 해석을 갖는가?
• RQ2 국소 체적 $ \mathrm{vol}_x(D) $ 의 정의에서 극한이 항상 $ \limsup $ 와 같고, 이는 논문에서 다룬 초면의 범주를 초월해 일반화될 수 있는가?
• RQ3 국소 체적 $ \mathrm{vol}_x(D) $ 는 프로젝트브 다양체의 전역 체적과 유사한 이동 자기교차 수로 기술될 수 있는가?
• RQ4 $ \mathrm{vol}_x(D) $ 는 전체 네로-세베 공간 $ N^1(X'/X)_{\mathbb{R}} $ 에서 어떻게 행동하며, 어디서 소멸하는가?
• RQ5 $ \mathcal{I} $ 가 분수 아이디얼 층일 때, $ \widehat{h}^1_x(\mathcal{I}) $ 의 기하학적 해석은 교차 이론적으로 존재하는가?

주요 결과

• 국소 체적 $ \mathrm{vol}_x(D) $ 는 잘 정의되어 있으며, $ n $-동차적이며, $ N^1(X'/X)_{\mathbb{R}} $ 에서 연속적이다. 이는 전역 체적 함수의 성질을 확장한다.
• 국소 체적 $ \mathrm{vol}_x(D) $ 의 정의에서 극한이 존재하며 $ \limsup $ 와 같고, 따라서 $ \mathrm{vol}_x(D) = \lim_{m\to\infty} \frac{h^1_x(mD)}{m^n/n!} $ 이다. 이는 핵심 기술적 문제를 해결한다.
• 정규 고립 특이점 $ (X,x) $ 에 대해, 체적 $ \mathrm{vol}(X,x) $ 는 로그해결 $ \pi: (\widetilde{X},E) \to (X,x) $ 에서 $ \mathrm{vol}_x(K_{\widetilde{X}} + E) $ 와 같다.
• 국소 체적 $ \mathrm{vol}_x(D) $ 는 $ \widetilde{D} $ 가 정규화로의 풀백일 때 모든 $ m \geq 0 $ 에 대해 $ h^1_x(m\widetilde{D}) = 0 $ 이면 오직 그 때에만 소멸한다.
• 점 $ x $ 에서의 예외적 초면 공간에서 $ \mathrm{vol}_x $ 는 로그볼록이지만, 전체 네로-세베 공간에서는 반드시 로그볼록이 아닐 수 있다.
• 정규 고립 특이점 사이의 유한 사상 $ f: (X,x) \to (Y,y) $ 에 대해 $ \mathrm{vol}(X,x) \geq (\deg f) \cdot \mathrm{vol}(Y,y) $ 이다. 이는 표면 결과를 일반화한다.