arXiv++ Combinatorics

We show that the minimum weight of a weighted blow-up of $\mathbf A^d$ with $\varepsilon$-log canonical singularities is bounded by a constant depending only on $\varepsilon $ and $d$. This was conjectured by Birkar. Using the recent classification of $4$-dimensional empty simplices by Iglesias-Valiño and Santos, we work out an explicit bound for blowups of $\mathbf A^4$ with terminal singularities: the smallest weight is always at most $32$, and at most $6$ in all but finitely many cases.

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 type for d=52. This case was omitted from the earlier work of Gritsenko, Hulek and the second author. We also apply this method to some related problems. In Appendix A, V. Gritsenko shows how to arrive at the case d=52 and some others directly.