Skip to main content
Changed "it's" to "its" in title.
Link
gowers
  • 29k
  • 29
  • 145
  • 182

Resolution of a free lie algebra as a module over it'sits universal enveloping algebra.

added 129 characters in body
Source Link
Don Stanley
  • 1.4k
  • 11
  • 13

Let $L=L(V)$ be a free Lie algebra on a vector space $V$ and $A=T(V)$ the tensor algebra. Make $L$ into a module over $A$ consistent with the formula $a\cdot \alpha=[a,\alpha]$ for $a\in V$ and $\alpha\in L$.

What is a canonical resolution of $L$ by free $A$ modules? I'm really most interested in the case where there is a grading and a differential.

Edited:

After thinking I realize there is the bar construction $B(A,A,L)$. Is there anything smaller in this special case?

Let $L=L(V)$ be a free Lie algebra on a vector space $V$ and $A=T(V)$ the tensor algebra. Make $L$ into a module over $A$ consistent with the formula $a\cdot \alpha=[a,\alpha]$ for $a\in V$ and $\alpha\in L$.

What is a canonical resolution of $L$ by free $A$ modules? I'm really most interested in the case where there is a grading and a differential.

Let $L=L(V)$ be a free Lie algebra on a vector space $V$ and $A=T(V)$ the tensor algebra. Make $L$ into a module over $A$ consistent with the formula $a\cdot \alpha=[a,\alpha]$ for $a\in V$ and $\alpha\in L$.

What is a canonical resolution of $L$ by free $A$ modules? I'm really most interested in the case where there is a grading and a differential.

Edited:

After thinking I realize there is the bar construction $B(A,A,L)$. Is there anything smaller in this special case?

Source Link
Don Stanley
  • 1.4k
  • 11
  • 13

Resolution of a free lie algebra as a module over it's universal enveloping algebra.

Let $L=L(V)$ be a free Lie algebra on a vector space $V$ and $A=T(V)$ the tensor algebra. Make $L$ into a module over $A$ consistent with the formula $a\cdot \alpha=[a,\alpha]$ for $a\in V$ and $\alpha\in L$.

What is a canonical resolution of $L$ by free $A$ modules? I'm really most interested in the case where there is a grading and a differential.