[논문 리뷰] Moduli of parahoric $\mathcal G$--torsors on a compact Riemann surface

V. Balaji, C. S. Seshadri|arXiv (Cornell University)|2010. 09. 17.

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

한 줄 요약

이 논문은 콪 pact한 리만 표면 위에서 브라우트-티츠 군 스킴 $\sigma$ 를 사용하여 반안정 파라호릭 $\sigma$- torsor 의 매개공간을 도입하고, 단순 연결된 반단순 대수적 군 $G$ 의 최대 컴acts 부분군으로의 푸크시안 군에서의 군 준동형사상을 통해 이를 구성한다. 핵심 결과는 매개공간의 기초 위상공간이 유형 $\boldsymbol{\tau}$ 의 그러한 준동형사상들의 공간과 일치함을 규명하며, 파라보릭 벡터 번들의 경우 메하타-세샤드리의 결과를 일반화한다.

ABSTRACT

Let $X$ be an irreducible smooth projective algebraic curve of genus $g \geq 2$ over the ground field $\bc$ and let $G$ be a semisimple simply connected algebraic group. The aim of this paper is to introduce the notion of semistable and stable parahoric torsors under a certain Bruhat-Tits group scheme $\mathcal G$ and construct the moduli space of semistable parahoric $\mathcal G$--torsors; we also identify the underlying topological space of this moduli space with certain spaces of homomorphisms of Fuchsian groups into a maximal compact subgroup of $G$. The results give a generalization of the earlier results of Mehta and Seshadri on parabolic vector bundles. This is the final version of the accepted paper.

연구 동기 및 목표

• 콤팩트 리만 표면 위에서 브라우트-티츠 군 스킴 $\sigma$ 에 대한 파라호릭 토르서의 반안정 매개공간 구축을, 파라보릭 벡터 번들의 경우의 매개공간 구축 방식으로 일반화한다.
• 반단순 단순연결 대수적 군 $G$ 의 맥락에서 파라호릭 $\sigma$- 토르서의 반안정성과 안정성 개념을 정의하고 연구한다.
• 반안정 파라호릭 $\sigma$- 토르서의 매개공간의 위상적 구조를, 표면의 기본군에서 $G$ 의 최대 컴팩트 부분군으로의 준동형사상 중 고정된 콘jugacy 유형 $\boldsymbol{\tau}$ 를 갖는 것들의 공간과 일치시킨다.

제안 방법

• 표면 $X$ 의 균일화를 $\mathbb{H}/\pi$ 로 사용하며, 여기서 $\pi$ 는 $m$ 개의 점에서 주어진 분기 자료를 갖는 푸크시안 군이다.
• 파라호릭 토르서를 $X$ 위의 $\mathcal{G}$- 토르서로 정의하며, $G$ 의 유리수 한파라미터 부분군에 대응하는 무게 $\boldsymbol{\theta}$ 를 부여함으로써, 파라보릭 번들의 일반화를 이루며.
• 준동형사상 $\rho: \pi \to G$ 와 관련된 유형 $\boldsymbol{\tau}$ 에 기반하여, 파라보릭 번들에 대한 것과 유사한 파라호릭 토르서의 안정성 조건을 도입한다.
• 기하학적 불변량 이론(GIT)을 통해 매개공간을 프로젝티브 다양체로 구성하며, 그 기초 위상공간을 $R^{\boldsymbol{\tau}}(\pi, K_G)$ 로 식별한다. 여기서 $R^{\boldsymbol{\tau}}(\pi, K_G)$ 는 유형 $\boldsymbol{\tau}$ 의 $K_G$-값을 갖는 준동형사상들의 공간이다.
• 브라우트-티츠 군 스킴 이론과 이와하리 부분군을 적용하여, 파라호릭 토르서의 매개스택들 사이의 일반화된 헤케 대응을 정의한다.
• 커버링 군을 통해 단순연결 경우로의 축소를 통해 재수정된 군들에 대한 구성으로 확장하며, 보편 커버링의 중심의 역할을 분석한다.

실험 결과

연구 질문

• RQ1 콤팩트 리만 표면 위에서 브라우트-티츠 군 스킴 $\mathcal{G}$ 에 대한 파라호릭 토르서의 반안정성과 안정성 개념은 어떻게 파라보릭 벡터 번들의 경우에서 일반화될 수 있는가?
• RQ2 반안정 파라호릭 $\mathcal{G}$- 토르서의 매개공간의 위상적 구조는 무엇이며, 표면의 기본군에서 $G$ 의 최대 컴팩트 부분군으로의 준동형사상들과 어떻게 관련이 있는가?
• RQ3 기하학적 불변량 이론을 통해 파라호릭 토르서의 매개공간은 어떻게 프로젝티브 다양체로 구성될 수 있으며, 그 차원은 종수와 분기 자료로 어떻게 기술되는가?
• RQ4 헤케 대응은 파라호릭 토르서의 맥락에서 어떻게 유도되며, 서로 다른 파라호릭 구조를 갖는 매개스택들 사이의 사상과 어떻게 관련이 있는가?
• RQ5 매개공간 $\mathcal{G}$- 토르서와 고정된 유형 $\boldsymbol{\tau}$ 를 갖는 표현 $\rho: \pi \to K_G$ 의 공간 사이의 관계는 무엇인가?

주요 결과

• 반안정 파라호릭 $\mathcal{G}$- 토르서의 매개공간 $M(\mathcal{G}_{\boldsymbol{\theta}_{\boldsymbol{\tau}},X})$ 는 GIT 를 통해 구성된 정규 프로젝티브 다양체이며, 그 기초 위상공간은 유형 $\boldsymbol{\tau}$ 의 $K_G$-값 준동형사상들의 공간 $R^{\boldsymbol{\tau}}(\pi, K_G)$ 와 자연스럽게 일치한다.
• 매개공간의 차원은 $\dim_{\mathbb{C}}(G)(g-1) + \frac{1}{2} \sum_{i=1}^m e(\boldsymbol{\theta}_{\boldsymbol{\tau}})$ 로 주어지며, 여기서 $e(\boldsymbol{\theta}_{\boldsymbol{\tau}})$ 는 무게 $\boldsymbol{\theta}_{\boldsymbol{\tau}}$ 에 대한 함수이다.
• 재수정된 군 $H$ 에 대해서는 $H$-번들의 매개공간이 단순연결 커버 $\tilde{H}$ 의 것과 관련이 있으며, 연결 성분의 수는 $\tilde{H}$ 의 중심의 순서와 같다.
• 헤케 대응은 파라호릭 군 스킴의 사상, 예를 들어 $\mathcal{G}_\mathcal{I} \to \mathcal{G}^{st}_\alpha$ 와 $\mathcal{G}_\mathcal{I} \to \mathcal{G}_{\theta_\alpha}$ 를 통해 구성되며, 이는 매개스택들 사이의 사상들을 유도한다.
• 이 구성은 고전적인 메하타-세샤드리 결과를 일반화한다: $G = GL(n)$ 이면, 파라호릭 토르서의 매개공간은 파라보릭 벡터 번들의 매개공간을 복원한다.
• 표현 공간 $R^{\boldsymbol{\tau}}(\pi, K_G)$ 는 매개공간을 위상적으로 매개화하며, 이 식별은 모든 반단순 단순연결 $G$ 에 대해 성립한다.