Mapping class group action on the cohomology of the $\mathrm{SL}_n$ character variety

이 논문은 표면 $\Sigma_g$ (종수 $g \ge 2$) 의 꼬임 (twisted) $SL_n$-특성 다양체 (character variety) $M^{SL}$ 의 코호몰로지에 대한 매핑 클래스 군 (mapping class group) 의 작용을 규명하는 것을 목적으로 합니다. 저자 Anne Larsen 은 Maulik-Shen [MS21] 의 엔도스코픽 분해 (endoscopic decomposition) 를 상대적 (relative) 버전으로 확장하여, 이 문제를 표면의 유한 덮개 (finite cover) $\tilde{\Sigma}_g^n$ 의 코호몰로지에 대한 매핑 클래스 군 작용으로 환원시킵니다.

다음은 논문의 기술적 요약입니다.

---

1. 연구 문제 및 배경 (Problem Statement)

• 대상: $n$ 과 $d$ 가 서로소인 정수이고, $g \ge 2$ 일 때, 한 점 $p$ 가 제거된 종수 $g$ 의 표면 $\Sigma_g \setminus \{p\}$ 위의 $SL_n$ 로컬 시스템들의 꼬임 특성 다양체 $M^{SL}$ 입니다. 이는 구멍 주위의 모노드로미가 $e^{2\pi i d/n} I_n$ 인 표현들의 공간입니다.
  $$M^{SL} := \{ \phi \in \text{Hom}(\pi_1(\Sigma_g \setminus p), SL_n(\mathbb{C})) : \phi(\gamma_p) = e^{2\pi i d/n} I_n \} / PGL_n(\mathbb{C})$$
• 목표: 매핑 클래스 군 $Mod(\Sigma_g \setminus p)$ 가 $M^{SL}$ 의 코호몰로지 $H^*(M^{SL})$ 에 작용할 때, 이 작용의 핵 (kernel) 과 대수적 모노드로미 군 (algebraic monodromy group) 을 기술하는 것입니다.
• 배경 및 난제:
  • $GL_n$ 의 경우 (Markman 의 결과), 코호몰로지는 '타우토로지컬 클래스 (tautological classes)'에 의해 생성되며, 매핑 클래스 군의 작용은 $H_1(\Sigma_g)$ 의 작용으로 완전히 제어됩니다.
  • 그러나 $SL_n$ 의 경우, 유한군 $\Gamma \cong H^1(\Sigma_g, \mathbb{Z}/n)$ 이 $M^{SL}$ 에 작용하며, 이 작용에 대해 불변이 아닌 (variant) 클래스들이 존재합니다. 이러한 클래스들은 타우토로지컬 클래스로 생성되지 않아, $H_1(\Sigma_g)$ 만으로는 작용을 설명할 수 없습니다.

2. 방법론 (Methodology)

저자는 **비아벨ian 호지 대응 (nonabelian Hodge correspondence)**을 통해 $M^{SL}$ 을 복소 대수 곡선 $C$ 위의 안정된 $SL_n$ 히그스 번들 (Higgs bundles) 의 모듈라이 공간과 동형으로 간주합니다. 이를 통해 기하학적 방법을 활용합니다.

• Maulik-Shen (MS21) 구성의 상대화 (Relativization):
  • MS21 은 단일 곡선 위에서 $SL_n$ 히그스 번들 모듈라이 공간의 코호몰로지를 $GL_{n/m}$ 히그스 번들 모듈라이 공간 (덮개 곡선 위) 의 코호몰로지와 연결하는 엔도스코픽 대응을 증명했습니다.
  • 본 논문에서는 이를 모듈라이 공간 $\mathcal{M}_{g,1}$ 위의 국소 계 (local system) 로 확장합니다. 즉, 곡선 $C$ 가 변할 때 (모듈라이 공간 위를 움직일 때) 이 대응이 일관되게 유지되도록 합니다.
• 주요 도구:
  1. 엔도스코픽 대응의 상대적 버전: $SL_n$ 히그스 번들 공간과 $GL_r$ ($r=n/m$) 히그스 번들 공간 사이의 코호몰로지 동형을 모듈라이 공간 전체에서 구성합니다.
  2. 소멸 사이클 (Vanishing Cycles) 기법: 특정 디비저 (divisor) $D$ 를 가진 히그스 번들 공간에서 $D$ 의 차수를 줄여가며 (vanishing cycles functor 적용), $D$ 가 없는 경우 (일반적인 히그스 번들) 로 동형을 유도합니다.
  3. 갈루아 작용 분석: 덮개 곡선 $C_\gamma$ 위의 갈루아 군 $G_\gamma$ 와 $\Gamma$ 의 작용을 세밀하게 분석하여, 코호몰로지의 특정 성분 (isotypic components) 간의 관계를 규명합니다.

3. 주요 결과 (Key Results)

3.1. 핵심 정리 (Theorem 1.1 & Theorem 3.4)

매핑 클래스 군 $Mod(\Sigma_g \setminus p)$ 가 $M^{SL}$ 의 코호몰로지 $H^*(M^{SL}, \mathbb{Z})$ 에 작용할 때, 그 **핵 (kernel)**은 표면 $\Sigma_g$ 의 표준적인 $n$-torsion 유한 덮개 $\tilde{\Sigma}_g^n$ (기본군 $\pi_1(\Sigma_g) \twoheadrightarrow H_1(\Sigma_g, \mathbb{Z}/n)$ 에 대응) 의 1 차 코호몰로지 $H_1(\tilde{\Sigma}_g^n, \mathbb{Z})$ 에 대한 매핑 클래스 군 작용의 핵과 **공약 (commensurable)**합니다.

• 의미: $M^{SL}$ 의 코호몰로지 작용은 원래 표면 $\Sigma_g$ 의 1 차 코호몰로지 $H_1(\Sigma_g)$ 가 아니라, 유한 덮개 $\tilde{\Sigma}_g^n$ 의 1 차 코호몰로지 $H_1(\tilde{\Sigma}_g^n)$ 에 의해 결정됩니다. 이는 $SL_n$ 특성 다양체의 코호몰로지가 타우토로지컬 클래스로 생성되지 않음을 반영합니다.

3.2. 대수적 모노드로미 군 (Corollary 1.2 & Corollary 3.5)

$g > 2$ 인 경우, 또는 $g=2$ 이고 $(n, 6)=1$ 인 경우, $Mod(\Sigma_g \setminus p)$ 의 $H^*(M^{SL}, \mathbb{C})$ 에 대한 대수적 모노드로미 군은 **교차군 (commutator subgroup)**입니다:
$$[Sp^{\hat{\Gamma}}(H_1(\tilde{\Sigma}_g^n, \mathbb{C})), Sp^{\hat{\Gamma}}(H_1(\tilde{\Sigma}_g^n, \mathbb{C}))]$$
여기서 $Sp^{\hat{\Gamma}}$ 는 교차형 (intersection form) 과 갈루아 작용 $\hat{\Gamma}$ 을 모두 보존하는 가역 선형 변환들의 부분군을 의미합니다.

• 이 군은 Looijenga [Loo97] 가 연구한 아벨리안 덮개 (abelian covers) 의 코호몰로지에 대한 모노드로미 군과 구조적으로 동일합니다.
• 구체적인 군 구조는 $n$ 의 홀짝성과 $g$ 에 따라 $SL$과$Sp$ 군의 곱으로 명시적으로 기술됩니다.

4. 논문의 의의 및 기여 (Significance)

1. $SL_n$ 특성 다양체의 코호몰로지 구조 규명: $GL_n$ 과 달리 생성되지 않는 'variant 클래스'들을 포함하는 $SL_n$ 특성 다양체의 코호몰로지 작용을 완전히 기술한 최초의 결과 중 하나입니다.
2. 엔도스코픽 대응의 상대적 확장: Maulik-Shen 의 정적 (static) 인 결과를 모듈라이 공간 위에서의 동적 (dynamic) 인 국소 계 (local system) 로 확장하여, 매핑 클래스 군 작용과 같은 모노드로미 문제를 해결할 수 있는 강력한 도구를 제공했습니다.
3. 대수기하학과 위상수학의 연결: 비아벨리안 호지 대응을 통해 히그스 번들 모듈라이 공간의 기하학적 성질을 이용하여, 순수 위상수학적 문제 (특성 다양체의 코호몰로지) 를 해결했습니다.
4. Looijenga 의 결과와의 연결: $SL_n$ 특성 다양체의 복잡한 코호몰로지 구조가 사실은 표면의 유한 덮개에 대한 아벨리안 덮개의 코호몰로지 구조와 밀접하게 연관되어 있음을 보여주었습니다.

5. 결론

이 논문은 $SL_n$ 특성 다양체의 코호몰로지에 대한 매핑 클래스 군의 작용이, 표면의 유한 덮개 $\tilde{\Sigma}_g^n$ 의 1 차 코호몰로지에 대한 작용과 본질적으로 동일함을 증명했습니다. 이를 통해 $SL_n$ 이론의 비자명한 (non-trivial) 코호몰로지 성분들이 어떻게 생성되고 작용하는지에 대한 명확한 기하학적, 대수적 그림을 제시했습니다.