[논문 리뷰] Representations of the fundamental group of a closed oriented surface in Sp(4,R)

Oscar Garcı́a-Prada, Ignasi Mundet i Riera|arXiv (Cornell University)|2003. 04. 02.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 11

한 줄 요약

이 논문은 오름차수 $g \geq 2$인 닫힘 양방향 표면의 기본군의 표현 공간의 연결 성분 수를 계산한다. $|d| < 2g-2$인 경우, 공간은 연결되어 있으며, $|d| = 2g-2$인 경우 $3 \cdot 2^{2g} + 2g - 4$개의 성분을 가진다. 증명은 히그 봉제 이론, 안정성 기준 및 쌍 $(V, \beta)$에 대한 새로운 다중 안정성 조건을 사용하여, 모듈리 공간 위에서 기하학적 및 해석적 방법을 통해 연결성을 확립한다.

ABSTRACT

We classify the connected components of the space of representations of the fundamental group of a closed oriented surface of genus $\geq 2$ in $Sp(4,{\mathbf R})$. We prove that this is equivalent to classifying the connected components of the moduli space of representations (which consists of conjugacy classes of reductive representations). We then continue the analysis initiated by Gothen in math/9904114, relying on: (1) the relation between our moduli space of representations and the moduli space of certain (polystable) analogues of Higgs bundles (which follows essentially from work of Hitchin, Simpson and Corlette) and (2) the existence of a proper function on the moduli space whose set of local minima can be identified with the moduli space $N$ of (polystable) quadratic bundles of rank 2; we finally deduce our result from the classification of the connected components of $N$.

연구 동기 및 목표

• 오름차수 $g \geq 2$인 닫힘 양방향 표면의 기본군의 $\mathrm{Sp}(4,\mathbb{R})$ 표현 공간의 연결 성분 수를 결정하는 것.
• Gothen의 재구성 가능한 표현의 모듈리 공간 결과를 $|d| \leq 2g-2$를 만족하는 모든 차수 $d$로 확장하는 것.
• 히그 봉제 기법과 안정성 조건을 사용하여 $0 < |d| < 2g-2$인 경우 모듈리 공간 $\mathcal{R}(d)$의 연결성을 확립하는 것.
• 실수 매개변수 $\alpha$에 따라 의존하는 쌍 $(V, \beta)$에 대한 새로운 다중 안정성 조건을 도입하고 분석하며, $-2(g-1) < d < 0$ 및 $\alpha \geq 0$인 경우 그 연결성을 증명하는 것.

제안 방법

• 표현 공간 $\mathcal{X}$를 $\mathrm{Sp}(4,\mathbb{R})^{2g}$에 매장하여 위상적 구조를 부여하는 것.
• 구조군을 $\mathrm{U}(2)$로 감소시켜 표현의 차수 $d$를 정의하는 것. $\mathrm{U}(2)$는 $\mathrm{Sp}(4,\mathbb{R})$의 최대 컴acts 부분군이다.
• 밀너-우드 부등식을 사용하여 $|d| \leq 2g-2$로 제한하는 것.
• 히친-코바야시 대응을 통해 재구성 가능한 표현의 모듈리 공간 $\mathcal{R}(d)$와 $\mathrm{Sp}(4,\mathbb{R})$-히그 봉제의 다중안정성 모듈리 공간 $\mathcal{M}(d)$를 연결하는 것.
• $\mathcal{M}(d)$ 위에 적절한 $L^2$-노름 함수를 구성하여 국소 최솟값이 연결 성분 수를 제한하는 데 사용하는 것.
• 최솟값을 $\mathcal{N}(d)$로 특성화하는 것. 이는 $d$의 부호에 따라 $\beta = 0$ 또는 $\gamma = 0$인 부분다양체이며, $0 < |d| < 2g-2$인 경우 $\mathcal{N}(d)$가 연결되어 있음을 증명하는 것.

실험 결과

연구 질문

• RQ1 오름차수 $g \geq 2$인 표면의 기본군의 $\mathrm{Sp}(4,\mathbb{R})$-표현 공간은 각 차수 $d$에 대해 몇 개인가?
• RQ2 $0 < |d| < 2g-2$인 경우 재구성 가능한 표현의 모듈리 공간 $\mathcal{R}(d)$는 연결되는가?
• RQ3 히그 봉제 모듈리 공간 $\mathcal{M}(d)$의 최솟값 부분다양체를 명시적으로 묘사할 수 있으며, 이는 연결되는가?
• RQ4 매개변수 $\alpha$를 가진 쌍 $(V, \beta)$에 대한 다중 안정성 조건은 음수 $d$와 $\alpha \geq 0$일 때 연결된 모듈리 공간을 제공하는가?

주요 결과

• $|d| < 2g-2$인 경우, 차수 $d$의 표현 공간 $\mathcal{X}(d)$는 비어 있지 않으며 연결되어 있다.
• $|d| = 2g-2$인 경우, 공간 $\mathcal{X}(d)$는 정확히 $3 \cdot 2^{2g} + 2g - 4$개의 비어 있지 않은 연결 성분을 가진다.
• $0 < |d| < 2g-2$인 모든 $d$에 대해 재구성 가능한 표현의 모듈리 공간 $\mathcal{R}(d)$는 연결되어 있으며, 기약 표현의 부분공간은 비어 있지 않다.
• $0 < |d| < 2g-2$인 경우, 히그 봉제 모듈리 공간 $\mathcal{M}(d)$의 최솟값 부분다양체 $\mathcal{N}(d)$(여기서 $\beta = 0$ 또는 $\gamma = 0$)는 연결되어 있다.
• $-2(g-1) < d < 0$ 및 $\alpha \geq 0$인 경우, $\alpha$-안정 쌍 $(V, \beta)$의 모듈리 공간 $\mathcal{N}_\alpha(d)$는 연결되어 있으며, 비어 있지 않은 안정 부분공간을 가진다.
• $0 < |d| < 2g-2$인 경우 $\mathcal{R}(d)$의 연결성은 $\mathcal{M}(d)$의 연결성에 기반하며, 이는 $\alpha$-안정성 분석과 $\mathcal{N}(d) = \mathcal{N}_0(d)$의 식별을 통해 확립된다.