We introduce toric arrangements, essentially finite families of codimension 1 subtori of a torus or of their cosets, as a periodic generalization of hyperplane arrangements, compute cohomology of the complement of such an arrangement and apply the theory to give a geometric interpretation of the formulas of Brion--Szenes--Vergne counting the number of integral points in polytopes.
We build a wonderful model for toric arrangements. We develop the "toric analog" of the combinatorics of nested sets, which allows to define a family of smooth open sets covering the model. In this way we prove that the model is smooth, and we give a precise geometric and combinatorial description of the normal crossing divisor.
We compute the cohomology of the complement of toric arrangements associated to root systems as representations of the corresponding Weyl groups. Specifically, we develop an algorithm for computing the cohomology of the complement of toric arrangements associated to general root systems and we carry out this computation for the exceptional root systems $G_2$, $F_4$, $E_6$ and $E_7$. We also compute the total cohomology of the complement of the toric arrangement associated to $A_n$ as a representation of the Weyl group and give a formula for its Poincaré polynomial.
We investigate toric varieties defined by arrangements of hyperplanes and call them strongly symmetric. The smoothness of such a toric variety translates to the fact that the arrangement is crystallographic. As a result, we obtain a complete classification of this class of toric varieties. Further, we show that these varieties are projective and describe associated toric arrangements in these varieties.
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and its first and third part companion parts are the first in a series aimed to explore this new approach. In the first part, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by polytope…
We compute the total cohomology of the complement of the toric arrangement associated to the root system $A_n$ as a representation of the corresponding Weyl group via fixed point theory of a "twisted" action of the group. We also provide several proofs of an explicit formula for the Poincaré polynomial of the complement of the toric arrangement associated with $A_n$.
Some projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T were constructed in [3]. In this paper we describe their integer cohomology rings by generators and relations.
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This paper and its second and third companion parts are the first in a series aimed to explore this new approach. In the present article, we set up the combinatorial framework and show how graphs with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes as…
In this paper we illustrate an algorithmic procedure which allows to build projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T. The main step of the construction is a combinatorial algorithm that produces a toric variety by subdividing in a suitable way a given smooth fan.
We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the complement of a toric mirror arrangement (=finite union of hypertori, determined by a root system). We prove that these connections are torsion free and flat, and hence define a family of affine struct…
These lecture notes are based on lectures given by the author at the summer school "Arrangements in Pyrénées" in June 2012. We survey and compare various compactifications of complex hyperplane arrangement complements. In particular, we review the Gel'fand-MacPherson construction, Kapranov's visible contours compactification, and De Concini and Procesi's wonderful compactification. We explain how these constructions are unified by some ideas from the modern origins of tropical geometry. The paper contains a few new arguments intended to make the presentation as self-contained as possible.
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and the first two that preceded it are the first in a series aimed to explore this new approach. In Part I, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associat…
A classical tensegrity model consists of an embedded graph in a vector space with rigid bars representing edges, and an assignment of a stress to every edge such that at every vertex of the graph the stresses sum up to zero. The tensegrity frameworks have been recently extended from the two dimensional graph case to the multidimensional setting. We study the multidimensional tensegrities using tools from toric geometry. For a given rational tensegrity framework $\mathcal{F}$, we construct a glued toric surface $X_\mathcal{F}$. We show that the abelian group of tensegrities on $\mathcal{F}$ is …
We introduce a notion of balanced configurations of vectors. This is motivated by the study of rational A-hypergeometric functions in the sense of Gelfand, Kapranov and Zelevinsky. We classify balanced configurations of seven plane vectors up to GL(2,R) equivalence and deduce that the only gkz-rational toric four-folds in complex projective space P^6 are those varieties associated with an essential Cayley configuration. In this case, we study a suitable hyperplane arrangement and show that all rational A-hypergeometric functions may be described in terms of toric residues.
Associated to any graph is a toric ideal whose generators record relations among the cuts of the graph. We study these ideals and the geometry of the corresponding toric varieties. Our theorems and conjectures relate the combinatorial structure of the graph and the corresponding cut polytope to algebraic properties of the ideal. Cut ideals generalize toric ideals arising in phylogenetics and the study of contingency tables.
We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.
We establish the equality of classical and tropical curve counts for elliptic curves on toric surfaces with fixed $j$-invariant, refining results of Mikhalkin and Nishinou--Siebert. As an application, we determine a formula for such counts on $\mathbb P^2$ and all Hirzebruch surfaces. This formula relates the count of elliptic curves with the number of rational curves on the surface satisfying a small number of tangency conditions with the toric boundary. Furthermore, the combinatorial tropical multiplicities of Kerber and Markwig for counts in $\mathbb P^2$ are derived and explained algebro-g…
Toric geometry provides a bridge between algebraic geometry and combinatorics of fans and polytopes. For each polarized toric variety (X,L) we have associated a polytope P. In this thesis we use this correspondence to study birational geometry for toric varieties. To this end, we address subjects such as Minimal Model Program, Mori fiber spaces, and chamber structures on the cone of effective divisors. We translate some results from these theories to the combinatorics of polytopes and use them to get structure theorems on space of polytopes. In particular, we treat toric varieties known as 2-F…
These notes are based on a series of lectures given by the author at the Max Planck Institute for Mathematics in the Sciences in Leipzig. Addressed topics include affine and projective toric varieties, abstract normal toric varieties from fans, divisors on toric varieties and Cox's construction of a toric variety as a GIT quotient. We emphasize the role of toric varieties in solving systems of polynomial equations and provide many computational examples using the Julia package Oscar.jl.
In this article, we describe symplectic and complex toric spaces associated to the five regular convex polyhedra. The regular tetrahedron and the cube are rational and simple, the regular octahedron is not simple, the regular dodecahedron is not rational and the regular icosahedron is neither simple nor rational. We remark that the last two cases cannot be treated via standard toric geometry.
We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fen…
Bernardi and Tirabassi show the existence of full strong exceptional collections consisting of line bundles on smooth toric Fano $3$-folds under assuming Bondal's conjecture, which states that the Frobenius push-forward of the structure sheaf $\mc O_X$ generates the derived category $D^b(X)$ for smooth projective toric varieties $X$. In this article, we show Bondal's conjecture for smooth toric Fano $3$-folds and also improve their result, using birational geometry.
We discuss an experimental approach to open problems in toric geometry: are smooth projective toric varieties (i) projectively normal and (ii) defined by degree 2 equations? We discuss the creation of lattice polytopes defining smooth toric varieties as well as algorithms checking properties (i) and (ii) and further potential properties, in Particular a weaker version of (ii) asking for scheme-theoretic definition in degree 2.
We discuss the behavior of Landau-Ginzburg models for toric orbifolds near the large volume limit. This enables us to express mirror symmetry as an isomorphism of Frobenius manifolds which aquire logarithmic poles along a boundary divisor. If the toric orbifold admits a crepant resolution we construct a global moduli space on the B-side and show that the associated tt^*-geometry exists globally.
The real solutions to a system of sparse polynomial equations may be realized as a fiber of a projection map from a toric variety. When the toric variety is orientable, the degree of this map is a lower bound for the number of real solutions to the system of equations. We strengthen previous work by characterizing when the toric variety is orientable. This is based on work of Nakayama and Nishimura, who characterized the orientability of smooth real toric varieties.
This paper will appear in the Proceedings of the 1995 Santa Cruz Summer Institute. The paper is a survey of recent developments in the theory of toric varieties, including new constructions of toric varieties and relations to symplectic geometry, combinatorics and mirror symmetry.
We present some applications of the deformation theory of toric Fano varieties to K-(semi/poly)stability of Fano varieties. First, we present two examples of K-polystable toric Fano 3-fold with obstructed deformations. In one case, the K-moduli spaces and stacks are reducible near the closed point associated to the toric Fano 3-fold, while in the other they are non-reduced near the closed point associated to the toric Fano 3-fold. Second, we study K-stability of the general members of two deformation families of smooth Fano 3-folds by building degenerations to K-polystable toric Fano 3-folds.
We announce a factorization result for equivariant birational morphisms between toric 4-folds whose source is Fano: such a morphism is always a composite of blow-ups along smooth invariant centers. Moreover, we show with a counterexample that, differently from the 3-dimensional case, even if both source and target are Fano, the intermediate varieties can not be chosen Fano.
In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary schemes, which may be regarded as torus embeddings within the framework of algebraic stacks, and study some basic properties. Furthermore, we study the stack-theoretic analogue of toroidal embeddings.
In this paper we define and study a ring associated to a graph that we call the cographic toric face ring, or simply the cographic ring. The cographic ring is the toric face ring defined by the following equivalent combinatorial structures of a graph: the cographic arrangement of hyperplanes, the Voronoi polytope, and the poset of totally cyclic orientations. We describe the properties of the cographic ring and, in particular, relate the invariants of the ring to the invariants of the corresponding graph. Our study of the cographic ring fits into a body of work on describing rings constructed …
This note presents two observations which have in common that they lie at the boundary of toric geometry. The first one because it concerns the deformation of affine toric varieties into non toric germs in order to understand how to avoid some ramification problems arising in the study of local uniformization in positive characteristic, and the second one because it uses limits of projective systems of equivariant birational maps of toric varieties to study the space of additive preorders on ${\mathbf Z}^r$ for $r\geq 2$.
Toric geometry provides a bridge between the theory of polytopes and algebraic geometry: one can associate to each lattice polytope a polarized toric variety. In this thesis we explore this correspondence to classify smooth lattice polytopes having small degree, extending a classification provided by Dickenstein, Di Rocco and Piene. Our approach consists in interpreting the degree of a polytope as a geometric invariant of the corresponding polarized variety, and then applying techniques from Adjunction Theory and Mori Theory. In the opposite direction, we use the combinatorics of fans to descr…
We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a Bézout theorem for the Chow weights of projective varieties and an application to the theorem of successive minima.
Geometric properties of schemes obtained by gluing algebras of monoids, including separation and finiteness properties, irreducibility, normality, catenarity, dimension, and Serre's properties (S_k) and (R_k), are investigated. This is used to show how the geometry of a toric scheme over an arbitrary base is influenced by the geometry of the base.
We use homogeneous spectra of multigraded rings to construct toric embeddings of a large family of projective varieties which preserve some of the birational geometry of the underlying variety, generalizing the well-known construction associated to Mori Dream Spaces.
We study integral dlt models of a proper C((t))-variety X along a toric stratum of the special fiber. We prove that the associated Berkovich retraction - from the non-archimedean analytification of X onto the dual complex of the model - is an affinoid torus fibration around the simplex corresponding to the toric stratum, which extends results from Nicaise-Xu-Yu. This allows us to construct new types of non-archimedean retractions for maximally degenerate families of quartic K3 surfaces and quintic 3-folds, by gluing several non-archimedean SYZ fibrations, each one toric along a codimension one…
In this paper, we will introduce Quantum Toric Varieties which are (non-commutative) generalizations of ordinary toric varieties where all the tori of the classical theory are replaced by quantum tori. Quantum toric geometry is the non-commutative version of the classical theory; it generalizes non-trivially most of the theorems and properties of toric geometry. By considering quantum toric varieties as (non-algebraic) stacks, we define their category and show that it is equivalent to a category of quantum fans. We develop a Quantum Geometric Invariant Theory (QGIT) type construction of Quantu…
This paper proposes some material towards a theory of general toric varieties without the assumption of normality. Their combinatorial description involves a fan to which is attached a set of semigroups subjected to gluing-up conditions. In particular it contains a combinatorial construction of the blowing up of a sheaf of monomial ideals on a toric variety. In the second part it is shown that over an algebraically closed base field of zero characteristic the Semple-Nash modification of a general toric variety is isomorphic to the blowing up of the sheaf of logarithmic jacobian ideals and that…
We construct polyhedral families of valuations on the branching algebra of a morphism of reductive groups. This establishes a connection between the combinatorial rules for studying a branching problem and the tropical geometry of the branching algebra. In the special case when the branching problem comes from the inclusion of a Levi subgroup or a diagonal subgroup, we use the dual canonical basis of Lusztig and Kashiwara to build toric deformations of the branching algebra.
Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.
A study of the relation between a noetherian local domain with a given valuation and its associated graded ring with respect to the valuation, which in some cases is an esentially toric variety, possibly of infinite embedding dimension, but of finite Krull dimension. After extension of the valuation to a suitable completion (whose existence is not established in the paper) the relation becomes much more precise, and suggests a possible way to establish local uniformization for an excellent equicharacteristic local domain with an algebraically closed residue field, by deforming a partial toric …
In this thesis we study toric degenerations of projective varieties. We compare different constructions to understand how and why they are related as s first step towards developing a global framework. In focus are toric degenerations obtained from representation theory, tropical geometry and cluster algebras. Often those rely on valuations and the theory of Newton-Okounkov bodies. Toric degenerations can be seen as a combinatorial shadow of the original objects. The goal is therefore to understand why the different theories are so closely related, by understanding the toric degenerations they…
We study deformations of affine toric varieties. The entire deformation theory of these singularities is encoded by the so-called versal deformation. The main goal of our paper is to construct the homogeneous part of some degree -R of this, i.e. a maximal deformation with prescribed tangent space T^1(-R) for a given character R. To this aim we use the polyhedron obtained by cutting the rational cone defining the affine singularity with the hyperplane defined by [R=1]. Under some length assumptions on the edges of this polyhedron, we provide the versal deformation for primitive degrees R.
This article is based on my lecture notes from summer schools at the Universities of Utah (June 2007) and Warwick (September 2007). We provide an introduction to explicit methods in the study of moduli spaces of quiver representations and derived categories arising in toric geometry. The first main goal is to present the noncommutative geometric approach to semiprojective toric varieties via quivers. To achieve this, we use geometric invariant theory to construct both semiprojective toric varieties and moduli spaces of quiver representations. The second main goal builds on the first by present…
In stochastic analysis, a standard method to study a path is to work with its signature. This is a sequence of tensors of different order that encode information of the path in a compact form. When the path varies, such signatures parametrize an algebraic variety in the tensor space. The study of these signature varieties builds a bridge between algebraic geometry and stochastics, and allows a fruitful exchange of techniques, ideas, conjectures and solutions. In this paper we study the signature varieties of two very different classes of paths. The class of rough paths is a natural extension o…