Lie operad

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Lie operad" – news · newspapers · books · scholar · JSTOR (May 2024)

This article includes inline citations, but they are not properly formatted. Please improve this article by correcting them. (May 2024) (Learn how and when to remove this message)

In mathematics, the Lie operad is an operad whose algebras are Lie algebras. The notion (at least one version) was introduced by Ginzburg & Kapranov (1994) in their formulation of Koszul duality.

Fix a base field k and let ${\displaystyle {\mathcal {Lie}}(x_{1},\dots ,x_{n})}$ denote the free Lie algebra over k with generators ${\displaystyle x_{1},\dots ,x_{n}}$ and ${\displaystyle {\mathcal {Lie}}(n)\subset {\mathcal {Lie}}(x_{1},\dots ,x_{n})}$ the subspace spanned by all the bracket monomials containing each ${\displaystyle x_{i}}$ exactly once. The symmetric group ${\displaystyle S_{n}}$ acts on ${\displaystyle {\mathcal {Lie}}(x_{1},\dots ,x_{n})}$ by permutations of the generators and, under that action, ${\displaystyle {\mathcal {Lie}}(n)}$ is invariant. The operadic composition is given by substituting expressions (with renumbered variables) for variables. Then, ${\displaystyle {\mathcal {Lie}}=\{{\mathcal {Lie}}(n)\}}$ is an operad.^[1]

The Koszul-dual of ${\displaystyle {\mathcal {Lie}}}$ is the commutative-ring operad, an operad whose algebras are the commutative rings over k.

• Ginzburg, Victor; Kapranov, Mikhail (1994), "Koszul duality for operads", Duke Mathematical Journal, 76 (1): 203–272, doi:10.1215/S0012-7094-94-07608-4, MR 1301191

• Todd Trimble, Notes on operads and the Lie operad
• https://ncatlab.org/nlab/show/Lie+operad

This algebra-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e