arXiv++ Combinatorics

We construct a new family of graded representations $\widetilde{W}_λ$ indexed by Young diagrams $λ$ for the positive elliptic Hall algebra $\mathcal{E}^{+}$ which generalizes the standard $\mathcal{E}^{+}$ action on symmetric functions. These representations have homogeneous bases of eigenvectors for the action of the Macdonald element $P_{0,1} \in \mathcal{E}^{+}$ generalizing the symmetric Macdonald functions. The analysis of the structure of these representations exhibits interesting combinatorics arising from the stable limits of periodic standard Young tableaux. We find an explicit combinatorial rule for the action of the multiplication operators $e_r[X]^{\bullet}$ generalizing the Pieri rule for symmetric Macdonald functions. Lastly, we obtain a family of interesting $q,t$ product-series identities which come from the analysis of certain combinatorial statistics associated to periodic standard Young tableaux.

The algebra of quasisymmetric functions QSym and the shuffle algebra of compositions Sh are isomorphic as graded Hopf algebras (in characteristic zero), and isomorphisms between them can be specified via shuffle bases of QSym. We use the notion of infinitesimal characters to characterize shuffle bases, and we establish a universal property for Sh in the category of connected graded Hopf algebras equipped with an infinitesimal character, analogous to the universal property of QSym as a combinatorial Hopf algebra described by Aguiar, Bergeron, and Sottile. We then use these results to give general constructions for quasisymmetric power sums, recovering four previous constructions from the literature, and study their properties.

The first half of this paper is largely expository, wherein we present a systematic combinatorial approach to the theory of polynomial (semi)invariants and multilinear invariants of several vectors and covectors, for the classical groups. This culminates in a graphical description of graded linear bases. By applying well-known results of lattice path combinatorics to Weyl's fundamental theorems of classical invariant theory, we write down Stanley decompositions and Hilbert-Poincare series in terms of families of non-intersecting lattice paths, enumerated with respect to certain corners. In the second half of the paper, we revisit the (semi)invariants in the first half as a special case of a much broader phenomenon. On one hand, polynomial invariants of a group $H$ can be generalized to modules of covariants, i.e., $H$-equivariant polynomial functions between $H$-modules. On the other hand, from the perspective of Roger Howe's theory of dual pairs, these modules of covariants can be viewed as infinite-dimensional simple $(\mathfrak{g}, K)$-modules. This suggests an expanded program in which our goal is to apply combinatorial techniques involving lattice paths in order to write down Hilbert series for arbitrary unitarizable highest-weight $(\mathfrak{g},K)$-modules. As a preview of future work in this program, we present examples showing how modules of covariants -- even those which are not Cohen-Macaulay, and therefore which we would not expect to be combinatorially nice -- can be decomposed in terms of lattice paths. We also extend these methods beyond the classical groups.

Let $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $t_i(S/I)$ denotes the maximal shift in the minimal graded free $S$-resolution of the graded algebra $S/I$ at degree $i$, where $I$ is an edge ideal. In this paper, we prove that if $t_b(S/I)\geq \lceil \frac{3b}{2} \rceil$ for some $b\geq 0$, then the subadditivity condition $t_{a+b}(S/I)\leq t_a(S/I)+t_b(S/I)$ holds for all $a\geq 0$. In addition, we prove that $t_{a+4}(S/I)\leq t_a(S/I)+t_4(S/I)$ for all $a\geq 0$ (the case $b=0,1,2,3$ is known). We conclude that if the projective dimension of $S/I$ is at most $9$, then $I$ satisfies the subadditivity condition.

We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we give explicit formulas for the graded decomposition numbers of the cyclotomic algebras in level one.

In this paper we study the $s$-th symbolic powers of the edge ideals of complete graphs. In particular, we provide a criterion for finding an Eliahou-Kervaire splitting on these ideals, and use the splitting to provide a description for the graded Betti numbers. We also discuss the symbolic powers and graded Betti numbers of edge ideals of parallelizations of finite simple graphs.

Let $I\subset S$ be a graded ideal of a standard graded polynomial ring $S$ with coefficients in a field $K$, and let $\text{v}(I)$ be the $\text{v}$-number of $I$. In previous work, we showed that for any graded ideal $I\subset S$ generated in a single degree, then $\text{v}(I^k)=α(I)k+b$, for all $k\gg0$, where $α(I)$ is the initial degree of $I$ and $b$ is a suitable integer. In the present paper, using polarization, we extend Simon conjecture to any monomial ideal. As a consequence, if Simon conjecture holds, and all powers of $I$ have linear quotients, then $b\in\{-1,0\}$. This fact suggest that if $I$ is an equigenerated monomial ideal with linear powers, then $\text{v}(I^k)=α(I)k-1$, for all $k\ge1$. We verify this conjecture for monomial ideals with linear powers having $\text{depth}S/I=0$, edge ideals with linear resolution, polymatroidal ideals, and Hibi ideals.

Semi-standard graded rings are a generalized notion of standard graded rings. In this paper, we compare generalized notions of the Gorenstein property in semi-standard graded rings. We discuss the commonalities between standard graded rings and semi-standard graded rings, as well as elucidate distinctive phenomena present in semi-standard graded rings that are absent in standard graded rings.

This paper continues with Part I. We define the module for a $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra that is twisted by an involution and show that the axioms are sufficient to guarantee the convergence of products and iterates of any number of vertex operators. A module twisted by the parity involution is called a canonically $\mathbb{Z}_2$-twisted module. As an example, we give a fermionic construction of the canonically $\mathbb{Z}_2$-twisted module for the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra constructed in Part I. Similar to the situation in Part I, the example is also built on a universal $\mathbb{Z}$-graded non-anti-commutative Fock space where a creation operator and an annihilation operator satisfy the fermionic anti-commutativity relation, while no relations exist among the creation operators or among the zero modes. The Wick's theorem still holds, though the actual vertex operator needs to be corrected from the naïve definition by normal ordering using the $\exp(Δ(x))$-operator in Part I.

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of $A$ are componentwise linear. Applying this result to the Rees ring $\mathcal{R}(I)$ of a graded ideal $I$ gives a criterion on $I$ to have componentwise linear powers. Moreover, for any given graph $G$, a construction on $G$ is presented which produces graphs whose cover ideals $I_G$ have componentwise linear powers. This in particular implies that for any Cohen-Macaulay Cameron-Walker graph $G$ all powers of $I_G$ have linear resolutions. Moreover, forming a cone on special graphs like unmixed chordal graphs, path graphs and Cohen-Macaulay bipartite graphs produces cover ideals with componentwise linear powers.

Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of $A$. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. When $A=\Bbbk\langle Δ\rangle$ is the exterior Stanley-Reisner algebra associated to a finite simplicial complex $Δ$, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group.

We introduce a Combinatorial Hopf Algebra (CHA) with bases indexed by the partition diagrams indexing the bases for partition algebras. By analogy with the operation $H_α H_β = H_{α\cdot β}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $α$ and $β$, we mimic this multiplication rule by setting $\textsf{H}_π \textsf{H}_ρ = \textsf{H}_{π\otimes ρ}$ for partition diagrams $π$ and $ρ$ and for the horizontal concatenation $π\otimes ρ$ of $ π$ and $ρ$. This gives rise to a free, graded algebra $\textsf{ParSym}$, which we endow with a CHA structure by lifting the CHA structure of $ \textsf{NSym}$ using an analogue, for partition diagrams, of near-concatenations of integer compositions. Unlike the Hopf algebra $\textsf{NCSym}$ on set partitions, the new CHA $\textsf{ParSym}$ projects onto $\textsf{NSym}$ in natural way via a ``forgetful'' morphism analogous to the projection of $\textsf{NSym}$ onto its commutative counterpart $\textsf{Sym}$. We prove, using the Boolean transform for the sequence $(B_{2n} : n \in \mathbb{N})$ of even-indexed Bell numbers, an analogue of Comtet's generating function for the sequence counting irreducible permutations, yielding a formula for the number of generators in each degree for $\textsf{ParSym}$, and we prove, using a sign-reversing involution, an evaluation for the antipode for $\textsf{ParSym}$. An advantage of our CHA being defined on partition diagrams in full generality, in contrast to a previously defined Hopf algebra on uniform block permutations, is given by how the coproduct operation we have defined for $\textsf{ParSym}$ is such that the usual diagram subalgebras of partition algebras naturally give rise to Hopf subalgebras of $\textsf{ParSym}$ by restricting the indexing sets of the graded components to diagrams of a specified form.

In this paper we give a way of equipping the derivation algebra of a group algebra with the structure of a graded algebra. The derived group is used as the grading group. For the proof, the identification of the derivation with the characters of the adjoint action groupoid is used. These results also allow us to obtain the analogous structure of a graded algebra for outer derivations. A non-trivial graduation is obtained for all groups that are not perfect.

In his Ph.D. thesis, Sean Griffin introduced a family of ideals and found monomial bases for their quotient rings. These rings simultaneously generalize the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology rings of Springer fibers studied by Tanisaki and Garsia-Procesi. We recursively construct a Gröbner basis of Griffin's ideals with respect to the graded reverse lexicographical order. Consequently, Griffin's monomial basis is the standard monomial basis. Coefficients of polynomials in our Gröbner basis are integers and leading coefficients are one.

We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that preserves the set of atoms. We then apply these results to adjoint matroids, providing new characterizations of adjoints and partially proving a conjecture on the combinatorial derived matroid. Finally, we use our characterization of adjoints to compute the adjoint lists of several simple examples.

We study sets of univariate hyperbolic polynomials that share the same first few coefficients and show that they have a natural combinatorial description akin to that of polytopes. We define a stratification of such sets in terms of root arrangements of hyperbolic polynomials and show that any stratum is either empty, a point or of maximal dimension and in the latter case we characterise its relative interior. This is used to show that the poset of strata is a graded, atomic and coatomic lattice and to provide an algorithm for computing which root arrangements are realised in such sets of hyperbolic polynomials.

We study the algebra of functions on the Iwahori group via the category of graded bounded representations of its Lie algebra. In particular, we identify the standard and costandard objects in this category with certain generalized Weyl modules. Using this identification we express the characters of the standard and costandard objects in terms of specialized nonsymmetric Macdonald polynomials. We also prove that our category of interest admits a generalized highest weight structure (known as stratified structure). We show, more generally, that such a structure on a category of representations of a Lie algebra implies the Peter-Weyl type theorem for the corresponding algebraic group. In the Iwahori case, standard filtrations of indecomposable projective objects correspond to new ``reciprocal'' Macdonald-type identities.

We show that the chronological removal of cycles from a walk on a graph, known as Lawler's loop-erasing procedure, generates a preLie co-algebra on the vector space spanned by the walks. In addition, we prove that the tensor and symmetric algebras of graph walks are graded Hopf algebras, provide their antipodes explicitly and recover the preLie co-algebra from a brace coalgebra on the tensor algebra of graph walks. Finally we exhibit sub-Hopf algebras associated to particular types of walks.

Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring in these variables over a field $\mathbb{F}$. We study the ideal $I_n \subseteq \mathbb{F}[\mathbf{x}_{n \times n}]$ generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ admits a standard monomial basis determined by Viennot's shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ is the generating function of permutations in $\mathfrak{S}_n$ by the length of their longest increasing subsequence. Along the way, we describe a `shadow junta' basis of the vector space of $k$-local permutation statistics. We also calculate the structure of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ as a graded $\mathfrak{S}_n \times \mathfrak{S}_n$-module.

To every $h + \mathbb{N}$-graded module $M$ over an $\mathbb{N}$-graded conformal vertex algebra $V$, we associate an increasing filtration $(G^pM)_{p \in \mathbb{Z}}$ which is compatible with the filtrations introduced by Haisheng Li. The associated graded vector space $\mathrm{gr}^G(M)$ is naturally a module over the vertex Poisson algebra $\mathrm{gr}^G(V)$. We study $\mathrm{gr}^G(M)$ for the three irreducible modules of the Ising model $\mathrm{Vir}_{3, 4}$, namely $\mathrm{Vir}_{3,4} = L(1/2, 0)$, $L(1/2, 1/2)$ and $L(1/2, 1/16)$. We obtain an explicit monomial basis of each of these modules and a formula for their refined characters which are related to Nahm sums for the matrix $\left(\begin{smallmatrix} 8 & 3 \\ 3 & 2 \end{smallmatrix}\right)$.