Flagged $(\mathcal{P},\rho)$-partitions
Abstract
We introduce the theory of $(\mathcal{P},\rho)$-partitions, depending on a poset $\mathcal{P}$ and a map $\rho$ from $\mathcal{P}$ to positive integers. The generating function $\mathfrak{F}_{\mathcal{P},\rho}$ of $(\mathcal{P},\rho)$-partitions is a polynomial that, when the images of $\rho$ tend to infinity, tends to Stanley's generating function $F_{\mathcal{P}}$ of $\mathcal{P}$-partitions. Analogous to Stanley's fundamental theorem for $\mathcal{P}$-partitions, we show that the set of $(\mathcal{P},\rho)$-partitions decomposes as a disjoint union of $(\mathcal{L},\rho)$-partitions where $\mathcal{L}$ runs over the set of linear extensions of $\mathcal{P}$. In this more general context, the set of all $\mathfrak{F}_{\mathcal{L},\rho}$ for linear orders $\mathcal{L}$ over determines a basis of polynomials. We thus introduce the notion of flagged $(\mathcal{P},\rho)$-partitions, and we prove that the set of all $\mathfrak{F}_{\mathcal{L},\rho}$ for flagged $(\mathcal{L},\rho)$-partitions for linear orders $\mathcal{L}$ is precisely the fundamental slide basis of the polynomial ring, introduced by the first author and Searles. Our main theorem shows that any generating function $\mathfrak{F}_{\mathcal{P},\rho}$ of flagged $(\mathcal{P},\rho)$-partitions is a positive integer linear combination of slide polynomials. As applications, we give a new proof of positivity of the slide product and, motivating our nomenclature, we also prove flagged Schur functions are slide positive.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2019
- DOI:
- 10.48550/arXiv.1904.06630
- arXiv:
- arXiv:1904.06630
- Bibcode:
- 2019arXiv190406630A
- Keywords:
-
- Mathematics - Combinatorics
- E-Print:
- 18 pages, 10 figures