English

Integer Sequences and Monomial Ideals

Combinatorics 2020-03-24 v1 Commutative Algebra

Abstract

Let Sn\mathfrak{S}_n be the set of all permutations of [n]={1,,n}[n]=\{1,\ldots,n\} and let WW be the subset consisting of permutations σSn\sigma \in \mathfrak{S}_n avoiding 132 and 312-patterns. The monomial ideal IW=xσ=i=1nxiσ(i):σWI_W = \left\langle \mathbf{x}^{\sigma} = \prod_{i=1}^n x_i^{\sigma(i)} : \sigma \in W \right\rangle in the polynomial ring R=k[x1,,xn]R = k[x_1,\ldots,x_n] over a field kk 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 IW[n]I_W^{[\mathbf{n}]} of IWI_W with respect to n=(n,,n)\mathbf{n}=(n,\ldots,n) has the minimal cellular resolution supported on the first barycentric subdivision Bd(Δn1)\mathbf{Bd}(\Delta_{n-1}) of an n1n-1-simplex Δn1\Delta_{n-1}. We show that the number of standard monomials of the Artinian quotient RIW[n]\frac{R}{I_W^{[\mathbf{n}]}} equals the number of rooted-labelled unimodal forests on the vertex set [n][n]. In other words, dimk(RIW[n])=r=1nr! s(n,r)=Per([mij]n×n), \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)s(n,r) is the (signless) Stirling number of the first kind and Per([mij]n×n){\rm Per}([m_{ij}]_{n \times n}) is the permanent of the matrix [mij][m_{ij}] with mii=im_{ii}=i and mij=1m_{ij}=1 for iji \ne j. For various subsets SS of Sn\mathfrak{S}_n consisting of permutations avoiding patterns, the corresponding integer sequences {dimk(RIS[n])}n=1\left\lbrace \dim_k\left(\frac{R}{I_S^{[\mathbf{n}]}}\right) \right\rbrace_{n=1}^{\infty} are identified.

Keywords

Cite

@article{arxiv.2003.10098,
  title  = {Integer Sequences and Monomial Ideals},
  author = {Chanchal Kumar and Amit Roy},
  journal= {arXiv preprint arXiv:2003.10098},
  year   = {2020}
}

Comments

21 pages, 3 figures. Comments are welcome

R2 v1 2026-06-23T14:23:34.658Z