Not signed in (Sign In)

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory kan lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 16th 2010

    simple definition at adjoint action

    • 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 AA?

    So the claim is that every AA-dual-algebra UU gives a functor

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

    using for each AA-algebra VV that Lie algebra structure on UVU \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!

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)