What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the correspondence between algebraic curves, especially in the context of unramified covers. Specifically, the authors studied the correspondence between algebraic curves defined over separable closed fields and explored the following problems: 1. **Does there exist a universal algebraic curve \(C\) (over \(\mathbb{Q}\))**: - This question asks whether there exists an algebraic curve \(C\) such that the class of all its unramified covers is dominating. That is, for any algebraic curve \(C'\), there exists an unramified cover \(\tilde{C}\) of \(C\) and a birational surjective map \(\tilde{C}\to C'\). 2. **Does there exist an integer \(n\in\mathbb{N}\)**, such that every curve defined over \(\mathbb{Q}\) admits a surjective map onto \(\mathbb{P}^1\), and this surjective map is only ramified at \((0, 1,\infty)\), and all local ramification indices do not exceed \(n\): - This problem is related to the first problem because if such an \(n\) can be found, then the first problem can be constructively answered. 3. **Is every curve \(C\) defined over \(\mathbb{Q}\), when its genus \(g(C)\geq2\), universal**: - That is, whether all unramified covers of these curves form a dominating class. To explore these problems, the authors first carried out research on simplified models over the separable closure of the finite field \(\mathbb{F}_p\). They proved that for prime numbers \(p\geq5\), any hyperelliptic curve \(C\) with high genus (genus ≥ 2) is universal. Specifically, for any projective curve \(C'\), there exists a finite unramified cover \(\tilde{C}\to C\) of \(C\) and a surjective map \(\tau:\tilde{C}\to C'\). In addition, the authors also discussed the case of characteristic zero and showed how to use Belyi's theorem and other geometric construction methods to generate sets of algebraic points with specific ramification properties. For example, they constructed maps with bounded ramification indices by considering elliptic curves and their quotient maps. In summary, the main goal of this paper is to explore the profound connections between algebraic curves by studying the properties of unramified covers and correspondences and attempt to answer several key questions about the existence of universal curves.

Unramified correspondences

From $p$-modular to $p$-adic Langlands correspondences for $\operatorname{U}(1,1)(\mathbb{Q}_{p^2}/\mathbb{Q}_p)$: deformations in the non-supercuspidal case

Tamely Ramified Geometric Langlands Correspondence in Positive Characteristic

On the Boston's Unramified Fontaine-Mazur Conjecture

On the Unipotent $p$-adic Simpson Correspondence

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

On some finiteness results for unramified cohomology

Galois representations over function fields that are ramified at one prime

On the ramification of non-abelian Galois coverings of degree $p^3$

Ramified covers of abelian varieties over torsion fields

A generalized spectral correspondence

Correspondences on Riemann surfaces and non-uniform hyperbolicity

Galois structure of Zariski cohomology for weakly ramified covers of curves

Motivic complexes over finite fields and the ring of correspondences at the generic point

Simpson's correspondence on singular varieties in positive characteristic

Grothendieck-Serre in the quasi-split unramified case

Unramified case of Grothendieck-Serre for totally isotropic simply-connected group schemes

Rigidity and a Riemann–Hilbert Correspondence for P-Adic Local Systems

Ramified covering maps of singular curves and stability of pulled back bundles

On tame ramification and centers of F ‐purity

Torsion birational motives of surfaces and unramified cohomology