[논문 리뷰] Weighted projective embeddings, stability of orbifolds and constant scalar curvature Kähler metrics

Julius Ross, Richard Thomas|arXiv (Cornell University)|2009. 07. 30.

Geometry and complex manifolds참고 문헌 32인용 수 16

한 줄 요약

이 논문은 순환 안정자를 가진 오비폴드에 대해 가중 프로젝티브 매bedding를 도입하여 양자화된 Yau-Tian-Donaldson 추측의 오비폴드 판을 수립한다. 이는 재수축된 몫을 통한 GIT 스타일의 안정성 개념을 가능하게 하며, 오비폴드에서 일정한 스칼라 곡률 켈러(cscK) 계량이 존재하면 K-준안정성임을 증명한다. 또한 기울기 안정성을 오비폴드로 확장하여 cscK 계량이 존재하지 않는 데 대한 구체적인 차단 조건을 제공한다.

ABSTRACT

We embed polarised orbifolds with cyclic stabiliser groups into weighted projective space via a weighted form of Kodaira embedding. Dividing by the (non-reductive) automorphisms of weighted projective space then formally gives a moduli space of orbifolds. We show how to express this as a reductive quotient and so a GIT problem, thus defining a notion of stability for orbifolds. We then prove an orbifold version of Donaldson's theorem: the existence of an orbifold Kahler metric of constant scalar curvature implies K-semistability. By extending the notion of slope stability to orbifolds we therefore get an explicit obstruction to the existence of constant scalar curvature orbifold Kahler metrics. We describe the manifold applications of this orbifold result, and show how many previously known results (Troyanov, Ghigi-Kollar, Rollin-Singer, the AdS/CFT Sasaki-Einstein obstructions of Gauntlett-Martelli-Sparks-Yau) fit into this framework.

연구 동기 및 목표

• 일정한 스칼라 곡률 켈러(cscK) 계량과 호환되는 안정성 조건을 제시함으로써 Yau-Tian-Donaldson 추측을 오비폴드로 확장하는 것.
• 가중 프로젝티브 공간의 비재수축된 자동형군 문제를 재수축된 몫으로 줄여내어 기하학적 안정성이론(GIT) 프레임워크를 가능하게 하는 것.
• 가중 프로젝티브 공간에서 균형 잡힌 계량과 푸비니-슈트라우스 계량을 정의함으로써, 점근적 전개를 통한 cscK 계량 근사에 핵심적인 기여를 하는 것.
• 기울기 안정성을 오비폴드로 일반화하고, 이를 cscK 계량 존재에 대한 장벽으로 사용함으로써 매니폴드의 경우에서의 결과를 확장하는 것.
• 기존의 장벽들(예: GMSY, Troyanov, Ghigi-Kollár, Rollin-Singer)을 하나의 오비폴드 안정성 프레임워크 내에 통합하는 것.

제안 방법

• 다중 거듭제곱 $L^k$의 단면을 활용하여 순환 안정자를 가진 오비폴드를 가중 프로젝티브 공간에 가중 카우다로 임bedding하는 방식으로, 오비폴드 데이터를 유지하는 가중 형태의 코다이라 임bedding를 사용한다.
• 가중 프로젝티브 공간의 비재수축 자동형군을 그 재수축 부분(일반선형군의 곱)으로 대체함으로써 GIT 몫과 잘 정의된 안정성 개념을 가능하게 한다.
• 모멘트 맵을 통한 순간 맵을 통한 가중 프로젝티브 공간 위의 푸비니-슈트라우스 계량을 정의하며, 표준 푸비니-슈트라우스 계량과의 곡률 차이를 고려한다.
• 가중 단면을 사용한 점근적 베르그만 커널 전개를 통해 cscK 계량으로의 수렴을 확보하며, 여기서 가중치는 모멘트 맵의 모호성에 의해 결정된다.
• 오비폴드 리만-로흐와 오비폴드 체르누 클래스를 도입하여 오비폴드 설정에서의 차수와 기울기를 계산함으로써 안정성 기준에 필수적인 요소를 확보한다.
• 오비폴드 벡터 번들의와 파라보릭 번들의 사이의 대응을 수립하여, 오비폴드 안정성을 기존의 파라보릭 안정성으로 번역함으로써 알려진 결과를 오비폴드 맥락에서 재해석할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 가중 프로젝티브 매bedding와 GIT 안정성에 기반하여 Yau-Tian-Donaldson 추측을 오비폴드로 확장할 수 있는가?
• RQ2 가중 프로젝티브 공간의 자동형군이 비재수축일 경우, 잘 정의된 모듈리 문제를 어떻게 정의할 수 있는가?
• RQ3 오비폴드에 대한 적절한 안정성 개념(K-안정성, 기울기 안정성)은 무엇이며, 이것이 cscK 계량 존재에 어떤 장벽을 제공하는가?
• RQ4 기존의 cscK 계량 장벽들(예: GMSY, Troyanov)은 이 통합 프레임워크 안에서 어떻게 통합되는가?
• RQ5 곡선 위의 오비폴드 번들 $E$의 안정성이, 극성선다발 $L_m$에 대해 $\mathbb{P}(E)$의 안정성에 얼마나 영향을 미치는가?

주요 결과

• 극성 오비폴드에서 일정한 스칼라 곡률 켈러(cscK) 계량이 존재하면 K-준안정성이 성립하며, 이는 도널드슨의 정리가 오비폴드 맥락으로 확장됨을 의미한다.
• 가중 프로젝티브 공간의 재수축 몫을 통한 오비폴드 K-안정성은 비재수축 자동형군 문제를 해결하며 잘 정의된다.
• 오비폴드의 기울기 안정성은 cscK 계량 존재에 대한 명백한 장벽을 제공하며, 매니폴드의 경우를 일반화한다.
• 오비폴드 룰드 표면 $\mathbb{P}(E)$의 경우, 기저 벡터 번들 $E$가 불안정하면 $\mathbb{P}(E)$ 역시 기울기 불안정성이며 따라서 cscK 계량을 가질 수 없다.
• 오비폴드 번들과 파라보릭 번들 사이의 대응은 안정성을 유지하므로, 기존의 파라보릭 안정성 결과를 오비폴드 맥락에서 재해석할 수 있다.
• 표준적으로 극성화된 오비폴드(즉, $K_{\text{orb}}$가 수치적으로 자명하거나 $L = K_{\text{orb}}$인 경우)는 기울기 안정성이며, 오비폴드 오비옹-요 정리에 의해 cscK 계량 존재가 확인된다.