The Remark on Discriminants of K3 Surfaces Moduli as Sets of Zeros of Automorphic Forms

Abstract

We show that for any $N>0$ there exists a natural even $n>N$ such that the discriminant of moduli of K3 surfaces of the degree $n$ is not equal to the set of zeros of any automorphic form on the corresponding IV type domain. We give the necessary condition on a "condition $S\subset L_{K3}$ on Picard lattice of K3'' for the corresponding moduli $\M_{S\subset L_{K3}}$ of K3 to have the discriminant which is equal to the set of zeros of an automorphic form. We conjecture that the set of $S\subset L_{K3}$ satisfying this necessary condition is finite if $\rk S \le 17$. We consider this finiteness conjecture as "mirror symmetric'' to the known finiteness results for arithmetic reflection groups in hyperbolic spaces and as important for the theory of Lorentzian Kac--Moody algebras and the related theory of automorphic forms.

AMSTeX, 6 pages, no figures. More exact formulations are given

Cited by in corpus (10)

• The Igusa modular forms and ``the simplest'' Lorentzian Kac--Moody algebras
• Lorentzian Kac-Moody algebras with Weyl groups of 2-reflections
• A lecture on Arithmetic Mirror Symmetry and Calabi-Yau manifolds
• Automorphic Forms and Lorentzian Kac--Moody Algebras. Part I
• On the classification of hyperbolic root systems of the rank three. Part III
• A Theory of Lorentzian Kac-Moody algebras
• A Lecture about classification of Lorentzian Kac-Moody algebras of the rank three
• K3 surfaces with interesting groups of automorphisms
• A remark on algebraic surfaces with polyhedral Mori cone
• Examples of lattice-polarized K3 surfaces with automorphic discriminant, and Lorentzian Kac--Moody algebras