The Gröbner basis of a Catalan path ideal

DOI10.54550/ECA2022V2S3R21MaRDI QIDQ6098029zbMATH OpenOpenAlexFDO

Authors Nantel Bergeron

Publication date 9 June 2023

Published in Enumerative Combinatorics and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2201.04006

zbMATH Keywords

Catalan numberspath enumerationGröbner basis

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: For the ideal $I=langle{y}_1+dots+y_n,y_1^2,dots,y_n^{2}angle$ in $R=mathbbF[y_1,dots,y_n]$ with char($mathbbF$) = 0, we show that the reduced Gr"obner basis with lex-order consists of polynomials $g_{a}lpha$ that are represented in terms of paths, moving northeast in the Cartesian plane, that stay above the diagonal and cross the diagonal at the last step. This implies that a linear basis for the quotient ring $R/I$ is given by a set of Catalan paths. We show that the dimension is the number of standard Young tableaux of size $n$ and height at most two. The graded Frobenius characteristic of $R/I$ as a symmetric group module is given by $su{m}_{k=0}^{lfloorfracn2floor}{s}_{n-k,k}{q}^k$.

Recommendations

• Catalan paths and quasi-symmetric functions
• Gröbner bases associated with positive roots and Catalan numbers
• On Gröbner basis and Cohen-Macaulay property of closed path polyominoes
• scientific article; zbMATH DE number 493438
• A Gröbner basis for Kazhdan-Lusztig ideals

Cites work

• scientific article; zbMATH DE number 1601795 (Why is no real title available?)
• scientific article; zbMATH DE number 578220 (Why is no real title available?)
• scientific article; zbMATH DE number 739282 (Why is no real title available?)
• Catalan Numbers
• Die irreduziblen Darstellungen der symmetrischen Gruppe
• Ordered set partitions, generalized coinvariant algebras, and the delta conjecture

Cited in

(4)

• \(q,t\)-Catalan numbers and generators for the radical ideal defining the diagonal locus of \((\mathbb C^2)^n\)
• Gröbner bases associated with positive roots and Catalan numbers
• Ideals and quotients of \(B\)-quasisymmetric polynomials
• Catalan paths and quasi-symmetric functions

This page was built for publication: The Gröbner basis of a Catalan path ideal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6098029)