Partitions, rooks, and symmetric functions in noncommuting variables (Q625419)

Summary: Let \(\Pi_n\) denote the set of all set partitions of \(\{1,2,\dots, n\}\). We consider two subsets of \(\Pi_n\), one connected to rook theory and one associated with symmetric functions in noncommuting variables. Let \({\mathcal E}_n\subseteq\Pi_n\) be the subset of all partitions corresponding to an extendable rook (placement) on the upper-triangular board, \({\mathcal T}_{n-1}\). Given \(\pi\in\Pi_m\) and \(\sigma\in\Pi_n\), define their slash product to be \(\pi|\sigma= \pi\cup(\sigma+ m)\in\Pi_{m+ n}\), where \(\sigma+ m\) is the partition obtained by adding \(m\) to every element of every block of \(\sigma\). Call \(\tau\) atomic if it can not be written as a nontrivial slash product and let \({\mathcal A}_n\subseteq\Pi_n\) denote the subset of atomic partitions. Atomic partitions were first defined by \textit{N. Bergeron}, \textit{C. Hohlweg}, \textit{M. Rosas} and \textit{M. Zabrocki} [Electron. J. Comb. 13, No. 1, Research paper R75, 19 p. (2006; Zbl 1098.05079)] during their study of NCSym, the symmetric functions in noncommuting variables. We show that, despite their very different definitions, \({\mathcal E}_n={\mathcal A}_n\) for all \(n\geq 0\). Furthermore, we put an algebra structure on the formal vector space generated by all rook placements on upper triangular boards which makes it isomorphic to NCSym. We end with some remarks.