Abstract:For infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, we provide a method to determine the integral PEL datum of the Shimura variety that contains the image of the Hurwitz space under the Torelli morphism.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: for infinitely many Hurwitz spaces, which parameterize cyclic covers of the projective line, provide a method to determine the integral PEL data (i.e., lattices and Hermitian matrices) of Shimura varieties that contain the images of these Hurwitz spaces under the Torelli map. Specifically, the goal of the paper is to calculate the integral PEL data of a specific type of Shimura variety \( S_{\gamma} \), especially the integral PEL data of all positive - dimensional \( m \)-cyclic cover families when \( m \) is an odd prime and the class number of \( \mathbb{Q}(\zeta_m) \) is 1.
Expressed in formulas, the paper focuses on how to determine the following:
- The structure on \( V \) as a vector space, where \( F=\mathbb{Q}(\zeta_m) \)
- The \( O_F \)-lattice \( \Lambda \subset V \), and
- The Hermitian form \( \langle \cdot,\cdot \rangle \) on \( V \), which takes integral values on \( \Lambda \)
In addition, the paper also discusses the case where \( m \) is not a prime but satisfies certain conditions, and this method can be applied to infinitely many monodromy data \( \gamma \). The key to this method lies in finding suitable distinguished points such that the corresponding Jacobian has complex multiplication properties, thereby simplifying the calculations of lattices and Hermitian forms.
In summary, the main goal of the paper is to provide an explicit description of the integral PEL data for these varieties by studying specific types of Shimura varieties, which helps to further understand the geometric and arithmetic properties of these mathematical objects.