Birational OY-invariant conjecture for the Lalanne–Kreweras involution

Let An\mathsf{A}^n be the type A poset and let AB(An)\mathcal{A}^{\mathrm{B}}(\mathsf{A}^n) be its positive birational labelings. For piAB(An)pi\in\mathcal{A}^{\mathrm{B}}(\mathsf{A}^n), define the birational OY-invariant \EuScriptYB\EuScript{Y}^{\mathrm{B}} by

\EuScriptYB(π)[i,j]An\EuScriptY[i,j]B(π),\EuScript{Y}^{\mathrm{B}}(\pi)\coloneqq\prod_{[i,j]\in\mathsf{A}^n}\EuScript{Y}^{\mathrm{B}}_{[i,j]}(\pi),

where each factor is the product of the left and right ratios of maximal-chain weight sums specified in the preceding definition.

Birational OY-invariant conjecture. The function \EuScriptYB ⁣:AB(An)R>0\EuScript{Y}^{\mathrm{B}}\colon\mathcal{A}^{\mathrm{B}}(\mathsf{A}^n)\to\mathbb{R}_{>0} is invariant under both RowAB\operatorname{Row}_{\mathcal{A}}^{\mathrm{B}} and LKB\operatorname{LK}^{\mathrm{B}}. This would provide a birational invariant simultaneously for rowmotion and the birational Lalanne–Kreweras involution. The supplied excerpt gives the definition and an example but no resolution status, so the claim remains open.

Sources & referencesView supporting material

Primary source

Sam Hopkins and Michael Joseph, “The birational Lalanne-Kreweras involution”, arXiv:2012.15795 (2021).

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.