arXiv++ Combinatorics

For fixed weights w_1,...,w_n, and for d>0, we let B denote a collection of d*n balls, with d balls of weight w_i for each i=1,...,n. We consider the problem of assigning the balls to n bins with capacities C_1,...,C_n, in such a way that each bin is assigned d balls, without exceeding its capacity. When d>>0, we give sufficient criteria for the feasibility of this problem, which coincide up to explicit constants with the natural set of necessary conditions. Furthermore, we show that our constants are optimal when the weights w_i are distinct. The feasibility criteria that we present here are used elsewhere (in commutative algebra) to study the asymptotic behavior of the Castelnuovo-Mumford regularity of symmetric monomial ideals.

We exhibit several posets arising from commutative algebra, order theory, tropical convexity as potential face posets of tropical polyhedra, and we clarify their inclusion relations. We focus on monomial tropical polyhedra, and deduce how their geometry reflects properties of monomial ideals. Their vertex-facet lattice is homotopy equivalent to a sphere and encodes the Betti numbers of an associated monomial ideal.

In this paper, we discuss tensegrity from the perspective of nonlinear algebra in a manner accessible to undergraduates. We compute explicit examples and include the SAGE and Julia code so that readers can continue their own experiments and computations. The entire framework is a natural extension of linear equations of equilibrium, but to describe the space of solutions will require (nonlinear) polynomials. In our examples, minors of a structured matrix determine the singular locus of the algebraic variety of interest. At these singular points, more interesting phenomena can occur, which we investigate in the context of the tensegrity 3-prism, our running example. Tools from algebraic geometry, commutative algebra, semidefinite programming, and numerical algebraic geometry will be used. Although at first it is all linear algebra, the examples will motivate the study of systems of polynomial equations. In particular, we will see the importance of varieties cut out by determinants of matrices.

Reflexive polytopes have been studied from viewpoints of combinatorics, commutative algebra and algebraic geometry. A nef-partition of a reflexive polytope $\mathcal{P}$ is a decomposition $\mathcal{P}=\mathcal{P}_1+\cdots+\mathcal{P}_r$ such that each $\mathcal{P}_i$ is a lattice polytope containing the origin. Batyrev and van Straten gave a combinatorial method for explicit constructions of mirror pairs of Calabi-Yau complete intersections obtained from nef-partitions. In the present paper, by means of Gröbner basis techniques, we give a large family of nef-partitions arising from unimodular configurations.

In this note we define and study graph invariants generalizing to higher dimension the maximum degree of a vertex and the vertex-connectivity (our $0$-dimensional cases). These are known to coincide almost surely in any regime for Erdoes-Renyi random graphs. We show the same in the one dimensional case for a middle density regime and show the easier inequality for all dimensions in the same regime. Our original motivation comes from the study of minimal free resolutions of Stanley-Reisner rings of clique complexes of graphs in commutative algebra, In that setting the higher dimensional vertex connectivities determine the lengths of the strands. Through our results we aim to replace (asymptotically) vertex connectivity by a simpler invariant.

Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the context of cluster mutation. In particular, we give examples of birational maps that are integrable in the Liouville sense and arise from cluster algebras with periodicity, as well as examples of discrete Painlevé equations that are derived from Y-systems.

As part of the study of correspondence functors, the present paper investigates their tensor product and proves some of its main properties. In particular, the correspondence functor associated to a finite lattice has the structure of a commutative algebra in the tensor category of all correspondence functors.

We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify injective objects, establish properties of injective and projective resolutions, construct a derived auto-duality, and so on. Our work is motivated by numerous connections of this theory to other areas, such as representation stability, commutative algebra, simplicial theory, and shuffle algebras.

A graph $G$ is said to be chordal if it has no induced cycles of length four or more. In a recent preprint Culbertson, Guralnik, and Stiller give a new characterization of chordal graphs in terms of sequences of what they call `edge-erasures'. We show that these moves are in fact equivalent to a linear quotient ordering on $I_{\overline{G}}$, the edge ideal of the complement graph. Known results imply that $I_{\overline G}$ has linear quotients if and only if $G$ is chordal, and hence this recovers an algebraic proof of their characterization. We investigate higher-dimensional analogues of this result, and show that in fact linear quotients for more general circuit ideals of $d$-clutters can be characterized in terms of removing exposed circuits in the complement clutter. Restricting to properly exposed circuits can be characterized by a homological condition. This leads to a notion of higher dimensional chordal clutters which borrows from commutative algebra and simple homotopy theory. The interpretation of linear quotients in terms of shellability of simplicial complexes also has applications to a conjecture of Simon regarding the extendable shellability of $k$-skeleta of simplices. Other connections to combinatorial commutative algebra, chordal complexes, and hierarchical clustering algorithms are explored.

In this paper we study an algebra that naturally combines two familiar operations in scattering amplitudes: computations of volumes of polytopes using triangulations and constructions of canonical forms from products of smaller ones. We mainly concentrate on the case of $G(2,n)$ as it controls both general MHV leading singularities and CHY integrands for a variety of theories. This commutative algebra has also appeared in the study of configuration spaces and we called it the $Δ$-algebra. As a natural application, we generalize the well-known square move. This allows us to generate infinite families of new moves between non-planar on-shell diagrams. We call them sphere moves. Using the $Δ$-algebra we derive familiar results, such as the KK and BCJ relations, and prove novel formulas for higher-order relations. Finally, we comment on generalizations to $G(k,n)$.

In this paper, a construction of an infinite dimensional associative algebra, which will be called a \emph{Surface Algebra}, is associated in a "canonical" way to a dessin d'enfant, or more generally, a cellularly embedded graph in a Riemann surface. Once the surface algebras are constructed we will see a construction of what we call here the associated \emph{Dessin Order} or more generally the \emph{Surface Order}. This provides a way of associating to every algebraic curve $X$, with function field $k(X)$ (defined over an arbitrary field $k$) the representation theory of its Surface Algebra and the lattices over Surface Orders, which are defined as pullbacks of certain matrix algebras over commutative $k$-algebras. We will then be able to prove that the center and the (noncommutative) normalization of the surface orders are invariant under the action of the absolute Galois group $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$. We will see that the surface algebras and surface orders are closely related to the fundamental group(oid) of the Riemann surfaces and the associated monodromy group. A description of the projective resolutions of the simple modules over the surface order is given and it will be shown that one can completely recover the dessin with the projective resolutions of the simple modules alone. In particular, the projective resolutions of the simple modules encode all combinatorial and topological data of the monodromy group (or cartographic group) of a dessin. Finally, as a corollary we are able to say that classifying dessins in an orbit of $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$ is equivalent to classifying dessin orders with a given normalization. We end with some further examples of surface algebras and surface orders related to the classical and geometric version of the Langlands Program.

We study a variation of Bagchi and Datta's $σ$-vector of a simplicial complex $C$, whose entries are defined as weighted averages of Betti numbers of induced subcomplexes of $C$. We show that these invariants satisfy an Alexander-Dehn-Sommerville type identity, and behave nicely under natural operations on triangulated manifolds and spheres such as connected sums and bistellar flips. In the language of commutative algebra, the invariants are weighted sums of graded Betti numbers of the Stanley-Reisner ring of $C$. This interpretation implies, by a result of Adiprasito, that the Billera-Lee sphere maximizes these invariants among triangulated spheres with a given $f$-vector. For the first entry of $σ$, we extend this bound to the class of strongly connected pure complexes. As an application, we show how upper bounds on $σ$ can be used to obtain lower bounds on the $f$-vector of triangulated $4$-manifolds with transitive symmetry on vertices and prescribed vector of Betti numbers.

Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characterization of which Hilbert functions are Gorenstein is widely believed to be hopeless, the GIC, if true, would at least provide the existence of a strong, and very natural, structural property for such basic functions in commutative algebra. Before now, very little progress was made on the GIC. The main goal of this note is to prove the case $e\le 5$, in arbitrary codimension. Our arguments will be in part constructive, and will combine several different tools of commutative algebra and classical algebraic geometry.

Let $G$ be a group of permutations of a denumerable set $E$. The profile of $G$ is the function $φ_G$ which counts, for each $n$, the (possibly infinite) number $φ_G(n)$ of orbits of $G$ acting on the $n$-subsets of $E$. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever $φ_G(n)$ is bounded by a polynomial, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked if the orbit algebra of $G$ - a graded commutative algebra invented by Cameron and whose Hilbert function is $φ_G$ - is finitely generated. In this paper, we announce a proof of a stronger statement: the orbit algebra is Cohen-Macaulay. The generating series of the profile is a rational fraction whose numerator has positive coefficients and denominator admits a combinatorial description. The proof uses classical techniques from group actions, commutative algebra, and invariant theory; it steps towards a classification of ages of permutation groups with profile bounded by a polynomial.

A periodic tridiagonal matrix is a tridiagonal matrix with additional two entries at the corners. We study the space $X_{n,λ}$ of Hermitian periodic tridiagonal $n\times n$-matrices with a fixed simple spectrum $λ$. Using the discretized Shrödinger operator we describe all spectra $λ$ for which $X_{n,λ}$ is a topological manifold. The space $X_{n,λ}$ carries a natural effective action of a compact $(n-1)$-torus. We describe the topology of its orbit space and, in particular, show that whenever the isospectral space is a manifold, its orbit space is homeomorphic to $S^4\times T^{n-3}$. There is a classical dynamical system: the flow of the periodic Toda lattice, acting on $X_{n,λ}$. Except for the degenerate locus $X_{n,λ}^0$, the Toda lattice exhibits Liouville--Arnold behavior, so that the space $X_{n,λ}\setminus X_{n,λ}^0$ is fibered into tori. The degenerate locus of the Toda system is described in terms of combinatorial geometry: its structure is encoded in the special cell subdivision of a torus, which is obtained from the regular tiling of the euclidean space by permutohedra. We apply methods of commutative algebra and toric topology to describe the cohomology and equivariant cohomology modules of $X_{n,λ}$.

Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable.

Using commutative algebra methods we study the generalized minimum distance function (gmd function) and the corresponding generalized footprint function of a graded ideal in a polynomial ring over a field. The number of solutions that a system of homogeneous polynomials has in any given finite set of projective points is expressed as the degree of a graded ideal. If $\mathbb{X}$ is a set of projective points over a finite field and $I$ is its vanishing ideal, we show that the gmd function and the Vasconcelos function of $I$ are equal to the $r$-th generalized Hamming weight of the corresponding Reed-Muller-type code $C_\mathbb{X}(d)$ of degree $d$. We show that the generalized footprint function of $I$ is a lower bound for the $r$-th generalized Hamming weight of $C_\mathbb{X}(d)$. Then we present some applications to projective nested cartesian codes. To give applications of our lower bound to algebraic coding theory, we show an interesting integer inequality. Then we show an explicit formula and a combinatorial formula for the second generalized Hamming weight of an affine cartesian code.

This article contains an overview of the author's joint work with Allen Knutson and Jenna Rajchgot on $K$-polynomials of orbit closures for type $A$ quivers. It is written to an audience interested in interactions between representations of algebras, algebraic geometry, and commutative algebra. A few open problems resulting from the work are also explained.

Suppose that for each n >= 0 we have a representation $M_n$ of the symmetric group S_n. Such sequences arise in a wide variety of contexts, and often exhibit uniformity in some way. We prove a number of general results along these lines in this paper: our prototypical theorem states that if $M_n$ can be given a suitable module structure over a twisted commutative algebra then the sequence $M_n$ follows a predictable pattern. We phrase these results precisely in the language of Hilbert series (or Poincaré series, or formal characters) of modules over tca's.

We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo--Mumford regularity of square-free quadratic monomial ideals. We construct examples of such ideals which exhibit arbitrarily high regularity after linear syzygies for arbitrarily many steps. We give a doubly logarithmic bound on the regularity as a function of the number of variables if these ideals are Cohen--Macaulay.