Related papers: E8 lattice and the Kodaira dimension of orthogonal…

For many classical moduli spaces of orthogonal type there are results about the Kodaira dimension. But nothing is known in the case of dimension greater than 19. In this paper we obtain the first results in this direction. In particular the…

We prove that up to scaling there are only finitely many integral lattices L of signature (2,n) with n>20 or n=17 such that the modular variety defined by the orthogonal group of L is not of general type. In particular, when n>107, every…

We prove that there are only finitely many even lattices L of signature (2,n) with n>14 such that the modular variety defined by the stable orthogonal group of L is not of general type.

Let L be the even unimodular lattice of signature (2,10), In the paper [FS] we considered the subgroup O(L)^+ of index two in the orthogonal group. It acts biholomorphically on a ten dimensional tube domain H_{10}. We found a 715…

We determine the Kodaira dimension of the moduli space of even spin curves for all genera, with one possible exception: The scheme S_g has negative Kodaira dimension for g<8 and it is of general type for g>8. The Kodaira dimension of S_8 is…

We prove general type results for orthogonal modular varieties associated with the moduli of compact hyperk\"ahler manifolds of deformation generalised Kummer type ('deformation generalised Kummer varieties'). In particular, we consider…

We consider the moduli space $A_{pol}(n)$ of (non-principally) polarised abelian varieties of genus $g\geq3$ with coprime polarisation and full level-$n$ structure. Based upon the analysis of the Tits building in math/0405321, we give an…

We show how to solve computationally a combinatorial problem about the possible number of roots orthogonal to a vector of given length in $E_8$. We show that the moduli space of K3 surfaces with polarisation of degree 2d is also of general…

We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of $\mathrm{Sym}(\mathrm{Sym}^8(V) \oplus \mathrm{Sym}^{12}(V))$ with respect to the action of…

We prove that there are only finitely many isometry classes of even lattices $L$ of signature $(2,n)$ for which the space of cusp forms of weight $1+n/2$ for the Weil representation of the discriminant group of $L$ is trivial. We compute…

We prove that, up to scaling, there exist only finitely many isometry classes of Hermitian lattices over $O_E$ of signature $(1,n)$ that admit ball quotients of non-general type, where $n>12$ is even and $E=\mathbb{Q}(\sqrt{-D})$ for an odd…

A Type II lattice of norm 8 in dimension 72 is obtained by Construction A applied to an extended Quadratic Residue code over Z8. Its automorphism group contains a subgroup isomorphic to PSL(2,71).

We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,10) is generated by forms of weights 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42, and 252 with one relation of weight 504. The proof is…

We completely classify all neutral or costandard elements in the lattice $\mathbb{MON}$ of all monoid varieties. Further, we prove that an arbitrary upper-modular element of $\mathbb{MON}$ except the variety of all monoids is either a…

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…

A modular form on an even lattice $M$ of signature $(l,2)$ is called reflective if it vanishes only on quadratic divisors orthogonal to roots of $M$. In this paper we show that every reflective modular form on a lattice of type $2U\oplus L$…

We completely determine all lower-modular elements of the lattice of all semigroup varieties. As a corollary, we show that a lower-modular element of this lattice is modular.

An even lattice $M$ of signature $(n,2)$ is called $2$-reflective if there is a non-constant modular form for the orthogonal group of $M$ which vanishes only on quadratic divisors orthogonal to $2$-roots of $M$. In [Amer. J. Math. 2017]…

We completely classify all standard elements in the lattice of all monoid varieties. In particular, we prove that an element of this lattice is standard if and only if it is neutral.

A well-known principle of Mumford asserts that all moduli spaces of curves are varieties of general type, except a finite number of cases that occur for relatively small genus, when these varieties tend to be uniruled. In all known cases,…