TY - JOUR

T1 - On some Siegel threefold related to the tangent cone of the Fermat quartic surface

AU - Okazaki, Takeo

AU - Yamauchi, Takuya

N1 - Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.

PY - 2017/1/1

Y1 - 2017/1/1

N2 - Let Z be the quotient of the Siegel modular threefold Asa(2, 4, 8) which has been studied by van Geemen and Nygaard. They gave an implication that some 6-tuple FZ of theta constants which is in turn known to be a Klingen type Eisenstein series of weight 3 should be related to a holomorphic differential (2, 0)-form on Z. The variety Z is birationally equivalent to the tangent cone of Fermat quartic surface in the title. In this paper we first compute the L-function of two smooth resolutions of Z. One of these, denoted by W, is a kind of Igusa compactification such that the boundary ∂W is a strictly normal crossing divisor. The main part of the L-function is described by some elliptic newform g of weight 3. Then we construct an automorphic representation π of GSp2(A) related to g and an explicit vector EZ sits inside π which creates a vector valued (non-cuspidal) Siegel modular form of weight (3, 1) so that FZ coincides with EZ in H2,0(∂W) under the Poincaré residue map and various identifications of cohomologies.

AB - Let Z be the quotient of the Siegel modular threefold Asa(2, 4, 8) which has been studied by van Geemen and Nygaard. They gave an implication that some 6-tuple FZ of theta constants which is in turn known to be a Klingen type Eisenstein series of weight 3 should be related to a holomorphic differential (2, 0)-form on Z. The variety Z is birationally equivalent to the tangent cone of Fermat quartic surface in the title. In this paper we first compute the L-function of two smooth resolutions of Z. One of these, denoted by W, is a kind of Igusa compactification such that the boundary ∂W is a strictly normal crossing divisor. The main part of the L-function is described by some elliptic newform g of weight 3. Then we construct an automorphic representation π of GSp2(A) related to g and an explicit vector EZ sits inside π which creates a vector valued (non-cuspidal) Siegel modular form of weight (3, 1) so that FZ coincides with EZ in H2,0(∂W) under the Poincaré residue map and various identifications of cohomologies.

UR - http://www.scopus.com/inward/record.url?scp=85028296424&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85028296424&partnerID=8YFLogxK

U2 - 10.4310/ATMP.2017.v21.n3.a1

DO - 10.4310/ATMP.2017.v21.n3.a1

M3 - Article

AN - SCOPUS:85028296424

VL - 21

SP - 585

EP - 630

JO - Advances in Theoretical and Mathematical Physics

JF - Advances in Theoretical and Mathematical Physics

SN - 1095-0761

IS - 3

ER -