[논문 리뷰] A converse to the Andreotti-Grauert theorem

Jean-Pierre Demailly|2010. 11. 16.

Geometry and complex manifolds참고 문헌 9인용 수 4

한 줄 요약

이 논문은 프로젝티브 다양체에서, 헬로모르픽 선다발의 볼륨이 첫 번째 체른 클래스의 모든 매끄러운 대표자에 대한 몽제-암페르 적분의 하한임을 증명함으로써 앤드레오티-그로텐디크 퇴화 정리의 역을 확립한다. 증명은 근사 자리 스플릿 분해, 수직성 추정, 곡률 미분형식 구성 기법을 활용하여, 선다발이 준효율적이지 않은 경우에도 헬로모르픽 모어스 부등식에서 볼륨 함수에 대해 등호가 성립함을 보인다.

ABSTRACT

The goal of this paper is to show that there are strong relations between certain Monge-Ampère integrals appearing in holomorphic Morse inequalities, and asymptotic cohomology estimates for tensor powers of holomorphic line bundles. Especially, we prove that these relations hold without restriction for projective surfaces, and in the special case of the volume, i.e. of asymptotic 0-cohomology, for all projective manifolds. These results can be seen as a partial converse to the Andreotti-Grauert vanishing theorem.

연구 동기 및 목표

• 점근 코homology와 헬로모르픽 모어스 부등식의 맥락에서 앤드레오티-그로텐디크 퇴화 정리의 역을 확립하기.
• 점근 코호몰로지 퇴화가 $q=0$ 차수에서 허미션 메트릭이 제어된 곡률을 갖는다는 것을 보장하는지 조사하기.
• 프로젝티브 다양체 위의 헬로모르픽 선다발의 볼륨 함수가 그 첫 번째 체른 클래스의 모든 매끄러운 대표자에 대한 몽제-암페르 적분의 하한과 일치함을 증명하기.
• 빅 케이스를 초월하여, $L$이나 $-L$이 둘 다 준효율적이지 않은 경우에도 점근 코호몰로지와 몽제-암페르 적분 간의 등호를 확장하기.
• 근사 기법과 곡률 미분형식 분석을 통해 볼륨 케이스에서 약한 및 강한 모어스 부등식이 등호로 전환됨을 보여주기.

제안 방법

• 다양체의 블로우업에서 켈러 미분형식에 대한 근사 자리 스플릿 분해를 활용하여, 미분형식의 역상이 예외적 인수와 켈러 형식의 합으로 표현됨을 보임.
• 준효율성 콘의 특성과 수직성 추정을 적용하여 켈러 형식과 예외적 인수 간의 교차수를 제어함.
• 예외적 인수 위의 선다발에서 유도된 곡률 항과 켈러 형식을 조합하여 $c_1(L)$에 속하는 매끄러운 $(1,1)$-형식 $u_\varepsilon$의 가속을 구성함.
• 극한 추론을 통해 $u_\varepsilon$의 $0$-지표 집합의 $L^2$ 노름이 $\beta^2 + 2\beta \cdot E$로 수렴함을 보임. 여기서 $\beta$는 켈러 형식이고 $E$는 자리 스플릿 분해에서 유도된 예외적 인수임.
• Serre 대칭성과 Riemann-Roch 정리를 활용하여, $L$이나 $-L$이 준효율적이지 않은 경우를 다루기 위해 양성 및 음성 부분을 선형 조합으로 조합함.
• $u_\varepsilon^2$의 약한 극한을 분석하고, 몽제-암페르 적분의 질량이 $1$-지표 집합에 집중됨을 보여, 하한이 달성됨을 확인함.

실험 결과

연구 질문

• RQ1 점근 $0$-코호몰로지가 퇴화하면, $c_1(L)$에 속하는 매끄러운 대표자 중 곡률이 비음성인 것이 존재하는가?
• RQ2 프로젝티브 다양체 위의 헬로모르픽 선다발의 볼륨은 $c_1(L)$에 속하는 모든 매끄러운 $(1,1)$-형식에 대한 몽제-암페르 적분의 하한으로 표현될 수 있는가?
• RQ3 볼륨 함수에 대해 프로젝티브 표면 및 고차원 프로젝티브 다양체에서 헬로모르픽 모어스 부등식이 등호로 성립하는가?
• RQ4 $L$이나 $-L$이 둘 다 준효율적이지 않은 경우 모어스 부등식의 하한은 어떻게 되며, 곡률 미분형식의 근사가 여전히 등호를 이끌 수 있는가?
• RQ5 근사 자리 스플릿 분해와 수직성 추정은 점근 코호몰로지에 대해 곡률 적분으로 얼마나 잘 제어할 수 있는가?

주요 결과

• 모든 프로젝티브 다양체 $X$와 그 위의 헬로모르픽 선다발 $L$에 대해, $\mathop{\rm Vol}(X,L) = \inf_{u \in c_1(L)} \int_{X(u,0)} u^n$ 이 성립하며, 이는 $q=0$에 대해 약한 모어스 부등식에서 등호가 성립함을 보여준다.
• 선다발 $L$이 준효율적이지 않은 경우에도, $c_1(L)$ 내에서 $0$-지표 집합이 제어된 적절한 곡률 미분형식의 극한을 구성함으로써 등호가 유지됨을 보였다.
• 몽제-암페르 적분 $\int_{X(u_\varepsilon,0)} u_\varepsilon^n$ 의 극한이 $\beta^2 + 2\beta \cdot E$로 수렴함을 보였으며, 여기서 $\beta$는 켈러 형식이고 $E$는 자리 스플릿 분해에서 유도된 예외적 인수임.
• 구성 과정을 통해 몽제-암페르 측도의 핵심 질량이 $1$-지표 집합에 집중됨을 확인하였으며, 이는 하한이 $0$-지표 집합에서 달성되지 않고 곡률 근사에 의해 달성됨을 의미함.
• 이 방법은 표면을 초월하여 모든 프로젝티브 다양체에 적용 가능하며, 곡률 제어를 통한 앤드레오티-그로텐디크 퇴화 정리의 부분적 역을 제공함.
• 결과적으로 점근 코호몰로지 추정이 볼륨 함수에 대해 몽제-암페르 적분에 의해 정확히 기술됨을 확인하였으며, 하한에서 손실이 발생하지 않음.