[논문 리뷰] $L^2$ estimates and vanishing theorems for holomorphic vector bundles equipped with singular Hermitian metrics

Takahiro Inayama|arXiv (Cornell University)|2018. 02. 28.

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

한 줄 요약

이 논문은 복소다양체 위의 특이 헤르미트 메트릭을 가진 정칙 벡터(bundle)에 대해 $L^2$ 추정과 코homology 소멸 정리들을 수립한다. 특히 프로젝티브 다양체 위에서 엄격한 그리피스 긍정성 메트릭을 중심으로 다룬다. 특이 설정에서 나카노 긍정성의 일반 정의가 부재함을 우회함으로써, $\bar{\partial}$-닫힘된 형식에 대한 $L^2$ 추정을 증명하고, 르레강 수준 조건 하에 $H^q(X, K_X \otimes E \otimes \det E)$의 소멸 결과를 도출하며, 고전적 그리피스 소멸 정리를 특이 설정으로 일반화한다.

ABSTRACT

We investigate singular Hermitian metrics on vector bundles, especially strictly Griffiths positive ones. $L^2$ esitimates and vanishing theorems usually require an assumption that vector bundles are Nakano positive. However there is no general definition of the Nakano positivity in singular settings. In this paper, we show various $L^2$ estimates and vanishing theromes by assuming that the vector bundle is strictly Griffiths positive and the base manifold is projective.

연구 동기 및 목표

• 벡터 번들의 특이 헤르미트 메트릭에서 나카노 긍정성에 대한 일반 정의가 부재한 문제를 다루는 것.
• 엄격한 그리피스 긍정성 특이 헤르미트 메트릭 하에서 $L^2$ 추정과 코homology 소멸 정리들을 수립하는 것.
• 고전적 $L^2$ 추정과 소멸 정리(예: 그리피스 소멸)를 프로젝티브 다양체 위의 특이 메트릭 설정으로 일반화하는 것.
• 코homological 장애를 통해 특정 특이 헤르미트 메트릭의 존재 불가를 증명하는 기준을 제공하는 것.

제안 방법

• 벡터 번들의 특이 헤르미트 메트릭에 대해 이중 번들의 곡률 미분형식을 통해 정의된 엄격한 그리피스 $\delta_\omega$-긍정성의 개념을 도입한다.
• 특이 메트릭 $h$가 점별로 상대적으로 컴acts한 부분집합에서 수렴하는 근사 스크린 메트릭 $h_\nu$에 대해 허르망더의 $L^2$ 추정을 적용한다.
• 만약 $h$가 엄격한 그리피스 $\delta$-긍정성이라면, $h \otimes \det h$는 나카노 긍정성 메트릭과 유사하게 행동하여, $E \otimes \det E$-값을 가진 형식에 대한 $L^2$ 추정이 가능하다는 사실을 이용한다.
• 약한 극한 추론을 통해 근사 스크린 메트릭에서 특이 메트릭으로의 전환을 수행하며, $L^2$ 유계성이 유지됨을 보장한다.
• 스코다의 적분 가능성 정리를 적용하여, $\nu(-\log \det h, x) < 1$일 때 $1/\det^2 h^\star \in L^1_{\text{loc}}$임을 보이고, 가중치의 적분 가능성을 확보한다.
• 세르 쌍대성과 $\mathbb{P}^n$ 위의 알려진 코homology 계산을 이용해 모순을 이끌어내어, 특정 메트릭의 존재 불가를 증명한다.

실험 결과

연구 질문

• RQ1 나카노 긍정성이 특이 헤르미트 메트릭에서 일반 정의가 없을 경우, 정칙 벡터 번들의 특이 헤르미트 메트릭에 대해 $L^2$ 추정과 소멸 정리를 수립할 수 있는가?
• RQ2 특이 헤르미트 메트릭이 엄격한 그리피스 긍정성을 만족할 경우, $E \otimes \det E$-값을 가진 $\bar{\partial}$-닫힘 형식에 대해 $L^2$ 추정이 성립하는가?
• RQ3 $-\log \det h$의 르레강 수준 조건 하에 $H^q(X, K_X \otimes E \otimes \det E)$가 소멸하는 조건은 무엇인가?
• RQ4 코homological 장애를 통해 특정 곡률과 적분 가능성 성질을 갖는 그리피스 준긍정적 특이 헤르미트 메트릭의 존재 불가를 증명할 수 있는가?

주요 결과

• 정리 1.1은 $E$-값을 가진 $(n,n)$-형식에 대한 $L^2$ 추정을 수립한다: $\int_X |g|^2_{h,\omega} dV_\omega \leq \frac{1}{\delta n} \int_X |f|^2_{h,\omega} dV_\omega$ for $\bar{\partial}g = f$.
• 보조정리 1.2는 모든 $x \in X$에 대해 $\nu(-\log \det h, x) < 2$이면 $H^n(X, K_X \otimes E) = 0$임을 보여준다.
• 정리 1.3은 $E \otimes \det E$-값을 가진 $(n,q)$-형식에 대한 $L^2$ 추정을 제공한다: $\int_X |g|^2_{h \otimes \det h, \omega} dV_\omega \leq \frac{1}{\delta q r} \int_X |f|^2_{h \otimes \det h, \omega} dV_\omega$.
• 보조정리 1.4는 모든 $x \in X$에 대해 $\nu(-\log \det h, x) < 1$이면 $q > 0$에 대해 $H^q(X, K_X \otimes E \otimes \det E) = 0$임을 증명한다.
• 예제 5.2는 $\mathbb{P}^n$ 위의 몫 번들 $Q$가 전지역적으로 $\nu(-\log \det h, x) < 1$을 만족하는 그리피스 준긍정적 특이 헤르미트 메트릭을 가질 수 없음을 보여주며, 이는 코homology의 비소멸성 때문임을 밝힌다.
• 논문은 특이 나카노 긍정성의 공식 정의가 없더라도, $h \otimes \det h$가 $L^2$ 추정에서 나카노 긍정성 메트릭과 유사하게 행동함을 보여준다.