English

Modularity and uniformization of a higher genus algebraic space curve, its distinct arithmetical realizations by cohomology groups and $E_6$, $E_7$, $E_8$-singularities

Number Theory 2022-02-18 v6 Algebraic Geometry Representation Theory

Abstract

We prove the modularity for an algebraic space curve YY of genus 5050 in P5\mathbb{P}^5, which consists of 2121 quartic polynomials in six variables, by means of an explicit modular parametrization by theta constants of order 1313. This provides an example of modularity, explicit uniformization and hyperbolic uniformization of arithmetic type for a higher genus algebraic space curve. In particular, it gives a new example for Hilbert's 22nd problem. This gives 2121 modular equations of order 1313, which greatly improve the result of Ramanujan and Evans on the construction of modular equations of order 1313. We show that YY is isomorphic to the modular curve X(13)X(13). The corresponding ideal I(Y)I(Y) is invariant under the action of SL(2,13)\text{SL}(2, 13), which leads to a 2121-dimensional reducible representation of SL(2,13)\text{SL}(2, 13), whose decomposition as the direct sum of 11, 77 and 1313-dimensional representations gives two distinct arithmetical realizations of X(13)X(13) by character fields Q(χ)=Q(ζ7+ζ71)\mathbb{Q}(\chi)=\mathbb{Q}(\zeta_7+\zeta_7^{-1}) or Q(χ)=Q(13)\mathbb{Q}(\chi)=\mathbb{Q}(\sqrt{13}) of irreducible representations of SL(2,13)\text{SL}(2, 13) corresponding to the decompositions of cohomology groups of a projective or affine variety with values in a coherent algebraic sheaf on X(13)X(13) as well as the geometric construction of YY, the geometric realization of the degenerate principal series and the Steinberg representation of SL(2,13)\text{SL}(2, 13). The projection YY/SL(2,13)Y \rightarrow Y/\text{SL}(2, 13) (identified with CP1\mathbb{CP}^1) is a Galois covering whose generic fibre is interpreted as the Galois resolvent of the modular equation Φ13(,j)=0\Phi_{13}(\cdot, j)=0 of level 1313. The ring of invariant polynomials (C[z1,z2,z3,z4,z5,z6]/I(Y))SL(2,13)(\mathbb{C}[z_1, z_2, z_3, z_4, z_5, z_6]/I(Y))^{\text{SL}(2, 13)} over X(13)X(13) leads to a new perspective on the theory of E6E_6, E7E_7 and E8E_8-singularities.

Keywords

Cite

@article{arxiv.2109.11179,
  title  = {Modularity and uniformization of a higher genus algebraic space curve, its distinct arithmetical realizations by cohomology groups and $E_6$, $E_7$, $E_8$-singularities},
  author = {Lei Yang},
  journal= {arXiv preprint arXiv:2109.11179},
  year   = {2022}
}

Comments

178 pages