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
SN - 1095-0761
VL - 21
SP - 585
EP - 630
JO - Advances in Theoretical and Mathematical Physics
JF - Advances in Theoretical and Mathematical Physics
IS - 3
ER -