[논문 리뷰] Twisted cscK metrics and Kähler slope stability

Jacopo Stoppa|ArXiv.org|2008. 04. 02.

Geometry and complex manifolds참고 문헌 28인용 수 3

한 줄 요약

이 논문은 켈러 다양체 위에서 비틀린 일정 곡률 켈러(cscK) 방정식을 풀 수 있는 코homological 장벽(cohomological obstruction)을 제안하며, Ross-Thomas의 기울기 안정성 스펙트럼을 일반 켈러 클래스와 효과적 인수에 대해 확장한다. 휠이 0이 되는 경우 장벽은 기울기 안정성으로 축소되며, 이는 비프로젝티브이지만 기울기 안정성이 없는 새로운 다양체 예를 제공하고, 어BinContent적 클래스에서 일반 유형의 3차원 다양체에 cscK 메트릭이 존재하지 않음을 차단한다.

ABSTRACT

We introduce a cohomological obstruction to solving the constant scalar curvature Kähler (cscK) equation twisted by a semipositive form, appearing in works of Fine and Song-Tian. Geometrically this gives an obstruction for a manifold to be the base of a holomorphic submersion carrying a cscK metric in certain ``adiabatic'' classes. In turn this produces many new examples of general type threefolds with classes which do not admit a cscK representative. When the twist vanishes our obstruction extends the slope stability of Ross-Thomas to effective divisors on a Kähler manifold. Thus we find examples of non-projective slope unstable manifolds.

연구 동기 및 목표

• 편미분 프로젝티브 다양체에서의 Ross-Thomas 기울기 안정성 장벽을 일반 켈러 다양체와 효과적 인수로 확장하기.
• 일반 cscK 케이스를 일반화하여 비틀린 cscK 메트릭 존재에 대한 코homological 장벽을 수립하기.
• 홀로모르픽 서브머시온의 어BinContent적 극한에 장벽을 적용하여, cscK 메트릭이 존재하지 않는 일반 유형의 3차원 다양체의 새로운 예를 생성하기.
• 비프로젝티브 켈러 다양체를 구성하여, 자연스러운 켈러 클래스에서 기울기 안정성이 불가능하고 cscK 메트릭이 존재하지 않음을 보장하기.

제안 방법

• 비틀린 cscK 방정식을 도입: $ S(\omega) - \Lambda_\omega \alpha = \widehat{S}_\alpha $, 여기서 $ \alpha $ 는 준양성 (1,1)-형식이다.
• 효과적 인수 $ D $ 에 대해 Seshadri 상수 $ \epsilon(D, \Omega) $ 를 정의하며, 켈러 클래스 $ \Omega $ 가 $ D $ 에 대해 얼마나 양성적인지를 측정한다.
• Chen-Tian의 K-에너지 하한을 이용하여 비틀린 cscK 방정식의 해 존재에 대한 필요 조건을 유도한다.
• 홀로모르픽 서브머시온에서 어BinContent적 클래스 $ \Omega_r = c_1(L) + r\pi^*\Omega_B $ 에 장벽을 적용하여 기저에서 비틀린 cscK 메트릭의 해 존재와 연결한다.
• Voisin의 비프로젝티브 켈러 다양체 위의 프로젝티브 번들의 구성 방법을 통해 비프로젝티브 예를 만들며, Mumford의 벡터 번들의 불안정화를 이용한다.
• Demailly-Eckl-Peternell의 변형 이론을 적용하여, 결과 다양체가 프로젝티브 변형을 가지지 않음을 보인다.

실험 결과

연구 질문

• RQ1 cscK 메트릭의 기울기 안정성 장벽은 편미분 프로젝티브 다양체를 초월하여 일반 켈러 다양체와 효과적 인수를 가진 경우로 일반화될 수 있는가?
• RQ2 주어진 켈러 클래스에서 비틀린 cscK 방정식이 해를 가질 수 있는 데 필요한 코homological 조건은 무엇인가?
• RQ3 홀로모르픽 서브머시온의 어BinContent적 극한은 총공간에서 cscK 메트릭의 존재에 장벽을 줄 수 있는가? 만약 그렇다면, 그 수치적 조건은 무엇인가?
• RQ4 기울기 안정성이 불가능하고 자연스러운 켈러 클래스에서 cscK 메트릭이 존재하지 않는 비프로젝티브 켈러 다양체를 구성할 수 있는가?
• RQ5 어BinContent적 클래스에서 cscK 메트릭이 존재하지 않는 일반 유형의 3차원 다양체가 존재하는가? 만약 그렇다면, 이를 막는 수치적 불변량은 무엇인가?

주요 결과

• 논문은 비틀린 cscK 방정식의 해 존재에 대한 코homological 장벽을 수립하였으며, 휠이 0일 경우 기울기 안정성으로 축소됨을 보였다.
• 어BinContent적 클래스 $ \Omega_r = a c_1(K_{Z|S''}) + r\pi^*\Omega_s $ 에서 일반 유형의 3차원 다양체는 $ a > 0 $, $ s \ll 1 $, $ r \gg 0 $ 일 때 cscK 메트릭이 존재하지 않는다.
• 이 구성은 기울기 안정성이 불가능하고 클래스 $ \mathcal{O}_{\mathbb{P}}(1) + r\pi^*\Omega_M $ 에서 cscK 메트릭이 존재하지 않는 비프로젝티브 켈러 다양체를 제공한다. $ r \gg 0 $.
• 결과 다양체 $ X = \mathbb{P}(\mathcal{O}_M(-E_q) \oplus \mathcal{O}_M) $ 는 프로젝티브 변형을 가지지 않으며, 프로젝티브 번들의 변형 이론으로 이를 증명하였다.
• 장벽은 큰 $ r $ 에서 $ \epsilon(\mathbb{P}(F), \Omega_r) = 1 $ 인 Seshadri 상수에서 기인하며, 이는 번들의 Mumford 불안정화와 관련된다.
• 이 방법은 Ross-Thomas의 추측을 확인하며, 켈러 다양체에서 일반 켈러 클래스로의 기울기 안정성의 일반화를 성취하였다.