Stable cohomology of universal character varieties

기술 요약: 보편적 캐릭터 다양체의 안정적 코호몰로지

문제 정의
본 논문은 곡선의 모듈라이 공간 $\mathcal{M}_g$ 상의 보편적 캐릭터 다양체(universal character varieties)에 대한 코호몰로지 안정성을 조사한다. 구체적으로, 저자들은 곡선 $C$ 상의 $PGL_n(\mathbb{C})$-로컬 시스템의 보편적 $PGL_n$-캐릭터 다양체 $\mathcal{M}^{PGL}_{B}(\mathcal{C}_g, n, d) \to \mathcal{M}_g$를 연구한다. 여기서 파이버(fiber)는 점 $[C]$에서의 $PGL_n$-캐릭터 다양체이다. 저자들은 또한 뚫린 곡선의 모듈라이 공간 $\mathcal{M}_{g,1}$ 상의 보편적 $G$-캐릭터 다양체($G = GL_n$ 및 $SL_n$인 경우)를 고려한다.

핵심 질문은 $g \to \infty$일 때 이 보편적 다양체들의 유리 코호몰로지(rational cohomology) 그룹이 안정화되는지 여부이며, 만약 그렇다면 그 안정적 극한(stable limit)을 계산하는 것이다. 이 연구는 곡선의 모듈라이 공간(Madsen-Weiss) 및 허르비츠 공간(Ellenberg-Venkatesh-Westerland, Landesman-Levy, Putman)에 대한 이전의 안정성 결과들을 비가환 캐릭터 다양체의 설정으로 확장한다.

방법론
저자들은 비가환 호지 이론(non-abelian Hodge theory), 혼합 호지 모듈(mixed Hodge modules) 이론, 그리고 고전적 호지 이론의 결합된 기법을 사용한다. 핵심적인 기술적 전략은 다음과 같은 단계들을 포함한다:

1. 비가환 호지 대응 (Non-Abelian Hodge Correspondence): 저자들은 상대적 비가мен 호지 대응을 활용하여 베티 측(Betti side)의 보편적 캐릭터 다양체($\mathcal{M}^{PGL}_{B}$)를 돌베로트 측(Dolbeault side)의 보편적 반안정 히그스 번들 모듈리 공간($\mathcal{M}^{PGL}_{Dol}$)과 연결한다. 베티 측은 해석적으로 구축되지만, 돌베로트 측은 대수 기하학적 도구들을 적용하기에 적합한 대수적 구조를 갖는다.
2. Leray-Serre 스펙트럴 시퀀스의 퇴화 (Degeneration of the Leray-Serre Spectral Sequence): 투영 $\pi: \mathcal{M}^{PGL}_{B}(\mathcal{C}_g, n, d) \to \mathcal{M}_g$에 대한 Leray-Serre 스펙트럴 시퀀스가 $E_2$ 페이지에서 퇴화한다는 것을 증명하는 것이 중추적인 기술적 결과이다.
   • 증명 1 (Saito의 이론): 사이토(Saito)의 혼합 호지 모듈 이론을 사용하여, 저자들은 상수 층(constant sheaf)의 푸시포워드(pushforward)가 코호몰로지 층들의 직합으로 분리됨을 보인다. 이는 파이버(히그스 모듈리 공간)의 순수성(purity)과 사상의 매끄러움(smoothness)에 의존한다.
   • 증명 2 (고전적 호지 이론): 고전적 호지 이론과 유도 범주(derived category) 조작을 이용한 대안적인 증명이 제공된다. 이는 히그스 모듈리 공간의 매끄러운 상대적 컴팩트화(compactification)를 구축하고, 푸시포워드의 분리를 확립하기 위해 결과적인 가이시 시퀀스(Gysin sequence)를 분석하는 과정을 포함한다.
3. 파이버 및 기저의 코호몰로지: 저자들은 퇴화 결과와 파이버의 코호몰로지에 대한 알려진 생성원 및 관계식(Hausel-Thaddeus, Markman, Hausel-Rodriguez-Villegas의 연구에 기반함) 및 심플렉틱 계수를 가진 기저 모듈라이 공간 $\mathcal{M}_g$ 및 $\mathcal{M}_{g,1}$의 안정적 코호몰로지(Looijenga, Kawazumi, Randal-Williams에 기반함)를 결합한다.

주요 기여 및 결과

• 퇴화 정리 (Theorem 1.3 / Theorem 3.1): $d$와 $n$이 서로소일 때, $g \ge 2$에 대하여, 보편적 $PGL_n$-캐릭터 다양체에 대한 Leray-Serre 스펙트럴 시퀀스는 $E_2$에서 퇴화한다. 이는 동형 사상 $H^k(\mathcal{M}^{PGL}_{B}(\mathcal{C}_g, n, d); \mathbb{Q}) \cong \bigoplus_{p+q=k} H^p(\mathcal{M}_g; R^q\pi_*\mathbb{Q})$를 함의한다.
• 안정적 코호몰로지 공식 (Theorem 1.1): 저자들은 유리 코호몰로지의 안정적 극한을 계산한다. $d \in (\mathbb{Z}/n\mathbb{Z})^\times$이고 $k \le 2(g-1)(n-1)+2$일 때, 코호몰로지는 다음의 $k$차 부분과 동형이다:
  $$H^*(\mathcal{M}_g; V^\bullet(V_g \otimes \widetilde{W}_n)) \otimes \text{Sym}^\bullet(V^\circ \otimes \widetilde{W}_n)$$
  여기서 $V_g = H^1(S_g; \mathbb{Q})$, $V^\circ = \mathbb{Q} \oplus \mathbb{Q}[-2]$, $\widetilde{W}_n$은 $\mathbb{P}^{n-1}$의 축소 코호몰로지(reduced cohomology)이다.
• 안정성 및 독립성 (Corollary 1.2): 안정 범위($k \le (2g-2)/3$)에서, 코호몰로지 그룹은 $g$에 독립적이며 홀수 차수 $k$에 대해 소멸한다. 또한, $k \le 2n-1$인 경우, 이 그룹들은 $n$에 독립적이다.
• $GL_n$ 및 $SL_n$으로의 확장 (Theorem 1.4): 뚫린 점 주변의 중심 모노드로미(central monodromy)가 고정된 $\mathcal{M}_{g,1}$ 상의 보편적 $SL_n$ 및 $GL_n$-캐릭터 다양성에 대해서도 유사한 안정성 결과가 확립된다. 코호몰로지는 $\mathcal{M}_{g,1}$ 상의 로컬 시스템을 통해 표현된다.
• 장애 클래스(Obstruction Class)의 독립성 (Remark 1.6): 보편적 캐릭터 다양체의 유리 코호몰로지가 장애 클래스 $d \in (\mathbb{Z}/n\mathbb{Z})^\times$의 선택에 독립적임이 보여진다. 이는 제1원리나 갈루아 공액(Galois conjugation) 논증이 아닌, 비가환 호지 대응을 통해 도출된다(갈루아 공액은 전체 공간에는 적용되지 않는다).

의의
본 논문은 곡선의 모듈라이 공간과 유사하게 보편적 캐릭터 다양체의 코호몰로지에 대한 기초적인 안정 현상을 확립한다. Leray 스펙트럴 시퀀스의 퇴화를 증명함으로써, 저자들은 전체 공간의 코호몰로지를 계산하는 복잡한 문제를 파이버로부터 유도된 특정 로컬 시스템을 계수로 갖는 기저의 코호몰로지를 계산하는 더 다루기 쉬운 문제로 환원시킨다.

이 연구는 안정적 코호몰로지에 대한 명시적인 공식을 제공하며, 이를 심플렉틱 군의 표현론 및 $\mathcal{M}_g$의 코호몰로지와 연결한다. 저자들은 장애 클래스 $d$에 대한 코호몰로지의 독립성이 그들의 증명의 결과이지만, 히그스 번들 설정 내에서 이에 대한 직접적인 기하학적 설명은 현재 부족하다는 점을 언급하면서도, 이것이 Gopakumar-Vafa 불변성에 관한 더 넓은 추측들과 일치함을 밝힌다. 또한, 이 결과는 $GL_n$ 및 $SL_n$에 대한 상대적 다양체의 정의와 관련하여 $\mathcal{M}_g$ 상의 캐릭터 다양체와 $\mathcal{M}_{g,1}$ 상의 캐릭터 다양지 간의 구조적 차이를 명확히 한다.