The cyclotomic polynomial topologically
We interpret the coefficients of the cyclotomic polynomial in terms of simplicial homology.
Source author record
Victor Reiner
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
38works
11topics
4close collaborators
Published work
38 publications
preprint2021arXiv
A colorful Hochster formula and universal parameters for face rings
This paper has two related parts. The first generalizes Hochster's formula on resolutions of Stanley-Reisner rings to a colorful version, applicable to any proper vertex-coloring of a simplicial complex. The second part examines a universal system of parameters for Stanley-Reisner rings of simplicial complexes, and more generally, face rings of simplicial posets. These parameters have good properties, including being fixed under symmetries, and detecting depth of the face ring. Moreover, when resolving the face ring over these parameters, the shape is predicted, conjecturally, by the colorful Hochster formula.
Open access
preprint2021arXiv
Filtering cohomology of ordinary and Lagrangian Grassmannians
This paper studies, for a positive integer m, the subalgebra of the cohomology ring of the complex Grassmannians generated by the elements of degree at most m. We build in two ways upon a conjecture for the Hilbert series of this subalgebra due to Reiner and Tudose. The first reinterprets it in terms of the operation of k-conjugation, suggesting two conjectural bases for the subalgebras that would imply their conjecture. The second introduces an analogous conjecture for the cohomology of Lagrangian Grassmannians.
Open access
preprint2021arXiv
The "Grothendieck to Lascoux" conjecture
This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one expanding stable Grothendieck polynomials.
Open access
preprint2020arXiv
A quasisymmetric function for matroids
A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.
Open access
preprint2020arXiv
Critical groups of covering, voltage, and signed graphs
Graph coverings are known to induce surjections of their critical groups. Here we describe the kernels of these morphisms in terms of data parametrizing the covering. Regular coverings are parametrized by voltage graphs, and the above kernel can be identified with a naturally defined voltage graph critical group. For double covers, the voltage graph is a signed graph, and the theory takes a particularly pleasant form, leading also to a theory of double covers of signed graphs.
Open access
preprint2020arXiv
Cyclic quasi-symmetric functions
The ring of cyclic quasi-symmetric functions and its non-Escher subring are introduced in this paper. A natural basis consists of fundamental cyclic quasi-symmetric functions; for the non-Escher subring they arise as toric P-partition enumerators, for toric posets P with a total cyclic order. The associated structure constants are determined by cyclic shuffles of permutations. We then prove the following positivity phenomenon: for every non-hook shape λ, the coefficients in the expansion of the Schur function sλ in terms of fundamental cyclic quasi-symmetric functions are nonnegative. The proof relies on the existence of a cyclic descent map on the standard Young tableaux (SYT) of shape λ. The theory has applications to the enumeration of cyclic shuffles and SYT by cyclic descents.
Open access
preprint2020arXiv
Cyclic Sieving for Cyclic Codes
Prompted by a question of Jim Propp, this paper examines the cyclic sieving phenomenon (CSP) in certain cyclic codes. For example, it is shown that, among dual Hamming codes over Fq, the generating function for codedwords according to the major index statistic (resp. the inversion statistic) gives rise to a CSP when q=2 or q=3 (resp. when q=2). A byproduct is a curious characterization of the irreducible polynomials in F2[x] and F3[x] that are primitive.
Open access
preprint2020arXiv
Diameter of reduced words
For finite reflection groups of types A and B, we determine the diameter of the graph whose vertices are reduced words for the longest element and whose edges are braid relations. This is deduced from a more general theorem that applies to supersolvable hyperplane arrangements.
Open access
preprint2020arXiv
Hopf Algebras in Combinatorics
These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric functions, some Hopf algebras formed from graphs, posets and matroids, and the Malvenuto-Reutenauer Hopf algebra of permutations. Among the results surveyed are the Littlewood-Richardson rule and other symmetric function identities, Zelevinsky's structure theorem for PSHs, the antipode formula for P-partition enumerators, the Aguiar-Bergeron-Sottile universal property of QSym, the theory of Lyndon words, the Gessel-Reutenauer bijection, and Hazewinkel's polynomial freeness of QSym. The notes are written with a graduate student reader in mind, being mostly self-contained but requiring a good familiarity with multilinear algebra and -- for the representation-theory applications -- basic group representation theory.
Open access
preprint2017arXiv
Critical groups for Hopf algebra modules
This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. A key role in the formulas is played by the greatest common divisor of the dimensions of the indecomposable projective representations.
Open access
preprint2016arXiv
Chip firing on Dynkin diagrams and McKay quivers
Two classes of avalanche-finite matrices and their critical groups (integer cokernels) are studied from the viewpoint of chip-firing/sandpile dynamics, namely, the Cartan matrices of finite root systems and the McKay-Cartan matrices for finite subgroups G of general linear groups. In the root system case, the recurrent and superstable configurations are identified explicitly and are related to minuscule dominant weights. In the McKay-Cartan case for finite subgroups of the special linear group, the cokernel is related to the abelianization of the subgroup G. In the special case of the classical McKay correspondence, the critical group and the abelianization are shown to be isomorphic.
Open access
preprint2016arXiv
Weyl group q-Kreweras numbers and cyclic sieving
The paper concerns a definition for q-Kreweras numbers for finite Weyl groups W, refining the q-Catalan numbers for W, and arising from work of the second author. We give explicit formulas in all types for the q-Kreweras numbers. In the classical types A,B,C, we also record formulas for the q-Narayana numbers and in the process show that the formulas depend only on the Weyl group (that is, they coincide in types B and C). In addition we verify that in the classical types A,B,C,D that the q-Kreweras numbers obey the expected cyclic sieving phenomena when evaluated at appropriate roots of unity.
Open access
preprint2015arXiv
Pseudodeterminants and perfect square spanning tree counts
The pseudodeterminant pdet(M) of a square matrix is the last nonzero coefficient in its characteristic polynomial; for a nonsingular matrix, this is just the determinant. If ∂ is a symmetric or skew-symmetric matrix then pdet(∂∂t)=pdet(∂)2. Whenever ∂ is the kth boundary map of a self-dual CW-complex X, this linear-algebraic identity implies that the torsion-weighted generating function for cellular k-trees in X is a perfect square. In the case that X is an \emph{antipodally} self-dual CW-sphere of odd dimension, the pseudodeterminant of its kth cellular boundary map can be interpreted directly as a torsion-weighted generating function both for k-trees and for (k−1)-trees, complementing the analogous result for even-dimensional spheres given by the second author. The argument relies on the topological fact that any self-dual even-dimensional CW-ball can be oriented so that its middle boundary map is skew-symmetric.
Open access
preprint2015arXiv
Representation stability for cohomology of configuration spaces in Rd
This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group Sn on the cohomology of the configuration space of n ordered points in Rd. This cohomology is known to vanish outside of dimensions divisible by d−1; it is shown here that the Sn-representation on the i(d−1)st cohomology stabilizes sharply at n=3i (resp. n=3i+1) when d is odd (resp. even). The result comes from analyzing Sn-representations known to control the cohomology: the Whitney homology of set partition lattices for d even, and the higher Lie representations for d odd. A similar analysis shows that the homology of any rank-selected subposet in the partition lattice stabilizes by n≥4i, where i is the maximum rank selected. Further properties of the Whitney homology and more refined stability statements for Sn-isotypic components are also proven, including conjectures of J. Wiltshire-Gordon.
Open access
preprint2014arXiv
On non-conjugate Coxeter elements in well-generated reflection groups
Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of W associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of W on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer's regular elements of arbitrary order.
Open access
preprint2014arXiv
Parking Spaces
Let W be a Weyl group with root lattice Q and Coxeter number h. The elements of the finite torus Q/(h+1)Q are called the W-{\sf parking functions}, and we call the permutation representation of W on the set of W-parking functions the (standard) W-{\sf parking space}. Parking spaces have interesting connections to enumerative combinatorics, diagonal harmonics, and rational Cherednik algebras. In this paper we define two new W-parking spaces, called the {\sf noncrossing parking space} and the {\sf algebraic parking space}, with the following features: 1) They are defined more generally for real reflection groups. 2) They carry not just W-actions, but W×C-actions, where C is the cyclic subgroup of W generated by a Coxeter element. 3) In the crystallographic case, both are isomorphic to the standard W-parking space. Our Main Conjecture is that the two new parking spaces are isomorphic to each other as permutation representations of W×C. This conjecture ties together several threads in the Catalan combinatorics of finite reflection groups. We provide evidence for the conjecture, proofs of some special cases, and suggest further directions for the theory.
Open access
preprint2014arXiv
Reflection factorizations of Singer cycles
The number of shortest factorizations into reflections for a Singer cycle in GL_n(F_q) is shown to be (q^n-1)^(n - 1). Formulas counting factorizations of any length, and counting those with reflections of fixed conjugacy classes are also given. The method is a standard character-theory technique, requiring the compilation of irreducible character values for Singer cycles, semisimple reflections, and transvections. The results suggest several open problems and questions, which are discussed at the end.
Open access
preprint2012arXiv
A universal coefficient theorem for Gauss's Lemma
We prove a version of Gauss's Lemma. It recursively constructs polynomials {c_k} for k=0,1,...,m+n, in Z[a_i,A_i,b_j,B_j] for i=0,...,m, and j=0,1,...,n, having degree at most (m+n choose m) in each of the four variable sets, such that whenever {A_i},{B_j},{C_k} are the coefficients of polynomials A(X),B(X),C(X) with C(X)=A(X)B(X) and 1 = a_0 A_0 +...+ a_m A_m = b_0 B_0 +...+ b_n B_n, then one also has 1 = c_0 C_0 +...+ c_{m+n} C_{m+n}.
Open access
preprint2012arXiv
Fake degrees for reflection actions on roots
A finite irreducible real reflection group of rank l and Coxeter number h has root system of cardinality h*l. It is shown that the fake degree for the permutation action on its roots is divisible by [h]_q = 1+q+q^2+...+q^{h-1}, and that in simply-laced types, it equals [h]_q times the summation of q^{e_i - 1} where e_i runs through the exponents, so that e_i - 1 are the codegrees.
Open access
preprint2012arXiv
P-partitions revisited
We compare a traditional and non-traditional view on the subject of P-partitions, leading to formulas counting linear extensions of certain posets.
Open access
preprint2012arXiv
Toric partial orders
We define toric partial orders, corresponding to regions of graphic toric hyperplane arrangements, just as ordinary partial orders correspond to regions of graphic hyperplane arrangements. Combinatorially, toric posets correspond to finite posets under the equivalence relation generated by converting minimal elements into maximal elements, or sources into sinks. We derive toric analogues for several features of ordinary partial orders, such as chains, antichains, transitivity, Hasse diagrams, linear extensions, and total orders.
Open access
preprint2011arXiv
A multivariate "inv" hook formula for forests
Bjoerner and Wachs provided two q-generalizations of Knuth's hook formula counting linear extensions of forests: one involving the major index statistic, and one involving the inversion number statistic. We prove a multivariate generalization of their inversion number result, motivated by specializations related to the modular invariant theory of finite general linear groups.
Open access
preprint2011arXiv
Constructions for cyclic sieving phenomena
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.
Open access
preprint2011arXiv
Linear extension sums as valuations of cones
The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.
Open access
preprint2011arXiv
Spectra of Symmetrized Shuffling Operators
(Abridged abstract) For a finite real reflection group W and a W-orbit O of flats in its reflection arrangement---or equivalently a conjugacy class of its parabolic subgroups---we introduce a statistic on elements of W. We then study the operator of right-multiplication within the group algebra of W by the element whose coefficients are given by this statistic. We reinterpret the operators geometrically in terms of the arrangement of reflecting hyperplanes for W. We show that they are self-adjoint and positive semidefinite. via two explicit factorizations into a symmetrized form A^t A. In one such factorization, A is a generalization of the projection of a simplex onto the linear ordering polytope. In the other factorization, A is the transition matrix for one of the well-studied Bidigare-Hanlon-Rockmore random walks on the chambers of an arrangement. We study the family of operators in which O is the conjugacy classes of Young subgroups of type (k,1^{n-k}). A special case within this family is the operator corresponding to random-to-random shuffling. We show in a purely enumerative fashion that these operators pairwise commute. We furthermore conjecture that they have integer spectrum, generalizing a conjecture of Uyemura-Reyes for the case k=n-1. We use representation theory to show that if O is a conjugacy class of rank one parabolics in W, the corresponding operator has integer spectrum. Our proof makes use of an (apparently) new family of twisted Gelfand pairs for W. We also study the family of operators in which O is the conjugacy classes of Young subgroups of type (2^k,1^{n-2k}). Here the construction of a Gelfand model for the symmetric group shows that these operators pairwise commute and that they have integer spectrum. For the symmetric group, we conjecture that apart from the two commuting families above, no other pair of operators of this form commutes.
Open access
preprint2011arXiv
The negative q-binomial
Interpretations for the q-binomial coefficient evaluated at -q are discussed. A (q,t)-version is established, including an instance of a cyclic sieving phenomenon involving unitary spaces.
Open access
preprint2010arXiv
Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals
We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.
Open access
preprint2010arXiv
The critical group of a line graph
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.
Open access
preprint2009arXiv
Coincidences among skew Schur functions
New sufficient conditions and necessary conditions are developed for two skew diagrams to give rise to the same skew Schur function. The sufficient conditions come from a variety of new operations related to ribbons (also known as border strips or rim hooks). The necessary conditions relate to the extent of overlap among the rows or among the columns of the skew diagram.
Open access
preprint2009arXiv
Presenting the cohomology of a Schubert variety
We extend the short presentation due to [Borel '53] of the cohomology ring of a generalized flag manifold to a relatively short presentation of the cohomology of any of its Schubert varieties. Our result is stated in a root-system uniform manner by introducing the essential set of a Coxeter group element, generalizing and giving a new characterization of [Fulton '92]'s definition for permutations. Further refinements are obtained in type A.
Open access
preprint2008arXiv
Bimahonian distributions
Motivated by permutation statistics, we define for any complex reflection group W a family of bivariate generating functions. They are defined either in terms of Hilbert series for W-invariant polynomials when W acts diagonally on two sets of variables, or equivalently, as sums involving the fake degrees of irreducible representations for W. It is also shown that they satisfy a ``bicyclic sieving phenomenon'', which combinatorially interprets their values when the two variables are set equal to certain roots of unity.
Open access
preprint2008arXiv
Extending the Coinvariant Theorems of Chevalley, Shephard--Todd, Mitchell and Springer
We extend in several directions invariant theory results of Chevalley, Shephard and Todd, Mitchell and Springer. Their results compare the group algebra for a finite reflection group with its coinvariant algebra, and compare a group representation with its module of relative coinvariants. Our extensions apply to arbitrary finite groups in any characteristic.
Open access
preprint2005arXiv
Rigidity theory for matroids
Combinatorial rigidity theory seeks to describe the rigidity or flexibility of bar-joint frameworks in R^d in terms of the structure of the underlying graph G. The goal of this article is to broaden the foundations of combinatorial rigidity theory by replacing G with an arbitrary representable matroid M. The ideas of rigidity independence and parallel independence, as well as Laman's and Recski's combinatorial characterizations of 2-dimensional rigidity for graphs, can naturally be extended to this winder setting. As we explain, many of these fundamental concepts really depend only on the matroid associated with G (or its Tutte polynomial) and have little to do with the special nature of graphic matroids or the field R. Our main result is a "nesting theorem" relating the various kinds of independence. Immediate corollaries include generalizations of Laman's Theorem, as well as the equality of 2-rigidity and 2-parallel independence. A key tool in our study is the space of photos of M, a natural algebraic variety whose irreducibility is closely related to the notions of rigidity independence and parallel independence. The number of points on this variety, when working over a finite field, turns out to be an interesting Tutte polynomial evaluation.
Open access
preprint2004arXiv
Classification of Ding's Schubert varieties: finer rook equivalence
K. Ding studied a class of Schubert varieties X_λin type A partial flag manifolds, corresponding to integer partitions λand in bijection with dominant permutations. He observed that the Schubert cell structure of X_λis indexed by maximal rook placements on the Ferrers board B_λ, and that the integral cohomology groups H^*(X_λ; Zz), H^*(X_μ; Zz) are additively isomorphic exactly when the Ferrers boards B_λ, B_μsatisfy the combinatorial condition of rook-equivalence. We classify the varieties X_λup to isomorphism, distinguishing them by their graded cohomology rings with integer coefficients. The crux of our approach is studying the nilpotence orders of linear forms in the cohomology ring.
Open access
preprint2004arXiv
Cyclotomic and simplicial matroids
Two naturally occurring matroids representable over Q are shown to be dual: the {\it cyclotomic matroid} μn represented by the nth roots of unity 1,ζ,ζ2,...,ζn−1 inside the cyclotomic extension Q(ζ), and a direct sum of copies of a certain simplicial matroid, considered originally by Bolker in the context of transportation polytopes. A result of Adin leads to an upper bound for the number of Q-bases for Q(ζ) among the nth roots of unity, which is tight if and only if n has at most two odd prime factors. In addition, we study the Tutte polynomial of μn in the case that n has two prime factors.
Open access
preprint1997arXiv
On Subdivision Posets of Cyclic Polytopes
There are two related poset structures, the higher Stasheff-Tamari orders, on the set of all triangulations of the cyclic d polytope with n vertices. In this paper it is shown that both of them have the homotopy type of a sphere of dimension n−d−3. Moreover, we resolve positively a new special case of the \emph{Generalized Baues Problem}: The Baues poset of all polytopal decompositions of a cyclic polytope of dimension d≤3 has the homotopy type of a sphere of dimension n−d−2.
Open access
preprint1994arXiv
The lattice of closure relations of a poset
In this paper we show that the set of closure relations on a finite poset P forms a supersolvable lattice, as suggested by Rota. Furthermore this lattice is dually isomorphic to the lattice of closed sets in a convex geometry (in the sense of Edelman and Jamison). We also characterize the modular elements of this lattice and compute its characteristic polynomial.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.