arXiv++ Combinatorics

Our main goal is to compute the decomposition of arbitrary Kronecker powers of the Harmonics of $S_n$. To do this, we give a new way of decomposing the character for the action of $S_n$ on polynomial rings with $k$ sets of $n$ variables. There are two aspects to this decomposition. The first is algebraic, in which formulas can be given for certain restrictions from $GL_n$ to $S_n$ occurring in Schur-Weyl duality. The second is combinatorial. We give a generalization of the $comaj$ statistic on permutations which includes the $comaj$ statistic on standard tableaux. This statistic allows us to write a generalized principal evaluation for Schur functions and Gessel Fundamental quasisymmetric functions.

This is a note for constructing fundamental invariants and computing the Hilbert series of the invariant subalgebras of tensor products of polynomial rings under the action by a direct product of symmetric groups. Our computation relies on Schur functions bringing together several identities of combinatorial generating functions including that of plane partitions.

The Garsia--Haiman module is a bigraded $\mathfrak{S}_n$-module whose Frobenius image is a Macdonald polynomial. The method of orbit harmonics promotes an $\mathfrak{S}_n$-set $X$ to a graded polynomial ring. The orbit harmonics can be applied to prove cyclic sieving phenomena which is a notion that encapsulates the fixed-point structure of finite cyclic group action on a finite set. By applying this idea to the Garsia--Haiman module, we provide cyclic sieving results regarding the enumeration of matrices that are invariant under certain cyclic row and column rotation and translation of entries.

Enriched versions of type A Schubert polynomials are constructed with coefficients in a polynomial ring in variables $c_1, c_2, \ldots$. Specializing these variables to $0$ recovers the double Schubert polynomials of Lascoux and Schützenberger; specializing them to certain power series recovers the back-stable double Schubert polynomials of Lam, Lee, and Shimozono; specializing them to Schur Q-polynomials relates them to the type C double Schubert polynomials of Ikeda, Mihalcea, and Naruse. Many formulas for classical Schubert polynomials generalize to this setting. They give, and are characterized by, formulas for degeneracy loci.

Nearly complete intersection ideals were introduced by A. Boocher and J. Seiner (2018) and defines a special class of monomial ideals in a polynomial ring. These ideals were used to give a lower bound of the total sum of betti numbers that appear a minimal free resolution of a monomial ideal. In this note we give a graph theoretic classification of nearly complete intersection ideals generated in degree two. In doing so, we define a novel graph operation (the inversion) that is motivated by the definition of this new class of ideals.

Let $G$ be a graph on the vertex set $[n]$ and $J_G$ the associated binomial edge ideal in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate the depth of binomial edge ideals. More precisely, we first establish a combinatorial lower bound for the depth of $S/J_G$ based on some graphical invariants of $G$. Next, we combinatorially characterize all binomial edge ideals $J_G$ with $\mathrm{depth}\hspace{1.2mm}S/J_G=5$. To achieve this goal, we associate a new poset $\mathcal{M}_G$ with the binomial edge ideal of $G$, and then elaborate some topological properties of certain subposets of $\mathcal{M}_G$ in order to compute some local cohomology modules of $S/J_G$.

Green and Tao famously proved in a 2008 paper that there are arithmetic progressions of prime numbers of arbitrary lengths. Soon after, analogous statements were proved by Tao for the ring of Gaussian integers and by Lê for the polynomial rings over finite fields. In 2020 this was extented to orders of arbitrary number fields by Kai-Mimura-Munemasa-Seki-Yoshino. We settle the case of the coordinate rings of affine curves over finite fields. The main contribution of this paper is subtle choice of a polynomial subring of the given ring which plays the role of $\mathbb Z$ in the number field case. This choice and the proof of its pleasant properties eventually depend on the Riemann-Roch formula.

Let $G$ be a graph on $[n]$ and $J_G$ be the binomial edge ideal of $G$ in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate some topological properties of a poset associated to the minimal primary decomposition of $J_G$. We show that this poset admits some specific subposets which are contractible. This in turn, provides some interesting algebraic consequences. In particular, we characterize all graphs $G$ for which $\mathrm{depth}\hspace{1.2mm} S/J_G=4$.

We investigate deformations of skew group algebras arising from the action of the symmetric group on polynomial rings over fields of arbitrary characteristic. Over the real or complex numbers, Lusztig's graded affine Hecke algebra and analogs are all isomorphic to Drinfeld Hecke algebras, which include the symplectic reflection algebras and rational Cherednik algebras. Over fields of prime characteristic, new deformations arise that capture both a disruption of the group action and also a disruption of the commutativity relations defining the polynomial ring. We classify deformations for the symmetric group acting in its natural (reducible) reflection representation.

We study the compatibility of the action of the DAHA of type GL with two inverse systems of polynomial rings obtained from the standard Laurent polynomial representations. In both cases, the crucial analysis is that of the compatibility of the action of the Cherednik operators. Each case leads to a representation of a limit structure (the +/- stable limit DAHA) on a space of almost symmetric polynomials in infinitely many variables (the standard representation). As an application, we show that the defining representation of the double Dyck path algebra arises from the standard representation of the +stable limit DAHA.

Given a graph $G$ on the vertex set $\{0,1,\ldots,n\}$ with the root vertex $0$, Postnikov and Shapiro associated a monomial ideal $\mathcal{M}_G$ in the polynomial ring $R=\mathbb{K}[x_1,\ldots,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb{K}}(R/\mathcal{M}_G)=\det\widetilde L_G$, where $\widetilde L_G$ is the truncated Laplacian of $G$. Dochtermann introduced the $1$-skeleton ideal $\mathcal{M}_G^{(1)}$ of $\mathcal{M}_G$ which satisfies the property that $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})\ge\det\widetilde Q_G$, where $\widetilde Q_G$ is the truncated signless Laplacian of $G$. In this paper we characterize all subgraphs of the multigraph $K_{n+1}^{a,1}$, in particular all simple graphs $G$, such that $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})=\det\widetilde Q_G$. Moreover, we give examples of subgraphs $G$ of the complete multigraph $K_{n+1}^{a,b}$, in which the equality $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})=\det\widetilde Q_G$ holds. We also provide a conjecture on the structure of a general multigraph satisfying the above-mentioned equality.

The canonical sylvan resolution is a resolution of an arbitrary monomial ideal over a polynomial ring that is minimal and has an explicit combinatorial formula for the differential. The differential is a weighted sum over lattice paths of weights of chain-link fences, which are sequences of faces that are linked to each other via higher-dimensional analogues of spanning trees. Along a lattice path in the three-variable case, these weights can be condensed to a single weight contributing to the combinatorial formula for the differential that bypasses any computation of chain-link fences. The main results in this paper express the sylvan matrix entries for monomial ideals in three variables as a sum over lattice paths of simpler weights that depend only on the number of specific Koszul simplicial complexes that lie along the corresponding lattice path. Certain entries have numerators equal to the number of lattice paths in $\mathbb{N}^2$ that follow specific restrictions.

Orbit harmonics is a tool in combinatorial representation theory which promotes the (ungraded) action of a linear group $G$ on a finite set $X$ to a graded action of $G$ on a polynomial ring quotient by viewing $X$ as a $G$-stable point locus in $\mathbb{C}^n$. The cyclic sieving phenomenon is a notion in enumerative combinatorics which encapsulates the fixed-point structure of the action of a finite cyclic group $C$ on a finite set $X$ in terms of root-of-unity evaluations of an auxiliary polynomial $X(q)$. We apply orbit harmonics to prove cyclic sieving results.

Given a monomial $m$ in a polynomial ring and a subset $L$ of the variables of the polynomial ring, the principal $L$-Borel ideal generated by $m$ is the ideal generated by all monomials which can be obtained from $m$ by successively replacing variables of $m$ by those which are in $L$ and have smaller index. Given a collection $\mathcal{I}=\{I_1,\ldots,I_r\}$ where $I_i$ is $L_i$-Borel for $i=1,\ldots,r$ (where the subsets $L_1,\ldots,L_r$ may be different for each ideal), we prove in essence that if the bipartite incidence graph among the subsets $L_1,\ldots,L_r$ is chordal bipartite, then the defining equations of the multi-Rees algebra of $\mathcal{I}$ has a Gröbner basis of quadrics with squarefree lead terms under lexicographic order. Thus the multi-Rees algebra of such a collection of ideals is Koszul, Cohen-Macaulay, and normal. This significantly generalizes a theorem of Ohsugi and Hibi on Koszul bipartite graphs. As a corollary we obtain that the multi-Rees algebra of a collection of principal Borel ideals is Koszul. To prove our main result we use a fiber-wise Gröbner basis criterion for the kernel of a toric map and we introduce a modification of Sturmfels' sorting algorithm.

The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of Nakayama's lemma; complete theories of minimal and dense primary, secondary, and irreducible decomposition, including associated and attached faces; socles and tops; minimality and density for downset hulls, upset covers, and fringe presentations; Matlis duality; and geometric analysis of staircases. Modules that are semialgebraic or piecewise-linear (PL) have the relevant property preserved by functorial constructions as well as by minimal primary and secondary decompositions. And when the modules in question are subquotients of the group itself, such as monomial ideals and quotients modulo them, minimal primary and secondary decompositions are canonical, as are irreducible decompositions up to the new real-exponent notion of density.

Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$. The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for which $\{i, j\}$ is an edge of $G$. In the present paper, the possible tuples $(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G)))$, where ${\rm deg} \ h(R/I(G))$ is the degree of the $h$-polynomial of $R/I(G)$, arising from Cameron--Walker graphs on $[n]$ will be completely determined.

We introduce the multiset partition algebra, ${\rm M\!P}_{r,k}(x)$, that has bases elements indexed by multiset partitions, where $x$ is an indeterminate and $r$ and $k$ are non-negative integers. This algebra can be realized as a diagram algebra that generalizes the partition algebra. When $x$ is an integer greater or equal to $2r$, we show that ${\rm M\!P}_{r,k}(x)$ is isomorphic to a centralizer algebra of the symmetric group, $S_n$, acting on the polynomial ring on the variables $x_{ij}$, $1\leq i \leq n$ and $1\leq j\leq k$. We describe the representations of ${\rm M\!P}_{r,k}(x)$, branching rule and restriction of its representations in the case that $x$ is an integer greater or equal to $2r$.

The aim of this paper is to make a connection between design theory and algebraic geometry/commutative algebra. In particular, given any Steiner System $S(t,n,v)$ we associate two ideals, in a suitable polynomial ring, defining a Steiner configuration of points and its Complement. We focus on the latter, studying its homological invariants, such as Hilbert Function and Betti numbers. We also study symbolic and regular powers associated to the ideal defining a Complement of a Steiner configuration of points, finding its Waldschmidt constant, regularity, bounds on its resurgence and asymptotic resurgence. We also compute the parameters of linear codes associated to any Steiner configuration of points and its Complement.

Let $G$ be the circulant graph $C_n(S)$ with $S \subseteq \{1, 2, \dots, \lfloor \frac{n}{2} \rfloor\}$, and let $I(G)$ denote the edge ideal in the polynomial ring $R=\mathbb{K}[x_0, x_1, \dots, x_{n-1}]$ over a field $\mathbb{K}$. In this paper, we compute the $\mathbb{N}$-graded Betti numbers of the edge ideals of three families of circulant graphs $C_n(1,2,\dots,\widehat{j},\dots,\lfloor \frac{n}{2} \rfloor)$, $C_{lm}(1,2,\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$ and $C_{lm}(1,2,\dots,\widehat{l},\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$. Other algebraic and combinatorial properties like regularity, projective dimension, induced matching number and when such graphs are well-covered, Cohen-Macaulay, Sequentially Cohen-Macaulay, Buchsbaum and $S_2$ are also discussed.

An FI- or an OI-module $\mathbf{M}$ over a corresponding noetherian polynomial algebra $\mathbf{P}$ may be thought of as a sequence of compatible modules $\mathbf{M}_n$ over a polynomial ring $\mathbf{P}_n$ whose number of variables depends linearly on $n$. In order to study invariants of the modules $\mathbf{M}_n$ in dependence of $n$, an equivariant Hilbert series is introduced if $\mathbf{M}$ is graded. If $\mathbf{M}$ is also finitely generated, it is shown that this series is a rational function. Moreover, if this function is written in reduced form rather precise information about the irreducible factors of the denominator is obtained. This is key for applications. It follows that the Krull dimension of the modules $\mathbf{M}_n$ grows eventually linearly in $n$, whereas the multiplicity of $\mathbf{M}_n$ grows eventually exponentially in $n$. Moreover, for any fixed degree $j$, the vector space dimensions of the degree $j$ components of $\mathbf{M}_n$ grow eventually polynomially in $n$. As a consequence, any graded Betti number of $\mathbf{M}_n$ in a fixed homological degree and a fixed internal degree grows eventually polynomially in $n$. Furthermore, evidence is obtained to support a conjecture that the Castelnuovo-Mumford regularity and the projective dimension of $\mathbf{M}_n$ both grow eventually linearly in $n$. It is also shown that modules $\mathbf{M}$ whose width $n$ components $\mathbf{M}_n$ are eventually Artinian can be characterized by their equivariant Hilbert series. Using regular languages and finite automata, an algorithm for computing equivariant Hilbert series is presented.