[논문 리뷰] Stability of tangent bundle on the moduli space of stable bundles on a curve

Jaya Nn Iyer|arXiv (Cornell University)|2011. 11. 01.

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

한 줄 요약

이 논문은 고리수 $ g \geq 3 $ 인 매끄럽고 사영인 곡선 $ C $ 위에서 랭크 $ r \geq 3 $ 이고 고정된 결정행렬을 가지며 $ \gcd(r,d)=1 $ 인 안정 벡터 복합체의 모듈리 공간 ${\mathcal{S}\mathcal{U}}_C(r,d)$ 의 접다발이 Mumford-Takemoto의 의미에서 안정적임을 증명한다. 증명은 모듈리 공간들 사이의 헤케 대응을 사용하고, 그라스만다인 다발 위에서의 단면의 코homological 소멸을 분석하여 불안정한 부분층이 존재하지 않음을 입증하며, 라이카르드 수가 1인 파노 다양체 위에서 접다발의 안정성에 대한 추측을 확인한다.

ABSTRACT

In this paper, we prove that the tangent bundle of the moduli space $\cSU_C(r,d)$ of stable bundles of rank $r>2$ and of fixed determinant of degree $d$ (such that $(r,d)=1$), on a smooth projective curve $C$ is always stable, in the sense of Mumford-Takemoto. This verifies a well-known conjecture, and is related to a conjectural existence of a Kähler-Einstein metric on Fano varieties with Picard number one.

연구 동기 및 목표

• 랭크 $ r \geq 3 $ 이고 $ \gcd(r,d)=1 $ 인 경우에 대해 모듈리 공간 ${\mathcal{S}\mathcal{U}}_C(r,d)$ 의 접다발 안정성 증명.
• 라이카르드 수가 1인 파노 다양체 위에서 접다발 안정성에 대한 추측 확인.
• 접다발 안정성과 파노 다양체 위의 켈러-아인슈타인 계량 존재성 간의 연관성 설정.
• 이전의 랭크 2 모듈리 공간에 대한 접다발 안정성 결과를 더 높은 랭크 모듈리 공간으로 확장.

제안 방법

• 랭크 $ r $ 과 $ 0 < h < r $ 에 대해 ${\mathcal{S}\mathcal{U}}_C(r,1)$ 과 ${\mathcal{S}\mathcal{U}}_C(r,1-h)$ 사이의 헤케 대응을 사용하며, 이는 그라스만다인 다발로 실현된다.
• 대응 공간 위에서의 상대 접다발의 직합을 통한 코 tangent sheaf 와 그 불안정한 부분층의 구조 분석.
• 일부 허용성 선다발의 거듭제곱에 의해 휘어진 Hodge 코hom로프의 소멸을 보이기 위해 코homological 기법 적용, 특히 $ H^0(G, q^{\prime*}L^{\prime - b'}) = 0 $ 이다. $ b' > 0 $ 인 경우.
• 자리키의 평탄화와 일반적인 단사성 추론을 통해 $ \mathcal{K} $, $ \mathcal{F} $, $ \mathcal{G} $ 를 포함하는 정확한 수열에서의 핵과 상사층의 분석.
• 모듈리 공간의 유리 연결성은 $ t > 0 $ 에 대해 $ H^0(M, \Omega^t_M) = 0 $ 이라는 사실을 이용하여 비자명한 전역 단면의 존재를 배제한다.
• 핵층 $ \mathcal{K} $ 의 행렬식 조건 $ \det(\mathcal{K}) = \mathcal{O} $ 를 적용하고, 선다발 거듭제곱의 지수에 대한 부등식계를 유도하여 $ a_1 = b_1 = 0 $ 을 도출한다.

실험 결과

연구 질문

• RQ1 랭크 $ r \geq 3 $ 이고 $ \gcd(r,d)=1 $ 인 경우에 대해 모듈리 공간 ${\mathcal{S}\mathcal{U}}_C(r,d)$ 의 접다발이 안정적인가?
• RQ2 헤케 대응을 통해 모듈리 공간들 사이에서 접다발의 안정성 성질을 유지하거나 전이시킬 수 있는가?
• RQ3 그라스만다인 다발 위에서 특정 코homology 군의 소멸은 불안정한 부분층의 존재를 배제하는가?
• RQ4 핵층 $ \mathcal{K} $ 의 행렬식을 가정한 불안정성 하에서 모순을 이끌어내는 데 사용할 수 있는가?
• RQ5 모듈리 공간 $ \mathcal{S}\mathcal{U}_C(r,d) $ 의 유리 연결성은 $ t > 0 $ 에 대해 $ H^0(M, \Omega^t_M) $ 의 소멸을 유도하는가?

주요 결과

• 고리수 $ g(C) \geq 3 $ 인 경우, 모든 $ r \geq 3 $ 과 $ \gcd(r,d)=1 $ 에 대해 ${\mathcal{S}\mathcal{U}}_C(r,d)$ 의 접다발은 안정적이다.
• 헤케 대응은 접다발의 안정성을 유지하며, 랭크에 대한 귀납법을 통해 기존의 경우로 환원 가능하다.
• $ b' > 0 $ 인 경우 $ H^0(G, q^{\prime*}L^{\prime - b'}) $ 의 소멸은 $ q^{\prime*}L' $ 이 섬세한 다발에서의 양의 성질 덕분에 양의 차수의 불안정한 부분층이 존재하지 않음을 보여주며 이를 입증한다.
• 핵층 $ \mathcal{K} $ 의 행렬식은 자명하다, 즉 $ \det(\mathcal{K}) = \mathcal{O} $ 이며, 이는 선다발 거듭제곱의 지수에 대한 방정식계를 이끌어내며 $ a_1 = b_1 = 0 $ 을 강제한다.
• $ t > 0 $ 에 대해 $ H^0(M, \Omega^t_M) $ 에 비자명한 단면이 존재하지 않음을, $ M $ 의 유리 연결성으로 인해 이러한 코homology 군이 소멸하기 때문에 배제한다.
• 접다발의 불안정한 부분층이 존재하지 않음을 입증함으로써 접다발의 안정성이 확립된다.