An interesting elliptic surface over an elliptic curve (Q2381156)

From MaRDI portal
Revision as of 10:14, 27 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
An interesting elliptic surface over an elliptic curve
scientific article

    Statements

    An interesting elliptic surface over an elliptic curve (English)
    0 references
    0 references
    0 references
    0 references
    25 September 2007
    0 references
    The authors investigate the elliptic modular surface attached to the commutator subgroup \(\Gamma^{\prime}\) of the full modular group \(\text{SL}(2,{\mathbb Z})\). Let \(S=S(\Gamma^{\prime})\) denote the elliptic modular surface attached to \(\Gamma^{\prime}\). The surface \(S\) has the modular curve as a base curve (\(\eta^2=\xi^3-12^3\)), and over the base, \(S\) is defined by the elliptic curve \(E: y^2=x^3-27\xi x-54\eta\). \(S\) has only one singular fiber of type \(I_6^*\). Furthermore, \(S\) has the geometric genus \(p_g=1\), and Hodge numbers \(h^{0,0}=h^{2,2}=1, h^{1,0}=h^{0,1}=1, h^{2,0}=h^{0,2}=1 \) and \(h^{1,1}=12\). Thus the second Betti number of \(S\) is \(B_2=14\). Moreover, \(S\) is extremal so that the Picard number \(\rho(S)=h^{1,1}(S)=12\) (and the Mordell--Weil rank \(0\)). This implies that the transcendental lattice \(T(S)\) is of rank \(2\). \(S\) has a model defined over \({\mathbb Q}\). Thus there is a cups form of weight \(3\) with respect to the commutator subgroup \(\Gamma^{\prime}\). The main result is formulated in the following Theorem. Up to the Euler factors at \(2\) and \(3\), the Hasse-Weil zeta-function of \(S/{\mathbb Q}\) is given by \[ \zeta(S/{\mathbb Q},s)={{\zeta(s)\zeta(s-1)^{12}L(\eta(\tau)^6,s) \zeta(s-2)}\over{L(\eta(\tau)^4,s)L(\eta(\tau)^4,s-1)}} \] where \(\eta(\tau)\) is the Dedekind eta function. As applications of the theorem, the rank of the elliptic curve \(E\), the Mordell-Weil lattice, the discriminant of \(S\), etc. in positive characteristic are determined explicitly.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    elliptic modular surfaces
    0 references
    cusp forms
    0 references
    commutator subgroup of the modular group
    0 references
    Tate's conjecture
    0 references
    0 references
    0 references