arXiv++ Combinatorics

We propose an algorithm to compute the GIT-fan for torus actions on affine varieties with symmetries. The algorithm combines computational techniques from commutative algebra, convex geometry and group theory. We have implemented our algorithm in the Singular library gitfan.lib. Using our implementation, we compute the Mori chamber decomposition of the cone of movable divisors of $\bar{M}_{0,6}$.

A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain "Condition (D)" on the grid which holds vacuously when the ring is a domain. In the first half of this paper we give a further Generalized Alon-Füredi Theorem which provides a sharp upper bound when the degrees of the polynomial in each variable are also taken into account. This yields in particular a new proof of Alon-Füredi. We then discuss the relationship between Alon-Füredi and results of DeMillo-Lipton, Schwartz and Zippel. A direct coding theoretic interpretation of Alon-Füredi Theorem and its generalization in terms of Reed--Muller type affine variety codes is shown which gives us the minimum Hamming distance of these codes. Then we apply the Alon-Füredi Theorem to quickly recover (and sometimes strengthen) old and new results in finite geometry, including the Jamison/Brouwer-Schrijver bound on affine blocking sets. We end with a discussion of multiplicity enhancements.

For any affine variety equipped with coordinates, there is a surjective, continuous map from its Berkovich space to its tropicalisation. Exploiting torus actions, we develop techniques for finding an explicit, continuous section of this map. In particular, we prove that such a section exists for linear spaces, Grassmannians of planes (reproving a result due to Cueto, Häbich, and Werner), matrix varieties defined by the vanishing of 3 times 3 minors, and for the hypersurface defined by Cayley's hyperdeterminant.

An affine variety induces the structure of an algebraic matroid on the set of coordinates of the ambient space. The matroid has two natural decorations: a circuit polynomial attached to each circuit, and the degree of the projection map to each base, called the base degree. Decorated algebraic matroids can be computed via symbolic computation using Groebner bases, or through linear algebra in the space of differentials (with decorations calculated using numerical algebraic geometry). Both algorithms are developed here. Failure of the second algorithm occurs on a subvariety called the non-matroidal or NM- locus. Decorated algebraic matroids have widespread relevance anywhere that coordinates have combinatorial significance. Examples are computed from applied algebra, in algebraic statistics and chemical reaction network theory, as well as more theoretical examples from algebraic geometry and matroid theory.

An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is spherical), then many authors suggested a better home for intersection theory: the direct limit of the cohomology rings of all equivariant compactifications of $V$. We call this limit the affine cohomology of $V$ and construct affine characteristic classes of subvarieties of a complex torus, taking values in the affine cohomology of the torus. This allows us to make the first steps in computing affine Thom polynomials. Classical Thom polynomials count how many fibers of a generic proper map of a smooth variety have a prescribed collection of singularities, and our affine version addresses the same question for generic polynomial maps of affine algebraic varieites. This notion is also motivated by developing an intersection-theoretic approach to tropical correspondence theorems: they can be reduced to the computation of affine Thom polynomials, because the fundamental class of a variety in the affine cohomology is encoded by the tropical fan of this variety. The first concrete answer that we obtain is the affine version of what were, historically speaking, the first three Thom poylnomials -- the Plucker formulas for the degree and the number of cusps and nodes of a projectively dual curve. This, in particular, classifies toric varieties, whose projective dual is a hypersurface, computes the tropical fan of the variety of double tangent hyperplanes to a toric variety, and describes the Newton polytope of the hypersurface of non-Morse polynomials of a given degree. We also make a conjecture on the general form of affine Thom polynomials -- a key ingredient is the $n$-ary fan, generalizing the secondary polytope.

In this paper, we establish a lemma in algebraic coding theory that frequently appears in the encoding and decoding of, e.g., Reed-Solomon codes, algebraic geometry codes, and affine variety codes. Our lemma corresponds to the non-systematic encoding of affine variety codes, and can be stated by giving a canonical linear map as the composition of an extension through linear feedback shift registers from a Grobner basis and a generalized inverse discrete Fourier transform. We clarify that our lemma yields the error-value estimation in the fast erasure-and-error decoding of a class of dual affine variety codes. Moreover, we show that systematic encoding corresponds to a special case of erasure-only decoding. The lemma enables us to reduce the computational complexity of error-evaluation from O(n^3) using Gaussian elimination to O(qn^2) with some mild conditions on n and q, where n is the code length and q is the finite-field size.

Virtual links were introduced by Kauffman in 1999. We characterize the virtual link invariants that are partition functions of vertex models (as considered by de la Harpe and Jones), both in the real and in the complex case. We show that for any fixed number of states, these invariants form an affine variety. Basic techniques are the first and second fundamental theorem of invariant theory for the orthogonal group (in the sense of Weyl) and some related methods from algebraic geometry.

We consider the affine variety ${\mathcal{Z}_{2,2}^{m,n}}$ (or just "$Y$") of first order jets over ${\mathcal{Z}_{2}^{m,n}}$ (or just "$X$"), where $X$ is the classical determinantal variety given by the vanishing of all $2\times 2$ minors of a generic $m\times n$ matrix. When $2 < m \le n$, this jet scheme $Y$ has two irreducible components: a trivial component, isomorphic to an affine space, and a nontrivial component that is the closure of the jets supported over the smooth locus of $X$. This second component is referred to as the principal component of $Y$; it is, in fact, a cone and can also be regarded as a projective subvariety of $\mathbf{P}^{2mn-1}$. We prove that the degree of the principal component of $Y$ is the square of the degree of $X$ and more generally, the Hilbert series of the principal component of $Y$ is the square of the Hilbert series of $X$. As an application, we compute the $a$-invariant of the principal component of $Y$ and show that the principal component of $Y$ is Gorenstein if and only if $m=n$.

We show that the maximum likelihood degree of a smooth very affine variety is equal to the signed topological Euler characteristic. This generalizes Orlik and Terao's solution to Varchenko's conjecture on complements of hyperplane arrangements to smooth very affine varieties. For very affine varieties satisfying a genericity condition at infinity, the result is further strengthened to relate the variety of critical points to the Chern-Schwartz-MacPherson class. The strengthened version recovers the geometric deletion-restriction formula of Denham et al. for arrangement complements, and generalizes Kouchnirenko's theorem on the Newton polytope for nondegenerate hypersurfaces.

We give an explicit construction of a large subset of F^n, where F is a finite field, that has small intersection with any affine variety of fixed dimension and bounded degree. Our construction generalizes a recent result of Dvir and Lovett (STOC 2012) who considered varieties of degree one (affine subspaces).

Let G be an exceptional simple algebraic group, and let T be a maximal torus in G. In this paper, for every such G, we find all simple rational G-modules V with the following property: for every vector v in V, the closure of its T-orbit is a normal affine variety. For all G-modules without this property we present a T-orbit with the non-normal closure. To solve this problem, we use a combinatorial criterion of normality formulated in the terms of weights of a simple G-module. This paper continues two papers of the second author, where the same problem was solved for classical linear groups.

Let T be a maximal torus in a classical linear group G. In this paper we find all simple rational G-modules V such that for each vector v in V the closure of its T-orbit is a normal affine variety. For every other G-module we present a T-orbit with the non-normal closure. We use a combinatorial criterion of normality formulated in terms of the set of weights of a simple G-module. This work is a continuation of the previous work, where the same problem was solved in the case G=SL(n).

A {\em flower} is a coin graph representation of the wheel graph. A {\em petal} of the wheel graph is an edge to the center vertex. In this paper we investigate flowers whose coins have integer radii. For an $n$-petaled flower we show there is a unique irreducible polynomial $P_n$ in $n$ variables over the integers $\ints$, the affine variety of which contains the cosines of the internal angles formed by the petals of the flower. We also establish a recursion that these irreducible polynomials satisfy. Using the polynomials $P_n$, we develop a parameterization for all the integer radii of the coins of the 3-petal flower.

The two basic equations satisfied by the parameters of a block design define a three-dimensional affine variety $\mathcal{D}$ in $\mathbb{R}^{5}$. A point of $\mathcal{D}$ that is not in some sense trivial lies on four lines lying in $\mathcal{D}$. These lines provide a degree of organization for certain general classes of designs, and the paper is devoted to exploring properties of the lines. Several examples of families of designs that seem naturally to follow the lines are presented.

Let $T$ be the subgroup of diagonal matrices in the group SL(n). The aim of this paper is to find all finite-dimensional simple rational SL(n)-modules $V$ with the following property: for each point $v\in V$ the closure $\bar{Tv}$ of its $T$-orbit is a normal affine variety. Moreover, for any SL(n)-module without this property a $T$-orbit with non-normal closure is constructed. The proof is purely combinatorial: it deals with the set of weights of simple SL(n)-modules. The saturation property is checked for each subset in the set of weights.

The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficients in a local system and a presentation for the fundamental group associated to the minimal CW-decomposition for the complement.

Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive part of the tropicalization of an arbitrary affine variety, an object which has the structure of a polyhedral fan. We then investigate the case of the Grassmannian, denoting the resulting fan \Trop^+ Gr_{k,n}. We show that \Trop^+ Gr_{2,n} is the Stanley-Pitman fan, which is combinatorially the fan dual to the (type A_{n-3}) associahedron, and that \Trop^+ Gr_{3,6} and \Trop^+ Gr_{3,7} are closely related to the fans dual to the types D_4 and E_6 associahedra. These results are reminiscent of the results of Fomin and Zelevinsky, and Scott, who showed that the Grassmannian has a natural cluster algebra structure which is of types A_{n-3}, D_4, and E_6 for Gr_{2,n}, Gr_{3,6}, and Gr_{3,7}. We suggest a general conjecture about the positive part of the tropicalization of a cluster algebra.