arXiv++ Combinatorics

The K-theoretic quiver component formula expresses the K-polynomial of a type A quiver locus as an alternating sum of products of double Grothendieck polynomials. This formula was conjectured by A. Buch and R. Rimányi and later proved by R. Kinser, A. Knutson, and the second author. We provide a new proof of this formula which replaces Gröbner degenerations by combinatorics. Along the way, we obtain a new proof of A. Buch and R. Rimányi's cohomological quiver component formula. Again, our proof replaces geometric techniques by combinatorics.

We use a Gröbner basis technique first introduced by Knutson, Miller and Yong to study the interplay between properties of a graph $G$ and algebraic properties of the toric ideal that it defines. We first recover a well-known height formula for the toric ideal of a graph $I_G$ and demonstrate an algebraic property that can detect when a graph deletion is bipartite. We also bound the chromatic number $χ(G)$ using information about an initial ideal of $I_G$.

We unify problems about the equivariant geometry of symmetric quiver representation varieties, in the finite type setting, with the corresponding problems for symmetric varieties $GL(n)/K$ where $K$ is an orthogonal or symplectic group. In particular, we translate results about singularities of orbit closures; combinatorics of orbit closure containment; and torus equivariant cohomology and K-theory between these classes of varieties. We obtain these results by constructing explicit embeddings with nice properties of homogeneous fiber bundles over type $A$ symmetric quiver representation varieties into symmetric varieties.

A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen--Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme. Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley--Reisner complexes. Given a monomial ideal $I$ and a vertex decomposition of the Stanley--Reisner complex of its polarization $P(I)$, we give conditions that allow for the lifting of an associated basic double G-link of $P(I)$ to a basic double G-link of $I$ itself. We use the relationship we develop in the process to show that the Stanley--Reisner complexes of polarizations of stable Cohen--Macaulay monomial ideals are vertex decomposable. We then introduce and study polarization of a Gröbner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on vertex decomposition and basic double G-linkage.

We study three invariants of geometrically vertex decomposable ideals: the Castelnuovo-Mumford regularity, the multiplicity, and the $a$-invariant. We show that these invariants can be computed recursively using the ideals that appear in the geometric vertex decomposition process. As an application, we prove that the $a$-invariant of a geometrically vertex decomposable ideal is non-positive. We also recover some previously known results in the literature including a formula for the regularity of the Stanley--Reisner ideal of a pure vertex decomposable simplicial complex, and proofs that some well-known families of ideals are Hilbertian. Finally, we apply our recursions to the study of toric ideals of bipartite graphs. Included among our results on this topic is a new proof for a known bound on the $a$-invariant of a toric ideal of a bipartite graph.

Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explore basic double G-links between squarefree monomial ideals beyond the weakly vertex decomposable setting. Our first contribution is a structural result about certain basic double G-links which involve an edge ideal. Specifically, suppose $I(G)$ is the edge ideal of a graph $G$. When $I(G)$ is a basic double G-link of a monomial ideal $B$ on an arbitrary homogeneous ideal $A$, we give a generating set for $B$ in terms of $G$ and show that this basic double G-link must be of degree $1$. Our second focus is on examples from the literature of simplicial complexes known to be Cohen-Macaulay but not weakly vertex decomposable. We show that these examples are not basic double links of any other squarefree monomial ideals.

We give degree formulas for Grothendieck polynomials indexed by vexillary permutations and $1432$-avoiding permutations via tableau combinatorics. These formulas generalize a formula for degrees of symmetric Grothendieck polynomials which appeared in previous joint work of the authors with Y. Ren and A. St. Dizier. We apply our formulas to compute Castelnuovo-Mumford regularity of classes of generalized determinantal ideals. In particular, we give combinatorial formulas for the regularities of all one-sided mixed ladder determinantal ideals. We also derive formulas for the regularities of certain Kazhdan-Lusztig ideals, including those coming from open patches of Schubert varieties in Grassmannians. This provides a correction to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri (2015).

We study a class of combinatorially-defined polynomial ideals which are generated by minors of a generic symmetric matrix. Included within this class are the symmetric determinantal ideals, the symmetric ladder determinantal ideals, and the symmetric Schubert determinantal ideals of A. Fink, J. Rajchgot, and S. Sullivant. Each ideal in our class is a type C analog of a Kazhdan-Lusztig ideal of A. Woo and A. Yong; that is, it is the scheme-theoretic defining ideal of the intersection of a type C Schubert variety with a type C opposite Schubert cell, appropriately coordinatized. The Kazhdan-Lusztig ideals that arise are exactly those where the opposite cell is $123$-avoiding. Our main results include Gröbner bases for these ideals, prime decompositions of their initial ideals (which are Stanley-Reisner ideals of subword complexes) and combinatorial formulas for their multigraded Hilbert series in terms of pipe dreams.

Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G-biliaisons of height 1 to an ideal of indeterminates and, conversely, that every G-biliaison of a certain type gives rise to a geometric vertex decomposition. As a consequence, we can immediately conclude that several well-known families of ideals are glicci, including Schubert determinantal ideals, defining ideals of varieties of complexes, and defining ideals of graded lower bound cluster algebras.

We give an explicit formula for the degree of the Grothendieck polynomial of a Grassmannian permutation and a closely related formula for the Castelnuovo-Mumford regularity of the Schubert determinantal ideal of a Grassmannian permutation. We then provide a counterexample to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri on a formula for regularities of standard open patches of particular Grassmannian Schubert varieties and show that our work gives rise to an alternate explicit formula in these cases. We end with a new conjecture on the regularities of standard open patches of arbitrary Grassmannian Schubert varieties.

Matrix Schubert varieties are certain varieties in the affine space of square matrices which are determined by specifying rank conditions on submatrices. We study these varieties for generic matrices, symmetric matrices, and upper triangular matrices in view of two applications to algebraic statistics: we observe that special conditional independence models for Gaussian random variables are intersections of matrix Schubert varieties in the symmetric case. Consequently, we obtain a combinatorial primary decomposition algorithm for some conditional independence ideals. We also characterize the vanishing ideals of Gaussian graphical models for generalized Markov chains. In the course of this investigation, we are led to consider three related stratifications, which come from the Schubert stratification of a flag variety. We provide some combinatorial results, including describing the stratifications using the language of rank arrays and enumerating the strata in each case.

We provide combinatorial formulas for the multidegree and K-polynomial of an arbitrarily oriented type A quiver locus. These formulas are generalizations of three of Knutson-Miller-Shimozono's formulas from the equioriented setting; in particular, we prove the K-theoretic component formula conjectured by Buch and Rimányi.

We describe a closed immersion from each representation space of a type A quiver with bipartite (i.e., alternating) orientation to a certain opposite Schubert cell of a partial flag variety. This "bipartite Zelevinsky map" restricts to an isomorphism from each orbit closure to a Schubert variety intersected with the above-mentioned opposite Schubert cell. For type A quivers of arbitrary orientation, we give the same result up to some factors of general linear groups. These identifications allow us to recover results of Bobinski and Zwara; namely we see that orbit closures of type A quivers are normal, Cohen-Macaulay, and have rational singularities. We also see that each representation space of a type A quiver admits a Frobenius splitting for which all of its orbit closures are compatibly Frobenius split.

Let k be an algebraically closed field of characteristic p>2. By a result of Kumar and Thomsen, the standard Frobenius splitting of the affine plane induces a Frobenius splitting of the Hilbert scheme of n points in the plane. In this thesis, we investigate the question, "what is the stratification of the Hilbert scheme of points in the plane by all compatibly Frobenius split subvarieties?" We provide the answer to this question when n is at most 4 and we give a conjectural answer when n=5. We prove that this conjectural answer is correct up to the possible inclusion of one particular one-dimensional subvariety of the Hilbert scheme of 5 points, and we show that this particular one-dimensional subvariety is not compatibly split for at least those primes p between 3 and 23. Next, we restrict the splitting of the Hilbert scheme of n points in the plane (now for arbitrary n) to the affine open patch U_<x,y^n> and describe all compatibly split subvarieties of this patch and their defining ideals. We find degenerations of these subvarieties to Stanley-Reisner schemes, explicitly describe the associated simplicial complexes, and use these complexes to prove that certain compatibly split subvarieties of U_<x,y^n> are Cohen-Macaulay.