Table of Contents
Fetching ...

Sequence of families of lattice polarized $K3$ surfaces, modular forms and degrees of complex reflection groups

Atsuhira Nagano

Abstract

We introduce a sequence of families of lattice polarized $K3$ surfaces. This sequence is closely related to complex reflection groups of exceptional type. Namely, we obtain modular forms coming from the inverse correspondences of the period mappings attached to our sequence. We study a non-trivial relation between our modular forms and invariants of complex reflection groups. Especially, we consider a family concerned with the Shepherd-Todd group of No.34 based on arithmetic properties of lattices and algebro-geometric properties of the period mappings.

Sequence of families of lattice polarized $K3$ surfaces, modular forms and degrees of complex reflection groups

Abstract

We introduce a sequence of families of lattice polarized surfaces. This sequence is closely related to complex reflection groups of exceptional type. Namely, we obtain modular forms coming from the inverse correspondences of the period mappings attached to our sequence. We study a non-trivial relation between our modular forms and invariants of complex reflection groups. Especially, we consider a family concerned with the Shepherd-Todd group of No.34 based on arithmetic properties of lattices and algebro-geometric properties of the period mappings.

Paper Structure

This paper contains 15 sections, 23 theorems, 91 equations, 2 figures, 4 tables.

Key Result

Theorem 1.1

(L Corollary 7.5) Suppose that every $\pi_\sigma (\mathscr{D})$ in (DSigmaH) is not $(n-1)$-dimensional. Then, the algebra where $\mathscr{L}$ is the natural automorphic bundle over $\mathscr{D}$, is finitely generated with positive degree generators. Its Proj gives the Looijenga compactification $\widehat{X^\circ}^{\bf L}$ of (LCompact). The boundary $\widehat{X^\circ}^{\bf L}-X^\circ$ is the st

Figures (2)

  • Figure 1: Singular fibres for $\pi_a: S_a\rightarrow \mathbb{P}^1(\mathbb{C})$
  • Figure 2: Basis of $E_8(-1)^{\oplus 2}$

Theorems & Definitions (41)

  • Theorem 1.1
  • Proposition 1.1
  • Lemma 1.1
  • proof
  • Lemma 1.2
  • proof
  • Remark 1.1
  • Proposition 1.2
  • Lemma 2.1
  • Remark 2.1
  • ...and 31 more