Operad theory

From Wikipedia, the free encyclopedia

Operad theory is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already observed in algebras and coalgebras such as Lie algebras or Poisson algebras by modeling computational trees within the algebra. Algebras are to operads as group representations are to groups. Originating from work in algebraic topology by Boardman and Vogt, and J. Peter May (to whom their name is due), it has more recently found many applications, drawing for example on work by Maxim Kontsevich on graph homology.

An operad can be seen as a set of operations, each one having a fixed finite number of inputs (arguments) and one output, which can be composed one with others; it is a category-theoretic analog of universal algebra.

[edit] Definition

In category theory, an operad without permutations (sometimes called a non-symmetric, non- $Σ$ or plain operad) is a multicategory with one object. More explicitly, such an operad consists of

a sequence $(P(n))_{n\in\mathbb{N}}$ of sets, whose elements are called $n$ -ary operations,
for each integers $n$ , $k 1$ , ..., $k n$ a function

$\begin{matrix} P(n)\times P(k_1)\times\cdots\times P(k_n)&\to&P(k_1+\cdots+k_n)\\ (\theta,\theta_1,\ldots,\theta_n)&\mapsto&\theta\circ(\theta_1,\ldots,\theta_n) \end{matrix}$

called composition,

an element $1$ in $P (1)$ called the identity,

satisfying the following coherence properties

associativity:

$\theta\circ(\theta_1\circ(\theta_{1,1},\ldots,\theta_{1,k_1}),\ldots,\theta_n\circ(\theta_{n,1},\ldots,\theta_{n,k_n})) = (\theta\circ(\theta_1,\ldots,\theta_n))\circ(\theta_{1,1},\ldots,\theta_{1,k_1},\ldots,\theta_{n,1},\ldots,\theta_{n,k_n})$

identity:

$\theta\circ(1,\ldots,1)=\theta=1\circ\theta$ (where the number of arguments correspond to the arities of the operations).

A morphism of operads $f:P\to Q$ consists of a sequence

$(f_n:P(n)\to Q(n))_{n\in\mathbb{N}}$

which

preserves composition: for every n-ary operation $θ$ and operations $θ 1$ , ..., $θ n$ ,

$f(\theta\circ(\theta_1,\ldots,\theta_n)) = f(\theta)\circ(f(\theta_1),\ldots,f(\theta_n))$

preserves identity:

f (1) = 1

.

Operads were originally defined topologically, by May, but his full definition requires symmetric group actions on the $P (n)$ that are suitably related to the maps $θ n$ . The permutation actions are additional structure that is vital to the original and most later applications.

[edit] Axiom of associativity

"Associativity" means that composition of operations is associative (the function $\circ$ is associative), analogous to the axiom in category theory that $f \circ (g \circ h) = (f \circ g) \circ h$ ; it does not mean that the operations themselves are associative as operations. Compare with the associative operad, below.

Associativity in operad theory means that one can write expressions involving operations without ambiguity from the omitted compositions, just as associativity for operations allows one to write products without ambiguity from the omitted parentheses.

For instance, suppose that $θ$ is a binary operation, which we write as $θ(a, b)$ or $(a b)$ – $θ$ may or may not be associative.

Then what is commonly written $((a b) c)$ is unambiguously written operadically as $\theta \circ (\theta,1)$ : $(θ,1)$ sends $(a, b, c)$ to $(a b, c)$ (apply $θ$ on the first two, and the identity on the third), and then the $θ$ on the left "multiplies" $a b$ by $c$ . This is clearer as a tree:

a b  c                                    a b c
 θ   1   which yields a 3-ary operation    \|/
ab   c                                      |
   θ                                        |
 (ab)c                                    (ab)c

However, the expression $(((a b) c) d)$ is a priori ambiguous: it could mean $\theta \circ ((\theta,1) \circ ((\theta,1),1))$ , if you do the inner composition first, or it could mean $(\theta \circ (\theta,1)) \circ ((\theta,1),1)$ , if you do the outer composition first – remember to read from right to left. Writing $x = θ, y = (θ,1), z = ((θ,1),1)$ , this is $x \circ (y \circ z)$ versus $(x \circ y) \circ z$ . That is, the tree is missing "vertical parentheses":

a b  c  d
 θ   1  1
ab   c  d
   θ    1
 (ab)c  d
      θ
 ((ab)c)d

If one composes the top two rows of operations first (puts an upward parenthesis at the $(ab)c\ \ d$ line; does the inner composition first), one obtains:

 a b  c  d
θo(θ,1)  1
  (ab)c  d
       θ
  ((ab)c)d

...which then evaluates unambiguously to yield a 4-ary operation. As an annotated expression:

$\theta_{(ab)c\cdot d} \circ ((\theta_{ab \cdot c},1_d) \circ ((\theta_{a\cdot b},1_c),1_d))$

If one composes the bottom two rows of operations first (puts a downward parenthesis at the $ab\quad c\ \ d$ line; does the outer composition first), one obtains:

 a b  c  d
  θ   1  1
 ab   c  d
  θo(1,θ)
  ((ab)c)d

...which then evaluates unambiguously to yield a 4-ary operation.

The operad axiom of associativity is that these yield the same result, and thus that the expression $(((a b) c) d)$ is unambiguous.

[edit] Axiom of identity

The axiom of identity (for a binary operation) can be visualized in a tree as:

a b     a b     a b
1 1              θ
a b  =   θ   =  ab
 θ               1
ab      ab      ab

...meaning that the 3 operations obtained are equal: pre or post composing with the identity makes no difference.

Note that, as for categories, $1 \circ 1 = 1$ is a corollary of the axiom of identity.

[edit] Examples

Operadic composition in the little 2-discs operad.

Operadic composition in the operad of symmetries.

One class of examples of operads are those capturing the structures of algebraic structures, such as associative algebras, commutative algebras and Lie algebras. Each of these can be exhibited as a finitely presented operad, in each of these three generated by binary operations.

[edit] "Little something" operads

A little discs operad or, little balls operad or, more specifically, the little n-discs operad is a topological operad defined in terms of configurations of disjoint n-dimensional discs inside a unit n-disc centered in the origin of Rⁿ. The operadic composition for little 2-discs is illustrated in the figure.^[1]

Originally the little n-cubes operad or the little intervals operad (initially called little n-cubes PROPs) was defined by Michael Boardman and Rainer Vogt in a similar way, in terms of configurations of disjoint axis-aligned n-dimensional hypercubes (n-dimensional intervals) inside the unit hypercube.^[2] Later it was generalized by May^[3] to little convex bodies operad, and "little discs" is a case of "folklore" derived from the "little convex bodies".^[4]

[edit] Associative operad

Thus, the associative operad is generated by a binary operation $ψ$ , subject to the condition that

$\psi\circ(\psi,1)=\psi\circ(1,\psi).$

This condition does correspond to associativity of the binary operation $ψ$ ; writing $ψ(a, b)$ multiplicatively, the above condition is $(a b) c = a (b c)$ . This associativity of the operation should not be confused with associativity of composition; see the axiom of associativity, above.

This operad is terminal in the category of non-symmetric operads, as it has exactly one n-ary operation for each n, corresponding to the unambiguous product of n terms: $x_1 \dotsb x_n$ . For this reason, it is sometimes written as 1 by category theorists (by analogy with the one-point set, which is terminal in the category of sets).

[edit] Terminal symmetric operad

The terminal symmetric operad is the operad whose algebras are commutative monoids, which also has one n-ary operation for each n, with each $S n$ acting trivially; this triviality corresponds to commutativity, and whose n-ary operation is the unambiguous product of n-terms, where order does not matter:

$x_1 \dotsb x_n = x_{\sigma(1)} \dotsb x_{\sigma(n)}$

for any permutation $\sigma \in S_n$ .

[edit] Operads in topology

In many examples the $P (n)$ are not just sets but rather topological spaces. Some names of important examples are the little n-disks, little n-cubes, and linear isometries operads. The idea behind the little n-disks operad comes from homotopy theory, and the idea is that an element of $P (n)$ is an arrangement of n disks within the unit disk. Now, the identity is the unit disk as a subdisk of itself, and composition of arrangements is by scaling the unit disk down into the disk that corresponds to the slot in the composition, and inserting the scaled contents there.

[edit] Operads from the symmetric and braid groups

There is an operad for which each $P (n)$ is given by the symmetric group $S n$ . The composite $\sigma \circ (\tau_1, \dots, \tau_n)$ permutes its inputs in blocks according to $σ$ , and within blocks according to the appropriate $τ i$ . Similarly, there is an operad for which each $P (n)$ is given by the Artin braid group $B n$ .

[edit] Origins of the term

The word "operad" was also created by May as a portmanteau of "operations" and "monad" (and also because his mother was an opera singer). Regarding its creation, he wrote: "The name 'operad' is a word that I coined myself, spending a week thinking of nothing else." (http://www.math.uchicago.edu/~may/PAPERS/mayi.pdf Page 2)

[edit] See also

PRO (category theory)

[edit] Notes

^ Giovanni Giachetta, Luigi Mangiarotti, Gennadi Sardanashvily (2005) Geometric and Algebraic Topological Methods in Quantum Mechanics, ISBN 9812561293, pp. 474,475
^ Axiomatic, Enriched and Motivic Homotopy Theory by J. P. C. Greenlees (2004) ISBN 1402018347, pp. 154-156
^ J. P. May, "Infinite loop space theory", Bull. Amer. Math. Soc. 83 (1977), 456–494.
^ Jim Stasheff, "Grafting Boardman's Cherry Trees to Quantum Field Theory", 31 March 1998, arΧiv:math/9803156v1

[edit] References

Boardman, J. M.; Vogt, R. M. (1973), Homotopy Invariant Algebraic Structures on Topological Spaces, Lecture Notes in Mathematics, 347, Springer-Verlag, ISBN 3540064796 .

Tom Leinster (2004). Higher Operads, Higher Categories. Cambridge University Press. ISBN 0521532159. http://www.maths.gla.ac.uk/~tl/book.html.

Martin Markl, Steve Shnider, Jim Stasheff (2002). Operads in Algebra, Topology and Physics. American Mathematical Society. ISBN 0821843621. http://www.ams.org/bookstore?fn=20&arg1=survseries&item=SURV-96.

J. P. May (1972). The Geometry of Iterated Loop Spaces. Springer-Verlag. ISBN 3540059040. http://www.math.uchicago.edu/~may/BOOKSMaster.html.

Stasheff, Jim (June/July 2004). "What Is...an Operad?" (PDF). Notices of the American Mathematical Society 51 (6): pp.630–631. http://www.ams.org/notices/200406/what-is.pdf. Retrieved on 17 January 2008.

[0] Giovanni Giachetta, Luigi Mangiarotti, Gennadi Sardanashvily (2005) Geometric and Algebraic Topological Methods in Quantum Mechanics, ISBN 9812561293, pp. 474,475

[1] Axiomatic, Enriched and Motivic Homotopy Theory by J. P. C. Greenlees (2004) ISBN 1402018347, pp. 154-156

[2] J. P. May, "Infinite loop space theory", Bull. Amer. Math. Soc. 83 (1977), 456–494.

[3] Jim Stasheff, "Grafting Boardman's Cherry Trees to Quantum Field Theory", 31 March 1998, arΧiv:math/9803156v1

[1]

[2]

[3]

[4]

Operad theory

From Wikipedia, the free encyclopedia

Contents

[edit] Definition

[edit] Axiom of associativity

[edit] Axiom of identity

[edit] Examples

[edit] "Little something" operads

[edit] Associative operad

[edit] Terminal symmetric operad

[edit] Operads in topology

[edit] Operads from the symmetric and braid groups

[edit] Origins of the term

[edit] See also

[edit] Notes

[edit] References

Views

Personal tools

Navigation

Search

Interaction

Toolbox

Languages