2025-11-11T10:40:12.192108

Big monodromy for higher Prym representations

Landesman, Litt, Sawin

Let $Î£_{g'}\to Î£_g$ be a cover of an orientable surface of genus g by an orientable surface of genus g', branched at n points, with Galois group H. Such a cover induces a virtual action of the mapping class group $\text{Mod}_{g,n+1}$ of a genus g surface with n+1 marked points on $H^1(Î£_{g'}, \mathbb{C})$. When g is large in terms of the group H, we calculate precisely the connected monodromy group of this action. The methods are Hodge-theoretic and rely on a "generic Torelli theorem with coefficients."

academic

고차 Prym 표현에 대한 큰 단일성

기본 정보

논문 ID: 2401.13906
제목: Big monodromy for higher Prym representations
저자: Aaron Landesman, Daniel Litt, Will Sawin
분류: math.AG (대수기하학), math.GT (기하위상수학)
발표 시간: 2024년 1월 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2401.13906

초록

$\Sigma_{g'} \to \Sigma_g$ 를 $n$ 개 점에서 분기하고 Galois 군이 $H$ 인 아종수 $g'$ 의 방향성 곡면에서 아종수 $g$ 의 방향성 곡면으로의 덮개라고 하자. 이러한 덮개는 아종수 $g$ 곡면 위의 $n+1$ 개 표시점을 가진 사상류군 $\text{Mod}_{g,n+1}$ 의 $H^1(\Sigma_{g'}, \mathbb{C})$ 위의 가상 작용을 유도한다. $g$ 가 군 $H$ 에 대해 충분히 클 때, 우리는 이 작용의 연결된 단일성군을 정확히 계산한다. 방법은 Hodge 이론에 기반하며, "계수를 가진 일반 Torelli 정리"에 의존한다.

연구 배경 및 동기

문제 배경

고전 결과의 일반화: 고전 기하위상수학에서 사상류군 $\text{Mod}_g$ 의 곡면 $\Sigma_g$ 의 첫 번째 코호몰로지 $H^1(\Sigma_g, \mathbb{Z})$ 위의 작용은 컵 곱을 보존하는 모든 자기동형군, 즉 $\text{Sp}_{2g}(\mathbb{Z})$ 를 통해 실현된다.
Prym 표현: étale 이중 덮개로부터 생성되는 Prym 다양체 코호몰로지에 대해, 단일성 표현의 상은 $\text{Sp}_{2g-2}(\mathbb{Z})$ 에서 유한 지수를 갖는다.
고차 Prym 표현: 임의의 유한군 $H$ 와 곡선의 Galois $H$ -덮개 족에 대해, 덮개 곡선의 첫 번째 코호몰로지 위의 단일성 표현을 결정해야 한다.

연구 동기

통일된 틀: 다양한 덮개 군 $H$ 경우에서 단일성군을 이해하기 위한 통일된 이론적 틀을 수립한다.
큰 단일성군 추측: "단일성군이 가능한 한 커야 한다"는 일반 원리를 검증한다.
Putman-Wieland 추측: 관련 추측에 새로운 증거와 부분적 증명을 제공한다.

핵심 기여

주요 정리: 밑 곡선의 아종수 $g$ 가 충분히 클 때, $H$ -덮개 족의 연결된 단일성군을 정확히 계산하여 $\text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$ 의 교환자 부분군과 같음을 증명한다.
기술적 혁신:
- "계수를 가진 일반 Torelli 정리" 개발
- 함자 재구성 기술 수립
- 전역 생성성의 새로운 결과 증명
응용 결과:
- Mumford-Tate 군의 정확한 기술
- Jacobian의 자기동형 대수 결정
- Putman-Wieland 추측의 새로운 경우 검증
Kodaira 섬유화: 특수 Kodaira 섬유화의 단일성군 분석

방법 상세 설명

작업 정의

유한군 $H$ 와 관련 $H$ -덮개 $\Sigma_{g'} \to \Sigma_g$ 가 주어졌을 때, 사상류군 $\text{Mod}_{g,n+1}$ 의 $H^1(\Sigma_{g'}, \mathbb{C})$ 위의 가상 작용의 Zariski 폐포의 항등원 성분을 결정한다.

핵심 정리

정리 1.3: $H$ 를 유한군이고 $r$ 을 $H$ 의 기약 표현의 최대 차원이라 하자. 다음을 가정하자:

$n = 0$ 이고 $g \geq 2r + 2$ , 또는
$n$ 은 임의이고 $g > \max(2r + 1, r^2)$

그러면 단일성 표현 $R_\phi: \text{Mod}_\phi \to \text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$ 의 상의 Zariski 폐포의 항등원 성분은 $\text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$ 의 교환자 부분군이다.