Lattice polarized \(K3\) surfaces and Siegel modular forms (Q436170): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The paper under review has two goals: One is to present a classification of algebraic \(K3\) surfaces polarized by the lattice \(H\oplus E_8\oplus E_7\), and the other is to give explicit formulas for a Hodge correspondence that relates these \(K3\) surfaces to principally polarized abelian surfaces. For the classification, the key ingredients are normal forms for these \(K3\) surfaces, a coarse moduli space and an explicit description of the inverse period map in terms of Siegel modular forms. The result is formulated as follows. A \(K3\) surface \(X\) is said to be \(N\)-polarized if there is a primitive lattice embedding \(N\hookrightarrow \mathrm{NS}(X)\) where \(\mathrm{NS}(X)\) denotes the Neron-Severi lattice of \(X\). In what follow, \(N\) is taken to be the lattice \(H\oplus E_8\oplus E_7\). Let \((\alpha, \beta, \gamma, \delta)\) be a quadruple of complex numbers. Denote by \(X(\alpha,\beta,\gamma,\delta)\) the minimal resolution of the surface in \({\mathbf{P}}^3(x,y,z,w)\) cut out by the degree-four homogeneous polynomial \[ y^2zw-4x^3z+3\alpha xzw^2+\beta zw^3+\gamma xz^2w-{{1}\over{2}}(\delta z^2w^2+w^4)=0. \] (a) If \(\gamma\neq 0\) or \(\delta\neq 0\), then \(X(\alpha,\beta,\gamma,\delta)\) is a \(K3\) surface endowed with a canonical \(N\)-polarization. (b) Given any \(N\)-polarized \(K3\) surface \(X\), there exists \((\alpha,\beta,\gamma,\delta)\in{\mathbb{C}}^4\), with \(\gamma\neq 0\) or \(\delta\neq 0\), such that surfaces \(X\) and \(X(\alpha,\beta,\gamma,\delta)\) are isomorphic as \(N\)-polarized \(K3\) surfaces. (c) A coarse moduli space for \(N\)-polarized \(K3\) surfaces is given by the open variety \[ {\mathcal{M}}_{K3}^N=\{[\alpha,\beta\,\gamma,\delta]\in {\mathbf{WP}}^3(2,3,5,6)\,|\, \gamma\neq 0,\,\,\text{{or}}\,\, \delta\neq 0\}. \] (d) The period map \(\text{{per}}:{\mathcal{M}}_{K3}^N\to {\mathcal{F}}_2={\mathbb{H}}_2/Sp_4({\mathbb{Z}})\) is an isomorphism (as quasi-projective varieties). (e) The inverse period map is given by \(\text{{per}}^{-1}=[{\mathcal{E}}_4, {\mathcal{E}}_6, 2^{12}3^5{\mathcal{C}}_{10}, 2^{12}3^6{\mathcal{C}}_{12}]\) where \({\mathcal{E}}_4,{\mathcal{E}}_6\) are genus-two Eisenstein series of weight \(4\) and \(6\), and \({\mathcal{C}}_{10},{\mathcal{C}}_{12}\) are Igusa's cusp forms of weight \(10\) and \(12\), respectively. For the Hodge correspondence, the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta,\gamma,\delta)\) is given explicitly, depending on \(\gamma=0\) and \(\gamma\neq 0\). (f) Suppose that \(\gamma=0\). Then the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta, 0,\delta)\) is given by \((E_1\times E_2, {\mathcal{O}}_{E_1\times E_2}(E_1+E_2))\) where \(E_1\) and \(E_2\) are complex elliptic curves with \(j\)-invariants satisfying \(j(E_1)+j(E_2)={{\alpha^3-\beta^2}\over{\delta}}+1\) and \(j(E_1)j(E_2)={{\alpha^3}\over{\delta}}\). (g) Suppose that \(\gamma\neq 0\). Then the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta,\gamma,\delta)\) is given by \((\mathrm{Jac}(C), {\mathcal{O}}_{\mathrm{Jac}(C)}(\Theta))\) where \(C\) is a smooth genus two curve of Igusa-Clebsch invariants \([A,B,C,D]\in{\mathbf{WP}}^3(2,3,5,6)\). | |||
Property / review text: The paper under review has two goals: One is to present a classification of algebraic \(K3\) surfaces polarized by the lattice \(H\oplus E_8\oplus E_7\), and the other is to give explicit formulas for a Hodge correspondence that relates these \(K3\) surfaces to principally polarized abelian surfaces. For the classification, the key ingredients are normal forms for these \(K3\) surfaces, a coarse moduli space and an explicit description of the inverse period map in terms of Siegel modular forms. The result is formulated as follows. A \(K3\) surface \(X\) is said to be \(N\)-polarized if there is a primitive lattice embedding \(N\hookrightarrow \mathrm{NS}(X)\) where \(\mathrm{NS}(X)\) denotes the Neron-Severi lattice of \(X\). In what follow, \(N\) is taken to be the lattice \(H\oplus E_8\oplus E_7\). Let \((\alpha, \beta, \gamma, \delta)\) be a quadruple of complex numbers. Denote by \(X(\alpha,\beta,\gamma,\delta)\) the minimal resolution of the surface in \({\mathbf{P}}^3(x,y,z,w)\) cut out by the degree-four homogeneous polynomial \[ y^2zw-4x^3z+3\alpha xzw^2+\beta zw^3+\gamma xz^2w-{{1}\over{2}}(\delta z^2w^2+w^4)=0. \] (a) If \(\gamma\neq 0\) or \(\delta\neq 0\), then \(X(\alpha,\beta,\gamma,\delta)\) is a \(K3\) surface endowed with a canonical \(N\)-polarization. (b) Given any \(N\)-polarized \(K3\) surface \(X\), there exists \((\alpha,\beta,\gamma,\delta)\in{\mathbb{C}}^4\), with \(\gamma\neq 0\) or \(\delta\neq 0\), such that surfaces \(X\) and \(X(\alpha,\beta,\gamma,\delta)\) are isomorphic as \(N\)-polarized \(K3\) surfaces. (c) A coarse moduli space for \(N\)-polarized \(K3\) surfaces is given by the open variety \[ {\mathcal{M}}_{K3}^N=\{[\alpha,\beta\,\gamma,\delta]\in {\mathbf{WP}}^3(2,3,5,6)\,|\, \gamma\neq 0,\,\,\text{{or}}\,\, \delta\neq 0\}. \] (d) The period map \(\text{{per}}:{\mathcal{M}}_{K3}^N\to {\mathcal{F}}_2={\mathbb{H}}_2/Sp_4({\mathbb{Z}})\) is an isomorphism (as quasi-projective varieties). (e) The inverse period map is given by \(\text{{per}}^{-1}=[{\mathcal{E}}_4, {\mathcal{E}}_6, 2^{12}3^5{\mathcal{C}}_{10}, 2^{12}3^6{\mathcal{C}}_{12}]\) where \({\mathcal{E}}_4,{\mathcal{E}}_6\) are genus-two Eisenstein series of weight \(4\) and \(6\), and \({\mathcal{C}}_{10},{\mathcal{C}}_{12}\) are Igusa's cusp forms of weight \(10\) and \(12\), respectively. For the Hodge correspondence, the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta,\gamma,\delta)\) is given explicitly, depending on \(\gamma=0\) and \(\gamma\neq 0\). (f) Suppose that \(\gamma=0\). Then the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta, 0,\delta)\) is given by \((E_1\times E_2, {\mathcal{O}}_{E_1\times E_2}(E_1+E_2))\) where \(E_1\) and \(E_2\) are complex elliptic curves with \(j\)-invariants satisfying \(j(E_1)+j(E_2)={{\alpha^3-\beta^2}\over{\delta}}+1\) and \(j(E_1)j(E_2)={{\alpha^3}\over{\delta}}\). (g) Suppose that \(\gamma\neq 0\). Then the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta,\gamma,\delta)\) is given by \((\mathrm{Jac}(C), {\mathcal{O}}_{\mathrm{Jac}(C)}(\Theta))\) where \(C\) is a smooth genus two curve of Igusa-Clebsch invariants \([A,B,C,D]\in{\mathbf{WP}}^3(2,3,5,6)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Noriko Yui / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J28 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6060983 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(K3\) surfaces | |||
Property / zbMATH Keywords: \(K3\) surfaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kummer surfaces | |||
Property / zbMATH Keywords: Kummer surfaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
elliptic fibrations | |||
Property / zbMATH Keywords: elliptic fibrations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
modular forms | |||
Property / zbMATH Keywords: modular forms / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2061097380 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1004.3503 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3698920 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular invariants for lattice polarized \(K3\) surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(K3\) surfaces with large complex structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on a Geometric Isogeny of K3 Surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mirror symmetry for lattice polarized \(K3\) surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Correspondences between \(K3\) surfaces (with an appendix by Igor Dolgachev) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: (16,6) configurations and geometry of Kummer surfaces in 𝑃³ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Siegel automorphic form corrections of some Lorentzian Kac-Moody Lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Graded Ring of Siegel Modular Forms of Genus Two / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic variety of moduli for genus two / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Siegel Modular Forms of Genus Two / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular Forms and Projective Invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Ring of Modular Forms of Degree Two Over Z / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4152652 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995202 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automorphisms of algebraic K3 surfaces which act trivially on Picard groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abelian varieties attached to polarized \(K_3\)-surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: K3 Surfaces Associated with Curves of Genus Two / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On K3 surfaces with large Picard number / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tata lectures on theta. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tata lectures on theta. II: Jacobian theta functions and differential equations. With the collaboration of C. Musili, M. Nori, E. Previato, M. Stillman, and H. Umemura / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON KUMMER SURFACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: INTEGRAL SYMMETRIC BILINEAR FORMS AND SOME OF THEIR APPLICATIONS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kummer sandwich theorem of certain elliptic \(K3\) surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithm for determining the type of a singular fiber in an elliptic pencil / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal models for Hilbert modular surfaces of principal congruence subgroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Siegel Modular Forms and Their Applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nikulin involutions on \(K3\) surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: AN ISOGENY OF K3 SURFACES / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:42, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lattice polarized \(K3\) surfaces and Siegel modular forms |
scientific article |
Statements
Lattice polarized \(K3\) surfaces and Siegel modular forms (English)
0 references
30 July 2012
0 references
The paper under review has two goals: One is to present a classification of algebraic \(K3\) surfaces polarized by the lattice \(H\oplus E_8\oplus E_7\), and the other is to give explicit formulas for a Hodge correspondence that relates these \(K3\) surfaces to principally polarized abelian surfaces. For the classification, the key ingredients are normal forms for these \(K3\) surfaces, a coarse moduli space and an explicit description of the inverse period map in terms of Siegel modular forms. The result is formulated as follows. A \(K3\) surface \(X\) is said to be \(N\)-polarized if there is a primitive lattice embedding \(N\hookrightarrow \mathrm{NS}(X)\) where \(\mathrm{NS}(X)\) denotes the Neron-Severi lattice of \(X\). In what follow, \(N\) is taken to be the lattice \(H\oplus E_8\oplus E_7\). Let \((\alpha, \beta, \gamma, \delta)\) be a quadruple of complex numbers. Denote by \(X(\alpha,\beta,\gamma,\delta)\) the minimal resolution of the surface in \({\mathbf{P}}^3(x,y,z,w)\) cut out by the degree-four homogeneous polynomial \[ y^2zw-4x^3z+3\alpha xzw^2+\beta zw^3+\gamma xz^2w-{{1}\over{2}}(\delta z^2w^2+w^4)=0. \] (a) If \(\gamma\neq 0\) or \(\delta\neq 0\), then \(X(\alpha,\beta,\gamma,\delta)\) is a \(K3\) surface endowed with a canonical \(N\)-polarization. (b) Given any \(N\)-polarized \(K3\) surface \(X\), there exists \((\alpha,\beta,\gamma,\delta)\in{\mathbb{C}}^4\), with \(\gamma\neq 0\) or \(\delta\neq 0\), such that surfaces \(X\) and \(X(\alpha,\beta,\gamma,\delta)\) are isomorphic as \(N\)-polarized \(K3\) surfaces. (c) A coarse moduli space for \(N\)-polarized \(K3\) surfaces is given by the open variety \[ {\mathcal{M}}_{K3}^N=\{[\alpha,\beta\,\gamma,\delta]\in {\mathbf{WP}}^3(2,3,5,6)\,|\, \gamma\neq 0,\,\,\text{{or}}\,\, \delta\neq 0\}. \] (d) The period map \(\text{{per}}:{\mathcal{M}}_{K3}^N\to {\mathcal{F}}_2={\mathbb{H}}_2/Sp_4({\mathbb{Z}})\) is an isomorphism (as quasi-projective varieties). (e) The inverse period map is given by \(\text{{per}}^{-1}=[{\mathcal{E}}_4, {\mathcal{E}}_6, 2^{12}3^5{\mathcal{C}}_{10}, 2^{12}3^6{\mathcal{C}}_{12}]\) where \({\mathcal{E}}_4,{\mathcal{E}}_6\) are genus-two Eisenstein series of weight \(4\) and \(6\), and \({\mathcal{C}}_{10},{\mathcal{C}}_{12}\) are Igusa's cusp forms of weight \(10\) and \(12\), respectively. For the Hodge correspondence, the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta,\gamma,\delta)\) is given explicitly, depending on \(\gamma=0\) and \(\gamma\neq 0\). (f) Suppose that \(\gamma=0\). Then the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta, 0,\delta)\) is given by \((E_1\times E_2, {\mathcal{O}}_{E_1\times E_2}(E_1+E_2))\) where \(E_1\) and \(E_2\) are complex elliptic curves with \(j\)-invariants satisfying \(j(E_1)+j(E_2)={{\alpha^3-\beta^2}\over{\delta}}+1\) and \(j(E_1)j(E_2)={{\alpha^3}\over{\delta}}\). (g) Suppose that \(\gamma\neq 0\). Then the principally polarized abelian surface \(A\) associated to \(X(\alpha,\beta,\gamma,\delta)\) is given by \((\mathrm{Jac}(C), {\mathcal{O}}_{\mathrm{Jac}(C)}(\Theta))\) where \(C\) is a smooth genus two curve of Igusa-Clebsch invariants \([A,B,C,D]\in{\mathbf{WP}}^3(2,3,5,6)\).
0 references
\(K3\) surfaces
0 references
Kummer surfaces
0 references
elliptic fibrations
0 references
modular forms
0 references