Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeSep 16th 2010

• CommentRowNumber2.
• CommentAuthorzskoda
• CommentTimeSep 16th 2010

I added a section about adjoint action for Hopf algebras. One could list many other flavours, like for Leibniz algebras, Lie algebroids and so on.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeSep 16th 2010

okay, thanks. Maybe later we can add some more general abstract stuff that makes manifest how all this is just different aspects of the same thing.

For the time being I instead just added also the adjoint action of a Lie algebra on itself, just for completeness.

• CommentRowNumber4.
• CommentAuthorzskoda
• CommentTimeSep 16th 2010
• (edited Sep 16th 2010)

we can add some more general abstract stuff that makes manifest how all this is just different aspects of the same thing

Well for adjoint action you need to have some sort of inverse. So for things like Lie groupoids, Lie algebroids etc. the thing is obvious and worthy to record and discuss, and for Hopf algebras not much more difficult.

However, for quantum groupoids/noncommutative Hopf algebroids the antipode is not really a good concept, unlike for Hopf algebroids over commutative base and all the subtleties about categorical dualities, autonomous property etc. come into play. So this may be the difficult and true research task to unify.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeSep 16th 2010

However, for quantum groupoids/noncommutative Hopf algebroids

I think I know how to do adjoint action of $\infty$-Lie algebroids on themselves. And I am still hoping we can understand quantum groups/quantum groupoids as equivalent re-encoding of certian Lie 2-algebras or the like. But not sure.

• CommentRowNumber6.
• CommentAuthorzskoda
• CommentTimeSep 16th 2010

The jump from Hopf algebras to general Hopf algebroids over a noncommutative base is rather huge. While Drinfeld-Jimbo quantum groups are well connected to Lie theory general Hopf algebras and more general Hopf algebroids are way far. There is categorical understanding of quantum groiupoids in a famous article of Street and Day on monoidal bicategories and Hopf algebroids.

• CommentRowNumber7.
• CommentAuthorzskoda
• CommentTimeSep 16th 2010

But there is an interesting remark which I do not understand in Kontsevich’s old article on Formal (non)commutative symplectic geometry, pdf. He is not yet using the lingo of “Koszul duality for operads” which exactly that paper motivated; but somewhere when he says that one can do kind of Lie calculus for various kinds of algebras, that

Another quite different aspect of duality is a kind of Lie theory. On the tensor product V ⊗ U of A-algebra V and A-dual-algebra U there is a canonical structure of Lie algebra. Category of A-dual-algebras is (more or less) equivalent to the category of functors {A-algebras} → {Lie algebras} preserving limits. At the moment we don’t understand why the homotopy theory gives the same duality as the Lie theory.

So can somebody explain to me the statement

Category of A-dual-algebras is (more or less) equivalent to the category of functors {A-algebras} → {Lie algebras} preserving limits.

• CommentRowNumber8.
• CommentAuthorUrs
• CommentTimeSep 18th 2010

So can somebody explain to me the statement

By the way, am I guessing right that “A-dual-algeba” means an algebra over the dual of the noncommutsative ring $A$?

So the claim is that every $A$-dual-algebra $U$ gives a functor

$U \otimes (-) : A-Algebras \to LieAlgebras$

using for each $A$-algebra $V$ that Lie algebra structure on $U \otimes V$.

Next the claim is that this functor preserves limits (maybe finite ones?) and that every functor which preserves limits is of this form.

• CommentRowNumber9.
• CommentAuthorzskoda
• CommentTimeSep 20th 2010
• (edited Sep 20th 2010)

I do not know what do you mean about "dual of a noncommutative ring", but there is no discussion of noncommutativity particularly here, or rings in particular: the algebra is here in the sense of algebra over a dg-operad (I have put the pdf link above in 7!) so dg-algebra, dg-Lie algebra etc. are examples and the corresponding homotopy algebras are considered in order to create the calculus. The duality is probably the Koszul duality for dg-operads, but the statement is still misterious to me. The Koszul dual of a commutative algebra operad is the Lie algebra operad, cf. comparing Chevalley-Eilenberg cochain complex with the Lie algebra. Now instead of working complicated version of Lie theory for each case, the alluded fact (what does it mean "more or less true" here ?) seems to simplify and reduce other cases of Lie theory (hence maybe of integration) somehow to Lie theory in a category of functors. This is my guess, but I want that somebody tells me exactly what is going on.

• CommentRowNumber10.
• CommentAuthorUrs
• CommentTimeSep 20th 2010

“dual of a noncommutative ring”

I meant the opposite ring!

The duality is probably the Koszul duality for dg-operads

Oh, i completely missed that bit.

• CommentRowNumber11.
• CommentAuthorTobyBartels
• CommentTimeSep 20th 2010

I’ve just written opposite ring, in case it is relevant and somebody wants to link to it. And if it’s not relevant, it’s still there!

• CommentRowNumber12.
• CommentAuthorUrs
• CommentTimeJan 26th 2021

I noticed that unqualified conjugation redirects here, without disambiguation. Maybe we should have a disambigation page for this, but for the moment I added the following line to the top of this entry:

This entry is about conjugation in the sense of adjoint actions, as in forming conjugacy classes. For conjugation in the sense of anti-involutions on star algebras see at complex conjugation.

Of course, in writing this, I noticed that complex conjugation does nothing but redirect to complex numbers. This ought to be changed…

• CommentRowNumber13.
• CommentAuthorUrs
• CommentTimeJul 4th 2021
• (edited Jul 4th 2021)

added a section “Definition – Of a simplicial group on itself” (here) with an expanded pointer to the new material at free loop space of classifying space