Realizations of Multiassociahedra via Rigidity
Crespo Ruiz, Luis,Santos, Francisco
DOI: https://doi.org/10.1007/s00454-024-00698-y
2024-10-16
Discrete & Computational Geometry
Abstract:Let denote the simplicial complex of -crossing-free subsets of edges in . Here and . Jonsson (2003) proved that [neglecting the short edges that cannot be part of any -crossing], is a shellable sphere of dimension , and conjectured it to be polytopal. The same result and question arose in the work of Knutson and Miller (Adv Math 184(1):161-176, 2004) on subword complexes. Despite considerable effort, the only values of ( k , n ) for which the conjecture is known to hold are (Pilaud and Santos, Eur J Comb. 33(4):632–662, 2012. https://doi.org/10.1016/j.ejc.2011.12.003) and (2, 8) (Bokowski and Pilaud, On symmetric realizations of the simplicial complex of 3-crossing-free sets of diagonals of the octagon. In: Proceedings of the 21st annual Canadian conference on computational geometry, 2009). Using ideas from rigidity theory and choosing points along the moment curve we realize as a polytope for . We also realize it as a simplicial fan for all and arbitrary k , except the pairs (3, 12) and (3, 13). Finally, we also show that for and no choice of points can realize via bar-and-joint rigidity with points along the moment curve or, more generally, via cofactor rigidity with arbitrary points in convex position.
mathematics,computer science, theory & methods