-
Building sets, Chow rings, and their Hilbert series
Authors:
Christopher Eur,
Luis Ferroni,
Jacob P. Matherne,
Roberto Pagaria,
Lorenzo Vecchi
Abstract:
We establish formulas for the Hilbert series of the Feichtner--Yuzvinsky Chow ring of a polymatroid using arbitrary building sets. For braid matroids and minimal building sets, our results produce new formulas for the Poincaré polynomial of the moduli space $\overline{\mathcal{M}}_{0,n+1}$ of pointed stable rational curves, and recover several previous results by Keel, Getzler, Manin, and Aluffi--…
▽ More
We establish formulas for the Hilbert series of the Feichtner--Yuzvinsky Chow ring of a polymatroid using arbitrary building sets. For braid matroids and minimal building sets, our results produce new formulas for the Poincaré polynomial of the moduli space $\overline{\mathcal{M}}_{0,n+1}$ of pointed stable rational curves, and recover several previous results by Keel, Getzler, Manin, and Aluffi--Marcolli--Nascimento. We also use our methods to produce examples of matroids and building sets for which the corresponding Chow ring has Hilbert series with non-log-concave coefficients. This contrasts with the real-rootedness and log-concavity conjectures of Ferroni--Schröter for matroids with maximal building sets, and of Aluffi--Chen--Marcolli for braid matroids with minimal building sets.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions
Authors:
Apoorva Khare,
Jacob P. Matherne,
Avery St. Dizier
Abstract:
In 2022, Huh-Matherne-Meszaros-St. Dizier showed that normalized Schur polynomials are Lorentzian, thereby yielding their continuous (resp. discrete) log-concavity on the positive orthant (resp. on their support, in type-$A$ root directions). A reinterpretation of this result is that the characters of finite-dimensional simple representations of $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized L…
▽ More
In 2022, Huh-Matherne-Meszaros-St. Dizier showed that normalized Schur polynomials are Lorentzian, thereby yielding their continuous (resp. discrete) log-concavity on the positive orthant (resp. on their support, in type-$A$ root directions). A reinterpretation of this result is that the characters of finite-dimensional simple representations of $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. In the same paper, these authors also showed that shifted characters of Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian.
In this work we extend these results to a larger family of modules that subsumes both of the above: we show that shifted characters of all parabolic Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. The proof involves certain graphs on $[n+1]$; more strongly, we explain why the character (i.e., generating function) of the Kostant partition function of any loopless multigraph on $[n+1]$ is Lorentzian after shifting and normalizing. In contrast, we show that a larger universal family of highest weight modules, the higher order Verma modules, do not have discretely log-concave characters. Finally, we extend all of these results to parabolic (i.e. "first order") and higher order Verma modules over the semisimple Lie algebras $\oplus_{t=1}^T \mathfrak{sl}_{n_t+1}(\mathbb{C})$.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Log-concavity of polynomials arising from equivariant cohomology
Authors:
Yairon Cid-Ruiz,
Yupeng Li,
Jacob P. Matherne
Abstract:
We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are covolume polynomials in the sense of Aluffi. We study the cohomology rings of complex varieties in terms of Macaulay inverse systems over $\mathbb{Z}$. As applications…
▽ More
We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are covolume polynomials in the sense of Aluffi. We study the cohomology rings of complex varieties in terms of Macaulay inverse systems over $\mathbb{Z}$. As applications, we show that under certain conditions, the Macaulay dual generator is a denormalized Lorentzian polynomial in the sense of Brändén and Huh, and we give a characteristic-free extension (over $\mathbb{Z}$) of the result of Khovanskii and Pukhlikov describing the cohomology ring of toric varieties in terms of volume polynomials.
△ Less
Submitted 4 December, 2024; v1 submitted 26 November, 2024;
originally announced November 2024.
-
Chow functions for partially ordered sets
Authors:
Luis Ferroni,
Jacob P. Matherne,
Lorenzo Vecchi
Abstract:
Three decades ago, Stanley and Brenti initiated the study of the Kazhdan--Lusztig--Stanley (KLS) functions, putting on common ground several polynomials appearing in algebraic combinatorics, discrete geometry, and representation theory. In the present paper we develop a theory that parallels the KLS theory. To each kernel in a given poset, we associate a polynomial function that we call the \emph{…
▽ More
Three decades ago, Stanley and Brenti initiated the study of the Kazhdan--Lusztig--Stanley (KLS) functions, putting on common ground several polynomials appearing in algebraic combinatorics, discrete geometry, and representation theory. In the present paper we develop a theory that parallels the KLS theory. To each kernel in a given poset, we associate a polynomial function that we call the \emph{Chow function}. The Chow function often exhibits remarkable properties, and sometimes encodes the graded dimensions of a cohomology or Chow ring. The framework of Chow functions provides natural polynomial analogs of graded module decompositions that appear in algebraic geometry, but that work for arbitrary posets, even when no graded module decomposition is known to exist. In this general framework, we prove a number of unimodality and positivity results without relying on versions of the Hard Lefschetz theorem. Our framework shows that there is an unexpected relation between positivity and real-rootedness conjectures about chains on face lattices of polytopes by Brenti and Welker, Hilbert--Poincaré series of matroid Chow rings by Ferroni and Schröter, and flag enumerations on Bruhat intervals of Coxeter groups by Billera and Brenti.
△ Less
Submitted 21 November, 2024; v1 submitted 6 November, 2024;
originally announced November 2024.
-
Deletion formulas for equivariant Kazhdan-Lusztig polynomials of matroids
Authors:
Luis Ferroni,
Jacob P. Matherne,
Lorenzo Vecchi
Abstract:
We study equivariant Kazhdan--Lusztig (KL) and $Z$-polynomials of matroids. We formulate an equivariant generalization of a result by Braden and Vysogorets that relates the equivariant KL and $Z$-polynomials of a matroid with those of a single-element deletion. We also discuss the failure of equivariant $γ$-positivity for the $Z$-polynomial. As an application of our main result, we obtain a formul…
▽ More
We study equivariant Kazhdan--Lusztig (KL) and $Z$-polynomials of matroids. We formulate an equivariant generalization of a result by Braden and Vysogorets that relates the equivariant KL and $Z$-polynomials of a matroid with those of a single-element deletion. We also discuss the failure of equivariant $γ$-positivity for the $Z$-polynomial. As an application of our main result, we obtain a formula for the equivariant KL polynomial of the graphic matroid gotten by gluing two cycles. Furthermore, we compute the equivariant KL polynomials of all matroids of corank~$2$ via valuations. This provides an application of the machinery of Elias, Miyata, Proudfoot, and Vecchi to corank $2$ matroids, and it extends results of Ferroni and Schröter.
△ Less
Submitted 25 March, 2025; v1 submitted 28 June, 2024;
originally announced June 2024.
-
Hilbert-Poincaré series of matroid Chow rings and intersection cohomology
Authors:
Luis Ferroni,
Jacob P. Matherne,
Matthew Stevens,
Lorenzo Vecchi
Abstract:
We study the Hilbert series of four objects arising in the Chow-theoretic and Kazhdan-Lusztig framework of matroids. These are, respectively, the Hilbert series of the Chow ring, the augmented Chow ring, the intersection cohomology module, and its stalk at the empty flat. We develop a parallelism between the Kazhdan-Lusztig polynomial of a matroid and the Hilbert series of its Chow ring. This exte…
▽ More
We study the Hilbert series of four objects arising in the Chow-theoretic and Kazhdan-Lusztig framework of matroids. These are, respectively, the Hilbert series of the Chow ring, the augmented Chow ring, the intersection cohomology module, and its stalk at the empty flat. We develop a parallelism between the Kazhdan-Lusztig polynomial of a matroid and the Hilbert series of its Chow ring. This extends to a parallelism between the $Z$-polynomial of a matroid and the Hilbert series of its augmented Chow ring. This suggests to bring ideas from one framework to the other. Our two main motivations are the real-rootedness conjecture for all of these polynomials, and the problem of computing them. We provide several intrinsic definitions of these invariants; also, by leveraging that they are valuations under matroid polytope subdivisions, we deduce a fast way for computing them for a large class of matroids. Uniform matroids are a case of combinatorial interest; we link the resulting polynomials with certain real-rooted families such as the (binomial) Eulerian polynomials, and we settle a conjecture of Hameister, Rao, and Simpson. Furthermore, we prove the real-rootedness of the Hilbert series of the augmented Chow rings of uniform matroids via a result of Haglund and Zhang; and in addition, we prove a version of a conjecture of Gedeon in the Chow setting: uniform matroids maximize coefficient-wisely these polynomials for matroids with fixed rank and size. By relying on the nonnegativity of the Kazhdan-Lusztig polynomials and the semi-small decompositions of Braden, Huh, Matherne, Proudfoot, and Wang, we strengthen the unimodality of the Hilbert series of Chow rings, augmented Chow rings, and intersection cohomologies to $γ$-positivity, a property for palindromic polynomials that lies between unimodality and real-rootedness; this settles a conjecture of Ferroni, Nasr, and Vecchi.
△ Less
Submitted 4 June, 2024; v1 submitted 6 December, 2022;
originally announced December 2022.
-
The Newton polytope and Lorentzian property of chromatic symmetric functions
Authors:
Jacob P. Matherne,
Alejandro H. Morales,
Jesse Selover
Abstract:
Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize the chromatic polynomial and are related to Hessenberg varieties and diagonal harmonics. Motivated by the Stanley--Stembridge conjecture, we show that the allowable coloring weights for indifference graphs of Dyck paths are the lattice points of a permutahedron $\mathcal{P}_λ$, and we give…
▽ More
Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize the chromatic polynomial and are related to Hessenberg varieties and diagonal harmonics. Motivated by the Stanley--Stembridge conjecture, we show that the allowable coloring weights for indifference graphs of Dyck paths are the lattice points of a permutahedron $\mathcal{P}_λ$, and we give a formula for the dominant weight $λ$. Furthermore, we conjecture that such chromatic symmetric functions are Lorentzian, a property introduced by Brändén and Huh as a bridge between discrete convex analysis and concavity properties in combinatorics, and we prove this conjecture for abelian Dyck paths. We extend our results on the Newton polytope to incomparability graphs of (3+1)-free posets, and we give a number of conjectures and results stemming from our work, including results on the complexity of computing the coefficients and relations with the $ζ$ map from diagonal harmonics.
△ Less
Submitted 8 February, 2025; v1 submitted 18 January, 2022;
originally announced January 2022.
-
A continuous associahedron of type A
Authors:
Maitreyee C. Kulkarni,
Jacob P. Matherne,
Kaveh Mousavand,
Job D. Rock
Abstract:
Taking a representation-theoretic viewpoint, we construct a continuous associahedron motivated by the realization of the generalized associahedron in the physical setting. We show that our associahedron shares important properties with the generalized associahedron of type A. Our continuous associahedron is convex and manifests a cluster theory: the points which correspond to the clusters are on i…
▽ More
Taking a representation-theoretic viewpoint, we construct a continuous associahedron motivated by the realization of the generalized associahedron in the physical setting. We show that our associahedron shares important properties with the generalized associahedron of type A. Our continuous associahedron is convex and manifests a cluster theory: the points which correspond to the clusters are on its boundary, and the edges that correspond to mutations are given by intersections of hyperplanes. This requires development of several methods that are continuous analogues of discrete methods. We conclude the paper by showing that there is a sequence of embeddings of type A generalized associahedra into our continuous associahedron.
△ Less
Submitted 18 June, 2025; v1 submitted 29 August, 2021;
originally announced August 2021.
-
The Deligne-Simpson problem for connections on $\mathbb{G}_m$ with a maximally ramified singularity
Authors:
Maitreyee C. Kulkarni,
Neal Livesay,
Jacob P. Matherne,
Bach Nguyen,
Daniel S. Sage
Abstract:
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of f…
▽ More
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of fundamental and regular strata due to Bremer and Sage to formulate a version of the Deligne-Simpson problem in which certain ramified singularities are allowed. These allowed singular points are called toral singularities; they are singularities whose leading term with respect to a lattice chain filtration is regular semisimple. We solve this problem in the important special case of connections on $\mathbb{G}_m$ with a maximally ramified singularity at $0$ and possibly an additional regular singular point at infinity. We also give a complete characterization of all such connections which are rigid, under the additional hypothesis of unipotent monodromy at infinity.
△ Less
Submitted 19 July, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Generalized splines on graphs with two labels and polynomial splines on cycles
Authors:
Portia Anderson,
Jacob P. Matherne,
Julianna Tymoczko
Abstract:
Generalized splines are an algebraic combinatorial framework that generalizes and unifies various established concepts across different fields, most notably the classical notion of splines and the topological notion of GKM theory. The former consists of piecewise polynomials on a combinatorial geometric object like a polytope, whose polynomial pieces agree to a specified degree of differentiabilit…
▽ More
Generalized splines are an algebraic combinatorial framework that generalizes and unifies various established concepts across different fields, most notably the classical notion of splines and the topological notion of GKM theory. The former consists of piecewise polynomials on a combinatorial geometric object like a polytope, whose polynomial pieces agree to a specified degree of differentiability. The latter is a graph-theoretic construction of torus-equivariant cohomology that Shareshian and Wachs used to reformulate the well-known Stanley$\unicode{x2013}$Stembridge conjecture, a reformulation that was recently proven to hold by Brosnan and Chow and independently Guay-Paquet.
This paper focuses on the theory of generalized splines. A generalized spline on a graph $G$ with each edge labeled by an ideal in a ring $R$ consists of a vertex-labeling by elements of $R$ so that the labels on adjacent vertices $u, v$ differ by an element of the ideal associated to the edge $uv$. We study the $R$-module of generalized splines and produce minimum generating sets for several families of graphs and edge-labelings: $1)$ for all graphs when the set of possible edge-labelings consists of at most two finitely-generated ideals, and $2)$ for cycles when the set of possible edge-labelings consists of principal ideals generated by elements of the form $(ax+by)^2$ in the polynomial ring $\mathbb{C}[x,y]$. We obtain the generators using a constructive algorithm that is suitable for computer implementation and give several applications, including contextualizing several results in the theory of classical (analytic) splines.
△ Less
Submitted 15 May, 2023; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Equivariant log concavity and representation stability
Authors:
Jacob P. Matherne,
Dane Miyata,
Nicholas Proudfoot,
Eric Ramos
Abstract:
We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In the case of the Coxeter arrangement for the Lie algebra $\mathfrak{sl}_n$, we exploit the theory of representation stability to give computer assisted proofs o…
▽ More
We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In the case of the Coxeter arrangement for the Lie algebra $\mathfrak{sl}_n$, we exploit the theory of representation stability to give computer assisted proofs of these conjectures in low degree.
△ Less
Submitted 29 October, 2021; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Singular Hodge theory for combinatorial geometries
Authors:
Tom Braden,
June Huh,
Jacob P. Matherne,
Nicholas Proudfoot,
Botong Wang
Abstract:
We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.
We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.
△ Less
Submitted 9 April, 2023; v1 submitted 12 October, 2020;
originally announced October 2020.
-
A semi-small decomposition of the Chow ring of a matroid
Authors:
Tom Braden,
June Huh,
Jacob P. Matherne,
Nicholas Proudfoot,
Botong Wang
Abstract:
We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.
We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.
△ Less
Submitted 14 October, 2020; v1 submitted 9 February, 2020;
originally announced February 2020.
-
Counting linear extensions of posets with determinants of hook lengths
Authors:
Alexander Garver,
Stefan Grosser,
Jacob P. Matherne,
Alejandro H. Morales
Abstract:
We introduce a class of posets, which includes both ribbon posets (skew shapes) and $d$-complete posets, such that their number of linear extensions is given by a determinant of a matrix whose entries are products of hook lengths. We also give $q$-analogues of this determinantal formula in terms of the major index and inversion statistics. As applications, we give families of tree posets whose num…
▽ More
We introduce a class of posets, which includes both ribbon posets (skew shapes) and $d$-complete posets, such that their number of linear extensions is given by a determinant of a matrix whose entries are products of hook lengths. We also give $q$-analogues of this determinantal formula in terms of the major index and inversion statistics. As applications, we give families of tree posets whose numbers of linear extensions are given by generalizations of Euler numbers, we draw relations to Naruse-Okada's positive formulas for the number of linear extensions of skew $d$-complete posets, and we give polynomiality results analogous to those of descent polynomials by Diaz-López, Harris, Insko, Omar, and Sagan.
△ Less
Submitted 23 February, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Logarithmic concavity of Schur and related polynomials
Authors:
June Huh,
Jacob P. Matherne,
Karola Mészáros,
Avery St. Dizier
Abstract:
We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.
We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.
△ Less
Submitted 25 September, 2019; v1 submitted 23 June, 2019;
originally announced June 2019.
-
Matroid-minor Hopf algebra: a cancellation-free antipode formula and other applications of sign-reversing involutions
Authors:
Eric Bucher,
Chris Eppolito,
Jaiung Jun,
Jacob P. Matherne
Abstract:
In this paper, we give a cancellation-free antipode formula for the matroid-minor Hopf algebra. We then explore applications of this formula. For example, the cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions. We also prove that all matroids over any hyperfield (in the sense of Baker and Bowler) have cancellation-free antipode formula…
▽ More
In this paper, we give a cancellation-free antipode formula for the matroid-minor Hopf algebra. We then explore applications of this formula. For example, the cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions. We also prove that all matroids over any hyperfield (in the sense of Baker and Bowler) have cancellation-free antipode formulas; furthermore, the cancellations in the antipode are independent of the hyperfield structure and only depend on the underlying matroid.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Combinatorics of Fourier transforms for type A quiver representations
Authors:
Pramod N. Achar,
Maitreyee C. Kulkarni,
Jacob P. Matherne
Abstract:
We describe two new combinatorial algorithms (using the language of "triangular arrays") for computing the Fourier transforms of simple perverse sheaves on the moduli space of representations of an equioriented quiver of type A. (A rather different solution to this problem was previously obtained by Knight-Zelevinsky.) Along the way, we also show that the closure partial order and the dimensions o…
▽ More
We describe two new combinatorial algorithms (using the language of "triangular arrays") for computing the Fourier transforms of simple perverse sheaves on the moduli space of representations of an equioriented quiver of type A. (A rather different solution to this problem was previously obtained by Knight-Zelevinsky.) Along the way, we also show that the closure partial order and the dimensions of orbits have especially concise descriptions in the language of triangular arrays.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
A cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra
Authors:
Eric Bucher,
Jacob P. Matherne
Abstract:
In this paper, we give a cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra, using the technique of splitting and merging via a sign-reversing involution. The cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions.
In this paper, we give a cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra, using the technique of splitting and merging via a sign-reversing involution. The cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions.
△ Less
Submitted 5 July, 2017; v1 submitted 13 December, 2016;
originally announced December 2016.
-
Combinatorics of exceptional sequences in type A
Authors:
Alexander Garver,
Kiyoshi Igusa,
Jacob P. Matherne,
Jonah Ostroff
Abstract:
Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear exten…
▽ More
Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear extensions of posets, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. This work extends a classification of exceptional sequences for the linearly-ordered quiver obtained in an earlier paper by the first and third authors.
△ Less
Submitted 13 November, 2016; v1 submitted 29 June, 2015;
originally announced June 2015.
-
A Combinatorial Model for Exceptional Sequences in Type A
Authors:
Alexander Garver,
Jacob P. Matherne
Abstract:
Exceptional sequences are certain ordered sequences of quiver representations. We use noncrossing edge-labeled trees in a disk with boundary vertices (expanding on T. Araya's work) to classify exceptional sequences of representations of Q, the linearly-ordered quiver with n vertices. We also show how to use variations of this model to classify c-matrices of Q, to interpret exceptional sequences as…
▽ More
Exceptional sequences are certain ordered sequences of quiver representations. We use noncrossing edge-labeled trees in a disk with boundary vertices (expanding on T. Araya's work) to classify exceptional sequences of representations of Q, the linearly-ordered quiver with n vertices. We also show how to use variations of this model to classify c-matrices of Q, to interpret exceptional sequences as linear extensions, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. In the case of c-matrices, we also give an interpretation of c-matrix mutation in terms of our noncrossing trees with directed edges.
△ Less
Submitted 10 December, 2014;
originally announced December 2014.
-
Computing upper cluster algebras
Authors:
Jacob P. Matherne,
Greg Muller
Abstract:
This paper develops techniques for producing presentations of upper cluster algebras. These techniques are suited to computer implementation, and will always succeed when the upper cluster algebra is totally coprime and finitely generated. We include several examples of presentations produced by these methods.
This paper develops techniques for producing presentations of upper cluster algebras. These techniques are suited to computer implementation, and will always succeed when the upper cluster algebra is totally coprime and finitely generated. We include several examples of presentations produced by these methods.
△ Less
Submitted 1 July, 2013;
originally announced July 2013.
