Eyal Markman,Eugene Z. Xia
Abstract:For a compact Riemann surface $X$ of genus $g > 1$, $\Hom(\pi_1(X), PU(p,q))/PU(p,q)$ is the moduli space of flat $PU(p,q)$-connections on $X$. There are two invariants, the Chern class $c$ and the Toledo invariant $\tau$ associated with each element in the moduli. The Toledo invariant is bounded in the range $-2min(p,q)(g-1) \le \tau \le 2min(p,q)(g-1)$. This paper shows that the component, associated with a fixed $\tau > 2(max(p,q)-1)(g-1)$ (resp. $\tau < -2(max(p,q)-1)(g-1)$) and a fixed Chern class $c$, is connected (The restriction on $\tau$ implies $p=q$).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the connectivity of the moduli space of flat PU(p,p)-structures with large Toledo invariants. Specifically, the author studies the connectivity of the moduli space under the given conditions of Toledo invariant \(\tau\) and Chern class \(c\).
### Background and Problem Description
For a compact Riemann surface \(X\) of genus \(g>1\), the space of homomorphisms from its fundamental group \(\pi_1(X)\) to the unitary group \(PU(p,q)\) can be understood as the moduli space of flat \(PU(p,q)\)-connections. Each such homomorphism has two important invariants: Chern class \(c\) and Toledo invariant \(\tau\). The range of values of the Toledo invariant is:
\[
- 2\min(p,q)(g - 1)\leq\tau\leq2\min(p,q)(g - 1)
\]
### Main Results of the Paper
The main result of the paper is to prove that a certain subset of the moduli space is connected under specific conditions. Specifically, when \(\tau>2(p - 1)(g - 1)\) or \(\tau < - 2(p - 1)(g - 1)\) is fixed and the Chern class \(c\) is fixed, the corresponding part of the moduli space is connected. An important corollary of this conclusion is \(p = q\) (see Remark 1.2).
### Key Technical Means
To prove this result, the author uses the following key technical means:
1. **Higgs Bundles and Dolbeault Moduli Spaces**: By relating \(PU(p,q)\)-representations to Higgs bundles and using the properties of Dolbeault moduli spaces for research.
2. **\(C^*\)-action**: Consider the fixed - point set under the \(C^*\)-action and introduce the concept of binary Hodge bundles, which have special properties under the \(C^*\)-action.
3. **Morse Theory Methods**: Use Morse theory methods to analyze the connectivity of the moduli space, especially by studying the behavior of \(C^*\)-orbits to prove connectivity.
### Main Theorem
The core theorem of the paper is as follows:
**Theorem 1.1**: In \(NB(p,q)\), the part related to the fixed \(\tau>2(p - 1)(g - 1)\) (or \(\tau < - 2(p - 1)(g - 1)\)) and the fixed Chern class \(c\) is connected.
The proof of this theorem depends on the study of binary Hodge bundles and their properties under the \(C^*\)-action. By constructing an auxiliary irreducible variety \(Q_2\) and proving its mapping relationship with the moduli space \(B(d_P, d_Q)\), the irreducibility of \(B(d_P, d_Q)\) is finally proved.
### Conclusion
This paper solves the connectivity problem of the moduli space of flat \(PU(p,p)\)-structures with large Toledo invariants, providing important insights for understanding the topological structure of these moduli spaces.