Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group 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 integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics 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 superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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.
    • CommentAuthorzskoda
    • CommentTimeNov 13th 2012
    • (edited Nov 13th 2012)

    In a collaborative work at Institute Ruđer Bošković in Zagreb, which will come out as a preprint soon, we are working on a certain noncommutative Hopf algebroid over a noncommutative base coming from Lie algebra theory. I gave a seminar talk about it in mathematics department in Zagreb and got a remark that our approach is too much coordinate based and that it would be desirable to have this work done using coordinate free approach. I came to a one month visit at l’IHÉS and soon realized that in dual language I can tell the story geometrically, though I still do not know how to prove some of the claims without algebraic coordinate-involving stuff which we had before.

    So, a Hopf algebroid is made out of a left bialgebroid, right bialgebroid and an antipode map between them.The left and right bialgebroid have the same underlying algebra, but are different as bimodules and corings. I will leave the discussion of the antipode for another post and here sketch how I geometrically arrive at a left bialgebroid.

    So let GG be a Lie group with Lie algebra 𝔤\mathfrak{g} which can be realized as 𝔤 L\mathfrak{g}^L, the Lie algebra of left invariant vector fields or the Lie algebra 𝔤 R\mathfrak{g}^R, the Lie algebra of right invariant vector fields; specialization of those vector fields at the unit element eGe\in G gives the isomorphism of vector spaces with the tangent space T eGT_e G. The universal enveloping algebra U(𝔤)U(\mathfrak{g}) can be realized also as the algebra of left invariant differential operators U(𝔤 L)U(\mathfrak{g}^L) and as U(𝔤 R)U(\mathfrak{g}^R). Consider now the algebra H L=Diff ωH^L = Diff^\omega of formal differential operators at ee. That means that you allow finite sums of partial derivatives to any finite order with coefficients which are formal functions, i.e. function supported on an infinitesimal neighborhood of unit element. The usual algebra of (global) differential operators Diff(G)Diff(G) (which contains U(𝔤 L)U(\mathfrak{g}^L) and U(𝔤 R)U(\mathfrak{g}^R)) is naturally embedded in Diff ωDiff^\omega, hence it also contains U(𝔤 L)U(\mathfrak{g}^L) and U(𝔤 R)U(\mathfrak{g}^R). furthermore the images of the left and right copy of the U(𝔤)U(\mathfrak{g}) mutually commute, what is very important for our story.

    Thus we have two maps of U(𝔤)U(\mathfrak{g}) into 𝒳 ω\mathcal{X}^\omega, namely

    Diff ωαU(𝔤)βDiff ω Diff^\omega \stackrel\alpha\leftarrow U(\mathfrak{g}) \stackrel\beta\rightarrow Diff^\omega

    Here α\alpha is defined as extension from the vector fields as a homomorphism of associative algebras, while β\beta as antihomomorphism of associative algebras.

    If we choose a basis in 𝔤\mathfrak{g}, i.e. we have a frame in 𝔤\mathfrak{g}, then we can consider two images in ΓTG\Gamma \mathcal{F} T G, that is a section of the frame bundle of the tangent bundle: every element of the basis goes into the corresponding left or right invariant vector field. Thus there are also two maps

    ΓTGα𝔤βΓTG \Gamma \mathcal{F} T G \stackrel{\mathcal{F}\alpha}\leftarrow \mathfrak{g} \stackrel{\mathcal{F}\beta}\rightarrow \Gamma \mathcal{F} T G

    corresponding to the frames by left and right invariant vector fields. Both maps are analytic and the image is the section of a principal GL nGL_n-bundle, hence the difference is a matrix of analytic function on GG. Better to say, if τ\tau is the translation map of the principal bundle then τ(α(fr),β(fr))=:𝒪 1(fr)\tau(\alpha(fr),\beta(fr)) =: \mathcal{O}^{-1}(fr) (for a frame fr) defines some invertible matrix 𝒪\mathcal{O} of analytic functions on GG. Of course, by the functoriality, this translation matrix does not depend on the choice of frame. We can compute this matrix in a neighborhood of unit element, and I will explain some concrete formula in a later post.

    To be continued…

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeNov 13th 2012
    • (edited Nov 13th 2012)

    The space of formal power series is dual to the space of polynomials. This generalizes here. The vector space S ωS^\omega of formal functions at unit element of a Lie group GG is a dual to U(𝔤 L)U(\mathfrak{g}^L); indeed act by an left invariant differential operator at unit element and one gets a pairing. This is nondegenerate, as one can easily check for abelian case, and it holds also for nonabelian 𝔤\mathfrak{g}.

    The algebra S ωS^\omega has an adic filtration, hence it is a topological algebra. It inherits a coproduct by dualizing the product from U(𝔤 L)U(\mathfrak{g}^L) (transpose operator). The coproduct is of course into the completed tensor product Δ:S ωS ω^S ω\Delta: S^\omega\to S^\omega\hat\otimes S^\omega. As the product in U(𝔤)U(\mathfrak{g}) is noncommutative, this coproduct is also noncommutative, in general.

    There is, furthermore, a black action \blacktriangleright of S ωS^\omega on U(𝔤 L)U(\mathfrak{g}^L) given by the formula

    Du^=D,u^ (2)u^ (1) D \blacktriangleright \hat{u} = \sum \langle D, \hat{u}_{(2)} \rangle \hat{u}_{(1)}

    where Δ U(𝔤)(u)=u (1)u (2)\Delta_{U(\mathfrak{g})} (u) = \sum u_{(1)}\otimes u_{(2)} is the Sweedler notation for the classical, undeformed coproduct on the enveloping algebra and ,\langle,\rangle is the pairing explained above. We can extend the black action to an action of Diff ωDiff^\omega on U(𝔤 L)U(\mathfrak{g}^L) by defining it as usual multiplication for U(𝔤 L)U(\mathfrak{g}^L)-factors in Diff ωDiff^\omega. There is a similar action \blacktriangleleft of U(𝔤 R)U(\mathfrak{g}^R) on Diff ωDiff^\omega. Both black actions are Hopf actions, when restricted to DD in S ωS^\omega, i.e. D(uv)=(D (1)u)(D (2)v)D\blacktriangleright( u v) = \sum (D_{(1)}\blacktriangleright u)(D_{(2)}\blacktriangleright v), where the coproduct used is the topological coproduct dual to the universal algebra product (also in Sweedler notation).

    Now the idea is that one would like to extend the coproduct Δ\Delta from S ωS^\omega to the whole Diff ωDiff^\omega in such a way that D(uv)=(D (1)u)(D (2)v)D\blacktriangleright(u v) = \sum (D_{(1)}\blacktriangleright u)(D_{(2)}\blacktriangleright v) would hold for every DDiff ωD\in Diff^\omega. As the black action of U(𝔤 L)U(\mathfrak{g}^L) on itself is simply the multiplication then we must have Δ(u)=u1\Delta(u) = u\otimes 1 for any uU(𝔤 L)u \in U(\mathfrak{g}^L).

    In fact this task of defining the topological coproduct of that kind on the whole Diff ωDiff^\omega is impossible when the completed tensor product is over the ground field. But it will be possible over U(𝔤 L)U(\mathfrak{g}^L). Namely, Diff ωDiff^\omega is a U(𝔤 L)U(\mathfrak{g}^L)-bimodule via u.d.v=α(u)β(v)du.d.v = \alpha(u)\beta(v) d where α\alpha and β\beta were defined before.

    Then we consider the tensor product Diff ω U(𝔤)Diff ω=Diff ω RDiff ω/I RDiff^\omega \otimes_{U(\mathfrak{g})} Diff^\omega = Diff^\omega \otimes_{\mathbf{R}} Diff^\omega/ I_R where I RI_R is the smallest right ideal containing all elements of the form β(u)11α(u)\beta(u)\otimes 1 - 1\otimes\alpha(u) in Diff ω RDiff ωDiff^\omega \otimes_{\mathbf{R}} Diff^\omega.

    This tensor product is not an algebra, but only a U(𝔤 L)U(\mathfrak{g}^L)-bimodule. It can be viewed as certain coend.

    In fact there is a subalgebra inside, so called Takeuchi product which is by its definition an algebra with respect to the factorwise (i.e. induced from product on tensor factors) product, and it is morally the subset for which I RI_R behaves as a two sided ideal. This is an end of a coend.

    It appears that Δ\Delta is well defined by the above rules when quotienting by I RI_R; furthermore its image is in the Takeuchi product and that corestriction is a homomorphism of algebras! This coproduct is counital in the usual sense, which is furthermore a left character of Diff ωDiff^\omega as the U(𝔤 L)U(\mathfrak{g}^L)-ring.

    This way, Diff ωDiff^\omega is an algebra equipped with source homomorphism α\alpha and target antihomomorphism β\beta from U(𝔤 L)U(\mathfrak{g}^L) whose full images commute; it is a coring in the sense of a counital coproduct in the sense of bimodule structure induced by multiplication by those source and target maps from the left. Furthermore, the coproduct corestricts to the Takeuchi product as an algebra homomorphism. This all together makes a left bialgebroid structure.

    Similarly one makes a right bialgebroid structure from right action and over U(𝔤 R)U(\mathfrak{g}^R) and with source and target maps on the right. There is an antipode map from left to right bialgebroid which has a number of properties. The square of the antipode map is not the identity! Furthermore various expressions and calculations here involve very importantly passages between α\alpha and β\beta which on generators mean passage from left to right vector fields, hence using matrix 𝒪\mathcal{O} from the principal bundle explained in 1. The version of Hopf algebroid axioms is due Gabi Bohm and it is equivalent to the one in the work of Day and Street.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeNov 13th 2012
    • (edited Nov 20th 2012)

    The structure of DiffDiff is a structure of a Hopf smash product, in fact it is the Heisenberg double over U(𝔤)U(\mathfrak{g}), what is close to a statement I proved in a recent paper of mine (in dual, different, algebraic formulation):

    (There is another action, the white action of U(𝔤 L)U(\mathfrak{g}^L) on S fS_f (basically coming from the usual Fock space action) and the usual semicompleted Weyl algebra structure which can also be used for various purposes here, including for defining a dual smash product structure, which gives however the same topological algebra. )

    There is a known structure of a Hopf algebroid on a Heisenberg double of any finite-dimensional Hopf algebra. The construction basically passes to the adic completions like here and is due to Lu’s 1994 work. However her notion of a Hopf algebroid is quite noncanonical, and nonsymmetric, while Gabi Bohm’s notion is symmetric and our construction is itself manifestly symmetric (left vs, right vector fields, and left and right actions in the story). Lu has one bialgebroid and the antipode defined in terms of it. Lu’s antipode treats differently source and target maps. However her construction is superimposable to ours; but her formula for β\beta looks different. It is in terms two copies of a canonical element in U(𝔤)^U(𝔤) *U(\mathfrak{g})\hat\otimes U(\mathfrak{g})^*. One has kind of twisting with those two copies is equivalent to our passage from left to right vector field,. Fortunately, I can compute such a procedure in coordinates given by the exponential map (zoranskoda) on the Lie group. One gets a very interesting identity

    I,J(1) |J|I!J!e(x I)x^ ae(x J) J+I= b=1 nx^ b(e 𝒞) a b \sum_{I, J} \frac{(-1)^{|J|}}{I! J!} e(x_I) \hat{x}_a e(x_J) \otimes \partial^{J+I} = \sum_{b =1}^n \hat{x}_b \otimes (e^{-\mathcal{C}})^b_a

    where ee is the coexponential map (symmetrization map Sym(𝔤)U(𝔤)Sym(\mathfrak{g})\to U(\mathfrak{g})), and its many generalizations This particular formula (and, in particular, the notation in it) is explained to some extent in formula for beta (zoranskoda). Edit: this case of the formula can be proved directly using Hadamard formula in U(𝔤)[[]]U(\mathfrak{g})[[\partial]].

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeNov 14th 2012
    • (edited Nov 14th 2012)

    The algebra Diff ωDiff^\omega has a structure of a left bialgebroid H LH^L over U(𝔤 L)U(\mathfrak{g}^L) and a structure of a right bialgebroid over U(𝔤 R) opU(\mathfrak{g}^R)^{op}. One of the axioms of Hopf algebroid says that if 𝒮:Diff ωDiff ω\mathcal{S}:Diff^\omega\to Diff^\omega is the antipode map, then 𝒮β=α\mathcal{S}\circ \beta = \alpha.
    This shows that the antipode returns the right invariant differential operators into their left invariant counterparts. For formal functions, the antipode is simply the transpose (via the duality coming from the pairing) of the classical antipode map on the enveloping algebra. As Diff ωDiff^\omega is generated by S ωS^\omega and U(𝔤 L)U(\mathfrak{g}^L) then we can determine it on other elements by using the rule that 𝒮\mathcal{S} is the antihomomorphism of algebras. In particular, we infer the value of the antipode on left vector fields. For that, one writes for (frames) x^ R=𝒪 1x^ L\hat{x}^R = \mathcal{O}^{-1}\hat{x}^L uses that 𝒮\mathcal{S} is antihomomorphism of algebras, hence 𝒮(x^ L)=𝒮(x^ R)𝒮(𝒪 1)=x^ L𝒮(𝒪 1)\mathcal{S}(\hat{x}^L) = \mathcal{S}(\hat{x}^R) \mathcal{S}(\mathcal{O}^{-1}) = \hat{x}^L \mathcal{S}(\mathcal{O}^{-1}). Thus, it is important to compute with 𝒪\mathcal{O}.

    On the other hand, one has to prove that the antipode is well defined by these rules. For this one notices that it is well defined within S ωS^\omega and U(𝔤 R)U(\mathfrak{g}^R), while the whole algebra is the smash product of the two. This can be viewed as a free product modulo additional relations coming from the Leibniz rule on generators. I will show the details later but basically a commutator gives a formal function. One pairs that formal function with an arbitrary element in U(𝔤 R)U(\mathfrak{g}^R). Then one applies the antipode to the quadratic expression and can alternatively transfer the antipode to the other side of the pairing, which is still arbitrary because SS is bijective on U(𝔤)U(\mathfrak{g}). Thus the relations are preserved under SS and hence well defined on the quotient.

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 14th 2012

    Looks good, but I can’t make any knowledgeable comments

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 14th 2012
    • (edited Nov 14th 2012)

    What’s the motivation? To find the Heisenberg double of U(𝔤)U(\mathfrak{g})?

    The text in #1 is all review, I gather. Also the first half of #2 is, right? The project starts, it seems, where in the middle of #2 you say

    Now the idea is that one would like to extend the coproduct Δ from S ωS^\omega to the whole Diff ωDiff^\omega

    Maybe you could say at that point why that is your idea now, what the goal is.

    A little further below you say

    It appears that Δ is well defined

    What does “it appears” mean here? It sounds like “conjectured but not yet proven”, is that what you mean to say?

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeNov 17th 2012
    • (edited Nov 18th 2012)

    Thank you very much for your comments. The 1 and beginning of 2 are indeed the story which is mostly obvious once formulated this way. The setup in which this Hopf algebroid structure was discovered is completely algebraic and the matrix 𝒪\mathcal{O} and other characters of the story are very nonobvious in that framework and all the proofs are coordinate dependent. Once formulated geometrically the construction of much of the structure is obvious, while the properties to make it Hopf algebroid are still not, and some proofs I still do not know in geometric language but only in coordinate dependent dual picture, with calculations involving very concrete commutators.

    To find the Heisenberg double of U(𝔤)U(\mathfrak{g})?

    No, the goal is to equip that (understood as an algebra) Heisenberg double with Hopf algebroid structure, which will be geometrically sound and will correspond to our further motivations, which include the appearance of a very interesting Drinfeld twist for that context (which is so far understood only in some examples of Lie algebras, and the general case is open: so any hint on an origin of it, would be real nice).

    Now the idea is that one would like to extend the coproduct Δ from S ωS^\omega to the whole Diff ωDiff^\omega

    Maybe you could say at that point why that is your idea now, what the goal is.

    This coproduct is the one which makes the U(𝔤)U(\mathfrak{g}) a Diff ωDiff^\omega module algebra (deformed Fock space) i.e. it gives the Leibniz rule for action on the products of elements in U(𝔤)U(\mathfrak{g}). This action appears in so many construction in the literature in which this is motivated (Amelino-Camelia, R. Szabo, J. Wess being some of the physics authors).

    What does “it appears” mean here? It sounds like “conjectured but not yet proven”, is that what you mean to say?

    I can translate the story in algebraic world where we have a rather intricate proofs for all of this, and predating this story with Diff ωDiff^\omega, which I made up last week to simplify the story and make it coordinate free as far as possible. Still there are things which are not clear even there. For example, the expressions of the form β(u)11α(u)\beta(u)\otimes 1 - 1\otimes \alpha(u), where uU(𝔤)u\in U(\mathfrak{g}) generate a right ideal in Doff ω RDiff ωDoff^\omega\otimes_{\mathbf{R}}Diff^\omega, which should be the same as the annihilator of U(𝔤)U(𝔤)U(\mathfrak{g})\otimes U(\mathfrak{g}) when acted with Diff ω RDiff ωDiff^\omega\otimes_{\mathbf{R}} Diff^\omega (as a tensor square of left deformed Fock module) and then multiplied. I do not know any proof, and we can avoid this to some extent, but it would be more naturally to develop the theory knowing this in the first place.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeNov 23rd 2012
    • (edited Nov 23rd 2012)

    Let me now post the argument why the coproduct Δ L:Diff ωDiff ω U(𝔤)Diff ω\Delta^L : Diff^\omega\to Diff^\omega\otimes_{U(\mathfrak{g})} Diff^\omega is in fact taking place in the Takeuchi’s product. First of all, the tensor product Diff ω U(𝔤)Diff ωDiff^\omega\otimes_{U(\mathfrak{g})}Diff^\omega is the tensor product Diff ω RDiff ωDiff^\omega\otimes_{\mathbf{R}} Diff^\omega quotiented by the ideal generated by all expressions of the form i=1 kβ(h^)s i Rt is i Rα(h^)t i\sum_{i=1}^k \beta(\hat{h}) s_i\otimes_{\mathbf{R}} t_i - s_i\otimes _{\mathbf{R}} \alpha(\hat{h}) t_i, where s i,t iDiff ωs_i, t_i\in Diff^\omega and h^U(𝔤 L)\hat{h}\in U(\mathfrak{g}^L). The image of Δ L\Delta^L is spanned by all expressions of the form (h^ A1)Δ L(P)=h^P (1) AP (2)(\hat{h} \otimes_A 1)\Delta^L(P) = \sum \hat{h} P_{(1)}\otimes_A P_{(2)} where h^U(𝔤 L)\hat{h}\in U(\mathfrak{g}^L) and PS ωP\in S^\omega. Now the key relation is

    β(h^)f^=f^α(h^) \beta(\hat{h}) \blacktriangleright \hat{f} = \hat{f}\cdot\alpha(\hat{h})

    for all h^,f^U(𝔤 L)\hat{h},\hat{f}\in U(\mathfrak{g}^L). This relation takes some effort to prove (I know the proof by a certain induction procedure in a dual language at this point, only).

    The ideal of the relations when quotienting Diff ω RDiff ωDiff^\omega\otimes_{\mathbf{R}}Diff^\omega to obtain Diff ω U(𝔤 L)Diff ωDiff^\omega\otimes_{U(\mathfrak{g}^L)}Diff^\omega above coincides with the joint annihilator of the map ab(af^)(bg^)a\otimes b\mapsto (a\blacktriangleright \hat{f})(b \blacktriangleright\hat{g}) from Diff ω RDiff ωDiff^\omega\otimes_{\mathbf{R}} Diff^\omega to U(𝔤 L)U(\mathfrak{g}^L). So we use the above relation to calculate (in Sweedler notation)

    ((P (1)β(h^))f^))(P (2)g^) = (P (1)(β(h^)f^)))(P (2)g^) = (P (1)(f^α(h^)))(P (2)g^) = (P (1)f^)(P (2)α(h^))(P (3)g^) = (P (1)f^)(P (2)(α(h^)g^))\array{ ((P_{(1)}\beta(\hat{h}))\blacktriangleright \hat{f}))(P_{(2)}\blacktriangleright\hat{g}) &=& (P_{(1)}\blacktriangleright (\beta(\hat{h})\blacktriangleright \hat{f})))(P_{(2)}\blacktriangleright\hat{g}) \\ &=&(P_{(1)}\blacktriangleright(\hat{f}\alpha(\hat{h})))(P_{(2)}\blacktriangleright\hat{g}) \\ &=& (P_{(1)}\blacktriangleright\hat{f})(P_{(2)}\blacktriangleright\alpha(\hat{h}))(P_{(3)}\blacktriangleright\hat{g}) \\ &=& (P_{(1)}\blacktriangleright\hat{f})(P_{(2)}\blacktriangleright(\alpha(\hat{h})\hat{g})) }

    hence P (1)β(h^)P (2)P (1)P (2)α(h^)\sum P_{(1)}\beta(\hat{h})\otimes P_{(2)} - P_{(1)}\otimes P_{(2)}\alpha(\hat{h}) is in the annihilator (hence the ideal) for all h^U(𝔤 L)\hat{h}\in U(\mathfrak{g}^L) and all PS ωP\in S^\omega.

    The general element in the image of Δ L\Delta^L is of the form Δ L(u^P)=u^P (1)P (2)\Delta^L(\hat{u} P) = \hat{u} P_{(1)}\otimes P_{(2)}, where u^U(𝔤)\hat{u}\in U(\mathfrak{g}) and PS ωP\in S^\omega, so we need also to look at the elements u^1\hat{u}\otimes 1 (then it is automatic for products as the Takeuchi product is closed under factorwise products). But there the argument is much easier: 0=β(h^)u^ U(𝔤)1u^α(h^)=β(h^)α(u^) U(𝔤)1α(u^) U(𝔤)α(h^)0 = \beta(\hat{h}) \hat{u}\otimes_{U(\mathfrak{g})} 1 - \hat{u} \otimes \alpha(\hat{h}) = \beta(\hat{h}) \alpha(\hat{u})\otimes_{U(\mathfrak{g})} 1 - \alpha(\hat{u}) \otimes_{U(\mathfrak{g})} \alpha(\hat{h}) what is equal to α(u^)β(h^) U(𝔤)1α(u^) U(𝔤)α(h^)=u^β(h^) U(𝔤)1u^ U(𝔤)α(h^)\alpha(\hat{u})\beta(\hat{h}) \otimes_{U(\mathfrak{g})} 1 - \alpha(\hat{u}) \otimes_{U(\mathfrak{g})} \alpha(\hat{h}) = \hat{u}\beta(\hat{h}) \otimes_{U(\mathfrak{g})} 1 - \hat{u} \otimes_{U(\mathfrak{g})} \alpha(\hat{h}), because the images of α\alpha and β\beta mutually commute (of course, here α(u^)=u^1=u^\alpha(\hat{u}) = \hat{u}\sharp 1 = \hat{u} using our identifications for the left bialgebroid).

    This means that the image of Δ L\Delta^L is within the Takeuchi product Diff ω× U(𝔤)Diff ωDiff ω U(𝔤)Diff ωDiff^\omega\times_{U(\mathfrak{g})} Diff^\omega \subset Diff^\omega\otimes_{U(\mathfrak{g})} Diff^\omega, as required.

    Of course, the proof of the fact that Δ L\Delta^L is homomorphism of algebras into the Takeuchi product is quite standard, as this property is shared with other known cases of smash product constructions of bialgebroids:

    Δ L((uP)(vQ))=Δ L(u(P (1)v)P (2)Q)=(u(P 1v)P (2)Q (1))(1P (3)Q (2)), \Delta^L((u\sharp P)(v\sharp Q)) = \Delta^L(u (P_{(1)}\blacktriangleright v) \sharp P_{(2)} Q) = (u(P_{1}\blacktriangleright v)\sharp P_{(2)} Q_{(1)}) \otimes (1\sharp P_{(3)}Q_{(2)}),

    where one used that Δ L| 1S ω=Δ S ω\Delta^L|_{1\sharp S^\omega} = \Delta_{S^\omega} is a homomorphism by the definition (this is used when applied to the P (2)QP_{(2)} Q factor).

    Δ L(uP)Δ L(vQ) = [(uP (1))(1P (2))][(vQ (1))(1Q (2))] = [(uP (1))(vQ (1))](1P (2)Q (2)) = (u(P (1)v)P (2)Q (1))(1P (3)Q (2)).\array{ \Delta^L(u\sharp P)\Delta^L(v\sharp Q) &=& [(u\sharp P_{(1)})\otimes(1\sharp P_{(2)})][(v\sharp Q_{(1)})\otimes(1\sharp Q_{(2)})] \\ &=& [(u\sharp P_{(1)})(v\sharp Q_{(1)})]\otimes (1\sharp P_{(2)} Q_{(2)})\\ &=& (u (P_{(1)}\blacktriangleright v)\sharp P_{(2)} Q_{(1)})\otimes(1\sharp P_{(3)} Q_{(2)}). }
    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeNov 26th 2012
    • (edited Nov 27th 2012)

    Let me comment the counitality. The counit of a left bialgebroid is ε:Diff ωU(𝔤 L)\epsilon: Diff^\omega\to U(\mathfrak{g}^L) and satisfies action(idε)Δ L=id=action(εid)Δ Laction \circ (id\otimes\epsilon) \circ \Delta^L = id = action \circ (\epsilon\otimes id) \circ\Delta^L where the actions are the actions of U(𝔤 L)U(\mathfrak{g}^L) on Diff ωDiff^\omega from the right and from the left respectively, hence are given by β\beta and α\alpha. Of course, the tensor product is over U 𝔤U_{\mathfrak{g}} so (ε U(𝔤)id)Δ L(\epsilon\otimes_{U(\mathfrak{g})} id)\Delta^L in fact implies the action (in other words, one uses the identification U(𝔤) U(𝔤)DIff ωDiff ωU(\mathfrak{g})\otimes_{U(\mathfrak{g})} DIff^\omega\cong Diff^\omega). On generators x^ μ𝔤U(𝔤 L)\hat{x}_\mu\in \mathfrak{g}\hookrightarrow U(\mathfrak{g}^L), we have Δ L(x^ μ)=x^ μ1=𝒪 μ νx^ νDiff ω U(𝔤)Diff ω\Delta^L(\hat{x}_\mu) = \hat{x}_\mu\otimes 1 = \mathcal{O}^\nu_\mu \otimes\hat{x}_\nu\in Diff^\omega\otimes_{U(\mathfrak{g})}Diff^\omega and we calculate (where we identify x^ μ\hat{x}_\mu with the corresponding left invariant vector field)

    rightaction(idε)(x^ μ1)=β(ε(1))x^ μ=x^ μ right action (id\otimes \epsilon) (\hat{x}_\mu\otimes 1) = \beta(\epsilon(1))\hat{x}_\mu = \hat{x}_\mu leftaction(εid)(x^ μ1)=α(ε(x^ μ))1=x^ μ left action(\epsilon\otimes id) (\hat{x}_\mu\otimes 1) = \alpha(\epsilon(\hat{x}_\mu))1 = \hat{x}_\mu rightaction(idε)(𝒪 μ νx^ ν)=β(ε(x^ ν))𝒪 μ ν=x^ λ(𝒪 1) ν λ𝒪 μ ν=x^ μ right action (id\otimes \epsilon) (\mathcal{O}^\nu_\mu\otimes\hat{x}_\nu) = \beta(\epsilon(\hat{x}_\nu))\mathcal{O}^\nu_\mu =\hat{x}_\lambda(\mathcal{O}^{-1})^\lambda_\nu\mathcal{O}^\nu_\mu = \hat{x}_\mu leftaction(εid)(𝒪 μ νx^ ν)=α(ε(𝒪 μ ν))x^ ν=α(δ μ ν1)x^ ν=x^ μ left action(\epsilon\otimes id) (\mathcal{O}^\nu_\mu\otimes\hat{x}_\nu) =\alpha(\epsilon(\mathcal{O}^\nu_\mu))\hat{x}_\nu = \alpha(\delta^\nu_\mu 1)\hat{x}_\nu = \hat{x}_\mu

    the counitality on S ωS^\omega part is clear, as the Δ L| S ω\Delta^L|_{S^\omega} is simply the composition S ωΔ S ωS ω RS ωDiff ω RDiff ωDiff ω U(𝔤 L)Diff ωS^\omega\stackrel{\Delta_{S^\omega}}\longrightarrow S^\omega\otimes_{\mathbf{R}} S^\omega\hookrightarrow Diff^\omega\otimes_{\mathbf{R}}Diff^\omega\to Diff^\omega\otimes_{U(\mathfrak{g}^L)}Diff^\omega hence clearly counital.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeAug 13th 2014
    • (edited Aug 13th 2014)

    I am close to finish two collaborative papers related to the picture above, with two different coauthors.

    There is an interesting thing that there is also a smaller Hopf algebroid inside, of very algebraic nature and without any completions in the tensor products or elsewhere. Namely, consider the matrix Hopf algebra Fun(GL(n))Fun(GL(n)) of regular functions on GL(n)GL(n), let G β αG^\alpha_\beta and (G 1) β α(G^{-1})^\alpha_\beta be the algebra generators (they play the role of 𝒪 β α\mathcal{O}^\alpha_\beta above), where G β α(A)=A β αG^\alpha_\beta(A) = A^\alpha_\beta. Let 𝔤\mathfrak{g} be an nn-dimensional Lie algebra. Then there is a unique Hopf action of Hopf algebra U(𝔤)U(\mathfrak{g}) on Fun(GL(n))Fun(GL(n)) extending the formula (as a map ϕ m:U(𝔤)End(Fun(GL(n)))\phi_m:U(\mathfrak{g})\to End(Fun(GL(n)))

    ϕ m(x^ ν)(G μ α)=C ρν αG ν ρ \phi_m(\hat{x}_\nu)(G^\alpha_\mu) = C^\alpha_{\rho\nu} G^\rho_\nu

    To get a right action, precompose with the antipode of U(𝔤)U(\mathfrak{g}). So, using the right Hopf action, we can form the smash product H m=U(𝔤)Fun(GL(n))H_m = U(\mathfrak{g})\sharp Fun(GL(n)) (here subscript mm stands for minimal). Define α m:U(𝔤)H m\alpha_m:U(\mathfrak{g})\to H_m by α(f^)=f^1\alpha(\hat{f}) = \hat{f}\sharp 1 and extend
    β m(x^ ν)=x^ ρ(G 1) ν ρ\beta_m(\hat{x}_\nu) = \hat{x}_\rho (G^{-1})^\rho_\nu to an antihomomorphism. I claim that H mH_m is a Hopf algebroid over U(𝔤)U(\mathfrak{g}) and that x^ νx^ ρ(G 1) ν ρ\hat{x}_\nu\mapsto \hat{x}_\rho\otimes (G^{-1})^\rho_\nu is a coaction which is part of a braided-commutative monoid structure on U(𝔤)U(\mathfrak{g}) in the category of left-right Fun(GL(n))Fun(GL(n))-Yetter-Drinfeld modules, the left module structure being defined more or less as before.

    All this structure is strictly inside the previous construction provided the structure constants are sufficiently nontrivial; otherwise some degeneration phenomena are possible.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeNov 23rd 2016
    • (edited Nov 23rd 2016)

    I have put one of the papers on the above topic (the one which is mostly in dual algebraic language) with today’s update at https://www.irb.hr/korisnici/zskoda/halgrev.pdf. It is accepted to Lett Math Phys and a version will soon be published online (with some typographical differences). The arxiv version has some details not quite correct, which were corrected in the above version only after arXiv posting from Oct 3, I will replace there as well once I got the final response from the proofs team so that I am sure that they do not catch additional things needing improvement.