arXiv++ Combinatorics

We associate to each toric vector bundle on a toric variety X(Delta) a "branched cover" of the fan Delta together with a piecewise-linear function on the branched cover. This construction generalizes the usual correspondence between toric Cartier divisors and piecewise-linear functions. We apply this combinatorial geometric technique to investigate the existence of resolutions of coherent sheaves by vector bundles, using singular nonquasiprojective toric threefolds as a testing ground. Our main new result is the construction of complete toric threefolds that have no nontrivial toric vector bundles of rank less than or equal to three. The combinatorial geometric sections of the paper, which develop a theory of cone complexes and their branched covers, can be read independently.

In this paper we study properties of lattice trigonometric functions of lattice angles in lattice geometry. We introduce the definition of sums of lattice angles and establish a necessary and sufficient condition for three angles to be the angles of some lattice triangle in terms of lattice tangents. This condition is a version of the Euclidean condition: three angles are the angles of some triangle iff their sum equals π. Further we find the necessary and sufficient condition for an ordered n-tuple of angles to be the angles of some convex lattice polygon. In conclusion we show applications to theory of complex projective toric varieties, and a list of unsolved problems and questions.

The main result of this paper is a structural theorem for projective Q-factorial toric varieties X in P^N, covered by lines. We prove that there exists a toric fibration f: X -> Z, locally trivial in the Zariski topology, with fiber a product of projective joins. All lines in X intersecting the open subset isomorphic to the torus, are contained in some fiber of f. This characterization has a geometrical application to dual defective toric varieties, and a combinatorial application to discriminants of lattice subsets. We prove that X has positive dual defect if and only if it has an elementary extremal contraction of fiber type, whose general fiber is a projective join with dual defect bigger than its codimension in X. Turning to combinatorics, we characterize lattice subsets A with discriminant D_A equal to one, under suitable assumptions on the polytope Conv(A).

We apply a theorem of Gel'fand, Goresky, MacPherson, and Serganova about matroid polytopes to study semistability of partial flags relative to a T-linearized ample line bundle of a flag space F = SL(n)/P where T is a maximal torus in SL(n) and P is a parabolic subgroup containing T. We find that the semistable points are all detected by invariant sections of degree one regardless of the line bundle or linearization thereof, provided there exists at least one nonzero invariant section of degree one. In this case the degree one sections are sufficient to give a well defined map from the G.I.T. quotient F//T to projective space. Additionally, we show that the closure of any T-orbit in SL(n)/P is a projectively normal toric variety for any projective embedding of SL(n)/P.

We review the theory of combinatorial intersection cohomology of fans developed by Barthel-Brasselet-Fieseler-Kaup, Bressler-Lunts, and Karu. This theory gives a substitute for the intersection cohomology of toric varieties which has all the expected formal properties but makes sense even for non-rational fans, which do not define a toric variety. As a result, a number of interesting results on the toric $g$ and $h$ polynomials have been extended from rational polytopes to general polytopes. We present explicit complexes computing the combinatorial IH in degrees one and two; the degree two complex gives the rigidity complex previously used by Kalai to study $g_2$. We present several new results which follow from these methods, as well as previously unpublished proofs of Kalai that $g_k(P) = 0$ implies $g_k(P^*) = 0$ and $g_{k+1}(P) = 0$.

Tropical geometry is used to develop a new approach to the theory of discriminants and resultants in the sense of Gel'fand, Kapranov and Zelevinsky. The tropical A-discriminant, which is the tropicalization of the dual variety of the projective toric variety given by an integer matrix A, is shown to coincide with the Minkowski sum of the row space of A and of the tropicalization of the kernel of A. This leads to an explicit positive formula for the extreme monomials of any A-discriminant, without any smoothness assumption.

The GIT chamber decomposition arising from a subtorus action on a quasiprojective toric variety is a polyhedral complex. Denote by Sigma the fan that is the cone over the polyhedral complex. In this paper we show that the toric variety defined by the fan Sigma is the normalization of the toric Chow quotient of a closely related affine toric variety by a complementary torus.

The goal of this article is to give a Lefschetz type decomposition for the cd-index of a complete fan. To a complete simplicial fan one can associate a toric variety X, the even Betti numbers h_i of X and the numbers g_i = h_i-h_{i-1}. If the fan is projective, then non-negativity of g_i follows from the Lefschetz decomposition of the cohomology. In the case of a nonsiplicial complete fan one can analogously compute the flag h-numbers h_S and, by a change of variable formula, the cd-index. We give an analogue of the Lefschetz operation for the cd-index. This gives another proof of the non-negativity of the cd-index for complete fans.

The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal of the secant ideal coincides with the secant ideal of the initial ideal. For toric varieties, this leads to the notion of delightful triangulations of convex polytopes.

We study the connection between stringy Betti numbers of Gorenstein toric varieties and the generating functions of the Ehrhart polynomials of certain polyhedral regions. We use this point of view to give counterexamples to Hibi's conjecture on the unimodality of delta-vectors of reflexive polytopes.

In this work we construct global resolutions for general coherent equivariant sheaves over toric varieties. For this, we use the framework of sheaves over posets. We develop a notion of gluing of posets and of sheaves over posets, which we apply to construct global resolutions for equivariant sheaves. Our constructions give a natural correspondence between resolutions for reflexive equivariant sheaves and free resolutions of vector space arrangements.

A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.

We give a combinatorial algorithm for equivariant embedded resolution of singularities of a toric variety defined over a perfect field. The algorithm is realized by a finite succession of blowings-up with smooth invariant centres that satisfy the normal flatness criterion of Hironaka. The results extend to more general varieties defined locally by binomial equations.

We show how to construct sparse polynomial systems that have non-trivial lower bounds on their numbers of real solutions. These are unmixed systems associated to certain polytopes. For the order polytope of a poset P this lower bound is the sign-imbalance of P and it holds if all maximal chains of P have length of the same parity. This theory also gives lower bounds in the real Schubert calculus through sagbi degeneration of the Grassmannian to a toric variety, and thus recovers a result of Eremenko and Gabrielov.

We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.

The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated polytopes are essential. We reduce the problem to finding a collection of partitions of the lattice points in the polytopes satisfying a certain combinatorial property. We use this description to solve the problem when n=2 and for any n when the polytopes of the divisors share a complete flag of faces. The latter generalizes earlier results when the divisors were all ample.

In this paper, we investigate tropical secant varieties of ordinary linear spaces. These correspond to the log-limit sets of ordinary toric varieties; we show that their interesting parts are combinatorially isomorphic to a certain natural subcomplex of the complex of regular subdivisions of a corresponding point set, and we display the range of behavior of this object. We also use this characterization to reformulate the question of determining Barvinok rank into a question regarding regular subdivisions of products of simplices.

The set of all m-tuples of compatible full conditional distributions on discrete random variables is an algebraic set whose defining ideal is a unimodular toric ideal. We identify the defining polynomials of these ideals with closed walks on a bipartite graph. Our algebraic characterization provides a natural generalization of the requirement that compatible conditionals have identical odds ratios and holds regardless of the patterns of zeros in the conditional arrays.

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.

We present a self-contained combinatorial approach to Fujita's conjectures in the toric case. Our main new result is a generalization of Fujita's very ampleness conjecture for toric varieties with arbitrary singularities. In an appendix, we use similar methods to give a new proof of an analogous toric generalization of Fujita's freeness conjecture due to Fujino.