[논문 리뷰] Quot-scheme limit of Fubini-Study metrics and Donaldson's functional for vector bundles

Yoshinori Hashimoto, Julien Keller|arXiv (Cornell University)|2018. 09. 22.

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

한 줄 요약

이 논문은 Fubini–Study 계량의 Quot-scheme 극한을 통해, 극화된 카일러 다양체 위의 헬름홀로픽 벡터 번들의 기울기 안정성과 도널드슨 함수의 渐近적 행동 사이의 직접적인 연결 고리를 확립한다. Quot 스킴 내 1-파라미터 부분군을 분석함으로써, 함수의 성장률이 비-아르키메데스 도널드슨 함수에 의해 결정됨을 보이며, E가 기울기 안정일 경우 함수의 강력성(coercivity)을 증명하고, 헬름홀로픽-에인스타인 계량이 기울기 안정성을 암시한다는 코바야시–뤼블레 정리에 대한 새로운 변분적 증명을 제공한다.

ABSTRACT

For a holomorphic vector bundle $E$ over a polarised K\"ahler manifold, we establish a direct link between the slope stability of $E$ and the asymptotic behaviour of Donaldson's functional, by defining the Quot-scheme limit of Fubini-Study metrics. In particular, we provide an explicit estimate which proves that Donaldson's functional is coercive on the set of Fubini-Study metrics if $E$ is slope stable, and give a new proof of Hermitian-Einstein metrics implying slope stability.

연구 동기 및 목표

• 헬름홀로픽 벡터 번들의 기울기 안정성과 도널드슨 함수의 渐近적 행동 사이의 직접적인 변분적 연결 고리를 확립하는 것.
• Fubini–Study 계량의 Quot-scheme 극한을 정의하고 분석하여 함수의 강력성 연구에 활용하는 것.
• 헬름홀로픽-에인스타인 계량이 기울기 안정성을 암시한다는 사실에 대한 새로운 증명을 변분적 및 비-아르키메데스 방법을 사용하여 제공하는 것.
• 1-파라미터 부분군을 따라 도널드슨 함수의 점점 증가하는 성장률이 비-아르키메데스 함수 MNA(σ)에 의해 제어됨을 보이며, 이는 부분층의 기울기를 포함한다.

제안 방법

• 1-파라미터 부분군 σ ∈ SL(H⁰(X,E(k))∨)에 의해 유도되는 계량의 t → +∞ 극한으로서 Fubini–Study 계량의 Quot-scheme 극한을 정의한다.
• 도널드슨 함수의 코클로스 성질을 사용하여 MDon(hσt, href)을 비-아르키메데스 함수 MNA(σ)와 유계 오차항으로 분해한다.
• 1-PS σ로부터 E의 포화된 부분층 {E≤q}의 필터링을 구성하고, 점점 증가하는 성장률을 기울기 차이의 합 ∑q rk(E≤q)(µ(E) − µ(E≤q))로 표현한다.
• 기하학적 급수성(gaudeic convexity)을 사용하여, 모든 σ ∈ XQ(k)에 대해 MNA(σ) ≥ 0이 되는 것은 E가 반안정임과 동치이며, MNA(σ) > 0이 되는 것은 E가 안정임과 동치임을 증명한다.
• MDon의 기하학적 급수성과 기하학적 거리의 발산을 적용하여 MNA(σF) = 0일 수 없음을 제거함으로써, 모든 포화된 부분층 F에 대해 µ(E) > µ(F)임을 엄밀히 증명한다.
• Cp-위상에서 계량의 수렴성을 이용하여 오차항을 제어하고, 함수의 성장률에 대한 균일한 추정을 확립한다.

실험 결과

연구 질문

• RQ1 Fubini–Study 계량의 1-파라미터 부분군을 따라 도널드슨 함수의 점점 증가하는 행동이 기저 벡터 번들의 대수적 안정성과 어떻게 관련되어 있는가?
• RQ2 PDE 이론을 사용하지 않고도, Fubini–Study 계량 위에서 도널드슨 함수의 강력성을 알gebriko-기하학적 자료로부터 직접 확립할 수 있는가?
• RQ3 1-파라미터 부분군에 의해 유도된 필터링 내에서 비-아르키메데스 함수 MNA(σ)와 포화된 부분층의 기울이 정확히 어떤 관계가 있는가?
• RQ4 헬름홀로픽-에인스타인 계량이 기울기 안정성을 암시한다는 사실을 변분적 및 비-아르키메데스 방법을 사용하여 재증명할 수 있는가?

주요 결과

• 1-파라미터 부분군 σ를 따라 도널드슨 함수의 점점 증가하는 성장률은 lim_{t→∞} MDon(hσt, href)/t = 2 ∑_{q∈Z} rk(E≤q)(µ(E) − µ(E≤q))로 주어지며, 여기서 {E≤q}는 σ에 의해 유도된 필터링이다.
• 벡터 번들의 E가 기울기 안정일 때에만 도널드슨 함수가 Fubini–Study 계량 집합 위에서 강력하며, 이는 비자명한 1-PS에 대해 MNA(σ)의 양의 성질에 의해 증명된다.
• 함수는 로그-노름 특이성을 보인다: MDon(hσt, href) = MNA(σ)t + O(1)이며, t → +∞일 때 O(1)은 유계이다. 이는 모든 σ ∈ XQ(k) 및 E(k)가 전역 생성일 때 성립한다.
• 모든 σ ∈ XQ(k)에 대해 MNA(σ) ≥ 0이 되는 것은 E가 반안정임과 동치이며, MNA(σ) > 0이 되는 것은 E가 안정임과 동치이다.
• 헬름홀로픽-에인스타인 계량이 기울기 안정성을 암시한다는 정리에 대해, 기하학적 급수성과 기하학적 거리의 발산을 사용하여 MNA(σF) = 0일 수 없음을 제거함으로써 새로운 증명을 제공한다.
• 결과는 기약이 아닌 번들로까지 확장된다: E가 헬름홀로픽-에인스타인이면, 동일한 기울기를 가진 기울기 안정 번들의 직합이므로 기울기 다중안정(polystable)이다.