arXiv++ Combinatorics

We use a polyhedral criterion for the existence of diagonal splittings to investigate which toric varieties X are diagonally split. Our results are stated in terms of the vector configuration given by primitive generators of the 1-dimensional cones in the fan defining X. We show, in particular, that X is diagonally split at all q if and only if this configuration is unimodular, and X is not diagonally split at any q if this configuration is not 2-regular. We also study implications for the possibilities for the set of q at which a toric variety X is diagonally split.

We establish an explicit bijection between the toric degenerations of the Grassmannian $\textrm{Gr}(2,n)$ arising from maximal cones in tropical Grassmannians and the ones coming from plabic graphs corresponding to $\textrm{Gr}(2,n)$. We show that a similar statement does not hold for $\textrm{Gr}(3,6)$.

Let $M_w = (\Pj^1)^n \q \mathrm{SL}_2$ denote the geometric invariant theory quotient of $(\Pj^1)^n$ by the diagonal action of $\mathrm{SL}_2$ using the line bundle $\mathcal{O}(w_1,w_2,...,w_n)$ on $(\Pj^1)^n$. Let $R_w$ be the coordinate ring of $M_w$. We give a closed formula for the Hilbert function of $R_w$, which allows us to compute the degree of $M_w$. The graded parts of $R_w$ are certain Kostka numbers, so this Hilbert function computes stretched Kostka numbers. If all the weights $w_i$ are even, we find a presentation of $R_w$ so that the ideal $I$ of this presentation has a quadratic Gröbner basis. In particular, $R_w$ is Koszul. We obtain this result by studying the homogeneous coordinate ring of a projective toric variety arising as a degeneration of $M_w$.

We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d and n, there are only finitely many smooth d-polytopes with n lattice points. We also enumerate all smooth 3-polytopes with at most 12 lattice points. In fact, it is sufficient to bound the singularities and the number of lattice points on edges to prove finiteness.

We give a criterion for the section ring of an ample line bundle to be Koszul in terms of multigraded regularity. We discuss an application to polytopal semigroup rings.

Let A be an ample line bundle on a projective toric variety X of dimension n. We show that if l>=n-1+p, then A^l satisfies the property N_p. Applying similar methods, we obtain a combinatorial theorem: For a given lattice polytope P we give a criterion for an integer m to guarantee that mP is normal.