Petrie symmetric functions
Abstract
For any positive integer and nonnegative integer , we consider the symmetric function defined as the sum of all monomials of degree that involve only exponents smaller than . We call a "Petrie symmetric function" in honor of Flinders Petrie, as the coefficients in its expansion in the Schur basis are determinants of Petrie matrices (and thus belong to by a classical result of Gordon and Wilkinson). More generally, we prove a Pieri-like rule for expanding a product of the form in the Schur basis whenever is a partition; all coefficients in this expansion belong to . We also show that form an algebraically independent generating set for the symmetric functions when is invertible in the base ring, and we prove a conjecture of Liu and Polo about the expansion of in the Schur basis.
Cite
@article{arxiv.2004.11194,
title = {Petrie symmetric functions},
author = {Darij Grinberg},
journal= {arXiv preprint arXiv:2004.11194},
year = {2023}
}
Comments
106 pages. The version at https://www.cip.ifi.lmu.de/~grinberg/algebra/petriesym.pdf will be updated more frequently. See the ancillary file (or http://www.cip.ifi.lmu.de/~grinberg/algebra/petriesym-long.pdf ) for a more detailed version. See https://www.cip.ifi.lmu.de/~grinberg/algebra/fps20pet.pdf for a quick introduction without proofs. v3 adds Section 5.7, which generalizes many results