### Article

## Uniruledness of orthogonal modular varieties

A strongly reflective modular form with respect to an orthogonal group of signature (2,n) determines a Lorentzian Kac--Moody algebra. We find a new geometric application of such modular forms: we prove that if the weight is larger than n then the corresponding modular variety is uniruled. We also construct new reflective modular forms and thus provide new examples of uniruled moduli spaces of lattice polarised K3 surfaces. Finally we prove that the moduli space of Kummer surfaces associated to (1,21)-polarised abelian surfaces is uniruled.

This book provides an overview of the latest developments concerning the moduli of K3 surfaces. It is aimed at algebraic geometers, but is also of interest to number theorists and theoretical physicists, and continues the tradition of related volumes like “The Moduli Space of Curves” and “Moduli of Abelian Varieties,” which originated from conferences on the islands Texel and Schiermonnikoog and which have become classics.

K3 surfaces and their moduli form a central topic in algebraic geometry and arithmetic geometry, and have recently attracted a lot of attention from both mathematicians and theoretical physicists. Advances in this field often result from mixing sophisticated techniques from algebraic geometry, lattice theory, number theory, and dynamical systems. The topic has received significant impetus due to recent breakthroughs on the Tate conjecture, the study of stability conditions and derived categories, and links with mirror symmetry and string theory. At the same time, the theory of irreducible holomorphic symplectic varieties, the higher dimensional analogues of K3 surfaces, has become a mainstream topic in algebraic geometry.

We show how to analyse the cusp forms of small weights for the moduli spaces of polarised K3 surfaces with these degrees 2d.

The reflective modular forms of orthogonal type are fundamental automorphic objects generalizing the classical Dedekind eta-function. This article describes two methods for constructing such modular forms in terms of Jacobi forms: automorphic products and Jacobi lifting. In particular, it is proved that the first non-zero Fourier–Jacobi coefficient of the Borcherds modular form Φ12 (the generating function of the so-called Fake Monster Lie Algebra) in any of the 23 one-dimensional cusps coincides with the Kac–Weyl denominator function of the affine algebra of the root system of the corresponding Niemeier lattice. This article gives a new simple construction of the automorphic discriminant of the moduli space of Enriques surfaces as a Jacobi lifting of the product of eight theta-functions and considers three towers of reflective modular forms. One of them, the tower of D8, gives a solution to a problem of Yoshikawa (2009) concerning the construction of Lorentzian Kac–Moody algebras from the automorphic discriminants connected with del Pezzo surfaces and analytic torsions of Calabi–Yau manifolds. The article also formulates some conditions on sublattices, making it possible to produce families of ‘daughter’ reflective forms from a fixed modular form. As a result, nearly 100 such functions are constructed here. Bibliography: 77 titles.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.