Showing 1–18 of 18 results for author: Berget, A

The external activity complex of a pair of matroids

Authors: Andrew Berget, Alex Fink

Abstract: We introduce the Schubert variety of a pair of linear subspaces in $\mathbf{C}^n$ and the external activity complex of a pair of not necessarily realizable matroids. Both of these generalize constructions of Ardila et al., which occur when one of the linear spaces is one-dimensional. We prove that our external activity complex is Cohen-Macaulay and deduce a formula for its $K$-polynomial in terms… ▽ More We introduce the Schubert variety of a pair of linear subspaces in $\mathbf{C}^n$ and the external activity complex of a pair of not necessarily realizable matroids. Both of these generalize constructions of Ardila et al., which occur when one of the linear spaces is one-dimensional. We prove that our external activity complex is Cohen-Macaulay and deduce a formula for its $K$-polynomial in terms of exterior powers of the dual tautological quotient classes of matroids. As a consequence, we deduce a non-negative formula for the matroid invariant $ω(M)$ of Fink, Shaw, and Speyer in terms of certain homology groups of links within an external activity complex, proving the 2005 tropical $f$-vector conjecture of Speyer. △ Less

Submitted 25 March, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

Comments: v2: 76 pages. Minor changes to the introduction. Added hypothesis to Lemma 4.9 and some consequences of this, not materially changing future results

MSC Class: 05B35 (Primary) 13D02; 13F55; 14T15 (Secondary)

The augmented external activity complex of a matroid

Authors: Andrew Berget, Dania Morales

Abstract: For a matroid, we define a new simplicial complex whose facets are indexed by its independent sets. This complex contains the external activity complex as a subcomplex. We call our complex the augmented external activity complex since its definition is motivated by the recently defined augmented tautological classes of matroids. We prove that our complex is shellable and show that our shelling sat… ▽ More For a matroid, we define a new simplicial complex whose facets are indexed by its independent sets. This complex contains the external activity complex as a subcomplex. We call our complex the augmented external activity complex since its definition is motivated by the recently defined augmented tautological classes of matroids. We prove that our complex is shellable and show that our shelling satisfies the stronger property of being an $H$-shelling. This explicates our result that the $h$-vector of our complex is the $f$-vector of the independence complex. We also define an augmented no broken circuit complex, which contains the usual no broken circuit complex as a subcomplex. We prove its shellability and show that our shelling is also an $H$-shelling. The $h$-vector of this complex is the $f$-vector of the no broken circuit complex. △ Less

Submitted 6 May, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: Minor changes from v1. To appear Journal of Combinatorics

Tautological classes of matroids

Authors: Andrew Berget, Christopher Eur, Hunter Spink, Dennis Tseng

Abstract: We introduce certain torus-equivariant classes on permutohedral varieties which we call "tautological classes of matroids" as a new geometric framework for studying matroids. Using this framework, we unify and extend many recent developments in matroid theory arising from its interaction with algebraic geometry. We achieve this by establishing a Chow-theoretic description and a log-concavity prope… ▽ More We introduce certain torus-equivariant classes on permutohedral varieties which we call "tautological classes of matroids" as a new geometric framework for studying matroids. Using this framework, we unify and extend many recent developments in matroid theory arising from its interaction with algebraic geometry. We achieve this by establishing a Chow-theoretic description and a log-concavity property for a 4-variable transformation of the Tutte polynomial, and by establishing an exceptional Hirzebruch-Riemann-Roch-type formula for permutohedral varieties that translates between K-theory and Chow theory. △ Less

Submitted 13 April, 2023; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: 71 pages; comments welcome. v4: minor edits. To appear in Invent. Math

MSC Class: 52B40; 14T90; 14C15; 14C17

Log-concavity of matroid h-vectors and mixed Eulerian numbers

Authors: Andrew Berget, Hunter Spink, Dennis Tseng

Abstract: For any matroid $M$, we compute the Tutte polynomial $T_M(x,y)$ using the mixed intersection numbers of certain classes in the combinatorial Chow ring $A^\bullet(M)$ arising from hypersimplices. Using the mixed Hodge-Riemann relations, we deduce a strengthening of the log-concavity of the $h$-vector of a matroid complex, improving on an old conjecture of Dawson. For any matroid $M$, we compute the Tutte polynomial $T_M(x,y)$ using the mixed intersection numbers of certain classes in the combinatorial Chow ring $A^\bullet(M)$ arising from hypersimplices. Using the mixed Hodge-Riemann relations, we deduce a strengthening of the log-concavity of the $h$-vector of a matroid complex, improving on an old conjecture of Dawson. △ Less

Submitted 23 March, 2023; v1 submitted 5 May, 2020; originally announced May 2020.

Comments: 37 pages. To appear DMJ

Equivariant K-theory classes of matrix orbit closures

Authors: Andrew Berget, Alex Fink

Abstract: The group $G = GL_r(k) \times (k^\times)^n$ acts on $\mathbf{A}^{r \times n}$, the space of $r$-by-$n$ matrices: $GL_r(k)$ acts by row operations and $(k^\times)^n$ scales columns. A matrix orbit closure is the Zariski closure of a point orbit for this action. We prove that the class of such an orbit closure in $G$ equivariant $K$-theory of $\mathbf{A}^{r \times n}$ is determined by the matroid of… ▽ More The group $G = GL_r(k) \times (k^\times)^n$ acts on $\mathbf{A}^{r \times n}$, the space of $r$-by-$n$ matrices: $GL_r(k)$ acts by row operations and $(k^\times)^n$ scales columns. A matrix orbit closure is the Zariski closure of a point orbit for this action. We prove that the class of such an orbit closure in $G$ equivariant $K$-theory of $\mathbf{A}^{r \times n}$ is determined by the matroid of a generic point. We present two formulas for this class. The key to the proof is to show that matrix orbit closures have rational singularities. △ Less

Submitted 31 March, 2021; v1 submitted 22 April, 2019; originally announced April 2019.

Comments: 27pp. Expanded introduction. New section with positivity conjectures for all matroids. Comments welcome!

Internal Zonotopal Algebras and the Monomial Reflection Groups

Authors: Andrew Berget

Abstract: The group $G(m,1,n)$ consists of $n$-by-$n$ monomial matrices whose entries are $m$th roots of unity. It is generated by $n$ complex reflections acting on $\mathbf{C}^n$. The reflecting hyperplanes give rise to a (hyperplane) arrangement $\mathcal{G} \subset \mathbf{C}^n$. The internal zonotopal algebra of an arrangement is a finite dimensional algebra first studied by Holtz and Ron. Its dimension… ▽ More The group $G(m,1,n)$ consists of $n$-by-$n$ monomial matrices whose entries are $m$th roots of unity. It is generated by $n$ complex reflections acting on $\mathbf{C}^n$. The reflecting hyperplanes give rise to a (hyperplane) arrangement $\mathcal{G} \subset \mathbf{C}^n$. The internal zonotopal algebra of an arrangement is a finite dimensional algebra first studied by Holtz and Ron. Its dimension is the number of bases of the associated matroid with zero internal activity. In this paper we study the structure of the internal zonotopal algebra of the Gale dual of the reflection arrangement of $G(m,1,n)$, as a representation of this group. Our main result is a formula for the top degree component as an induced character from the cyclic group generated by a Coxeter element. We also provide results on representation stability, a connection to the Whitehouse representation in type~A, and an analog of decreasing trees in type~B. △ Less

Submitted 25 April, 2018; v1 submitted 19 November, 2016; originally announced November 2016.

Comments: 21 pages, 1 figure. Corrected statement of the theorem and proof

Journal ref: Journal of Combinatorial Theory, Series A, 2018

Equivariant Chow classes of matrix orbit closures

Authors: Andrew Berget, Alex Fink

Abstract: Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety… ▽ More Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety to the corresponding factorial Schur polynomial, and also has the property that the class of a subvariety of the Grassmannian is mapped to the class of the closure of those matrices whose row span is in the variety. △ Less

Submitted 17 July, 2015; originally announced July 2015.

Comments: 11 pages. Theorem 3.5 here proves a version of the main result of arXiv:1306.1810v5, the proof of which contained an error

Journal ref: Transformation groups, 2016

Matrix orbit closures

Authors: Andrew Berget, Alex Fink

Abstract: Let $G$ be the group $GL_r(C) \times (C^\times)^n$. We conjecture that the finely-graded Hilbert series of a $G$ orbit closure in the space of $r$-by-$n$ matrices is wholly determined by the associated matroid. In support of this, we prove that the coefficients of this Hilbert series corresponding to certain hook-shaped Schur functions in the $GL_r(C)$ variables are determined by the matroid, and… ▽ More Let $G$ be the group $GL_r(C) \times (C^\times)^n$. We conjecture that the finely-graded Hilbert series of a $G$ orbit closure in the space of $r$-by-$n$ matrices is wholly determined by the associated matroid. In support of this, we prove that the coefficients of this Hilbert series corresponding to certain hook-shaped Schur functions in the $GL_r(C)$ variables are determined by the matroid, and that the orbit closure has a set-theoretic system of ideal generators whose combinatorics are also so determined. We also discuss relations between these Hilbert series for related matrices, including their stabilizing behaviour as $r$ increases. △ Less

Submitted 17 July, 2015; v1 submitted 7 June, 2013; originally announced June 2013.

Comments: The proof of the main theorem (Theorem 5.1) of v5, asserting the invariance of the equivariant K-class of a matrix orbit closure, was incorrect and has been removed

Ideals generated by superstandard tableaux

Authors: Andrew Berget, Winfried Bruns, Aldo Conca

Abstract: We investigate products J of ideals of "row initial" minors in the polynomial ring K[X] defined by a generic m-by-n matrix. Such ideals are shown to be generated by a certain set of standard bitableaux that we call superstandard. These bitableaux form a Gröbner basis of J, and J has a linear minimal free resolution. These results are used to derive a new generating set for the Grothendieck group o… ▽ More We investigate products J of ideals of "row initial" minors in the polynomial ring K[X] defined by a generic m-by-n matrix. Such ideals are shown to be generated by a certain set of standard bitableaux that we call superstandard. These bitableaux form a Gröbner basis of J, and J has a linear minimal free resolution. These results are used to derive a new generating set for the Grothendieck group of finitely generated (T_m x GL_n(K))-equivariant modules over K[X]. We employ the Knuth--Robinson--Schensted correspondence and a toric deformation of the multi-Rees algebra that parameterizes the ideals J. △ Less

Submitted 25 April, 2013; originally announced April 2013.

Comments: 16 pages

Extending the parking space

Authors: Andrew Berget, Brendon Rhoades

Abstract: The action of the symmetric group $S_n$ on the set $Park_n$ of parking functions of size $n$ has received a great deal of attention in algebraic combinatorics. We prove that the action of $S_n$ on $Park_n$ extends to an action of $S_{n+1}$. More precisely, we construct a graded $S_{n+1}$-module $V_n$ such that the restriction of $V_n$ to $S_n$ is isomorphic to $Park_n$. We describe the $S_n$-Frobe… ▽ More The action of the symmetric group $S_n$ on the set $Park_n$ of parking functions of size $n$ has received a great deal of attention in algebraic combinatorics. We prove that the action of $S_n$ on $Park_n$ extends to an action of $S_{n+1}$. More precisely, we construct a graded $S_{n+1}$-module $V_n$ such that the restriction of $V_n$ to $S_n$ is isomorphic to $Park_n$. We describe the $S_n$-Frobenius characters of the module $V_n$ in all degrees and describe the $S_{n+1}$-Frobenius characters of $V_n$ in extreme degrees. We give a bivariate generalization $V_n^{(\ell, m)}$ of our module $V_n$ whose representation theory is governed by a bivariate generalization of Dyck paths. A Fuss generalization of our results is a special case of this bivariate generalization. △ Less

Submitted 16 September, 2024; v1 submitted 21 March, 2013; originally announced March 2013.

Comments: 19 pages, 6 figures. This version has an ancillary errata file which corrects the proofs of Theorems 2 and 7

Critical groups of graphs with reflective symmetry

Authors: Andrew Berget

Abstract: The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. For a graph G with a certain reflective symmetry, we generalize a result of Ciucu-Yan-Zhang factorizing the spanning tree number of G by interpreting this as a result about the critical group of G. Our result takes the form of an exact sequence, and explicit connections to bicycle sp… ▽ More The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. For a graph G with a certain reflective symmetry, we generalize a result of Ciucu-Yan-Zhang factorizing the spanning tree number of G by interpreting this as a result about the critical group of G. Our result takes the form of an exact sequence, and explicit connections to bicycle spaces are made. △ Less

Submitted 25 April, 2013; v1 submitted 2 August, 2012; originally announced August 2012.

Comments: 17 pages. To appear in J. Alg. Comb

Cyclic sieving of finite Grassmannians and flag varieties

Authors: Andrew Berget, Jia Huang

Abstract: In this paper we prove instances of the cyclic sieving phenomenon for finite Grassmannians and partial flag varieties, which carry the action of various tori in the finite general linear group GL_n(F_q). The polynomials involved are sums of certain weights of the minimal length parabolic coset representatives of the symmetric group S_n, where the weight of a coset representative can be written as… ▽ More In this paper we prove instances of the cyclic sieving phenomenon for finite Grassmannians and partial flag varieties, which carry the action of various tori in the finite general linear group GL_n(F_q). The polynomials involved are sums of certain weights of the minimal length parabolic coset representatives of the symmetric group S_n, where the weight of a coset representative can be written as a product over its inversions. △ Less

Submitted 9 June, 2011; originally announced June 2011.

Comments: 18 pages

Journal ref: Discrete Mathematics, Volume 312, Issue 5, 6 March 2012, Pages 898-910

Equality of symmetrized tensors and the coordinate ring of the flag variety

Authors: Andrew Berget

Abstract: In this note we give a transparent proof of a result of da Cruz and Dias da Silva on the equality of symmetrized decomposable tensors. This will be done by explaining that their result follows from the fact that the coordinate ring of a flag variety is a unique factorization domain. In this note we give a transparent proof of a result of da Cruz and Dias da Silva on the equality of symmetrized decomposable tensors. This will be done by explaining that their result follows from the fact that the coordinate ring of a flag variety is a unique factorization domain. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Comments: 5 pages

Constructions for cyclic sieving phenomena

Authors: Andrew Berget, Sen-Peng Eu, Victor Reiner

Abstract: We show how to derive new instances of the cyclic sieving phenomenon from old ones via elementary representation theory. Examples are given involving objects such as words, parking functions, finite fields, and graphs. We show how to derive new instances of the cyclic sieving phenomenon from old ones via elementary representation theory. Examples are given involving objects such as words, parking functions, finite fields, and graphs. △ Less

Submitted 11 January, 2011; v1 submitted 5 April, 2010; originally announced April 2010.

Comments: 18 pages, typos fixed, to appear in SIAM J. Discrete Math

Journal ref: SIAM J. Discrete Math., 25(3), 1297-1314. (18 pages), 2011

Tableaux in the Whitney Module of a Matroid

Authors: Andrew Berget

Abstract: The Whitney module of a matroid is a natural analogue of the tensor algebra of the exterior algebra of a vector space that takes into account the dependencies of a matroid. In this paper we indicate the role that tableaux can play in describing the Whitney module. We will use our results to describe a basis of the Whitney module of a certain class of matroids known as freedom matroids (also know… ▽ More The Whitney module of a matroid is a natural analogue of the tensor algebra of the exterior algebra of a vector space that takes into account the dependencies of a matroid. In this paper we indicate the role that tableaux can play in describing the Whitney module. We will use our results to describe a basis of the Whitney module of a certain class of matroids known as freedom matroids (also known as Schubert, or shifted matroids). The doubly multilinear submodule of the Whitney module is a representation of the symmetric group. We will describe a formula for the multiplicity of hook shapes in this representation in terms of no broken circuit sets. △ Less

Submitted 28 November, 2009; originally announced November 2009.

Journal ref: Séminaire Lotharingien de Combinatoire 63 (2010), Article B63f

Products of Linear Forms and Tutte Polynomials

Authors: Andrew Berget

Abstract: Let Δbe a finite sequence of n vectors from a vector space over any field. We consider the subspace of \operatorname{Sym}(V) spanned by \prod_{v \in S} v, where S is a subsequence of Δ. A result of Orlik and Terao provides a doubly indexed direct sum of this space. The main theorem is that the resulting Hilbert series is the Tutte polynomial evaluation T(Δ;1+x,y). Results of Ardila and Postnikov… ▽ More Let Δbe a finite sequence of n vectors from a vector space over any field. We consider the subspace of \operatorname{Sym}(V) spanned by \prod_{v \in S} v, where S is a subsequence of Δ. A result of Orlik and Terao provides a doubly indexed direct sum of this space. The main theorem is that the resulting Hilbert series is the Tutte polynomial evaluation T(Δ;1+x,y). Results of Ardila and Postnikov, Orlik and Terao, Terao, and Wagner are obtained as corollaries. △ Less

Submitted 17 December, 2009; v1 submitted 25 June, 2009; originally announced June 2009.

Comments: Minor changes. Accepted for publication in European Journal of Combinatorics

Journal ref: Euro. J. Comb. Vol. 31, No. 7, pp. 1924-1935

A Short Proof of Gamas's Theorem

Authors: Andrew Berget

Abstract: If χ^λis the irreducible character of the symmetric group S_n corresponding to the partition λof n then we may symmetrize a tensor v_1 \otimes ... \otimes v_n by χ^λ. Gamas's theorem states that the result is not zero if and only if we can partition the set {v_i} into linearly independent sets whose sizes are the parts of the transpose of λ. We give a short and self-contained proof of this fact. If χ^λis the irreducible character of the symmetric group S_n corresponding to the partition λof n then we may symmetrize a tensor v_1 \otimes ... \otimes v_n by χ^λ. Gamas's theorem states that the result is not zero if and only if we can partition the set {v_i} into linearly independent sets whose sizes are the parts of the transpose of λ. We give a short and self-contained proof of this fact. △ Less

Submitted 25 June, 2009; originally announced June 2009.

Journal ref: Linear Algebra and its Applications Volume 430, Issues 2-3, 15 January 2009, Pages 791-794

The critical group of a line graph

Authors: Andrew Berget, Andrew Manion, Molly Maxwell, Aaron Potechin, Victor Reiner

Abstract: The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph. The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the… ▽ More The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph. The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph. The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices. The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups. The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion. △ Less

Submitted 18 June, 2010; v1 submitted 7 April, 2009; originally announced April 2009.

Comments: 36 pages

MSC Class: 05C05 (Primary); 05C38 (Secondary)