English

Realizations of multiassociahedra via rigidity

Combinatorics 2025-05-13 v2

Abstract

Let Δk(n)\Delta_k(n) denote the simplicial complex of (k+1)(k+1)-crossing-free subsets of edges in ([n]2)\binom{[n]}{2}. Here k,nNk,n\in \mathbb N and n2k+1n\ge 2k+1. Jonsson (2003) proved that (neglecting the short edges that cannot be part of any (k+1)(k+1)-crossing), Δk(n)\Delta_k(n) is a shellable sphere of dimension k(n2k1)1k(n-2k-1)-1, and conjectured it to be polytopal. The same result and question arose in the work of Knutson and Miller (2004) on subword complexes. Despite considerable effort, the only values of (k,n)(k,n) for which the conjecture is known to hold are n2k+3n\le 2k+3 (Pilaud and Santos, 2012) and (2,8)(2,8) (Bokowski and Pilaud, 2009). Using ideas from rigidity theory and choosing points along the moment curve we realize Δk(n)\Delta_k(n) as a polytope for (k,n){(2,9),(2,10),(3,10)}(k,n)\in \{(2,9), (2,10) , (3,10)\}. We also realize it as a simplicial fan for all n13n\le 13 and arbitrary kk, except the pairs (3,12)(3,12) and (3,13)(3,13). Finally, we also show that for k3k\ge 3 and n2k+6n\ge 2k+6 no choice of points can realize Δk(n)\Delta_k(n) via bar-and-joint rigidity with points along the moment curve or, more generally, via cofactor rigidity with arbitrary points in convex position.

Keywords

Cite

@article{arxiv.2212.14265,
  title  = {Realizations of multiassociahedra via rigidity},
  author = {Luis Crespo Ruiz and Francisco Santos},
  journal= {arXiv preprint arXiv:2212.14265},
  year   = {2025}
}

Comments

39 pages, 4 figures, 2 tables; changes from v1: edits and corrections, some suggested by anonymous referees. This version has been accepted in Discrete Computing. Geom