[논문 리뷰] On minimal singular metrics of certain class of line bundles whose section ring is not finitely generated

Takayuki Koike|arXiv (Cornell University)|2013. 12. 22.

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

한 줄 요약

이 논문은 섹션 링이 유한 생성되지 않는 특정한 네프이고 빅인 선다발에 대해, 타원곡선 위의 12개의 점에서의 $\mathbb{P}^2$의 블로우업 위에서 매끄러운 허미션 메트릭이 존재함을 보이며, 이 메트릭은 준양의 곡률을 가짐을 증명한다. 주요 방법은 매끄러운 초곡면의 튜브근처에서 균형 메트릭을 사용하여 최소의 특이성을 가진 메트릭을 구성하는 것으로, 정규화된 최대 함수를 사용하여 국소 메트릭을 매끄럽게 접합함으로써 복소다양체의 고차원 일반화를 달성한다. 이는 정규화된 최대 함수를 사용하여 국소 메트릭을 매끄럽게 접합함으로써 복소다양체의 고차원 일반화를 달성한다.

ABSTRACT

Our interest is a regularity of a minimal singular metric of a line bundle. One main conclusion of our general result in this paper is the existence of continuous Hermitian metrics with semi-positive curvatures on the so-called Zariski's example of a line bundle defined over the blow-up of $\mathbb{P}^2$ at some twelve points. This is an example of a line bundle which is nef, big, not semi-ample, and whose section ring is not finitely generated. We generalize this result to the higher dimensional case when the stable base locus of a line bundle is a smooth hypersurface with a holomorphic tubular neighborhood.

연구 동기 및 목표

• 섹션 링이 유한 생성되지 않은 경우, 특히 자르스키의 예와 같은 병리적 케이스에서 선다발의 최소 특이성 메트릭의 정규성을 해결하는 것.
• 균일한 유계성과 매끄러운 초곡면 위로의 연속성을 보장하는 조건을 설정하여, 허위효과적 선다발의 최소 특이성 메트릭이 매끄럽게 연장되는지 확인하는 것.
• 반-준항상적 선다발을 넘어서, 안정기저집합이 매끄러운 초곡면이면서 복소다양체 튜브근처를 갖는 경우에도 매끄러운 허미션 메트릭이 존재하는지를 일반화하는 것.
• 초곡면 위의 $\mathbb{R}$-선다발에 대한 균형 메트릭을 사용하여 최소 특이성 메트릭의 구체적인 해석적 구성법을 제공하는 것.

제안 방법

• 매끄러운 대역 $X$ 안의 매끄러운 초곡면 $D$에 대한 복소다양체 튜브근처의 존재를 이용하여, 메트릭 구성 문제를 $\mathbb{P}^1$-_bundle 구조로 환원하는 것.
• 정리 1.3을 적용하여 베르그만 커널 방법과 $\mathbb{P}(L)$로의 제한을 통해 $\mathcal{O}_{\mathbb{P}(A\oplus L)}(1)$에 대한 최소 특이성 메트릭을 구성하고, 이를 통해 $L$에 대한 최소 특이성 메트릭을 도출하는 것.
• $t \in [0,1]$에 대해 $\mathbb{R}$-선다발 $tA|_D + (1-t)L|_D$의 균형 메트릭을 사용하여 $D$ 근처의 메트릭을 명시적으로 묘사하는 것.
• 정규화된 최대 함수를 사용하여 국소 메트릭을 매끄럽게 접합함으로써, 복소다양체 함수의 성질과 매끄러움을 보장하는 것.
• $L$에 대한 최소 특이성 메트릭을 구성하는 문제를, $X \setminus D$에서의 특이성 메트릭을 $D$의 튜브근처에서 구성된 메트릭으로 대체함으로써 해결하는 것. 이는 $\mathbb{P}^1$-bundle 결과를 활용한다.
• Grauert 정리를 적용하여 $(D^2) < \min\{0, 4 - 4g\}$ 조건을 만족할 경우 복소다양체 튜브근처가 존재함을 보장하며, 이는 자르스키의 예에서 $g=1$이고 $(D^2) = -3$일 때 성립한다.

실험 결과

연구 질문

• RQ1 허위효과적 선다발의 최소 특이성 메트릭이 복소다양체 튜브근처를 갖는 매끄러운 초곡면 위로 매끄럽게 연장되는 조건은 무엇인가?
• RQ2 섹션 링이 유한 생성되지 않은 네프이고 빅인 선다발에 대해, 준양의 곡률을 가진 매끄러운 허미션 메트릭이 존재할 수 있는가?
• RQ3 선다발 $L|_D$가 허위효과적이고 $D$가 복소다양체 튜브근처를 갖는다면, 선다발 $L$의 최소 특이성 메트릭이 $D$에 제한되었을 때 $L|_D$의 최소 특이성 메트릭이 되는가?
• RQ4 초곡면 위의 $\mathbb{R}$-선다발에 대한 균형 메트릭은 어떻게 사용하여 $L$ 근처의 최소 특이성 메트릭을 명시적으로 구성할 수 있는가?
• RQ5 선다발 $L|_D$가 준양이고 정규화 조건이 만족될 경우, $L$의 최소 특이성 메트릭은 국소적으로 유계인가?

주요 결과

• 타원곡선 $C$ 위의 12개의 일반적인 점에서의 $\mathbb{P}^2$의 블로우업에서 선다발 $L = \mathcal{O}_X(H + D)$는 네프이고 빅이며, 반-준항상적이 아니며 섹션 링이 유한 생성되지 않지만, 여전히 준양의 곡률을 가진 매끄러운 허미션 메트릭을 가짐을 보였다.
• 자르스키의 예에서 $(D^2) = -3$이고 $g(D) = 1$이므로, 정리 1.2의 가정을 만족하는 복소다양체 튜브근처가 존재함을 보장한다.
• $L|_D$가 준양일 경우, 추론 3.5에 의해 $L$ 자체가 준양임을 보여주며, 이는 매끄러운 준양 메트릭의 존재를 위한 충분조건이 된다.
• 최소 특이성 메트릭은 $X \setminus D$에서 국소적으로 유계이고 매끄럽고, $L|_D$가 허위효과적일 경우 $D$로의 제한은 $L|_D$의 최소 특이성 메트릭이 된다.
• $D$ 근처의 최소 특이성 메트릭은 $t \in [0,1]$에 대해 $tA|_D + (1-t)L|_D$의 균형 메트릭을 사용하여 명시적으로 묘사되며, 이는 정리 2.2의 형태와 스무스 조화함수의 차이를 제외하고 동일한 형태를 가진다.
• 결과는 머포드의 예에도 일반화된다: 매끄러운 표면 $X$, 매우 항상적 초곡면 $A$, $(D^2) < 0$이고 ${\rm Pic}(X) \to {\rm Pic}(D)$가 단사인 곡선 $D$에 대해, $L = \mathcal{O}_X(bA + aD)$는 $b$가 충분히 클 때 $p_0 = 1$이면 준양이 된다.