Abstract:We provide an explicit algebraic construction for the pullback and direct image of parabolic bundles, parabolic Higgs bundles and parabolic connections through maps between Riemann surfaces. We show that these constructions preserve semistability and polystability, and we prove that they are compatible with the nonabelian Hodge correspondence.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of explicit algebraic construction of pull - backs and direct images of parabolic bundles, parabolic Higgs bundles and parabolic connections under non - constant (possibly ramified) mappings between Riemann surfaces. Specifically, the paper focuses on the following points:
1. **Stability of pull - backs and direct images**: Study whether these constructions preserve semi - stability and polystability.
2. **Relationship with non - Abelian Hodge correspondence**: Prove that these constructions are compatible with non - Abelian Hodge correspondence.
### Specific problem description
- **Definition of parabolic bundles**: On a compact connected Riemann surface \((X, D)\) with marked points, a parabolic bundle \(E^*\) is a vector bundle \(E\) together with a weighted flag structure at each marked point \(x_i\in D\), that is, a decreasing sequence of subspaces on the fiber \(E_{x_i}\):
\[
E_{x_i}=E^1_i\supset E^2_i\supset\cdots\supset E^{n_i}_i\supset0
\]
and a set of associated parabolic weights:
\[
0\leq\alpha^1_i <\alpha^2_i <\cdots <\alpha^{n_i}_i
\]
- **Parabolic Higgs bundles and parabolic connections**: Given a parabolic vector bundle \(E^*\), a parabolic Higgs field \(\theta\) is an \(\mathcal{O}_X\)-linear map:
\[
\theta: E\rightarrow E\otimes K_X(D)
\]
preserving the parabolic flag at each parabolic point. A pair \((E^*, \theta)\) is called a parabolic Higgs bundle. Similarly, a parabolic connection is a logarithmic connection:
\[
\nabla: E\rightarrow E\otimes K_X(D)
\]
satisfying the Leibniz rule and the residue at each parabolic point preserves the parabolic flag.
- **Pull - backs and direct images**: Consider two non - constant holomorphic maps \(f: Y\rightarrow X\) and \(\varphi: X\rightarrow Z\), the paper studies the pull - backs and direct images of parabolic objects through these maps.
### Main results
- **Stability preservation**: The paper proves that pull - backs and direct images preserve semi - stability and polystability. Specifically:
- \(f^*E^*\), \(f^*(E^*, \theta)\), \(f^*(E^*, \nabla)\) are semi - stable if and only if \(E^*\), \((E^*, \theta)\), \((E^*, \nabla)\) are semi - stable.
- \(\varphi^*E^*\), \(\varphi^*(E^*, \theta)\), \(\varphi^*(E^*, \nabla)\) are semi - stable if and only if \(E^*\), \((E^*, \theta)\), \((E^*, \nabla)\) are semi - stable.
- \(f^*E^*\) is polystable if and only if \(E^*\) is polystable.
- If \(E^*\) is polystable, then \(\varphi^*E^*\) is also polystable.
- **Compatibility with non - Abelian Hodge correspondence**: The paper also proves that pull - backs and direct images are compatible with non - Abelian Hodge correspondence. Specifically:
- \(f^*(E^*, \theta)\) is a parabolic Higgs bundle, \(f^*(E^*, \nabla)\) is a parabolic connection, and they are related through non - Abelian Hodge correspondence.
- \(\varphi^*(E^*, \theta)\) is a parabolic Higgs bundle, \(\varphi^*(E^*, \nabla)\) is a parabolic connection, and they are related through non - Abelian Hodge correspondence.