Associahedra and Related Structures

Associahedron は, Hopf 空間ホモトピー結合性を記述するために, Stasheff [Sta63] により導入された 多面体の族 \(\{K_{n}\}\) である, と思っていたのだが, Devadoss らの [Dev+12] によると, それよりずっと前に Tamari により thesis [Tam51] で与えられていたようである。

より一般に, \(A_{\infty }\) 構造を統率する組み合せ論的な構造が associahedron であると言ってよいだろう。その構成には様々なものがある。

関連した構成として multiplihedron という多面体がある。

Markl [Mar06] や Saneblidze と Umble [SU11] は, bialgebra の up to homotopy 版, つまり \(A_{\infty }\)-bialgebra を定義するために biassociahedron という多面体の族 \(\{\mathrm {KK}_{m,n}\}\) を使うことを考えた。 \(\mathrm {KK}_{n,1}\cong \mathrm {KK}_{1,n}\) が associahedron \(K_{n}\) である。Markl の [Mar15] は “History and Pitfalls” から始まっているので, まずはそれを読むのが良いと思う。

  • biassociahedron

構成は, Markl の [Mar06] で \(m+n\le 6\) の場合に, Saneblize と Umble の [SU11] で \(m\) または \(n\) が \(3\) 以下の場合に構成された。Saneblidze と Umble の [SU22] で全ての \(m,n\) について構成されたようである。

Associahedron については以下のことが分っている。

  • associahedron の頂点の個数は Catalan number で与えられる。
  • associahedron の minimal triangulation の最高次元の単体は parking function と一対一に対応する。 [Lod07]

代数的には, associahedron は unitを持たない \(A_{\infty }\)-algebra の構造を記述するものであるが, Fukaya, Oh, Ohta, Ono [Fuk+09a; Fuk+09b] や Hirsh と Milles [HM12] らにより, homotopy unit を持つ \(A_{\infty }\)-algebra が考えらえている。それに対応した “unital associahedra” を Muro と Tonks [MT14] が構成している。

  • unital associahedron

Björner と De Longueville の [BD03] によると, stable Kneser graph \(S_{2,k}\) の neighorbood complex の中には, associahedron の boundary が deformation retract として含まれているようである。

Loday の [Lod07] の最後には, permutohedron の単体分割についての考察もある。 その単体分割は, Salvetti complex から得られるものとはかなり異なるもののようである。

Associahedron や permutohedron に関連の深い多面体として Bott と Taubes の cyclohedron [BT94] や Kapranov の permutoassociahedron [Kap93] がある。 Permutoassociahedron の一般化である permutonestohedron は [Gai15] で Gaiffi により導入されている。

  • cyclohedron
  • permutoassociahedron
  • simple permutoassciahedron [BIP19; Iva20]
  • permutonestohedron

正確には, Kapranov は assciahedron と permutohedron の face poset を合わせたような poset を定義し, それが CW ball の face poset であることを示した。 それが 凸多面体の face poset として実現できることを示したのは, Reiner と Ziegler [RZ94] である。Castillo と Liu [CL23] による別の実現もある。

Lambrechts と Turchin と Volic の [LTV10] によると, associahedron は \([0,1]\) の \(n\)個の点の configuration space の Fulton-MacPherson compactification であり, cyclohedron は, 一点がマークされた \(S^1\) の \(n\)個の点の configuration space の Fulton-MacPherson compactification である。もちろん, 位相空間としてこの2つの configuration space は同相であり, 彼らはそのことから誘導される cyclohedron から associahedron への写像を調べている。

Carr と Devadoss は [CD06] で graph から associahedron の類似を作る方法を与えている。できた polytope は, graph associahedron と呼ばれている。 Associahedron と cyclohedron の一般化になっているものである。

類似のものとして, Galashin [Gal24] による poset から作られる poset associahedron というものがある。

  • poset associahedron

他の associahedron の一般化としては, Fomin と Zelevinsky の root系に対する associahedra の一般化の構成 [FZ02; CFZ02] がある。 Cluster algebra に関連したものであり, Tzanaki の [Tza08] では, cluster complex と呼ばれている。

Cluster algebra との関連としては, Barceloら の仕事 [BSW13] もある。彼等は, associahedron の discrete fundamental group を調べ, その方向からの cluster algebra との関係を発見している。

Cluster algebra の視点からは, Kulkarni ら [Kul+] が “continuous version” を導入している。

Armstrong, Rhodes, Williams [ARW13] では, rational associahedron という一般化が導入されている。対応して, rational Catalan numberや rational Dyck path なども定義されている。

  • rational associahedron

Noncrossing partition という組み合せ論的構造とも関係がある。

他にも様々なものに関係がある。例えば, Kapranov と Saito の [KS99] では, algebraic \(K\)-theoryMorse theory との関係が述べられている。

Fukaya category との関連で導入されたものとして Bottman [Bot19] による \(2\)-associahedron という poset がある。Bottman は abstract polytope であることを示していて, 更に convex polytope の face poset として実現できることを予想している。

  • \(2\)-associahedron

Bottman は, Backman と Poliakova と共に [BBP] で, categorical \(n\)-associahedron という一般化を導入しているが, そこでは abstract polytope かどうかは議論していない。 それよりも, convex polytope として実現できるかどうかの方に興味があるようである。

References

[ARW13]

Drew Armstrong, Brendon Rhoades, and Nathan Williams. “Rational associahedra and noncrossing partitions”. In: Electron. J. Combin. 20.3 (2013), Paper 54, 27. arXiv: 1305.7286. url: https://doi.org/10.37236/3432.

[BBP]

Spencer Backman, Nathaniel Bottman, and Daria Poliakova. Higher-Categorical Associahedra. arXiv: 2409.03633.

[BD03]

Anders Björner and Mark De Longueville. “Neighborhood complexes of stable Kneser graphs”. In: Combinatorica 23.1 (2003). Paul Erdős and his mathematics (Budapest, 1999), pp. 23–34. url: http://dx.doi.org/10.1007/s00493-003-0012-5.

[BIP19]

Djordje Baralić, Jelena Ivanović, and Zoran Petrić. “A simple permutoassociahedron”. In: Discrete Math. 342.12 (2019), pp. 111591, 18. arXiv: 1708.02482. url: https://doi.org/10.1016/j.disc.2019.07.007.

[Bot19]

Nathaniel Bottman. “2-associahedra”. In: Algebr. Geom. Topol. 19.2 (2019), pp. 743–806. arXiv: 1709.00119. url: https://doi.org/10.2140/agt.2019.19.743.

[BSW13]

Hélène Barcelo, Christopher Severs, and Jacob A. White. “The discrete fundamental group of the associahedron, and the exchange module”. In: Internat. J. Algebra Comput. 23.4 (2013), pp. 745–762. arXiv: 1012.2810. url: https://doi.org/10.1142/S0218196713400079.

[BT94]

Raoul Bott and Clifford Taubes. “On the self-linking of knots”. In: J. Math. Phys. 35.10 (1994). Topology and physics, pp. 5247–5287. url: http://dx.doi.org/10.1063/1.530750.

[CD06]

Michael P. Carr and Satyan L. Devadoss. “Coxeter complexes and graph-associahedra”. In: Topology Appl. 153.12 (2006), pp. 2155–2168. arXiv: math/0407229. url: http://dx.doi.org/10.1016/j.topol.2005.08.010.

[CFZ02]

Frédéric Chapoton, Sergey Fomin, and Andrei Zelevinsky. “Polytopal realizations of generalized associahedra”. In: Canad. Math. Bull. 45.4 (2002). Dedicated to Robert V. Moody, pp. 537–566. arXiv: math/0202004. url: http://dx.doi.org/10.4153/CMB-2002-054-1.

[CL23]

Federico Castillo and Fu Liu. “The permuto-associahedron revisited”. In: European J. Combin. 110 (2023), Paper No. 103706, 30. arXiv: 2109.08658. url: https://doi.org/10.1016/j.ejc.2023.103706.

[Dev+12]

Satyan L. Devadoss, Benjamin Fehrman, Timothy Heath, and Aditi Vashist. “Moduli spaces of punctured Poincaré disks”. In: Associahedra, Tamari lattices and related structures. Vol. 299. Progr. Math. Birkhäuser/Springer, Basel, 2012, pp. 99–117. arXiv: 1109.2830. url: https://doi.org/10.1007/978-3-0348-0405-9_6.

[Fuk+09a]

Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono. Lagrangian intersection Floer theory: anomaly and obstruction. Part I. Vol. 46. AMS/IP Studies in Advanced Mathematics. Providence, RI: American Mathematical Society, 2009, pp. xii+396. isbn: 978-0-8218-4836-4.

[Fuk+09b]

Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono. Lagrangian intersection Floer theory: anomaly and obstruction. Part II. Vol. 46. AMS/IP Studies in Advanced Mathematics. Providence, RI: American Mathematical Society, 2009, i–xii and 397–805. isbn: 978-0-8218-4837-1.

[FZ02]

Sergey Fomin and Andrei Zelevinsky. “Cluster algebras. I. Foundations”. In: J. Amer. Math. Soc. 15.2 (2002), 497–529 (electronic). arXiv: math/0104151. url: http://dx.doi.org/10.1090/S0894-0347-01-00385-X.

[Gai15]

Giovanni Gaiffi. “Permutonestohedra”. In: J. Algebraic Combin. 41.1 (2015), pp. 125–155. arXiv: 1305.6097. url: https://doi.org/10.1007/s10801-014-0530-9.

[Gal24]

Pavel Galashin. “\(P\)-associahedra”. In: Selecta Math. (N.S.) 30.1 (2024), Paper No. 6. arXiv: 2110.07257. url: https://doi.org/10.1007/s00029-023-00896-1.

[HM12]

Joseph Hirsh and Joan Millès. “Curved Koszul duality theory”. In: Math. Ann. 354.4 (2012), pp. 1465–1520. arXiv: 1008.5368. url: https://doi.org/10.1007/s00208-011-0766-9.

[Iva20]

Jelena Ivanović. “Geometrical realisations of the simple permutoassociahedron by Minkowski sums”. In: Appl. Anal. Discrete Math. 14.1 (2020), pp. 55–93. arXiv: 1904.06700. url: https://doi.org/10.2298/aadm190414011i.

[Kap93]

Mikhail M. Kapranov. “The permutoassociahedron, Mac Lane’s coherence theorem and asymptotic zones for the KZ equation”. In: J. Pure Appl. Algebra 85.2 (1993), pp. 119–142. url: http://dx.doi.org/10.1016/0022-4049(93)90049-Y.

[KS99]

Mikhail M. Kapranov and Masahico Saito. “Hidden Stasheff polytopes in algebraic \(K\)-theory and in the space of Morse functions”. In: Higher homotopy structures in topology and mathematical physics (Poughkeepsie, NY, 1996). Vol. 227. Contemp. Math. Providence, RI: Amer. Math. Soc., 1999, pp. 191–225. url: http://www.math.uiuc.edu/K-theory/0192/.

[Kul+]

Maitreyee C. Kulkarni, Jacob P. Matherne, Kaveh Mousavand, and Job D. Rock. A continuous associahedron of type \(A\). arXiv: 2108.12927.

[Lod07]

Jean-Louis Loday. “Parking functions and triangulation of the associahedron”. In: Categories in algebra, geometry and mathematical physics. Vol. 431. Contemp. Math. Providence, RI: Amer. Math. Soc., 2007, pp. 327–340. arXiv: math/0510380. url: http://dx.doi.org/10.1090/conm/431/08279.

[LTV10]

Pascal Lambrechts, Victor Turchin, and Ismar Volić. “Associahedron, cyclohedron and permutohedron as compactifications of configuration spaces”. In: Bull. Belg. Math. Soc. Simon Stevin 17.2 (2010), pp. 303–332. arXiv: math/0612591. url: http://projecteuclid.org/euclid.bbms/1274896208.

[Mar06]

Martin Markl. “A resolution (minimal model) of the PROP for bialgebras”. In: J. Pure Appl. Algebra 205.2 (2006), pp. 341–374. arXiv: math/0209007. url: https://doi.org/10.1016/j.jpaa.2005.07.007.

[Mar15]

Martin Markl. “Bipermutahedron and biassociahedron”. In: J. Homotopy Relat. Struct. 10.2 (2015), pp. 205–238. arXiv: 1209.5193. url: https://doi.org/10.1007/s40062-013-0053-4.

[MT14]

Fernando Muro and Andrew Tonks. “Unital associahedra”. In: Forum Math. 26.2 (2014), pp. 593–620. arXiv: 1110.1959. url: https://doi.org/10.1515/forum-2011-0130.

[RZ94]

Victor Reiner and Günter M. Ziegler. “Coxeter-associahedra”. In: Mathematika 41.2 (1994), pp. 364–393. url: http://dx.doi.org/10.1112/S0025579300007452.

[Sta63]

James Dillon Stasheff. “Homotopy associativity of \(H\)-spaces. I, II”. In: Trans. Amer. Math. Soc. 108 (1963), 275-292; ibid. 108 (1963), pp. 293–312. url: https://doi.org/10.1090/s0002-9947-1963-0158400-5.

[SU11]

Samson Saneblidze and Ronald Umble. “Matrads, biassociahedra, and \(A_{\infty }\)-bialgebras”. In: Homology Homotopy Appl. 13.1 (2011), pp. 1–57. arXiv: math/0508017. url: http://dx.doi.org/10.4310/HHA.2011.v13.n1.a1.

[SU22]

Samson Saneblidze and Ronald Umble. “Framed matrices and \(A_\infty \)-bialgebras”. In: Adv. Stud. Euro-Tbil. Math. J. 15.4 (2022), pp. 41–140. arXiv: 2110.11732. url: https://doi.org/10.32513/asetmj/19322008230.

[Tam51]

Dov Tamari. Monoı̈des préordonnés et chaı̂nes de Malcev. Thèse, Université de Paris, 1951, iv+81 pp. (mimeographed).

[Tza08]

Eleni Tzanaki. “Faces of generalized cluster complexes and noncrossing partitions”. In: SIAM J. Discrete Math. 22.1 (2008), pp. 15–30. arXiv: math/0605785. url: https://doi.org/10.1137/060665683.