Abstract:A subvariety of a quasi-projective complex variety $X$ is called ``universally irreducible'' if its preimage inside the universal cover of $X$ is irreducible. In this paper we investigate sufficient conditions for universal irreducibility. We consider in detail complete intersection subvarieties of small codimension inside Siegel moduli spaces of any finite level. Moreover we show that, for $g\geq 3$, every Siegel modular form is the product of finitely many irreducible analytic functions on the Siegel upper half-space $\mathbb{H}_g$. We also discuss the special case of singular theta series of weight $\frac{1}{2}$ and of Schottky forms.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the universal irreducibility of sub - varieties in Siegel moduli spaces. Specifically, the authors explore which sub - varieties in these moduli spaces have irreducible pre - images in their universal covering spaces. This involves the study of sufficient conditions for the universal irreducibility of sub - varieties under specific conditions.
### Main research content:
1. **Definition of universal irreducibility**:
- A sub - variety \(Z\) in the moduli space \(A_g(\Gamma)\) is called **absolutely irreducible** if its pre - image under every finite étale cover is irreducible.
- A sub - variety \(Z\) is called **universally irreducible** if its pre - image in the Siegel upper half - space \(H_g\) is irreducible.
2. **Main results**:
- **Theorem A**: For \(g\geq3\), let \(D\subset A_g(\Gamma)\) be an effective divisor, then its pre - image \(\tilde{D}\) in \(H_g\) is connected. Moreover, if \(D\) is locally irreducible, then \(D\) is universally irreducible; if \(D\) is absolutely irreducible, then \(D\) is also universally irreducible.
- **Theorem B**: For \(g\geq3\), let \(Z\subset A_g(\Gamma)\) be an absolutely irreducible complete - intersection sub - variety with codimension not exceeding \(g - 2\), then \(Z\) is universally irreducible.
- **Theorem B'**: For \(g\geq3\), let \(Z\subset A_g(\Gamma)\) be any complete - intersection sub - variety with codimension not exceeding \(g - 2\), then its pre - image \(\tilde{Z}\) in \(H_g\) has finitely many irreducible components.
3. **Applications**:
- The authors also discuss some specific examples, such as the universal irreducibility of singular theta series and Schottky forms.
### Paper structure:
- **Section 2**: Collected some basic facts about the topology of complex analytic spaces and proved criteria for the connectivity and irreducibility of lifts.
- **Section 3**: Proved a generalized Lefschetz hyperplane section theorem.
- **Section 4**: Extracted some topological properties required in more general cases to ensure the possibility of decomposition into absolutely irreducible divisors, and reformulated Theorem B and Theorem B'.
- **Section 5**: Reviewed some topological properties of the moduli space \(A_g\) or its finite cover \(A_g(\Gamma)\), used the tools developed in Section 2 to prove the connectivity claim and part (i) of Theorem A and Proposition D. Also discussed the universal irreducibility of sub - varieties containing Jacobi or hyperelliptic loci.
- **Section 6**: Proved Theorem 6.5 (while stating Theorem B and Theorem B'), using the results in Section 2, Section 8 and Appendix I.
- **Section 7**: Discussed three specific examples: the zero - locus of even theta constants (in genus 2), the intermediate Jacobi locus of cubic three - folds (in genus 5) and Schottky forms.
- **Section 8**: Proved an arithmeticity criterion for proving Theorem 6.5.
- **Appendix I**: Proved some simple facts about the symplectic monodromy at infinity of sub - varieties of the moduli space of curves.
### Conclusion:
Through these studies, the authors provide new perspectives and tools for understanding the universal irreducibility of sub - varieties in Siegel moduli spaces, which is important for further research on the geometric and topological properties of these moduli spaces.