nLab
associahedron

Context

Higher algebra

Homotopy theory

Contents

Idea

The associahedra or Stasheff polytopes {K n}\{K_n\} are CW complexes that naturally arrange themselves into an topological operad that resolves the standard associative operad: an A-infinity-operad.

The vertices of K nK_n correspond to ways in which one can bracket a product of nn variables. The edges correspond to rebracketings, the faces relate different sequences of rebracketings that lead to the same result, and so on.

The associahedra were introduced by Jim Stasheff in order to describe topological spaces equipped with a multiplication operation that is associative up to every higher coherent homotopy.

Definition

Here is the rough idea, copied, for the moment, verbatim from Markl94 p. 26 (for more details see references below):

For n1n \geq 1 the associahedron K nK_n is an (n2)(n-2)-dimensional polyhedron whose ii-dimensional cells are, for 0in20 \leq i \leq n-2, indexed by all (meaningful) insertions of (ni2)(n-i-2) pairs of brackets between nn independent indeterminants, with suitably defined incidence maps.

Illustrations

  • K 1K_1 is the empty set, a degenerate case not usually considered.

  • K 2K_2 is simply the shape of a binary operation:

    xy, x \otimes y ,

    which we interpret here as a single point.

  • K 3K_3 is the shape of the usual associator or associative law

    (xy)zx(yz), (x \otimes y) \otimes z \to x \otimes (y \otimes z) ,

    consisting of a single interval.

  • K 4K_4 The fourth associahedron K 4K_4 is the pentagon which expresses the different ways a product of four elements may be bracketed

Pentagon Identity ( w x ) ( y z ) (w\otimes x)\otimes(y\otimes z) ( ( w x ) y ) z ((w\otimes x)\otimes y)\otimes z w ( x ( y z ) ) w\otimes (x\otimes(y\otimes z)) ( w ( x y ) ) z (w\otimes (x\otimes y))\otimes z w ( ( x y ) z ) w\otimes ((x\otimes y)\otimes z) a wx,y,z a_{w\otimes x,y,z} a w,x,yz a_{w,x,y\otimes z} a w,x,y 1 z a_{w,x,y}\otimes 1_{z} 1 w a x,y,z 1_w\otimes a_{x,y,z} a w,xy,z a_{w,x\otimes y,z}

One can also think of this as the top-level structure of the 4th oriental. This controls in particular the pentagon identity in the definition of monoidal category, as discussed there.


(image from the Wikimedia Commons)

A template which can be cut out and assembled into a K 5K_5 can be found here.

Relation to other structures

Relation to orientals

The above list shows that the first few Stasheff polytopes are nothing but the first few orientals. This doesn’t remain true as nn increases. The orientals are free strict omega-categories on simplexes as parity complexes. This means that certain interchange cells (e.g., Gray tensorators) show up as thin in the oriental description.

The first place this happens is the sixth oriental: where there are three tensorator squares and six pentagons in Stasheff’s K 6K_6, the corresponding tensorator squares coming from O(6)O(6) are collapsed.

It was when Todd Trimble made this point to Ross Street that Street began to think about using associahedra to define weak n-categories.

Categorified associahedra

There is a categorification of associahedra discussed in

  • Stefan Forcey, Quotients of the multiplihedron as categorified associahedra, Homology Homotopy Appl. Volume 10, Number 2 (2008), 227-256. (Euclid)

References

The original articles that define associahedra and in which the operad KK that gives A()A(\infty)-topological spaces is implicit are

  • Jim Stasheff, Homotopy associativity of H-spaces I, Trans. Amer. Math. Soc. 108 (1963), 275–312. (web)

  • Jim Stasheff, Homotopy associativity of H-spaces II, Trans. Amer. Math. Soc. 108 (1963), 293–312. (web)

A textbook discussion (slightly modified) is in section 1.6 of the book

Further explanations and references are collected at

category: combinatorics

Revised on May 9, 2014 06:18:04 by Urs Schreiber (217.39.7.253)