[논문 리뷰] On the regularity of geodesic rays associated to test configurations

D. H. Phong, Jacob Sturm|ArXiv.org|2007. 07. 26.

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

한 줄 요약

이 논문은 콪 pact한 복소다양체 위에 암시적 선다발을 지닌 경우, 단순화 기법과 몽주-암페르 방정식의 하위해 기법을 사용하여 켈러 메트릭 공간에서 $C^{1,1}$ 지오데식 레이를 구성한다. 핵심 기여는 임의의 시험 구성에 대해 이러한 레이의 존재를 증명함으로써, 기존의 지오데식 세그먼트에 대한 정규성 이론을 레이로 확장하는 것이다. 이는 해소된 총공간 위의 불변 메트릭을 통해 이루어진다.

ABSTRACT

Geodesic rays of class C^{1,1} are constructed for any test configuration of a positive line bundle L on X using resolution of singularities. The construction reduces to finding a subsolution of the corresponding Monge-Ampere equation. Geometrically, this is accomplished by the use a positive line bundle on the resolution which is trivial outside of the exceptional divisor.

연구 동기 및 목표

• 양성 선다발의 시험 구성에 대해 켈러 메트릭 공간에서 $C^{1,1}$ 지오데식 레이의 존재를 확립하는 것.
• 이전에 베르그만 근사와 약한 극한을 통해 완료된 지오데식 세그먼트 프로그램을 지오데식 레이의 경우로 확장하는 것.
• 시험 구성의 총공간 해소에서 몽주-암페르 방정식의 하위해를 구성함으로써 지오데식 레이의 정규성 문제를 해결하는 것.
• 해소된 총공간 위의 불변 메트릭을 이용한 기하적 프레임워크를 제공하여, 결과 지오데식 레이의 $C^{1,1}$ 정규성을 보장하는 것.

제안 방법

• 시험 구성의 총공간 $\mathcal{X}$ 의 해소를 통해 매끄럽고 컴act한 캐릭터스터리스케이션 $\tilde{\mathcal{X}}$ 를 구성하고, $\mathbb{C}^\times$-행동에 대해 등변적인 $\mathbb{C}^\times$-행동을 갖도록 한다.
• 예외적 인자 외부에서 자명한 양성 선다발을 $\tilde{\mathcal{X}}$ 위에 구성하여 몽주-암페르 방정식의 하위해를 구성할 수 있도록 한다.
• $\tilde{\mathcal{X}}$ 위에 중심 근처의 경계값과 불변 곡률 형식을 갖는 $\mathbb{C}^\times$-불변 켈러 메트릭 $\Omega$ 를 정의한다.
• Caffarelli–Kohn–Nirenberg–Spruck 및 Guan 이론을 적용하여 $\tilde{\mathcal{X}}$ 위에서 몽주-암페르 방정식의 해의 $C^{1,1}$ 정규성을 유도함으로써 지오데식 레이가 $C^{1,1}$ 임을 보장한다.
• $\mathbb{C}^\times$-행동에 대한 불변성을 활용하여 몽주-암페르 방정식을 $X \times D^\times$ 위의 지오데식 방정식으로 축소함으로써, 해가 지오데식 레이를 정의함을 보장한다.
• $\tilde{\mathcal{X}}$ 위에서 몽주-암페르 방정식의 해의 유일성을 활용하여 구성된 레이가 잘 정의되고 보조 선택에 영향을 받지 않음을 보장한다.

실험 결과

연구 질문

• RQ1 콤팩트한 복소다양체 위에 양성 선다발의 임의의 시험 구성에 대해 $C^{1,1}$ 지오데식 레이를 구성할 수 있는가?
• RQ2 시험 구성의 총공간 해소에서 몽주-암페르 방정식의 하위해가 존재하면, 그로 인해 $C^{1,1}$ 지오데식 레이의 존재를 보장할 수 있는가?
• RQ3 기저 공간이 엄밀한 강한 슈비에르프스키 공간이 아니더라도, 해소 기법과 곡률 추정을 통해 지오데식 레이의 정규성을 확립할 수 있는가?
• RQ4 $\mathbb{C}^\times$-행동에 대한 해의 불변성은 $X \times D^\times$ 위의 지오데식 방정식과 어떻게 관련이 있는가?
• RQ5 이러한 레이의 구성은 지오데식 세그먼트의 경우와 마찬가지로 베르그만 지오데식의 점근적 행동과 호환되는가?

주요 결과

• 양성 선다발의 임의의 시험 구성에 대해 콤팩트한 복소다양체 위에서 $C^{1,1}$ 지오데식 레이가 존재하며, 이는 기존의 지오데식 세그먼트에 대한 정규성 결과를 레이로 확장한 것이다.
• 이 구성은 시험 구성의 총공간의 특이점 해소와 해소된 공간 위에서 몽주-암페르 방정식의 하위해를 구성하는 데 의존한다.
• $\tilde{\mathcal{X}}$ 위에 $\mathbb{C}^\times$-불변 켈러 메트릭 $\Omega$ 가 구성되었으며, 이는 곡률 형식이 몽주-암페르 방정식을 만족하고 중심 근처의 경계값이 사전에 정해져 있다.
• $\tilde{\mathcal{X}}$ 위에서 몽주-암페르 방정식의 해 $\Phi$ 는 불변성에 기반한 방정식 축소를 통해 $X \times D^\times$ 위에서 $C^{1,1}$ 지오데식 레이를 유도한다.
• $\tilde{\mathcal{X}}$ 위에서 몽주-암페르 방정식의 해의 유일성은 지오데식 레이가 잘 정의되어 있으며 보조 선택에 영향을 받지 않음을 보장한다.
• 이 방법은 토릭 케이스에서와 마찬가지로 이러한 지오데식 레이의 최적 정규성은 $C^{1,1}$ 임을 확인하며, 문헌에서 이전에 얻어진 결과와 일치한다.