The goal of this paper is to show that the local Gröbner fan is a polyhedral fan for ideals in the ring of power series and the homogenized ring of analytic differential operators. We will also discuss about relations between the local Gröbner fan and the (global) Gröbner fan for a given ideal and algorithms of computing local Gröbner fans. In rings of differential operators, finiteness and convexity of local Gröbner fans were firstly proved by Assi, Castro-Jiménez and Granger. But they did not prove that they are polyhedral fans.
We study the problem of when the collection of the recession cones of a polyhedral complex forms also a complex. We exhibit an example showing that this is no always the case. We also show that if the support of the given polyhedral complex satisfies a Minkowski-Weyl type condition, then the answer is positive. As a consequence, we obtain a classification theorem for proper toric schemes over a discrete valuation ring in terms of complete strongly convex rational polyhedral complexes.
Kato and Usui developed a theory of partial compactifications for quotients of period domains D by arithmetic groups Γ, in an attempt to generalize the toroidal compactifications of Ash-Mumford-Rapoport-Tai to non-classical cases. Their partial compactifications, which aim to fully compactify the images of period maps, rely on a choice of fan which is strongly compatible with Γ. In particular, they conjectured the existence of a complete fan, which would serve to simultaneously compactify all period maps of a given type. In this paper, we briefly review the theory, and construct a fan which co…
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.
Every tropical ideal in the sense of Maclagan-Rincón has an associated tropical variety, a finite polyhedral complex equipped with positive integral weights on its maximal cells. This leads to the realisability question, ubiquitous in tropical geometry, of which weighted polyhedral complexes arise in this manner. Using work of Las Vergnas on the non-existence of tensor products of matroids, we prove that there is no tropical ideal whose variety is the Bergman fan of the direct sum of the Vámos matroid and the uniform matroid of rank two on three elements, and in which all maximal cones have we…
In this paper we show that the spectrum of the Q-codegree of a d-dimensional lattice polytope is finite above any positive threshold in the class of lattice polytopes with α-canonical normal fan for any fixed α>0. For α=1/r this includes lattice polytopes with Q-Gorenstein normal fan of index r. In particular, this proves Fujita's Spectrum Conjecture for polarized varieties in the case of Q-Gorenstein toric varieties of index r.
Generalizing the passage from a fan to a toric variety, we provide a combinatorial approach to construct arbitrary effective torus actions on normal, algebraic varieties. Based on the notion of a ``proper polyhedral divisor'' introduced in earlier work, we develop the concept of a ``divisorial fan'' and show that these objects encode the equivariant gluing of affine varieties with torus action. We characterize separateness and completeness of the resulting varieties in terms of divisorial fans, and we study examples like C*-surfaces and projectivizations of (non-split) vector bundles over tori…
The tropical fundamental class of a rational balanced polyhedral fan induces cap products between tropical cohomology and tropical Borel-Moore homology. When all these cap products are isomorphisms, the fan is said to be a tropical Poincaré duality space. If all the stars of faces also are such spaces, such as for fans of matroids, the fan is called a local tropical Poincaré duality space. In this article, we first give some necessary conditions for fans to be tropical Poincaré duality spaces and a classification in dimension one. Next, we prove that tropical Poincaré duality for the stars of …
We prove that every balanced 1-dimensional polyhedral complex arises as the tropicalization of a smooth curve over a non-Archimedean field mapping to a toric Artin fan, namely the quotient of a toric variety by its dense torus.
In this paper we study the geometry and combinatorics of the possible rational polyhedral fans with a given set of rays. The main questions we consider are when such fans are projective, complete, or simplicial. To answer these questions we use techniques of invariant theory to characterize the quotients of maximal saturated open sets in torus representations.
We consider the notions of Groebner fan and Newton non-degeneracy for an ideal on a toric variety, extending the two existing notions for ideals on affine spaces. We prove, without assumptions on the characteristic of the base fields, that the "Groebner fan" of such an ideal is actually a polyhedral fan and that a sub-variety defined by a Newton non-degenerate ideal on a toric variety $X_σ$ admits a toric embedded resolution of singularities $Z\longrightarrow X_σ.$
We introduce the notion of real phase structure on rational polyhedral fans in Euclidean space. Such a structure consists of an assignment of affine spaces over $\mathbb{Z}/2\mathbb{Z}$ to each top dimensional face of the fan subject to two conditions. Given an oriented matroid we can construct a real phase structure on the fan of the underlying matroid. Conversely, we show that from a real phase structure on a matroid fan we can produce an orientation of the underlying matroid. Thus real phase structures are cryptomorphic to matroid orientations. The topes of the orientated matroid are recove…
We give a notion of "combinatorial proximity" among strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. We show that this notion guarantees "geometric proximity" of the corresponding points in the Hilbert scheme. We define a graph whose vertices correspond to strongly stable ideals and whose edges correspond to pairs of adjacent ideals. Every term order induces an orientation of the edges of the graph. This directed graph describes the behavior of the points of the Hilbert scheme under Gröbner degenerations with respect to the given term order. Then, we introduce…
Associated to any divisor in the Chow ring of a simplicial tropical fan, we construct a family of polytopal complexes, called normal complexes, which we propose as an analogue of the well-studied notion of normal polytopes from the setting of complete fans. We describe certain closed convex polyhedral cones of divisors for which the "volume" of each divisor in the cone - that is, the degree of its top power - is equal to the volume of the associated normal complexes. For the Bergman fan of any matroid with building set, we prove that there exists an open family of such cones of divisors with n…
The tropical variety of a $d$-dimensional prime ideal in a polynomial ring with complex coefficients is a pure $d$-dimensional polyhedral fan. This fan is shown to be connected in codimension one. We present algorithmic tools for computing the tropical variety, and we discuss our implementation of these tools in the Gröbner fan software \texttt{Gfan}. Every ideal is shown to have a finite tropical basis, and a sharp lower bound is given for the size of a tropical basis for an ideal of linear forms.
We develop a theory of multi-stage degenerations of toric varieties over finite rank valuation rings, extending the Mumford--Gubler theory in rank one. Such degenerations are constructed from fan-like structures over totally ordered abelian groups of finite rank. Our main theorem describes the geometry of successive special fibers in the degeneration in terms of the polyhedral geometry of a system of recession complexes associated to the fan.
For a toric variety X_P determined by a rational polyhedral fan P in a lattice N, Payne shows that the equivariant Chow cohomology of X_P is the Sym(N)--algebra C^0(P) of integral piecewise polynomial functions on P. We use the Cartan-Eilenberg spectral sequence to analyze the associated reflexive sheaf on Proj(N), showing that the Chern classes depend on subtle geometry of P and giving criteria for the splitting of the sheaf as a sum of line bundles. For certain fans associated to the reflection arrangement A_n, we describe a connection between C^0(P) and logarithmic vector fields tangent to …
We define and study the cyclic Bergman fan of a matroid M, which is a simplicial polyhedral fan supported on the tropical linear space T(M) of M and is amenable to computational purposes. It slightly refines the nested set structure on T(M), and its rays are in bijection with flats of M which are either cyclic flats or singletons. We give a fast algorithm for calculating it, making some computational applications of tropical geometry now viable. Our C++ implementation, called TropLi, and a tool for computing vertices of Newton polytopes of A-discriminants, are both available online.
The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fa…
In this paper we propose a general functorial definition of the operation of \emph{local tropicalization} in commutative algebra. Let $R$ be a commutative ring, $Γ$ a finitely generated subsemigroup of a lattice, $γ: Γ\rightarrow R/ R^*$ a morphism of semigroups, and $\V(R)$ the topological space of valuations on $R$ taking values in $\R \cup \infty$. Then we may \emph{tropicalize} with respect to $γ$ any subset $\W$ of the space of valuations $\V(R)$. By definition, we get a subset of a rational polyhedral cone canonically associated to $Γ$, enriched with strata at infinity. In particular, wh…
