arXiv++ Combinatorics

In this paper, based on the embedded homology groups of hypergraphs defined in \cite{h1}, we define the product of hypergraphs and prove the corresponding Künneth formula of hypergraphs which can be generalized to the Künneth formula for the embedded homology of graded subsets of chain complexes with coefficients in a principal ideal domain.

The classical Dehn--Sommerville relations assert that the $h$-vector of an Eulerian simplicial complex is symmetric. We establish three generalizations of the Dehn--Sommerville relations: one for the $h$-vectors of pure simplicial complexes, another one for the flag $h$-vectors of balanced simplicial complexes and graded posets, and yet another one for the toric $h$-vectors of graded posets with restricted singularities. In all of these cases, we express any failure of symmetry in terms of "errors coming from the links." For simplicial complexes, this further extends Klee's semi-Eulerian relations.

Given an arrangement of subtori of arbitrary codimension in a torus, we compute the cohomology groups of the complement. Then, using the Leray spectral sequence, we describe the multiplicative structure on the graded cohomology. We also provide a differential model for the cohomology ring by considering a toric wonderful model and its Morgan algebra. Finally we focus on the divisorial case, proving a new presentation for the cohomology of toric arrangements.

Among other results, we prove that if $I$ is a monomial ideal of $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $a\geq b-1\geq0$ are integers such that $a+b\leq\mathrm{proj~dim}(S/I)$, then $$t_{a+b}\leq t_a+t_1+t_2+\cdots+t_b-\frac{b(b-1)}{2},$$ where $t_1,t_2,\dots$ are the maximal shifts in the minimal graded free $S$-resolution of $S/I$.

Chuang and Rouquier describe an action by perverse equivalences on the set of bases of a triangulated category of Calabi-Yau dimension $-1$. We develop an analogue of their theory for Calabi-Yau categories of dimension $w<0$ and show it is equivalent to the mutation theory of $w$-simple-minded systems. Given a non-positively graded, finite-dimensional symmetric algebra $A$, we show that the differential graded stable category of $A$ has negative Calabi-Yau dimension. When $A$ is a Brauer tree algebra, we construct a combinatorial model of the dg-stable category and show that perverse equivalences act transitively on the set of $|w|$-bases.

In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $Γ(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset.

We construct explicit bases of simple modules and Bernstein-Gelfand-Gelfand (BGG) resolutions of all simple modules of the (graded) Temperley-Lieb algebra of type B over a field of characteristic zero.

Let $(V,ω)$ be an orthosympectic $\mathbb Z_2$-graded vector space and let $\mathfrak g:=\mathfrak{gosp}(V,ω)$ denote the Lie superalgebra of similitudes of $(V,ω)$. When the space $\mathscr P(V)$ of superpolynomials on $V$ is \emph{not} a completely reducible $\mathfrak g$-module, we construct a natural basis $D_λ$ of Capelli operators for the algebra of $\mathfrak g$-invariant superpolynomial superdifferential operators on $V$, where the index set $\mathcal P$ is the set of integer partitions of length at most two. We compute the action of the operators $D_λ$ on maximal indecomposable components of $\mathscr P(V)$ explicitly, in terms of Knop-Sahi interpolation polynomials. Our results show that, unlike the cases where $\mathscr P(V)$ is completely reducible, the eigenvalues of a subfamily of the $D_λ$ are \emph{not} given by specializing the Knop-Sahi polynomials. Rather, the formulas for these eigenvalues involve suitably regularized forms of these polynomials. In addition, we demonstrate a close relationship between our eigenvalue formulas for this subfamily of Capelli operators and the Dougall-Ramanujan hypergeometric identity. We also transcend our results on the eigenvalues of Capelli operators to the Deligne category $\mathsf{Rep}(O_t)$. More precisely, we define categorical Capelli operators $\{\mathbf D_{t,λ}\}_{λ\in\mathcal P}^{}$ that induce morphisms of indecomposable components of symmetric powers of $\mathsf V_t$, where $\mathsf V_t$ is the generating object of $\mathsf{Rep}(O_t)$. We obtain formulas for the eigenvalue polynomials associated to the $\left\{\mathbf D_{t,λ}\right\}_{λ\in\mathcal P}$ that are analogous to our results for the operators $\{D_λ\}_{λ\in\mathcal P}^{}$.

Drinfeld orbifold algebras deform skew group algebras in polynomial degree at most one and hence encompass graded Hecke algebras, and in particular symplectic reflection algebras and rational Cherednik algebras. We introduce parametrized families of Drinfeld orbifold algebras for symmetric groups acting on doubled representations that generalize rational Cherednik algebras by deforming in degree one. We characterize rich families of maps recording commutator relations with their linear parts supported only on and only off the identity when the symmetric group acts on the natural permutation representation plus its dual. This produces degree-one versions of $\mathfrak{gl}_n$-type rational Cherednik algebras. When the symmetric group acts on the standard irreducible reflection representation plus its dual there are no degree-one Lie orbifold algebra maps, but there is a three-parameter family of Drinfeld orbifold algebras arising from maps supported only off the identity. These provide degree-one generalizations of the $\mathfrak{sl}_n$-type rational Cherednik algebras $H_{0,c}$.

Boolean, free and monotone cumulants as well as relations among them, have proven to be important in the study of non-commutative probability theory. Quite notably, Boolean cumulants were successfully used to study free infinite divisibility via the Boolean Bercovici--Pata bijection. On the other hand, in recent years the concept of infinitesimal non-commutative probability has been developed, together with the notion of infinitesimal cumulants which can be useful in the context of combinatorial questions. In this paper, we show that the known relations among free, Boolean and monotone cumulants still hold in the infinitesimal framework. Our approach is based on the use of Grassmann algebra. Formulas involving infinitesimal cumulants can be obtained by applying a formal derivation to known formulas. The relations between the various types of cumulants turn out to be captured via the shuffle algebra approach to moment-cumulant relations in non-commutative probability theory. In this formulation, (free, Boolean and monotone) cumulants are represented as elements of the Lie algebra of infinitesimal characters over a particular combinatorial Hopf algebra. The latter consists of the graded connected double tensor algebra defined over a non-commutative probability space and is neither commutative nor cocommutative. In this note it is shown how the shuffle algebra approach naturally extends to the notion of infinitesimal non-commutative probability space. The basic step consists in replacing the base field as target space of linear Hopf algebra maps by the Grassmann algebra over the base field. We also consider the infinitesimal analog of the Boolean Bercovici--Pata map.

An acyclic coloring of a digraph as defined by Neumann-Lara is a vertex-coloring such that no monochromatic directed cycles occur. Counting the number of such colorings with $k$ colors can be done by counting so-called Neumann-Lara-coflows (NL-coflows), which build a polynomial in $k$. We will present a representation of this polynomial using totally cyclic subdigraphs, which form a graded poset $Q$. Furthermore we will decompose our NL-coflow polynomial, which becomes the chromatic polynomial of a digraph by multiplication with the number of colors to the number of components, examining the special structure of the poset of totally cyclic subdigraphs with fixed underlying undirected graph. This decomposition will confirm the equality of our chromatic polynomial of a digraph and the chromatic polynomial of the underlying undirected graph in the case of symmetric digraphs.

In this paper, we present a new connection between representation theory of noncommutative hypersurfaces and combinatorics. Let $S$ be a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree $1$ and $f =x_1^2 + \cdots +x_n^2 \in S$. We prove that the stable category $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ of graded maximal Cohen--Macaulay module over $S/(f)$ can be completely computed using the four graphical operations. As a consequence, $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is equivalent to the derived category $\mathsf{D^b}(\operatorname{\mathsf{mod}} k^{2^r})$, and this $r$ is obtained as the nullity of a certain matrix over ${\mathbb F}_2$. Using the properties of Stanley--Reisner ideals, we also show that the number of irreducible components of the point scheme of $S$ that are isomorphic to ${\mathbb P}^1$ is less than or equal to $\binom{r+1}{2}$.

We define a family of symmetric polynomials $G_{ν,λ}(z_1,\cdots, z_{n+1},q)$ indexed by a pair of dominant integral weights. The polynomial $G_{ν,0}(z,q)$ is the specialized Macdonald polynomial and we prove that $G_{0,λ}(z,q)$ is the graded character of a level two Demazure module associated to the affine Lie algebra $\widehat{\mathfrak{sl}}_{n+1}$. Under suitable conditions on $(ν,λ)$ (which includes the case when $ν=0$ or $λ=0$) we prove that $G_{ν,λ}(z,q)$ is Schur positive and give explicit formulae for them in terms of Macdonald polynomials.

Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$.

The aim of this paper is to describe structural properties of spaces of diagonal rectangular harmonic polynomials in several sets (say $k$) of $n$ variables, both as $GL_k$-modules and $S_n$-modules. We construct explicit such modules associated to any hook shape partitions. For the two sets of variables case, we conjecture that the associated graded Frobenius characteristic corresponds to the effect of the operator Nabla on the corresponding hook-indexed Schur function, up to a usual renormalization. We prove identities that give indirect support to this conjecture, and show that its restriction to one set of variables holds. We further give indications on how the several sets context gives a better understanding of questions regarding the structures of these modules and the links between them.

We introduce a new class of polynomial ideals associated to a simple graph, $G$. Let $K[E_G]$ be the polynomial ring on the edges of $G$ and $K[V_G]$ the polynomial ring on the vertices of $G$. We associate to $G$ an ideal, $I(X_G)$, defined as the preimage of $(x_i^2-x_j^2 : i,j\in V_G)\subseteq K[V_G]$ by the map $K[E_G]\to K[V_G]$ which sends a variable, $t_e$, associated to an edge $e=\{i,j\}$, to the product $x_ix_j$ of the variables associated to its vertices. We show that $K[E_G]/I(X_G)$ is a one-dimensional, Cohen-Macaulay, graded ring, that $I(X_G)$ is a binomial ideal and that, with respect to a fixed monomial order, its initial ideal has a generating set independent of the field $K$. We focus on the Castelnuovo-Mumford regularity of $I(X_G)$ providing the following sharp upper and lower bounds: $$ μ(G) \leq \operatorname{reg} I(X_G) \leq |V_G|-b_0(G)+1, $$ where $μ(G)$ is the maximum vertex join number of the graph and $b_0(G)$ is the number of its connected components. We show that the lower bound is attained for a bipartite graph and use this to derive a new combinatorial result on the number of even length ears of nested ear decomposition.

Kronheimer and Mrowka recently suggested a possible approach towards a new proof of the four color theorem that does not rely on computer calculations. Their approach is based on a functor $J^\sharp$, which they define using gauge theory, from the category of webs and foams to the category of vector spaces over the field of two elements. They also consider a possible combinatorial replacement $J^\flat$ for $J^\sharp$. Of particular interest is the relationship between the dimension of $J^\flat(K)$ for a web $K$ and the number of Tait colorings $\mathrm{Tait}(K)$ of $K$; these two numbers are known to be identical for a special class of "reducible" webs, but whether this is the case for nonreducible webs is not known. We describe a computer program that strongly constrains the possibilities for the dimension and graded dimension of $J^\flat(K)$ for a given web $K$, in some cases determining these quantities uniquely. We present results for a number of nonreducible example webs. For the dodecahedral web $W_1$ the number of Tait colorings is $\mathrm{Tait}(W_1) = 60$, but our results suggest that $\dim J^\flat(W_1) = 58$.

We compute the sheaf homology of the intersection lattice of a hyperplane arrangement with coefficients in the graded exterior sheaf of the natural sheaf. This builds on the results of our previous paper, where this homology was computed for the natural sheaf, itself a generalisation of an old result of Lusztig. The computational machinery we develop in this paper is quite different though: sheaf homology is lifted to what we call Boolean covers, where we instead compute homology cellularly. A number of tools are given for the cellular homology of these Boolean covers, including a deletion-restriction long exact sequence.

In 1985 Bayer and Billera defined a flag vector $f(X)$ for every convex polytope $X$, and proved some fundamental properties. The flag vectors $f(X)$ span a graded ring $\mathcal{R}=\bigoplus_{d\geq0}\mathcal{R}_d$. Here $\mathcal{R}_d$ is the span of the $f(X)$ with $\dim X=d$. It has dimension the Fibonacci number $F_{d+1}$. This paper introduces and explores the conjecture, that $\mathcal{R}$ has a counting basis $\{e_i\}$. If true then the equation $f(X) = \sum g_i(X)e_i$ conjecturally provides a formula for the Betti numbers $g_i(X)$ of a new homology theory. As the $g_i(X)$ are linear functions of $f(X)$, we call the new theory linear homology. Further, assuming the conjecture each $g_i$ will have a rank $r\geq0$. The rank zero part of linear homology will be (middle perversity) intersection homology. The higher rank $g_i$ measure successively more complicated singularities. In dimension $d$ we will have $\dim\mathcal{R}_d$ linearly independent Betti numbers. This paper produces a basis $\{e_i\}$ for $\mathcal{R}$, that is conjecturally a counting basis. Warning: Conjecture withdrawn in version 2.

By establishing relations between operators on compositions, we show that the posets of compositions arising from the right and left Pieri rules for noncommutative Schur functions can each be endowed with both the structure of dual graded graphs and dual filtered graphs when paired with the poset of compositions arising from the Pieri rules for quasisymmetric Schur functions and its deformation.