Birational OY-invariant conjecture for the Lalanne–Kreweras involution

About 6 years old · traced to

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 pi∈AB(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 Row⁡AB\operatorname{Row}_{\mathcal{A}}^{\mathrm{B}} and LK⁡B\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.

References

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.