Power-sum Laurent integrality for the Macdonald shift map

Let pμp_\mu be a power-sum symmetric function, let PνP^\circ_\nu be the shifted power-sum basis, and define

bμν:=[Pν]shq,t(pμ)Q(q,t),b_{\mu\nu}:=[P^\circ_\nu]\operatorname{sh}_{q,t}(p_\mu)\in\mathbb{Q}(q,t),

where shq,t\operatorname{sh}_{q,t} is Lassalle's Macdonald shift map. Power-sum Laurent-integrality conjecture. The coefficient bμνb_{\mu\nu} is Laurent:

bμνQ[q±1,t±1],b_{\mu\nu}\in\mathbb{Q}[q^{\pm1},t^{\pm1}],

and in fact

bμνQ[q,t±1].b_{\mu\nu}\in\mathbb{Q}[q,t^{\pm1}].

This is the power-sum-basis form of the conjectured Laurent-lattice isomorphism for the shift map. It remains open; the source contrasts it with Knop's corresponding theorem for integral Macdonald functions.

Sources & referencesView supporting material

Primary source

Ryan Mickler, “Congruences of shifted Jack Littlewood-Richardson coefficients”, arXiv:2606.17822 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.