Abstract:In this paper, using Gromov-Jost-Korevaar-Schoen technique of harmonic maps to nonpositively curved targets, we study the representations of the fundamental groups of quasiprojective varieties. As an application of the above considerations we give a proof of a weak version of the Shafarevich Conjecture.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on studying the factorization theorem of fundamental group representations of quasi - projective varieties, and exploring the properties of these representations on some simple Lie groups. Specifically, the main objective of the paper is to use the theory of harmonic maps to study the factorization of Zariski - dense representations from the algebraic fundamental group of a quasi - projective variety \(X\) to a simple Lie group \(G\) defined over a local field \(K\).
### Main problems
1. **Factorization theorem**: The paper attempts to prove a factorization theorem regarding Zariski - dense representations. Specifically, for a Zariski - dense representation \(\rho: \pi_1(X)\to G\), the paper hopes to find a finite étale covering \(X'\) and a smooth projective variety \(Y\) with positive dimension less than or equal to the rank \(r\) of \(G\), such that \(\rho\) can be factored through a representation of the fundamental group of \(Y\).
2. **Weak version of Shafarevich conjecture**: As an application of the above - mentioned factorization theorem, the paper gives a proof of a weak version of Shafarevich conjecture. The Shafarevich conjecture involves the existence of a Stein manifold \(Sh(\tilde{X})\) of a smooth projective variety \(X\) and a proper map \(Sh:\tilde{X}\to Sh(\tilde{X})\) with connected fibers.
### Specific problems
- **Existence of harmonic maps**: The paper uses Gromov - Jost - Korevaar - Schoen techniques to study whether there exists a non - constant equivariant harmonic map \(U:\tilde{X}\to B\) when \(\pi_1(X)\) acts on a non - positively curved space (such as the Euclidean building \(B\)) without fixed points.
- **Specific form of factorization**: The paper describes in detail how to construct a spectral covering \(S\), and applies the Clemens - Lefschetz - Simpson theorem through holomorphic 1 - forms on \(S\) to obtain the specific form of factorization.
- **Application of Shafarevich conjecture**: Through the above - mentioned factorization theorem, the paper proves that in some cases the weak version of Shafarevich conjecture holds, that is, there exists a Stein manifold \(Sh(\tilde{X})\) and a proper map \(Sh:\tilde{X}\to Sh(\tilde{X})\) with connected fibers.
### Mathematical tools
- **Harmonic map theory**: Used to prove the existence and properties of non - constant equivariant harmonic maps.
- **Clemens - Lefschetz - Simpson theorem**: Used to handle holomorphic 1 - forms on \(S\) to obtain factorization.
- **Spectral covering**: Construct a spectral covering \(S\) related to harmonic maps and study the properties of holomorphic 1 - forms on \(S\).
### Applications
- **Shafarevich conjecture**: Through the factorization theorem, a weak version of Shafarevich conjecture is proved.
- **Other applications**: The paper also discusses the applications of these results in other fields, such as the representation problem of Benakli complexes and the discrete cocompact action of Kähler groups.
In conclusion, through in - depth study of harmonic maps and spectral coverings, this paper solves the factorization problem of fundamental group representations of quasi - projective varieties, and on this basis, proves a weak version of Shafarevich conjecture.