Comments: 86 pages. Reproves some basic properties of Schur Laurent polynomials (with negative parts) that I could not find in the literature. The birational map studied in Section 3 might be useful elsewhere. Detailed version available as ancillary file. v5 adds one proof in §5.2.2 and two in §5.4 (all in the detailed version only) and fixes a missing reference. Comments are welcome!
Note:
Journal: Combinatorial Theory 1 (2021), #16 (published with abridgements)
We prove an identity for Littlewood--Richardson coefficients conjectured by Pelletier and Ressayre (arXiv:2005.09877). The proof relies on a novel birational involution defined over any semifield.