arXiv++ Combinatorics

We look at AG codes associated to the projective line, re-examining the problem of determining their automorphism groups (originally investigated by Duer in 1987 using combinatorial techniques) using recent methods from algebraic geometry. We (re)classify those finite groups that can arise as the automorphism group of an AG code for the projective line and give an explicit description of how these groups appear. We also give examples of generalized Reed-Solomon codes with large automorphism groups G, such as G=PSL(2,q), and explicitly describe their G-module structure.

Regular semisimple Hessenberg varieties are a family of subvarieties of the flag variety that arise in number theory, numerical analysis, representation theory, algebraic geometry, and combinatorics. We give a "Giambelli formula" expressing the classes of regular semisimple Hessenberg varieties in terms of Chern classes. In fact, we show that the cohomology class of each regular semisimple Hessenberg variety is the specialization of a certain double Schubert polynomial, giving a natural geometric interpretation to such specializations. We also decompose such classes in terms of the Schubert basis for the cohomology ring of the flag variety. The coefficients obtained are nonnegative, and we give closed combinatorial formulas for the coefficients in many cases. We introduce a closely related family of schemes called regular nilpotent Hessenberg schemes, and use our results to determine when such schemes are reduced.

We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials which define the intersection. Basically, it is equal to the usual signature of a complex complete intersection with same Newton polytopes, when this signature is defined. The proof reduces to the toric hypersurface case, and uses the notion of $E$-polynomials of complex varieties.

We show that certain hypergeometric series used to formulate mirror symmetry for Calabi-Yau hypersurfaces, in string theory and algebraic geometry, satisfy a number of interesting properties. Many of these properties are used in separate papers to verify the BCOV prediction for the genus one Gromov-Witten invariants of a quintic threefold and more generally to compute the genus one Gromov-Witten invariants of any Calabi-Yau projective hypersurface.

We apply the tropical intersection theory developed by L. Allermann and J. Rau to compute intersection products of tropical Psi-classes on the moduli space of rational tropical curves. We show that in the case of zero-dimensional (stable) intersections, the resulting numbers agree with the intersection numbers of Psi-classes on the moduli space of n-marked rational curves computed in algebraic geometry.

We verify a recent conjecture of Kenyon/Szendroi, arXiv:0705.3419, by computing the generating function for pyramid partitions. Pyramid partitions are closely related to Aztec Diamonds; their generating function turns out to be the partition function for the Donaldson--Thomas theory of a non-commutative resolution of the conifold singularity {x1x2 -x3x4 = 0}. The proof does not require algebraic geometry; it uses a modified version of the domino shuffling algorithm of Elkies, Kuperberg, Larsen and Propp.

The notion of convexity in tropical geometry is closely related to notions of convexity in the theory of affine buildings. We explore this relationship from a combinatorial and computational perspective. Our results include a convex hull algorithm for the Bruhat--Tits building of SL$_d(K)$ and techniques for computing with apartments and membranes. While the original inspiration was the work of Dress and Terhalle in phylogenetics, and of Faltings, Kapranov, Keel and Tevelev in algebraic geometry, our tropical algorithms will also be applicable to problems in other fields of mathematics.

Sequences that are defined by multisums of hypergeometric terms with compact support occur frequently in enumeration problems of combinatorics, algebraic geometry and perturbative quantum field theory. The standard recipe to study the asymptotic expansion of such sequences is to find a recurrence satisfied by them, convert it into a differential equation satisfied by their generating series, and analyze the singulatiries in the complex plane. We propose a shortcut by constructing directly from the structure of the hypergeometric term a finite set, for which we conjecture (and in some cases prove) that it contains all the singularities of the generating series. Our construction of this finite set is given by the solution set of a balanced system of polynomial equations of a rather special form, reminiscent of the Bethe ansatz. The finite set can also be identified with the set of critical values of a potential function, as well as with the evaluation of elements of an additive $K$-theory group by a regulator function. We give a proof of our conjecture in some special cases, and we illustrate our results with numerous examples.

We study the tropical lines contained in smooth tropical surfaces in R^3. On smooth tropical quadric surfaces we find two one-dimensional families of tropical lines, like in classical algebraic geometry. Unlike the classical case, however, there exist smooth tropical surfaces of any degree with infinitely many tropical lines.

On tropical geometry in $\rr^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.

Young tableaux are classical combinatorial objects playing recurring and varied roles in representation theory, algebraic geometry and commutative algebra. This article is a short exposition on Young tableaux, written for the "WHAT IS...?" series of the Notices of the American Mathematical Society. It describes some of their properties and applications.

I. P. Goulden, S. Litsyn, and V. Shevelev [On a sequence arising in algebraic geometry, J. Integer Sequences 8 (2005), 05.4.7] conjectured that certain Laurent polynomials associated with the solution of a functional equation have only odd negative powers. We prove their conjecture and generalize it.

We give a self-contained introduction to the theory of secondary polytopes and geometric bistellar flips in triangulations of polytopes and point sets, as well as a review of some of the known results and connections to algebraic geometry, topological combinatorics, and other areas. As a new result, we announce the construction of a point set in general position with a disconnected space of triangulations. This shows, for the first time, that the poset of strict polyhedral subdivisions of a point set is not always connected.

This is a survey article on Gorenstein initial complexes of extensively studied ideals in commutative algebra and algebraic geometry. These include defining ideals of Segre and Veronese varieties, toric deformations of flag varieties known as Hibi ideals, determinantal ideals of generic matrices of indeterminates, and ideals generated by Pfaffians of generic skew symmetric matrices. We give a summary of recent work on the construction of squarefree Gorenstein initial ideals of these ideals when the ideals are themselves Gorenstein. We also present our own independent results for the Segre, Veronese, and some determinantal cases.

Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.

Duality of curves is one of the important aspects of the ``classical'' algebraic geometry. In this paper, using this foundation, the duality of tropical polynomials is constructed to introduce the duality of Non-Archimedean curves. Using the development of ``mechanism'' which is based on ``distortion'' values and their matrices, we discuss some aspects refereing to quadrics with respect to their dual objects. This topic includes also the induced dual subdivision of Newton Polytope and its compatible properties. Finally, a regularity of tropical curves in the duality sense is generally defined and, studied for families of tropical quadrics.

Combining a selection of tools from modern algebraic geometry, representation theory, the classical invariant theory of binary forms, together with explicit calculations with hypergeometric series and Feynman diagrams, we obtain the following interrelated results. A Castelnuovo-Mumford regularity bound and a projective normality result for the locus of hypersufaces that are equally supported on two hyperplanes. The surjectivity of an equivariant map between two plethystic compositions of symmetric powers; a statement which is reminiscent of the Foulkes-Howe conjecture. The nonvanishing of even transvectants of exact powers of generic binary forms. The nonvanishing of a collection of symmetric functions defined by sums over magic squares and transportation matrices with nonnegative integer entries. An explicit set of generators, in degree three, for the ideal of the coincident root locus of binary forms with only two roots of equal multiplicity.

We consider linear error correcting codes associated to higher dimensional projective varieties defined over a finite field. The problem of determining the basic parameters of such codes often leads to some interesting and difficult questions in combinatorics and algebraic geometry. This is illustrated by codes associated to Schubert varieties in Grassmannians, called Schubert codes, which have recently been studied. The basic parameters such as the length, dimension and minimum distance of these codes are known only in special cases. An upper bound for the minimum distance is known and it is conjectured that this bound is achieved. We give explicit formulae for the length and dimension of arbitrary Schubert codes and prove the minimum distance conjecture in the affirmative for codes associated to Schubert divisors.

This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physics and mathematics.

These are the notes for the Clay Mathematics Institute Senior Scholar Lecture which was delivered by Bernd Sturmfels in Park City, Utah, on July 22, 2004. The topic of this lecture is the ``tropical approach'' in mathematics, which has gotten a lot of attention recently in combinatorics, algebraic geometry and related fields. It offers an an elementary introduction to this subject, touching upon Arithmetic, Polynomials, Curves, Phylogenetics and Linear Spaces. Each section ends with a suggestion for further research. The bibliography contains numerousreferences for further reading in this field.