2026/04/30 by Cesar Cuenca, Grigori Olshanski
#math.CO #math.RT
We study the problem of describing the set of real functionals on the quotient \textrmSym/(p2-1) of the ring of symmetric functions that are nonnegative on the images of certain modified Hall-Littlewood symmetric functions. This question is equivalent to the problem, posed in [Adv Math 395, p.108087 (2022)], of describing the set of coadjoint-invariant measures for unitary groups over a finite field in the infinite-dimensional setting. Our main results constitute partial progress towards this problem. Firstly, we show that the desired set of functionals is very large, in the sense that it contains explicit families of examples depending on infinitely many parameters. Secondly, we provide an analogue of Kerov's mixing construction that produces new sought after functionals from known old ones. This construction depends on an explicit "p2-twisted action" of \textrmSym on itself and the resulting dual map that makes \textrmSym into a comodule. Finally, our third main result explains the relation between the p2-twisted comultiplication and the usual comultiplication on \textrmSym.