arXiv++ Combinatorics

Our main result is a combinatorial characterization of when a horospherical variety has (at worst) quotient singularities. Using this characterization, we show that every quasiprojective horospherical variety with quotient singularities is globally the quotient of a smooth variety by a finite abelian group.

Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.

Let $X$ be a smooth projective split horospherical variety over a number field $k$ and $x\in X(k)$. Contingent on Vojta's conjecture, we construct a curve $C$ through $x$ such that (in a precise sense) rational points on $C$ approximate $x$ better than any Zariski dense sequence of rational points. This proves a weakening of a conjecture of McKinnon in the horospherical case. Our results make use of the minimal model program and apply as well to $\mathbb{Q}$-factorial horospherical varieties with terminal singularities.

We provide an overview of the combinatorial theory of horospherical varieties using coloured fans, a generalization of the combinatorial theory of toric varieties using polyhedral fans.

We introduce a combinatorial theory of horospherical stacks which is motivated by the work of Geraschenko and Satriano on toric stacks. A horospherical stack corresponds to a combinatorial object called a stacky coloured fan. We give many concrete examples, including a class of easy-to-draw examples called coloured fantastacks. The main results in this paper are combinatorial descriptions of horospherical stacks, the morphisms between them, their decolourations, and their good moduli spaces.