arXiv++ Combinatorics

Recent work of Lam, Bychkov-Gorbounov-Kazakov-Talalaev, and Chepuri-George-Speyer gave a stratification of the totally nonnegative Lagrangian Grassmannian into electroid cells parameterized by cactus networks, paralleling Postnikov's stratification of the totally nonnegative Grassmannian by positroid cells. Electroid varieties arise as an algebro-geometric extension of electroid cells. The combinatorics of these varieties was studied by Lam in 2018. We build on this work and study the geometric properties of electroid varieties. In analogy to results of Knutson, Lam, and Speyer on positroid varieties, we show that electroid varieties are reduced, irreducible, regular in codimension one, compatibly Frobenius split, and form a stratification. We also show a decomposition of certain electroid varieties as a product of two electroid varieties. As a consequence, the grove measurement map that embeds electroid cells can be extended algebraically to embed an algebraic torus.

Let $λ$, $μ$, $λ'$, $μ'$ be partitions. The conjecture of Lam, Postnikov and Pylyavskyy states that, if $λ+μ= λ' + μ'$, and $\min(λ_i-λ_j, μ_i-μ_j) \leq λ'_i - λ'_j \leq \max(λ_i-λ_j, μ_i-μ_j)$ for all $1 \leq i<j \leq n$, then $s_{λ'} s_{μ'} - s_λ s_μ$ is Schur nonnegative. We prove this conjecture. Our proof is based on two key ideas. First, we introduce a new combinatorial model for Littlewood-Richardson coefficients which we name ``skeps", which are similar to but distinct from Knutson and Tao's hives. Second, we use tools from Murota's theory of L-convexity to prove an L-log-concavity theorem for skeps.

The weak order is a classical poset structure on a Coxeter group; it is a lattice when the group is finite but merely a meet-semilattice when the group is infinite. Motivated by problems in Kazhdan--Lusztig theory, Matthew Dyer introduced the extended weak order, a poset that contains a copy of the weak order as an order ideal, and he conjectured that the extended weak order for any Coxeter group is a lattice. We prove Dyer's conjecture for the rank 3 universal Coxeter group. This is the first non-spherical, non-affine Coxeter group for which Dyer's conjecture has been proven.

Given a linear extension $σ$ of a finite poset $R$, we consider the permutation matrix indexing the Schubert cell containing the Cartan matrix of $R$ with respect to $σ$. This yields a bijection $\mathrm{Ech}_σ\colon R\to R$ that we call echelonmotion; it is the inverse of the Coxeter permutation studied by Klász, Marczinzik, and Thomas. Those authors proved that echelonmotion agrees with rowmotion when $R$ is a distributive lattice. We generalize this result to semidistributive lattices. In addition, we prove that every trim lattice has a linear extension with respect to which echelonmotion agrees with rowmotion. We also show that echelonmotion on an Eulerian poset (with respect to any linear extension) is an involution. Finally, we initiate the study of echelon-independent posets, which are posets for which echelonmotion is independent of the chosen linear extension. We prove that a lattice is echelon-independent if and only if it is semidistributive. Moreover, we show that echelon-independent connected posets are bounded and have semidistributive MacNeille completions.

The third author introduced the $g$-polynomial $g_M(t)$ of a matroid, a covaluative matroid statistic which is unchanged under series and parallel extension. The $g$-polynomial of a rank $r$ matroid $M$ has the form $g_1 t + g_2 t^2 + \cdots + g_r t^r$. The coefficient $g_1$ is Crapo's classical $β$-invariant. In this paper, we study the coefficient $g_r$, which we term the $ω$-invariant of $M$. We show that, if $ω(N)$ is nonnegative for every minor $N$ of $M$, then all the coefficients of $g_M(t)$ are nonnegative. We give several simplified versions of Ferroni's formula for $ω(M)$, and compute $ω(M)$ when $r$ or $|E(M)|-2r$ is small.

Affine cluster varieties are covered up to codimension 2 by open algebraic tori. We put forth a general conjecture (based on earlier conversation between Vivek Shende and the last author) characterizing their deep locus, i.e. the complement of all cluster charts, as the locus of points with non-trivial stabilizer under the action of cluster automorphisms. We use the diagrammatics of Demazure weaves to verify the conjecture for skew-symmetric cluster varieties of finite cluster type with arbitrary choice of frozens and for the top open positroid strata of Grassmannians $\mathrm{Gr}(2,n)$ and $\mathrm{Gr}(3,n)$. We illustrate how this already has applications in symplectic topology and mirror symmetry, by proving that the Fukaya category of Grassmannians $\mathrm{Gr}(2,2n+1)$ is split-generated by finitely many Lagrangian tori, and homological mirror symmetry holds with a Landau--Ginzburg model proposed by Rietsch. Finally, we study the geometry of the deep locus, and find that it can be singular and have several irreducible components of different dimensions, but they all are again cluster varieties in our examples in really full rank cases.

Coxeter groups are equipped with a partial order known as the weak order, such that $u \leq v$ if the inversions of $u$ are a subset of the inversions of $v$. In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice. Motivated by questions in Kazhdan-Lusztig theory, Matthew Dyer introduced a larger poset, now known as extended weak order, which contains the weak order as an order ideal and coincides with it for finite Coxeter groups. The extended weak order is the containment order on certain sets of positive roots: those which satisfy a geometric condition making them "biclosed". The finite biclosed sets are precisely the inversion sets of Coxeter group elements. Generalizing the result for finite Coxeter groups, Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups. In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. To do so, we introduce the notion of a clean arrangement, which is a hyperplane arrangement where the regions are in bijection with biclosed sets. We show that root poset order ideals in a finite or rank 3 untwisted affine root system are clean. We set up a general framework for reducing Dyer's conjecture to checking cleanliness of certain subarrangements. We conjecture this framework can be used to prove Dyer's conjecture for all Coxeter groups.

Motivated by the goal of studying cluster algebras in infinite type, we study the stability domains of modules for the preprojective algebra in the corresponding infinite types. Specifically, we study real bricks: those modules whose endomorphism algebra is a division ring and which have no self-extensions. We define "shard modules" to be those real bricks whose stability domain is as large as possible (meaning, of dimension one less than the rank of the preprojective algebra). We show that all real bricks are obtained by applying the Baumann-Kamnitzer reflection functors to simple modules, and we give a recursive formula for the stability domain of a real brick. We show that shard modules are in bijection with Nathan Reading's "shards", and that their stability domains are the shards; we also establish many foundational results about shards in infinite type which have not previously appeared in print. With an eye toward applications to cluster algebras, our paper is written to handle skew-symmetrizable as well as skew-symmetric exchange matrices, and we therefore discuss the basics of the theory of species for preprojective algebras. We also give some counterexamples to show ways in which infinite type is more subtle than the well-studied finite type cases.

This is a survey article on Richardson varieties and their combinatorics. A Richardson variety is the intersection, inside the flag manifold GL_n/B_+, of a Schubert cell (B_- u B_+)/B_+ and an opposite Schubert cell (B_+ w B_+)/B_+ (or the similar intersection of Schubert varieties). In this survey, we provide an overview of what is known about (1) homogeneous coordinate rings of Richardson varieties, their bases and degenerations (2) parametrizations of Richardson varieties using Bott-Samelson varieties (3) Deodhar's decompositions of the flag manifold and of Richardson varieties within it and (4) total positivity in the flag manifold. We also provide an overview of the combinatorics of positroid varieties, their relations to Richardson varieties, and how they are parametrized using plabic graphs. Most of this survey is an overview of other authors' work over the last forty years, but there are also some minor original results: For example, that coordinate rings of open Richardson varieties are UFD's (Corollary 3.23), that the Deodhar decomposition is not a stratification in Lie type A (Section 4.3) and explicit descriptions of the Deodhar decomposition in terms of ranks of submatrices (Section 4.4).

Let $W$ be a Coxeter group and let $Φ^+$ be its positive roots. A subset $B$ of $Φ^+$ is called biclosed if, whenever we have roots $α$, $β$ and $γ$ with $γ\in \mathbb{R}_{>0} α+ \mathbb{R}_{>0} β$, if $α$ and $β\in B$ then $γ\in B$ and, if $α$ and $β\not\in B$, then $γ\not\in B$. The finite biclosed sets are the inversion sets of the elements of $W$, and the containment between finite inversion sets is the weak order on $W$. Matthew Dyer suggested studying the poset of all biclosed subsets of $Φ^+$, ordered by containment, and conjectured that it is a complete lattice. As progress towards Dyer's conjecture, we classify all biclosed sets in the affine root systems. We provide both a type uniform description, and concrete models in the classical types $\widetilde{A}$, $\widetilde{B}$, $\widetilde{C}$, $\widetilde{D}$. We use our models to prove that biclosed sets form a complete lattice in types $\widetilde{A}$ and $\widetilde{C}$.

Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo-Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We follow her proposed strategy of studying the highest-degree homogeneous parts of Grothendieck polynomials, which we call Castelnuovo-Mumford polynomials. In addition to the regularity formula, we obtain formulas for the degrees of all Castelnuovo-Mumford polynomials and for their leading terms, as well as a complete description of when two Castelnuovo-Mumford polynomials agree up to scalar multiple. The degree of the Grothendieck polynomial is a new permutation statistic which we call the Rajchgot index; we develop the properties of Rajchgot index and relate it to major index and to weak order.

Cactus networks were introduced by Lam as a generalization of planar electrical networks. He defined a map from these networks to the Grassmannian Gr($n+1,2n$) and showed that the image of this map, $\mathcal X_n$ lies inside the totally nonnegative part of this Grassmannian. In this paper, we show that $\mathcal X_n$ is exactly the elements of Gr($n+1,2n$) that are both totally nonnegative and isotropic for a particular skew-symmetric bilinear form. For certain classes of cactus networks, we also explicitly describe how to turn response matrices and effective resistance matrices into points of Gr($n+1,2n$) given by Lam's map. Finally, we discuss how our work relates to earlier studies of total positivity for Lagrangian Grassmannians.

We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion; in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.

We study Dressians of matroids using the initial matroids of Dress and Wenzel. These correspond to cells in regular matroid subdivisions of matroid polytopes. An efficient algorithm for computing Dressians is presented, and its implementation is applied to a range of interesting matroids. We give counterexamples to a few plausible statements about matroid subdivisions.

Stanley, building on work of Stern, defined an array of numbers by the recurrence $s(n, 2k) = s(n-1, k)$, $s(n, 2k+1) = s(n-1, k) + s(n-1, k+1)$. Stanley showed that, for each positive integer $r$, the sequence $s_n^r:= \sum_k s(n,k)^r$ obeys a homogeneous linear recurrence in $n$ of length $r/2+O(1)$. Numerical evidence, however, suggested that $s_n^r$ obeys shorter recurrences, of length $r/3+O(1)$. We prove Stanley's conjecture.

We study the action of a differential operator on Schubert polynomials. Using this action, we first give a short new proof of an identity of I. Macdonald (1991). We then prove a determinant conjecture of R. Stanley (2017). This conjecture implies the (strong) Sperner property for the weak order on the symmetric group, a property recently established by C. Gaetz and Y. Gao (2018).

Given the complement of a hyperplane arrangement, let $Γ$ be the closure of the graph of the map inverting each of its defining linear forms. The characteristic polynomial manifests itself in the Hilbert series of $Γ$ in two different-seeming ways, one due to Orlik and Terao and the other to Huh and Katz. We define an extension of the no broken circuit complex of a matroid and use it to give a direct Gröbner basis argument that the polynomials extracted from the Hilbert series in these two ways agree.

We prove a number of conjectures due to Dinesh Thakur concerning sums of the form $\sum_P h(P)$ where the sum is over monic irreducible polynomials $P$ in $\mathbb{F}_q[T]$, the function $h$ is a rational function and the sum is considered in the $T^{-1}$-adic topology. As an example of our results, in $\mathbb{F}_2[T]$, the sum $\sum_P \tfrac{1}{P^k - 1}$ always converges to a rational function, and is $0$ for $k=1$.

The purpose of this note is to connect two maps related to certain graphs embedded in the disc. The first is Postnikov's boundary measurement map, which combines partition functions of matchings in the graph into a map from an algebraic torus to an open positroid variety in a Grassmannian. The second is a rational map from the open positroid variety to an algebraic torus, given by certain Plücker coordinates which are expected to be a cluster in a cluster structure. This paper clarifies the relationship between these two maps, which has been ambiguous since they were introduced by Postnikov in 2001. The missing ingredient supplied by this paper is a twist automorphism of the open positroid variety, which takes the target of the boundary measurement map to the domain of the (conjectural) cluster. Among other applications, this provides an inverse to the boundary measurement map, as well as Laurent formulas for twists of Plücker coordinates.

Plabic graphs are interesting combinatorial objects used to study the totally nonnegative Grassmannian. Faces of plabic graphs are labeled by $k$-element sets of positive integers, and a collection of such $k$-element sets are the face labels of a plabic graph if that collection forms a maximal weakly separated collection. There are moves that one can apply to plabic graphs, and thus to maximal weakly separated collections, analogous to mutations of seeds in cluster algebras. In this short note, we show that if two maximal weakly separated collections can be mutated from one to another, then one can do so while freezing the face labels they have in common.