The higher Stasheff-Tamari orders in representation theory (Q6131074)

Summary: We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type \(A\), denoted \(A^d_n\), is an incredibly rich one. The \textit{higher Stasheff-Tamari orders} are two orders on triangulations of cyclic polytopes, defined in the 1990s by \textit{M. M. Kapranov} and \textit{V. A. Voevodskij} [Cah. Topologie Géom. Différ. Catégoriques 32, No. 1, 11--27 (1991; Zbl 0748.18010)], and \textit{P. H. Edelman} and \textit{V. Reiner} [Mathematika 43, No. 1, 127--154 (1996; Zbl 0854.06003)], who conjectured them to be equivalent. We first show that these orders correspond in even dimensions to natural orders on tilting modules defined by \textit{C. Riedtmann} and \textit{A. Schofield} [Comment. Math. Helv. 66, No. 1, 70--78 (1991; Zbl 0790.16013)] and studied by \textit{D. Happel} and \textit{L. Unger} [Algebr. Represent. Theory 8, No. 2, 147--156 (2005; Zbl 1110.16011)]. This result allows us to show that triangulations of odd-dimensional cyclic polytopes are in bijection with equivalence classes of \(d\)-maximal green sequences of \(A^d_n\), which we introduce as a higher-dimensional generalisation of the original maximal green sequences of Keller. We further interpret the higher Stasheff-Tamari orders in odd dimensions, where they correspond to natural orders on equivalences classes of \(d\)-maximal green sequences. The conjecture that these two partial orders on equivalence classes of \(d\)-maximal green sequences are equal amounts to an oriented version of the ``no-gap'' conjecture of \textit{T. Brüstle} et al. [Int. Math. Res. Not. 2014, No. 16, 4547--4586 (2014; Zbl 1346.16009)]. A corollary of our results is that this conjecture holds for \(A_n\), and that here the set of equivalence classes of (1-)maximal green sequences is a lattice. For the entire collection see [Zbl 1530.16002].