Integer Sequences and Monomial Ideals

Abstract

Let ${\mathfrak{S}}_n$ be the set of all permutations of $[n]=\{1,\dots ,n\}$ and let $W$ be the subset consisting of permutations $\ddot{I}ƒ\in {\mathfrak{S}}_n$ avoiding 132 and 312-patterns. The monomial ideal $I_W=⟨{\mathbf{x}}^{\ddot{I}}ƒ={\prod }_{i=1}^n{x}_i^{\ddot{I}ƒ(i)}:\ddot{I}ƒ\in W⟩$ in the polynomial ring $R=k[x_1,\dots ,x_n]$ over a field $k$ is called a hypercubic ideal in the article (Certain variants of multipermutohedron ideals, Proc. Indian Acad. Sci.(Math Sci. Vol. 126, No.4, (2016), 479-500). The Alexander dual $I_W^{[\mathbf{n}]}$ of $I_W$ with respect to $\mathbf{n}=(n,\dots ,n)$ has the minimal cellular resolution supported on the first barycentric subdivision $\mathbf{Bd}(\hat{I}{”}_{n-1})$ of an $n-1$-simplex $\hat{I}{”}_{n-1}$. We show that the number of standard monomials of the Artinian quotient $\frac{R}{I_W^{[\mathbf{n}]}}$ equals the number of rooted-labelled unimodal forests on the vertex set $[n]$. In other words, \[ \dim_k\left(\frac{R}{I_W^{[\mathbf{n}]}}\right) = \sum_{r=1}^n r!~s(n,r) = {\rm Per}\left([m_{ij}]_{n \times n} \right),\] where $s(n,r)$ is the (signless) Stirling number of the first kind and $\mathrm{Per}([m_{ij}{]}_{n\times n})$ is the permanent of the matrix $[m_{ij}]$ with $m_{ii}=i$ and $m_{ij}=1$ for $i\ne j$. For various subsets $S$ of ${\mathfrak{S}}_n$ consisting of permutations avoiding patterns, the corresponding integer sequences ${\left\{{\dim }_k\left(\frac{R}{I_S^{[\mathbf{n}]}}\right)\right\}}_{n=1}^{\infty }$ are identified.

21 pages, 3 figures. Comments are welcome