[논문 리뷰] Polystability and the Hitchin-Kobayashi correspondence

Nicholas Buchdahl, Georg Schumacher|arXiv (Cornell University)|2020. 02. 10.

Geometry and complex manifolds참고 문헌 27인용 수 8

한 줄 요약

이 논문은 복소 켈러 다양체 위의 폴리스테이블 복소 벡터(bundle) $E_0$ 근처에서 기하학적 불변량 이론(GIT) 안정성과 켈러 기하학적 안정성(Hitchin-Kobayashi 대응) 사이의 정확한 대응 관계를 확립한다. 준선형 허지 이론 접근법을 사용하여, $E_0$의 무한소 변형이 $\operatorname{Aut}(E_0)$ 작용 하에 (다각)안정적임은 그에 해당하는 복소 벡터(bundle)가 (다각)안정적일 때이고, 이에 따라 근처 벡터(bundle)들의 모듈리 공간은 $\Psi^{-1}(0)/\operatorname{Aut}(E_0)$와 위상동형이며, 이는 정확히 폴리스테이블 위치에서 하우스도르프 공간이 된다.

ABSTRACT

Using a quasi-linear version of Hodge theory, holomorphic vector bundles in a neighbourhood of a given polystable bundle on a compact Kaehler manifold are shown to be (poly)stable if and only if their corresponding classes are (poly)stable in the sense of geometric invariant theory with respect to the linear action of the automorphism group of the bundle on its space of infinitesimal deformations.

연구 동기 및 목표

• 복소 벡터(bundle)의 변형 맥락에서 기하학적 불변량 이론(GIT) 안정성과 켈러 기하학적 안정성(Hitchin-Kobayashi 대응) 사이의 관계를 명확히 하기.
• 폴리스테이블 벡터(bundle) $E_0$ 근처의 복소 벡터(bundle)들의 안정성이 $H^1(X, \operatorname{End} E_0)$ 내의 무한소 변형 클래스의 GIT 안정성과 정확히 일치함을 보여주기.
• $\Psi^{-1}(0)/\operatorname{Aut}(E_0)$의 몫 공간과 $E_0$ 근처의 복소 벡터(bundle)의 이sov의류 클래스 집합 사이의 위상동형을 수립하며, 이 몫 공간이 정확히 폴리스테이블 위치에서 하우스도르프 성질을 갖는다.
• $\operatorname{Aut}(E_0)$ 작용이 Kuranishi 사상 $\Psi$를 보존함을 보여, 국소 모듈리의 GIT 해석이 가능하게 하며, 이를 통해 국소 모듈리의 기하학적 구조를 해석할 수 있다.
• Hitchin-Kobayashi 대응을 국소적 변형이론적 설정으로 확장하여, 폴리스테이블성이 소규모 변형 하에서도 유지됨을 보이고, 모듈리 공간이 자연스러운 하이퍼켈러 구조를 갖는다는 것을 보여주기.

제안 방법

• 무한소 변형 클래스 $H^1(X, \operatorname{End} E_0)$ 내의 $\partial$-조화 표현을 분석하기 위해 준선형 허지 이론을 활용하며, 이는 $L^2$-노름과 $\operatorname{Aut}(E_0)$ 작용과 연결된다.
• Kuranishi 이론을 적용하여, $E_0$ 근처의 복소 벡터(bundle)의 국소 모듈리 공간을 $\Psi: \mathcal{N} \to H^2(X, \operatorname{End} E_0)$의 해석적 영역 $\Psi^{-1}(0)$으로 기술한다.
• Kuranishi 사상 $\Psi$가 $\partial$-조화 표현에서 $\operatorname{Aut}(E_0)$ 작용에 대해 등변적임을 보여, GIT와의 호환성을 확보한다.
• Hitchin-Kobayashi 대응을 활용하여, 벡터(bundle) $E_\alpha$의 안정성과 그 변형 클래스 $\alpha \in \Psi^{-1}(0)$의 GIT 안정성 간의 동치를 확립한다.
• $\Psi^{-1}(0)/\operatorname{Aut}(E_0)$와 $E_0$ 근처의 복소 벡터(bundle) 이sov의류 클래스 집합 사이의 위상동형을 수립하며, 이는 몫 위상과 해석적 위상이 일치함을 의미한다.
• Kempf-Ness 정리를 적용하여 GIT 몫을 심플렉틱 몫으로 해석함으로써, 복소 기하학과 모멘트 맵 이론을 연결한다.

실험 결과

연구 질문

• RQ1 폴리스테이블 벡터(bundle) $E_0$ 근처의 복소 벡터(bundle)의 안정성은 $H^1(X, \operatorname{End} E_0)$ 내의 무한소 변형 클래스의 GIT 안정성과 어떻게 관련되어 있는가?
• RQ2 복소 벡터(bundle)의 국소 모듈리 공간은 $\Psi^{-1}(0)/\operatorname{Aut}(E_0)$로 기술될 수 있으며, 이 몫 공간이 폴리스테이블 위치에서 하우스도르프 성질을 갖는가?
• RQ3 $\operatorname{Aut}(E_0)$ 작용이 Kuranishi 사상 $\Psi$를 얼마나 잘 보존하는가? 이는 국소 변형의 GIT 해석을 가능하게 하는가?
• RQ4 반불안정한 벡터(bundle)의 Seshadri 필터링과 GIT 의미에서 궤도 폐쇄 사이의 관계는 무엇이며, 특히 폐쇄가 폴리스테이블 점을 포함할 경우 어떻게 되는가?
• RQ5 $E_0$에 헤르미트-에인슈타인 접속이 존재할 경우, Kuranishi 사상 $\Psi$가 $\operatorname{Aut}(E_0)$-등변적임과 더불어 변형 공간이 안정성을 유지함을 보장하는가?

주요 결과

• Kuranishi 사상 $\Psi: \mathcal{N} \to H^2(X, \operatorname{End} E_0)$ 는 $H^1(X, \operatorname{End} E_0)$ 내의 $\partial$-조화 표현에서 $\operatorname{Aut}(E_0)$ 작용에 대해 등변적이며, 이는 군 작용과의 호환성을 보장한다.
• 적절한 $\mathcal{N}$ 제약 조건 하에서, $\Psi^{-1}(0)$ 내의 점에 대응하는 모든 복소 벡터(bundle) $E$ 는 반안정적이며, 임의의 불안정성 부분층은 부분다발(subbundle)임을 보장한다.
• 근처 $E_0$의 복소 벡터(bundle) 이sov의류 클래스 집합은 집합론적 몫 $\Psi^{-1}(0)/\operatorname{Aut}(E_0)$ 와 1대1 대응되며, 이 대응은 두 공간에 몫 위상을 부여할 경우 위상동형이다.
• 몫 공간 $\Psi^{-1}(0)/\operatorname{Aut}(E_0)$ 는 정확히 폴리스테이블 벡터(bundle)의 부분집합에서 하우스도르프 성질을 갖는다. 이는 $\Psi^{-1}(0)$ 내의 $\operatorname{Aut}(E_0)$-불변점에 해당한다.
• 클래스 $\alpha \in \Psi^{-1}(0)$ 이 $\operatorname{Aut}(E_0)$ 작용 하에 (다각)안정적임은 그에 대응하는 벡터(bundle) $E_\alpha$ 가 켈러 계량 $\omega$ 에 대해 (다각)안정적일 때이고, 이는 주요 대응 관계를 확립한다.
• 만약 $\overline{\alpha}$ 가 $\alpha$ 의 궤도 폐쇄 내의 폴리스테이블 점이라면, 폴리스테이블 벡터(bundle) $E_{\overline{\alpha}}$ 는 $E$ 의 Seshadri 필터링에 대응하는 그레디에이션 객체 $\operatorname{Gr}(E)$ 와 이sov의류이며, 이는 GIT 그림을 반불안정한 벡터(bundle)로 확장한다.