Birational rowmotion on a rectangle over a noncommutative ring

DOI10.5070/C63362790MaRDI QIDQ6204693zbMATH OpenOpenAlexFDO

Authors Darij Grinberg, Tom Roby

Publication date 2 April 2024

Published in Combinatorial Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2208.11156

zbMATH Keywords

graded posetsGrassmanniannoncommutative ringsposetspromotionroot systemsrowmotionsemiringstreestropicalizationZamolodchikov periodicity

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Combinatorics of partially ordered sets (06A07)

Abstract: We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained. Consider labellings of a finite poset $P$ by $left|Pight|+2$ elements of a ring $mathbbK$: one label associated with each poset element and two constant labels for the added top and bottom elements in $hatP$. *Birational rowmotion* is a partial map on such labellings. It was originally defined by Einstein and Propp for $mathbbK=mathbbR$ as a lifting (via detropicalization) of *piecewise-linear rowmotion*, a map on the order polytope $mathcalO(P):=extorder-preservingf:Po[0,1]$. The latter, in turn, extends the well-studied rowmotion map on the set of order ideals (or more properly, the set of order filters) of $P$, which correspond to the vertices of $mathcalO(P)$. Dynamical properties of these combinatorial maps sometimes (but not always) extend to the birational level, while results proven at the birational level always imply their combinatorial counterparts. Allowing $mathbbK$ to be noncommutative, we generalize the birational level even further, and some properties are in fact lost at this step. In 2014, the authors gave the first proof of periodicity for birational rowmotion on rectangular posets (when $P$ is a product of two chains) for $mathbbK$ a field, and conjectured that it survives (in an appropriately twisted form) in the noncommutative case. In this paper, we prove this noncommutative periodicity and a concomitant antipodal reciprocity formula. We end with some conjectures about periodicity for other posets, and the question of whether our results can be extended to (noncommutative) semirings.

Cites work

• \(R\)-systems
• A birational lifting of the Stanley-Thomas word on products of two chains
• A q-analogue of Young symmetrizer
• Birational and noncommutative lifts of antichain toggling and rowmotion
• Combinatorial Markov chains on linear extensions
• Combinatorial, piecewise-linear, and birational homomesy for products of two chains
• Dynamical algebraic combinatorics and the homomesy phenomenon
• Friends and strangers walking on graphs
• Homomesy in products of two chains
• scientific article; zbMATH DE number 3442105 (Why is no real title available?)
• scientific article; zbMATH DE number 857389 (Why is no real title available?)
• Introduction to tropical combinatorics
• Iterative properties of birational rowmotion. I: Generalities and skeletal posets.
• Iterative properties of birational rowmotion. II: Rectangles and triangles.
• Linear extensions of finite posets and a conjecture of G. Kreweras on permutations
• Noncommutative marked surfaces
• On the periodicity conjecture for \(Y\)-systems
• Paths to understanding birational rowmotion on products of two chains
• Promotion and rowmotion
• Rank two non-commutative Laurent phenomenon and pseudo-positivity
• Rowmotion in slow motion
• Rowmotion orbits of trapezoid posets
• The Graph of Linear Extensions Revisited
• The proof of the Kontsevich periodicity conjecture on noncommutative birational transformations.
• Two poset polytopes

Cited in

(4)

• Toggleability spaces of fences
• Homomesy on permutations with toggling actions
• Piecewise-linear promotion and RSK in rectangles and moon polyominoes
• Plane partitions and rowmotion on rectangular and trapezoidal posets

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: Birational rowmotion on a rectangle over a noncommutative ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204693)