The ring of modular forms for the even unimodular lattice of signature (2,18)
type: Item
instance of: scholarly article
title: The ring of modular forms for the even unimodular lattice of signature (2,18)
zbMATH Open document ID: 1494.14033
author: Atsuhira Nagano
author: Kazushi Ueda
published in: Hiroshima Mathematical Journal
publication date: 2022-05-06T00:00:00Z
full work available at URL: https://arxiv.org/abs/2102.09224
review text: A \({\mathbf U}\)-polarised \(K3\) surface (where \({\mathbf U}\) is the hyperbolic plane, the unique even unimodular lattice of rank 2) is a pair \((Y,j)\) where \(Y\) is a \(K3\) surface and \(j\colon {\mathbf U}\hookleftarrow \mathrm{Pic}Y\) is a primitive embedding (roughly, a elliptic \(K3\) with a section). Denote by \({\mathbf T}\) the even unimodular lattice \(2{\mathbf U}\oplus 2{\mathbf E}_8\) of signature \((2,18)\). It is well known that the coarse moduli space of \({\mathbf U}\)-polarised \(K3\) surfaces is a quotient of the symmetric domain associated with \({\mathbf T}\) by \(\Gamma=\mathrm{O}({\mathbf T})\). \par By studying this moduli space, the authors determine the ring of modular forms for \(\Gamma\). The ring \(A(\Gamma)\) of modular forms with trivial character is \({\mathbb C}[S]^{\mathrm{SL}_2}\) where \(S=\mathrm{Sym}^8\mathbb{C}^2\times \mathrm{Sym}^{12}\mathbb{C}^2\) with coordinates \(\mathbb{C}[S]=\mathbb{C}[u_{i,8-i},u_{j,12-j}]\) (with the indices being non-negative) and \(\mathrm{SL}_2\) acting with weight \((i+j)/2\) on \(u_{i,j}\). There are also modular forms of character \(\det\) and the total ring \(\tilde A[\Gamma]=\bigoplus_k\bigoplus_{\chi\in \{1,\det\}}A_k(\Gamma,\chi)\) is given by \[ \tilde A(\Gamma)\cong \mathbb{C}[S]^{\mathrm{SL}_2}[s_{132}]/(s_{132}^2-\Delta_{264}). \] Here \(\Delta_{264}\) is a form with trivial character that defines the reflection hyperplane of a \((-2)\)-vector, and \(s_{132}\) with character \(\det\) is given in [\textit{E. Freitag} and \textit{R. Salvati Manni}, J. Algebr. Geom. 16, No. 4, 753--791 (2007; Zbl 1128.11024)].
Mathematics Subject Classification ID: 14J15
Mathematics Subject Classification ID: 11F55
Mathematics Subject Classification ID: 14J28
zbMATH DE Number: 7522846
zbMATH Keywords: \(K3\) surfaces
zbMATH Keywords: modular forms
reviewed by: G. K. Sankaran
MaRDI profile type: Publication
OpenAlex ID: W4220760578
arXiv ID: 2102.09224
cites work: Moduli of weighted stable elliptic surfaces and invariance of log plurigenera
cites work: Gromov-Witten theory of Deligne-Mumford stacks
cites work: Automorphic forms on \(O_{s+2,2}(\mathbb R)\) and infinite products
cites work: On the Torelli problem for kählerian $K-3$ surfaces
cites work: Using stacks to impose tangency conditions on curves
cites work: The graded ring of modular forms on the Cayley half-space of degree two
cites work: Mirror symmetry for lattice polarized \(K3\) surfaces
cites work: Modular forms for the even modular lattice of signature (2,10)
cites work: Abelianisation of orthogonal groups and the fundamental group of modular varieties
cites work: Moduli of K3 Surfaces and Irreducible Symplectic Manifolds
cites work: The ring of modular forms for the even unimodular lattice of signature (2,10)
cites work: Reconstruction of general elliptic K3 surfaces from their Gromov–Hausdorff limits
cites work: The moduli of Weierstrass fibrations over \(\mathbb{P}^1\)
cites work: Q3871014
cites work: Collapsing \(K3\) surfaces, tropical geometry and moduli compactifications of Satake, Morgan-Shalen type
cites work: Algorithms in invariant theory
cites work: Applications of the Kaehler-Einstein-Calabi-Yau metric to moduli of K3 surfaces
DOI: 10.32917/H2021012
description: scientific article