Misplaced Pages

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.

Definition à la Ginzburg–Kapranov

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.

Koszul-Dual

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

Notes

1. Ginzburg & Kapranov 1994, § 1.3.9.

References

• 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

External links

• 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 Misplaced Pages by expanding it.

• v
• t
• e

• Abstract algebra
• Category theory
• Algebra stubs