Big monodromy for higher Prym representations

Basic Information

• Paper ID: 2401.13906
• Title: Big monodromy for higher Prym representations
• Authors: Aaron Landesman, Daniel Litt, Will Sawin
• Classification: math.AG (Algebraic Geometry), math.GT (Geometric Topology)
• Publication Date: January 2024 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2401.13906

Abstract

Let $\Sigma_{g'} \to \Sigma_g$ be a covering of an orientable surface of genus $g'$ over an orientable surface of genus $g$, branched at $n$ points with Galois group $H$. Such a covering induces a virtual action of the mapping class group $\text{Mod}_{g,n+1}$ on $H^1(\Sigma_{g'}, \mathbb{C})$ on the genus $g$ surface with $n+1$ marked points. When $g$ is sufficiently large relative to the group $H$, we precisely compute the connected monodromy group of this action. The method is based on Hodge theory and relies on a "generalized Torelli theorem with coefficients."

Research Background and Motivation

Problem Background

1. Generalization of Classical Results: In classical geometric topology, the action of the mapping class group $\text{Mod}_g$ on the first cohomology $H^1(\Sigma_g, \mathbb{Z})$ of the surface $\Sigma_g$ is realized through the full automorphism group preserving the cup product, namely $\text{Sp}_{2g}(\mathbb{Z})$.
2. Prym Representations: For the cohomology of Prym varieties arising from étale double covers, the image of the monodromy representation has finite index in $\text{Sp}_{2g-2}(\mathbb{Z})$.
3. Higher Prym Representations: For arbitrary finite groups $H$ and Galois $H$-covers of curves, one needs to determine the monodromy representation on the first cohomology of the covering curve.

Research Motivation

1. Unified Framework: Establish a unified theoretical framework to understand monodromy groups in different cases of covering groups $H$.
2. Big Monodromy Conjecture: Verify the general principle that "monodromy groups should be as large as possible."
3. Putman-Wieland Conjecture: Provide new evidence and partial proofs for related conjectures.

Core Contributions

1. Main Theorem: When the genus $g$ of the base curve is sufficiently large, we precisely compute the connected monodromy group of $H$-cover families, proving it equals the commutator subgroup of $\text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$.
2. Technical Innovations:
   • Development of a "generalized Torelli theorem with coefficients"
   • Establishment of functorial reconstruction techniques
   • Proof of new results on global generation
3. Application Results:
   • Precise description of Mumford-Tate groups
   • Determination of endomorphism algebras of Jacobians
   • Verification of new cases of the Putman-Wieland conjecture
4. Kodaira Fibrations: Analysis of monodromy groups for special Kodaira fibrations.

Detailed Methods

Problem Setup

Given a finite group $H$ and associated $H$-cover $\Sigma_{g'} \to \Sigma_g$, determine the identity component of the Zariski closure of the virtual action of the mapping class group $\text{Mod}_{g,n+1}$ on $H^1(\Sigma_{g'}, \mathbb{C})$.

Core Theorem

Theorem 1.3: Let $H$ be a finite group and $r$ be the maximum dimension of an irreducible representation of $H$. Assume:

• $n = 0$ and $g \geq 2r + 2$, or
• $n$ arbitrary and $g > \max(2r + 1, r^2)$

Then the identity component of the Zariski closure of the image of the monodromy representation $R_\phi: \text{Mod}_\phi \to \text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$ is the commutator subgroup of $\text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$.

Technical Architecture

1. Functorial Reconstruction

• Core Idea: Reconstruct the original monodromy representation from the derivative of the period map
• Implementation: Analyze properties of the period map through Schiffer variations
• Innovation: Use the reconstruction algorithm as a tool in proof by contradiction

2. Generalized Torelli Theorem

Theorem 6.2: Under appropriate assumptions, the vector bundle $\hat{E}_0 \otimes \omega_C(D)$ can be functorially reconstructed from the variation of weak infinitesimal Hodge structures $\text{GH}_m(W^1R^1\pi^\circ_*U)$.

3. Global Generation Analysis

Proposition 4.9: For a general $n$-pointed curve $(C,D)$, if $g \geq 2 + 2r$, then $\hat{E}^p_0 \otimes \omega_C(D)$ is not only generically globally generated but globally generated.

Proof Strategy

1. Simplicity: First prove that the monodromy group is simple (Theorem 6.7)
2. Classification: Use Deligne-Zarhin classification to determine possible monodromy group types
3. Elimination: Exclude non-standard representations through functorial reconstruction techniques
4. Self-Duality: Analyze self-duality properties of representations to determine the final form

Experimental Setup

Theoretical Verification

Since this is a pure mathematics theory paper, there are no experiments in the traditional sense, but rather rigorous mathematical proofs to verify the results.

Verification Methods

1. Special Case Verification: Verify that known cases (e.g., when $H$ is abelian) conform to theoretical predictions
2. Asymptotic Behavior: Analyze behavior as $g \to \infty$
3. Boundary Cases: Study performance under critical conditions

Main Results

Core Results

Theorem 1.9: Under appropriate conditions, the image of the monodromy representation is Zariski dense in:

• When $\rho$ is symplectically self-dual: $\text{SO}(W^1H^1(\Sigma_{g,n}, V_\rho))$
• When $\rho$ is orthogonally self-dual: $\text{Sp}(W^1H^1(\Sigma_{g,n}, V_\rho))$
• When $\rho$ is non-self-dual: the product of $\text{SL}(W^1H^1(\Sigma_{g,n}, V_\rho))$ with a finite central subgroup

Corollaries

Corollary 1.10: For a very general $H$-curve $X$, the Mumford-Tate group of $H^1(X, \mathbb{Q})$ contains the commutator subgroup of $\text{Sp}(H^1(X, \mathbb{Q}))^H$.

Corollary 1.11: The endomorphism algebra of the Jacobian $\text{Jac}(X)$ is $\mathbb{Q}[H]$.

Large $n$ Case

Theorem 1.15: When the number of branch points $\Delta > \frac{3r^2}{\sqrt{g+1}} + 8r$, there are no nonzero finite orbit vectors under the monodromy group action.

Related Work

Historical Development

1. Looijenga (1997): Results in the abelian case
2. GLLM (2015): Specific cases of non-abelian covering groups
3. Prior Work by Landesman-Litt: Development of foundational techniques

Technical Connections

• Hodge Theory: Utilization of variation of Hodge structures theory
• Parabolic Vector Bundles: Via Mehta-Seshadri correspondence
• Mapping Class Group Representations: Connecting topology and algebraic geometry

Conclusions and Discussion

Main Conclusions

1. When the genus of the base curve is sufficiently large, the monodromy groups of higher Prym representations achieve the theoretically maximum possible size
2. Establish a general method for reconstructing the original representation from the period map
3. Provide strong evidence for the Putman-Wieland conjecture

Limitations

1. Genus Conditions: Requires $g$ to be sufficiently large relative to the representation dimension of $H$
2. Effectiveness: The bounds may not be optimal
3. Arithmeticity: The method cannot determine whether the image is an arithmetic group

Future Directions

1. Improved Bounds: Seek more precise lower bounds on genus
2. Arithmeticity Questions: Study arithmetic properties of the image
3. Free Group Analogues: Extend to representations of other groups

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines deep techniques from algebraic geometry, topology, and representation theory
2. Methodological Innovation: The functorial reconstruction technique is novel and has broad applicability
3. Complete Results: Provides complete characterization of monodromy groups, not merely existence results
4. Technical Breakthrough: Resolves key technical difficulties in global generation

Weaknesses

1. Restrictive Conditions: The genus requirements may be overly stringent
2. Computational Complexity: The dependence of bounds on parameters is complex in practical computation
3. Generalizability: Some techniques may be difficult to extend to other settings

Impact

1. Theoretical Contribution: Makes important contributions to the theory of mapping class group representations
2. Method Value: The functorial reconstruction method has independent value
3. Application Prospects: Has applications in arithmetic statistics and equivariant birational geometry

Applicable Scenarios

• Cover theory of high-genus curves
• Linear representations of mapping class groups
• Applications of Hodge theory in algebraic geometry
• Computation and classification of monodromy groups

Technical Innovation Details

Functorial Reconstruction Algorithm

This is the core technical innovation of the paper, working as follows:

1. Input: Variation of weak infinitesimal Hodge structures
2. Processing: Analyze the derivative of the period map through Schiffer variations
3. Output: Reconstruct the original parabolic vector bundle

Global Generation Breakthrough

In contrast to prior work that could only prove generic global generation, this paper successfully proves actual global generation by analyzing obstructions to global generation.

Application of Goursat-Kolchin-Ribet Criterion

Cleverly applies this criterion to lift big monodromy results for individual representations to the product case of all representations.

This paper represents significant progress in the intersection of mapping class group representation theory and algebraic geometry. Both its technical innovations and theoretical depth reach a high level, laying a solid foundation for further developments in related fields.