arXiv++ Combinatorics

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly. Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellenberg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.

There are many variations on partition functions for graph homomorphisms or colorings. The case considered here is a counting or hard constraint problem in which the range or color graph carries a free and vertex transitive Abelian group action so that the colors are identified with the elements of this group. A Fourier transform is used to obtain an expansion for the numbers of colorings with terms indexed by isthmus free subgraphs of the domain. The terms are products of a polynomial in the edge density a of the color graph and the number of colorings of the indexing subgraph of the domain into the complementary color graph. The polynomial in a is independent of the color group and the term has order (1-a) to the r where r is the number of vertices minus the number of components in the indexing subgraph. Thus if (1-a) is small there is a main term indexed by the empty subgraph which is a polynomial in a and the first dependence on the coloring group occurs in the lowest order corrections which are indexed by the shortest cycles in the graph and are of order (1-a) to the g-1 where g is the length of these shortest cycles. The main theorem is stated as a reciprocity law. Examples are given in which the coloring groups are long cycles and products of short cycles and adjacent vertices are required to have distant rather than distinct colors. The chromatic polynomial of a graph corresponds to using any group and taking the allowed set to be the complement of the identity.

Hyperfiniteness or amenability of measurable equivalence relations and group actions has been studied for almost fifty years. Recently, unexpected applications of hyperfiniteness were found in computer science in the context of testability of graph properties. In this paper we propose a unified approach to hyperfiniteness. We establish some new results and give new proofs of theorems of Schramm, Lovász, Newman-Sohler and Ornstein-Weiss.

Generalized alcoved polytopes are polytopes whose facet normals are roots in a given root system. We call a set of points in an alcoved polytope a generating set if there does not exist a strictly smaller alcoved polytope containing it. The type $A$ alcoved polytopes are precisely the tropical polytopes that are also convex in the usual sense. In this case the tropical generators form a generating set. We show that for any root system other than $F_4$, every alcoved polytope invariant under the natural Weyl group action has a generating set of cardinality equal to the Coxeter number of the root system.

For a CAT(0) cube complex $\mathbf X$, we define a simplicial flag complex $\partial_Δ\mathbf X$, called the \emph{simplicial boundary}, which is a natural setting for studying non-hyperbolic behavior of $\mathbf X$. We compare $\partial_Δ\mathbf X$ to the Roller, visual, and Tits boundaries of $\mathbf X$ and give conditions under which the natural CAT(1) metric on $\partial_Δ\mathbf X$ makes it (quasi)isometric to the Tits boundary. $\partial_Δ\mathbf X$ allows us to interpolate between studying geodesic rays in $\mathbf X$ and the geometry of its \emph{contact graph} $Γ\mathbf X$, which is known to be quasi-isometric to a tree, and we characterize essential cube complexes for which the contact graph is bounded. Using related techniques, we study divergence of combinatorial geodesics in $\mathbf X$ using $\partial_Δ\mathbf X$. Finally, we rephrase the rank-rigidity theorem of Caprace-Sageev in terms of group actions on $Γ\mathbf X$ and $\partial_Δ\mathbf X$ and state characterizations of cubulated groups with linear divergence in terms of $Γ\mathbf X$ and $\partial_Δ\mathbf X$.

This paper finds relationships between multiple logarithms with a dihedral group action on the arguments. I generalize the combinatorics developed in Gangl, Goncharov and Levin's R-deco polygon representation of multiple logarithms to find these relations. By writing multiple logarithms as iterated integrals, my arguments are valid for iterated integrals as over an arbitrary field.

A permutation representation of a Coxeter group $W$ naturally defines an absolute order. This family of partial orders (which includes the absolute order on $W$) is introduced and studied in this paper. Conditions under which the associated rank generating polynomial divides the rank generating polynomial of the absolute order on $W$ are investigated when $W$ is finite. Several examples, including a symmetric group action on perfect matchings, are discussed. As an application, a well-behaved absolute order on the alternating subgroup of $W$ is defined.

We construct an action of the braid group on $n$ strands on the set of parking functions of $n$ cars such that elementary braids have orbits of length 2 or 3. The construction is motivated by a theorem of Lyashko and Looijenga stating that the number of the distinguished bases for $A_n$ singularity equals $(n+1)^{n-1}$ and thus equals the number of parking functions. We construct an explicit bijection between the set of parking functions and the set of distinguished bases, which allows us to translate the braid group action on distinguished bases in terms of parking functions.

We define Drinfeld orbifold algebras as filtered algebras deforming the skew group algebra (semi-direct product) arising from the action of a finite group on a polynomial ring. They simultaneously generalize Weyl algebras, graded (or Drinfeld) Hecke algebras, rational Cherednik algebras, symplectic reflection algebras, and universal enveloping algebras of Lie algebras with group actions. We give necessary and sufficient conditions on defining parameters to obtain Drinfeld orbifold algebras in two general formats, both algebraic and homological. We explain the connection between Hochschild cohomology and a Poincare-Birkhoff-Witt property explicitly (using Gerstenhaber brackets). We also classify those deformations of skew group algebras which arise as Drinfeld orbifold algebras and give applications for abelian groups.

The cohomology of the configuration space of n points in R^3 admits a symmetric group action and has been shown to be isomorphic to the regular representation. One way to prove this is by defining an S^1-action whose fixed point set is the complement of the braid arrangement and using equivariant cohomology to show that the cohomology of the configuration space is the associated graded algebra of the cohomology of the arrangement complement. In this paper, we will extend this result to the setting of affine subspace arrangements coming from real hyperplane arrangements using similar methods. We also provide a presentation of the equivariant cohomology ring and extend some results to the setting of oriented matroids.

We present a symmetric LDPC code with constant rate and constant distance (i.e. good LDPC code) that its constraint space is generated by the orbit of one constant weight constraint under a group action. Our construction provides the first symmetric LDPC good codes. This solves the main open problem raised by Kaufman and Wigderson in [4].

A labeled set partition is a partition of a set of integers whose arcs are labeled by nonzero elements of an abelian group $A$. Inspired by the action of the linear characters of the unitriangular group on its supercharacters, we define a group action of $A^n$ on the set of $A$-labeled partitions of an $(n+1)$-set. By investigating the orbit decomposition of various families of set partitions under this action, we derive new combinatorial proofs of Coker's identity for the Narayana polynomial and its type B analogue, and establish a number of other related identities. In return, we also prove some enumerative results concerning André and Neto's supercharacter theories of type B and D.

We extend the Penrose polynomial, originally defined only for plane graphs, to graphs embedded in arbitrary surfaces. Considering this Penrose polynomial of embedded graphs leads to new identities and relations for the Penrose polynomial which can not be realized within the class of plane graphs. In particular, by exploiting connections with the transition polynomial and the ribbon group action, we find a deletion-contraction-type relation for the Penrose polynomial. We relate the Penrose polynomial of an orientable checkerboard colourable graph to the circuit partition polynomial of its medial graph and use this to find new combinatorial interpretations of the Penrose polynomial. We also show that the Penrose polynomial of a plane graph G can be expressed as a sum of chromatic polynomials of twisted duals of G. This allows us to obtain a new reformulation of the Four Colour Theorem.

Quiver Grassmannians are varieties parametrizing subrepresentations of a quiver representation. It is observed that certain quiver Grassmannians for type A quivers are isomorphic to the degenerate flag varieties investigated earlier by the second named author. This leads to the consideration of a class of Grassmannians of subrepresentations of the direct sum of a projective and an injective representation of a Dynkin quiver. It is proven that these are (typically singular) irreducible normal local complete intersection varieties, which admit a group action with finitely many orbits, and a cellular decomposition. For type A quivers explicit formulas for the Euler characteristic (the median Genocchi numbers) and the Poincare polynomials are derived.

The Wronski map is a finite, PGL_2(C)-equivariant morphism from the Grassmannian Gr(d,n) to a projective space (the projectivization of a vector space of polynomials). We consider the following problem. If C_r < PGL_2(C) is a cyclic subgroup of order r, how may C_r-fixed points are in the in a fibre of the Wronski map over a C_r-fixed point in the base? In this paper, we compute a general answer in terms of r-ribbon tableaux. When r=2, this computation gives the number of real points in the fibre of the Wronski map over a real polynomial with purely imaginary roots. More generally, we can compute the number of real points in certain intersections of Schubert varieties. When r divides d(n-d) our main result says that the generic number of C_r-fixed points in the fibre is the number of standard r-ribbon tableaux rectangular shape (n-d)^d. Computing by a different method, we show that the answer in this case is also given by the number of of standard Young tableaux of shape (n-d)^d that are invariant under N/r iterations of jeu de taquin promotion. Together, these two results give a new proof of Rhoades' cyclic sieving theorem for promotion on rectangular tableaux. We prove analogous results for dihedral group actions.

In earlier work we gave a characterisation of pregeometries which are `basic' (that is, admit no `non-degenerate' quotients) relative to two different kinds of quotient operations, namely imprimitive quotients and normal quotients. Each basic geometry was shown to involve a faithful group action, which is primitive or quasiprimitive respectively, on the set of elements of each type. For each O'Nan-Scott type of primitive group, we construct a new infinite family of geometries, which are thick and of unbounded rank, and which admit a flag-transitive automorphism group acting faithfully on the set of elements of each type as a primitive group of the given O'Nan-Scott type.

In this paper we consider a function $L(\vec{x})=L(a,b,c,d;e;f,g)$, which can be written as a linear combination of two Saalschützian ${}_4F_3(1)$ hypergeometric series or as a very-well-poised ${}_7F_6(1)$ hypergeometric series. We explore two-term and three-term relations satisfied by the $L$ function and put them in the framework of group theory. We prove a fundamental two-term relation satisfied by the $L$ function and show that this relation implies that the Coxeter group $W(D_5)$, which has 1920 elements, is an invariance group for $L(\vec{x})$. The invariance relations for $L(\vec{x})$ are classified into six types based on a double coset decomposition of the invariance group. The fundamental two-term relation is shown to generalize classical results about hypergeometric series. We derive Thomae's identity for ${}_3F_2(1)$ series, Bailey's identity for terminating Saalschützian ${}_4F_3(1)$ series, and Barnes' second lemma as consequences. We further explore three-term relations satisfied by $L(a,b,c,d;e;f,g)$. The group that governs the three-term relations is shown to be isomorphic to the Coxeter group $W(D_6)$, which has 23040 elements. Based on the right cosets of $W(D_5)$ in $W(D_6)$, we demonstrate the existence of 220 three-term relations satisfied by the $L$ function that fall into two families according to the notion of $L$-coherence.

In the prequel of this paper, we have associated a family of cluster X-varieties to the dual Poisson-Lie group(G*,π_*) of (G,π_G) when (G,π_G) is a complex semi-simple Lie group of adjoint type, given with the standard Poisson structure π_G and π_* is the "dual" Poisson structure defined by the Semenov-Tian-Shansky Poisson bracket on G. We describe here the cluster combinatorics involved into the Artin group action on G* given by the De-Concini-Kac-Procesi Poisson automorphisms.

This paper develops graph analogues of the genus bounds for the maximal size of an automorphism group of a compact Riemann surface of genus $g\ge 2$. Inspired by the work of M. Baker and S. Norine on harmonic morphisms between finite graphs, we motivate and define the notion of a harmonic group action. Denoting by M(g) the maximal size of such a harmonic group action on a graph of genus $g\ge 2$, we prove that $4(g-1)\le M(g)\le 6(g-1)$, and these bounds are sharp in the sense that both are attained for infinitely many values of g. Moreover, we show that the values $4(g-1)$ and $6(g-1)$ are the only values taken by the function $M(g)$.

We study the rank 4 linear matroid $M(H_4)$ associated with the 4-dimensional root system $H_4$. This root system coincides with the vertices of the 600-cell, a 4-dimensional regular solid. We determine the automorphism group of this matroid, showing half of the 14,400 automorphisms are geometric and half are not. We prove this group is transitive on the flats of the matroid, and also prove this group action is primitive. We use the incidence properties of the flats and the {\it orthoframes} of the matroid as a tool to understand these automorphisms, and interpret the flats geometrically.