[논문 리뷰] Automorphisms of moduli spaces of vector bundles over a curve

Indranil Biswas, Tomás L. Gómez외 1명|arXiv (Cornell University)|2012. 02. 14.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 $ g \geq 4 $ 인 매끄럽고 복소수 사영 곡선에 대한 안정 벡터(bundle)의 모듈리 공간의 자기동형군 구조에 대한 간소화된 증명을 제공한다. 자기동형군은 곡선의 자기동형, 선다발(line bundle)에 대한 텐서곱, 그리고 $ r \mid 2\deg(\Lambda) $ 일 때의 딜로이션(dualization)으로 유도되며, 증명은 히친 판별식(discriminant)과 영점의 콘(bundle)을 사용하여 히켄 변환(Hecke transforms)과 최소 유리곡선(minimal rational curves)을 피한다.

ABSTRACT

Let X be an irreducible smooth complex projective curve of genus g at least 4. Let M(r,Λ) be the moduli space of stable vector bundles over X or rank r and fixed determinant Λ, of degree d. We give a new proof of the fact that the automorphism group of M(r,Λ) is generated by automorphisms of the curve X, tensorization with suitable line bundles, and, if r divides 2d, also dualization of vector bundles.

연구 동기 및 목표

• 매끄럽고 복소수 사영 곡선 $ X $ 에 대해 종수 $ g \geq 4 $ 인 안정 벡터다발의 랭크 $ r $ 과 고정된 행렬식 $ \Lambda $ 를 가진 모듈리 공간 $ M(r,\Lambda) $ 의 자기동형군 구조에 대한 간결한 증명을 제공하는 것.
• 이전 증명에서 사용된 복잡한 도구들, 예를 들어 히켄 변환과 최소 유리곡선에 대한 의존도를 제거하는 것.
• 히친 판별식과 영점의 콘 번들의 기하학적 성질로부터 직접적으로 자기동형을 재구성하는 것.
• 저종수의 특수 케이스를 별도로 다루지 않고, 모든 $ g \geq 4 $ 에 대해 균일하게 결과를 확장하는 것.
• $ M(r,\Lambda) $ 에 대한 토렐리 유형 정리(Torelli-type theorem)를 확립하여, 모듈리 공간이 곡선과 랭크를 결정함을 보이는 것.

제안 방법

• 히친 사상과 그 판별식(특이 스펙트럴 곡선의 집합)을 사용하여 모듈리 공간의 기하학을 분석하는 것.
• 히친 판별식으로부터 영점의 콘 번들을 재구성하여, 일반적인 안정 다발의 자기동형 정보를 포함하는 것.
• $ \operatorname{End}_0 E $ 의 리 대수 구조를 적용하여 $ \operatorname{PGL}_r $-다발에서의 구조군 축소를 통한 가능한 자기동형을 분류하는 것.
• $ 1 \to \mathbb{C}^* \to \operatorname{GL}_r \to \operatorname{PGL}_r \to 1 $ 의 짧은 완전열을 사용하여 축소를 분류하고, $ E' \cong E \otimes L $ 또는 $ E' \cong E^\vee \otimes L $ 과 같은 동형사상들을 이끌어내는 것.
• $ \operatorname{Aut}(M(r,\Lambda)) \to \operatorname{Aut}(\overline{M}(r,\Lambda)) $ 가 동형임을 이용하여, 스무스 부분공간이 $ M(r,\Lambda) $ 이고 선다발이 코homological isomorphism을 통해 확장된다는 사실을 활용하는 것.
• $ \operatorname{Pic}(M(r,\Lambda)) \cong \mathbb{Z} $ 의 자명한 작용을 이용하여, $ M(r,\Lambda) $ 의 자기동형이 컴actified 모듈리 공간으로 확장됨을 보이는 것.

실험 결과

연구 질문

• RQ1 종수 $ g \geq 4 $ 인 곡선 위의 안정 벡터다발의 모듈리 공간 $ M(r,\Lambda) $ 의 완전한 자기동형군은 무엇인가?
• RQ2 히켄 변환이나 최소 유리곡선에 의존하지 않고 자기동형군을 기술할 수 있는가?
• RQ3 히친 판별식의 기하학적 성질이 $ M(r,\Lambda) $ 의 자기동형 구조를 어떻게 캐릭터라이즈하는가?
• RQ4 언제 어떤 조건에서 다발의 딜로이션(dualization)이 $ M(r,\Lambda) $ 의 자기동형으로 나타나는가?
• RQ5 $ M(r,\Lambda) $ 가 기저 곡선 $ X $ 와 랭크 $ r $ 를 얼마나 정확히 결정하는가?

주요 결과

• $ M(r,\Lambda) $ 의 자기동형군은 곡선의 자기동형 $ \sigma $ 에 의한 역상, 조건 $ L^r \otimes \sigma^*\Lambda \cong \Lambda $ 를 만족하는 선다발 $ L $ 에 대한 텐서곱, 그리고 $ r \mid 2\deg(\Lambda) $ 일 때의 딜로이션으로 생성된다.
• 증명 과정에서 최소 유리곡선과 히켄 변환을 사용하지 않고, 히친 판별식과 영점의 콘 번들을 중심으로 기반을 두었다.
• 컴actified 모듈리 공간 $ \overline{M}(r,\Lambda) $ 의 자기동형군은 $ M(r,\Lambda) $ 와 일치한다. 이는 선다발의 확장과 코homological isomorphism 덕분이다.
• 일반적인 안정 다발 $ E $ 에 대해, $ M(r,\Lambda) $ 의 임의의 자기동형은 $ L $ 이 일정한 딜레르 조건을 만족할 때, $ E' \cong E \otimes L $ 또는 $ E' \cong E^\vee \otimes L $ 과 같은 동형사상을 유도한다.
• 토렐리 유형 정리가 성립한다: 만약 $ M_X(r,\Lambda) \cong M_{X'}(r',\Lambda') $ 이면, $ X \cong X' $ 이고 $ r = r' $ 이다. 이는 모듈리 공간이 곡선과 랭크를 분류함을 보여준다.
• 이 결과는 심플렉틱 다발의 모듈리 공간 등 다른 모듈리 공간으로도 일반화되며, 이 방법의 광범위한 적용 가능성을 시사한다.