Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeApr 7th 2013
   • (edited Apr 7th 2013)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI gave the stub-entry _[[Hopf algebroid]]_ a paragraph in the Idea-section that points out that already in commutative geometry there are two different kinds of Hopf algebroids associated with a groupoid (just as there are two versions of Hopf algebras associated with a group): 1. The commutative but non-co-commutative structure obtained by forming ordinary function algebras on objects and morphisms; 1. The non-commutative but co-commutative structure obtained by forming the groupoid convolution algebra. For the moment I left the rest of the entry (which vaguely mentions commutative and non-commutative versions without putting them in relation) untouched, but I labelled the whole entry "under constructions", since I think this issue needs to be discussed more for the entry not to be misleading. I may find time to get back to this later...

   I gave the stub-entry Hopf algebroid a paragraph in the Idea-section that points out that already in commutative geometry there are two different kinds of Hopf algebroids associated with a groupoid (just as there are two versions of Hopf algebras associated with a group):

   1. The commutative but non-co-commutative structure obtained by forming ordinary function algebras on objects and morphisms;

   2. The non-commutative but co-commutative structure obtained by forming the groupoid convolution algebra.

   For the moment I left the rest of the entry (which vaguely mentions commutative and non-commutative versions without putting them in relation) untouched, but I labelled the whole entry “under constructions”, since I think this issue needs to be discussed more for the entry not to be misleading.

   I may find time to get back to this later…

2. • CommentRowNumber2.
   • CommentAuthorjim_stasheff
   • CommentTimeApr 8th 2013
   • PermaLink
   Author: jim_stasheff
   Format: TextIs it worth a comment that this is a purely algebroic use of `oid' as opposed to Lie algebroid in which a tangent bundle is invoked?

   Is it worth a comment that this is a purely algebroic use of `oid'
   as opposed to Lie algebroid in which a tangent bundle is invoked?
3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeApr 8th 2013
   • (edited Apr 8th 2013)
   • PermaLink
   Author: Urs
   Format: MarkdownItexIt's the same "oid" in both cases, as in: group with many objects. But the algebraic notion generalizes away from smooth geometry to noncommutative geometry. Is that what you mean? There is a brief hint of that in the entry. But the whole entry is a sad stub for the time being. Somebody should invest some energy into it.

   It’s the same “oid” in both cases, as in: group with many objects.

   But the algebraic notion generalizes away from smooth geometry to noncommutative geometry. Is that what you mean?

   There is a brief hint of that in the entry. But the whole entry is a sad stub for the time being. Somebody should invest some energy into it.

4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeApr 8th 2013
   • (edited Apr 8th 2013)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexUnlike in Hopf algebra theory, where the commutative/noncommutative aspect is about the total algebra, in Hopf algebroid community, the jargon is that noncommutative without further saying means noncommutative _base_, what is a difficult part in the theory; the theory over commutative base is a straightforward generalization of usual Hopf algebra theory. Part of the story is under [[bialgebroid]]. I think we should split the entry on the details of the case of commutative base (partly because the general case is so involved that it will itself fill the entry soon), I will do it.

   Unlike in Hopf algebra theory, where the commutative/noncommutative aspect is about the total algebra, in Hopf algebroid community, the jargon is that noncommutative without further saying means noncommutative base, what is a difficult part in the theory; the theory over commutative base is a straightforward generalization of usual Hopf algebra theory. Part of the story is under bialgebroid. I think we should split the entry on the details of the case of commutative base (partly because the general case is so involved that it will itself fill the entry soon), I will do it.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeNov 14th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded to [[Hopf algebroid]] in the examples a quick pointer to generalized [[Steenrod algebra]] (where I added some brief further details)

   added to Hopf algebroid in the examples a quick pointer to generalized Steenrod algebra (where I added some brief further details)

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeNov 15th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexAdded in the Examples-section on [Generalized dual Steenrod algebra](http://ncatlab.org/nlab/show/Hopf+algebroid#GeneralizedDualSteenrodAlgebra) the precise statement (copied the same into _[[Steenrod algebra]]_): *** +-- {: .num_lemma #SelfHomologyIsModuleOverCohomologyRing} ###### Lemma Let $R$ be an [[E-∞ ring]] and let $A$ an [[E-∞ algebra]] over $R$. The self-[[generalized homology]] $A^R_\bullet(A)$ is naturally a [[module]] over the [[cohomology ring]] $A_\bullet$ via applying the [[homotopy groups]] $\infty$-functor $\pi_\bullet$ to the canonical inclusion $$ A \stackrel{\simeq}{\rightarrow} A \underset{R}{\wedge} R \stackrel{}{\rightarrow} A \underset{R}{\wedge} A \,. $$ =-- +-- {: .num_prop} ###### Proposition Let $R$ be an [[E-∞ ring]] and let $A$ an [[E-∞ algebra]] over $R$. If the the $A_\bullet$-[[module]] $A^R_\bullet(A)$ of lemma \ref{SelfHomologyIsModuleOverCohomologyRing} is a [[flat module]], then 1. $(A_\bullet, A_\bullet(A))$ is a [[Hopf algebroid]] over $R_\bulllet$; 1. $A^R_\bullet(X)$ is a left $A^R_\bullet(A)$-module for every $R$-[[∞-module]] $X$. =-- This is due to ([Baker-Lazarev 01](#BakerLazarev01)), further discussed in ([Baker-Jeanneret 02](#BakerJeanneret02)) (there expressed in terms of the presentation by [[commutative monoids]] in [[symmetric spectra]]). A review is also in ([Ravenel, chapter 2, prop. 2.2.8](#Ravenel)).

   Added in the Examples-section on Generalized dual Steenrod algebra the precise statement (copied the same into Steenrod algebra):

   ---

   +– {: .num_lemma #SelfHomologyIsModuleOverCohomologyRing}

   Lemma

   Let $R$ be an E-∞ ring and let $A$ an E-∞ algebra over $R$. The self-generalized homology $A^R_\bullet(A)$ is naturally a module over the cohomology ring $A_\bullet$ via applying the homotopy groups $\infty$-functor $\pi_\bullet$ to the canonical inclusion

   $$A \stackrel{\simeq}{\rightarrow} A \underset{R}{\wedge} R \stackrel{}{\rightarrow} A \underset{R}{\wedge} A \,.$$

   =–

   +– {: .num_prop}

   Proposition

   Let $R$ be an E-∞ ring and let $A$ an E-∞ algebra over $R$. If the the $A_\bullet$-module $A^R_\bullet(A)$ of lemma \ref{SelfHomologyIsModuleOverCohomologyRing} is a flat module, then

   1. $!A = \sum_{E: V} (E \to A}(A_\bullet, A_\bullet(A))$ is a Hopf algebroid over $R_\bulllet$;

   2. $A^R_\bullet(X)$ is a left $A^R_\bullet(A)$-module for every $R$-∞-module $X$.

   =–

   This is due to (Baker-Lazarev 01), further discussed in (Baker-Jeanneret 02) (there expressed in terms of the presentation by commutative monoids in symmetric spectra). A review is also in (Ravenel, chapter 2, prop. 2.2.8).

7. • CommentRowNumber7.
   • CommentAuthorzskoda
   • CommentTimeNov 25th 2013
   • (edited Nov 25th 2013)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexAs I announced in 4. I have now split entry [[Hopf algebroid]] into [[Hopf algebroid over a commutative base]] (redirecting its more special case [[commutative Hopf algebra]]) and [[Hopf algebroid]]. As the technical discussion and categorical implication of the general case will require very long treatment (and the generalization is quite nontrivial even to define, and very interesting from the point of view of category and bicategory theory; of course large chunk of it is already at [[bialgebroid]]) the classical case over commutative base has a special entry; the higher versions from stable homotopy theory are commutative, graded commutative or higher commutative; I consequently changed the links in stable homotopy entries to refer to the entry on the classical case of commutative base. I also added a prefix commutative in theorems which hold only for commutative case. The higher geometry floating table of contents is also moved to commutative case, while higher algebra is retained in both entries.

   As I announced in 4. I have now split entry Hopf algebroid into Hopf algebroid over a commutative base (redirecting its more special case commutative Hopf algebra) and Hopf algebroid. As the technical discussion and categorical implication of the general case will require very long treatment (and the generalization is quite nontrivial even to define, and very interesting from the point of view of category and bicategory theory; of course large chunk of it is already at bialgebroid) the classical case over commutative base has a special entry; the higher versions from stable homotopy theory are commutative, graded commutative or higher commutative; I consequently changed the links in stable homotopy entries to refer to the entry on the classical case of commutative base. I also added a prefix commutative in theorems which hold only for commutative case. The higher geometry floating table of contents is also moved to commutative case, while higher algebra is retained in both entries.

8. • CommentRowNumber8.
   • CommentAuthorzskoda
   • CommentTimeNov 25th 2013
   • PermaLink
   Author: zskoda
   Format: MarkdownItexAdded a reference to [[Hopf algebroid over a commutative base]]. > A [[Tannaka duality]]-type theorem relating certain subcategory of commutative Hopf algebroids to discrete groupoids is in > * Laiachi EL Kaoutit, _Representative functions on discrete groupoids and duality with Hopf algebroids_, [arxiv/1311.3109](http://arxiv.org/abs/1311.3109)

   Added a reference to Hopf algebroid over a commutative base.

   A Tannaka duality-type theorem relating certain subcategory of commutative Hopf algebroids to discrete groupoids is in

   • Laiachi EL Kaoutit, Representative functions on discrete groupoids and duality with Hopf algebroids, arxiv/1311.3109

9. • CommentRowNumber9.
   • CommentAuthorJohn Baez
   • CommentTimeJan 31st 2014
   • (edited Jan 31st 2014)
   • PermaLink
   Author: John Baez
   Format: MarkdownItexI was chatting with Catherine Meusburger and Derek Wise about a project they're doing with 3d TQFTs, when I suddenly realized that [[Hopf algebroid]]s might be helpful. So, I needed to learn a bit about Hopf algebroids. It turns out that the Day-Street definition in _Monoidal bicategories and Hopf algebroids_ is _not_ equivalent to Gabriella Böhm's definition, as had been asserted in the article here. I tried to fix that up and offer more details in the References section. Some of this material could be moved to the Definition section when somebody feels like continuing to write that.

   I was chatting with Catherine Meusburger and Derek Wise about a project they’re doing with 3d TQFTs, when I suddenly realized that Hopf algebroids might be helpful. So, I needed to learn a bit about Hopf algebroids. It turns out that the Day-Street definition in Monoidal bicategories and Hopf algebroids is not equivalent to Gabriella Böhm’s definition, as had been asserted in the article here. I tried to fix that up and offer more details in the References section. Some of this material could be moved to the Definition section when somebody feels like continuing to write that.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2014
    • (edited Jan 31st 2014)
    • PermaLink
    Author: Urs
    Format: MarkdownItexZoran, please check what you had in mind when writing "the two concepts are equivalent" in [revision 3](http://ncatlab.org/nlab/revision/diff/Hopf+algebroid/3).

    Zoran, please check what you had in mind when writing “the two concepts are equivalent” in revision 3.

11. • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeJan 31st 2014
    • (edited Jan 31st 2014)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexFrom [[Gabriella Böhm]], _Internal bialgebroids, entwining structures and corings_, AMS Contemp. Math. 376 (2005) 207-226, [math.QA/0311244](http://arxiv.org/abs/math/0311244) > __Bialgebroids__ have been characterized by B. Day and [[R. Street]] in purely categorical terms [DS]. They consider two objects $R$ and $A$ in a monoidal bicategory, a pseudo-monoid structure on $A$ together with a certain strong monoidal morphism from this pseudo-monoid to the canonical pseudo-monoid associated to $R$. In the particular case of the monoidal bicategory of bimodules -- i.e. the one with 0-cells the $k$-algebras, 1-cells the bimodules and 2-cells the bimodule morphisms, -- this definition recovers the one of the bialgebroid. As a support of our Definition \ref{bgd} of internal bialgebroids we prove an equivalence with the description of [DS] in the case of the monoidal bicategory of internal bimodules. From [[G. Böhm]], _Hopf Algebroids_, in: Handbook of algebra, [arXiv/0805.3806v2](http://arxiv.org/abs/0805.3806): > A $^*$-autonomous structure on a strong monoidal special opmorphism between pseudomonoids in a monoidal bicategory > In the paper [DS], strong monoidal special opmorphisms $h$ in monoidal bicategories, from a canonical pseudomonoid $R^{op}\otimes R$ to some pseudomonoid $B$, were studied. The opmorphism $h$ was called __Hopf__ if in addition there is a $^*$-autonomous structure on $B$ and $h$ is strong $^*$-autonomous (where $R^{op}\otimes R$ is meant to be $^*$-autonomous in a canonical way). In [DS], Section 3, a bialgebroid was described as a strong monoidal special opmorphism $h$ of pseudomonoids in the monoidal bicategory of [Algebras; Bimodules; Bimodule maps]. This opmorphism $h$ is strong $^*$-autonomous if and only if the corresponding bialgebroid constitutes a Hopf algebroid with a bijective antipode, see Section 4.2 of [hgdax]. [hgdax] [[Gabriella Böhm]], [[Kornél Szlachányi]], _Hopf algebroids with bijective antipodes: axioms integrals and duals_, J. Algebra __274__ (2004), 708-750, [math.QA/0302325](http://arxiv.org/abs/math/0302325) [DS] B. Day, [[R. Street]], _Quantum category, star autonomy and quantum groupoids_, Fields Institute Comm. __43__ pp 187-225, AMS, Providence, RI, 2004. Finally, [hgdax] > We will show in Subsection \ref{DS} that the categorical definition [DS] of the Hopf bialgebroid is equivalent to our purely algebraic Definition \ref{def} of _Hopf algebroid_, apart from the tiny difference that we allow $S^2$ to be nontrivial on the base ring. Theorem 4.7 says: > A strong $*$-autonomous structure on the bialgebroid $A$ over $L$ in the sense of [DS] is equivalent to a Hopf algebroid structure $(\mathcal{A}_L,S)$ in the sense of Definition \ref{def}. I do not know what is the difference between [DS] and another reference of Day and Street (I looked more into another reference but this was years ago, when I did not understand the approach of Gabi).

    From Gabriella Böhm, Internal bialgebroids, entwining structures and corings, AMS Contemp. Math. 376 (2005) 207-226, math.QA/0311244

    Bialgebroids have been characterized by B. Day and R. Street in purely categorical terms [DS]. They consider two objects $R$ and $A$ in a monoidal bicategory, a pseudo-monoid structure on $A$ together with a certain strong monoidal morphism from this pseudo-monoid to the canonical pseudo-monoid associated to $R$. In the particular case of the monoidal bicategory of bimodules – i.e. the one with 0-cells the $k$-algebras, 1-cells the bimodules and 2-cells the bimodule morphisms, – this definition recovers the one of the bialgebroid. As a support of our Definition \ref{bgd} of internal bialgebroids we prove an equivalence with the description of [DS] in the case of the monoidal bicategory of internal bimodules.

    From G. Böhm, Hopf Algebroids, in: Handbook of algebra, arXiv/0805.3806v2:

    A $^*$-autonomous structure on a strong monoidal special opmorphism between pseudomonoids in a monoidal bicategory

    In the paper [DS], strong monoidal special opmorphisms $h$ in monoidal bicategories, from a canonical pseudomonoid $R^{op}\otimes R$ to some pseudomonoid $B$, were studied. The opmorphism $h$ was called Hopf if in addition there is a $^*$-autonomous structure on $B$ and $h$ is strong $^*$-autonomous (where $R^{op}\otimes R$ is meant to be $^*$-autonomous in a canonical way). In [DS], Section 3, a bialgebroid was described as a strong monoidal special opmorphism $h$ of pseudomonoids in the monoidal bicategory of [Algebras; Bimodules; Bimodule maps]. This opmorphism $h$ is strong $^*$-autonomous if and only if the corresponding bialgebroid constitutes a Hopf algebroid with a bijective antipode, see Section 4.2 of [hgdax].

    [hgdax] Gabriella Böhm, Kornél Szlachányi, Hopf algebroids with bijective antipodes: axioms integrals and duals, J. Algebra 274 (2004), 708-750, math.QA/0302325

    [DS] B. Day, R. Street, Quantum category, star autonomy and quantum groupoids, Fields Institute Comm. 43 pp 187-225, AMS, Providence, RI, 2004.

    Finally, [hgdax]

    We will show in Subsection \ref{DS} that the categorical definition [DS] of the Hopf bialgebroid is equivalent to our purely algebraic Definition \ref{def} of Hopf algebroid, apart from the tiny difference that we allow $S^2$ to be nontrivial on the base ring.

    Theorem 4.7 says:

    A strong $*$-autonomous structure on the bialgebroid $A$ over $L$ in the sense of [DS] is equivalent to a Hopf algebroid structure $(\mathcal{A}_L,S)$ in the sense of Definition \ref{def}.

    I do not know what is the difference between [DS] and another reference of Day and Street (I looked more into another reference but this was years ago, when I did not understand the approach of Gabi).

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2014
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks, Zoran! It would be great if all this were in the entry. As a first approximation, could you just paste this into a section "Properties -- Relation between the definitions"? I do hope John sees your reply here. If not, now that he edited the entry, we should contact him and hopefully somebody finds the time and energy to sort this out and give a decent discussion in the entry.

    Thanks, Zoran!

    It would be great if all this were in the entry. As a first approximation, could you just paste this into a section “Properties – Relation between the definitions”?

    I do hope John sees your reply here. If not, now that he edited the entry, we should contact him and hopefully somebody finds the time and energy to sort this out and give a decent discussion in the entry.

13. • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeJan 31st 2014
    • (edited Jan 31st 2014)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexYes, Urs, once we find the time and figure out the difference between the two different versions of Day and Street; maybe John's disagreement is from that difference, and we actually all agree. I have two deadlines today, so not today.

    Yes, Urs, once we find the time and figure out the difference between the two different versions of Day and Street; maybe John’s disagreement is from that difference, and we actually all agree. I have two deadlines today, so not today.

14. • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2014
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have contacted John, here is what he replies: > Ross Street said to me that his definition with Brian Day in the paper Zoran mentioned - "Monoidal bicategories and Hopf algebroids" - is not equivalent to Gabi Böhm's later definition. However, he says that a later paper he wrote with Day contains a definition equivalent to Gabi Böhm's definition. In fact this later paper appeared on the arXiv just a few days after hers - independently. > I've tried to edit the nLab page so that this is reasonably clear. Near the bottom I sketch Day and Street's two definitions, which are very different.

    I have contacted John, here is what he replies:

    Ross Street said to me that his definition with Brian Day in the paper Zoran mentioned - “Monoidal bicategories and Hopf algebroids” - is not equivalent to Gabi Böhm’s later definition. However, he says that a later paper he wrote with Day contains a definition equivalent to Gabi Böhm’s definition. In fact this later paper appeared on the arXiv just a few days after hers - independently.

    I’ve tried to edit the nLab page so that this is reasonably clear. Near the bottom I sketch Day and Street’s two definitions, which are very different.

15. • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeJun 15th 2020
    • PermaLink
    Author: zskoda
    Format: MarkdownItexFew words on a couple of examples (minimal Hopf algebroid and scalar extensions). <a href="https://ncatlab.org/nlab/revision/diff/Hopf+algebroid/35">diff</a>, <a href="https://ncatlab.org/nlab/revision/Hopf+algebroid/35">v35</a>, <a href="https://ncatlab.org/nlab/show/Hopf+algebroid">current</a>

    Few words on a couple of examples (minimal Hopf algebroid and scalar extensions).

    diff, v35, current

16. • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeJun 15th 2020
    • PermaLink
    Author: zskoda
    Format: MarkdownItexSome completions of references, including adding the PhD thesis by Stojić. <a href="https://ncatlab.org/nlab/revision/diff/Hopf+algebroid/35">diff</a>, <a href="https://ncatlab.org/nlab/revision/Hopf+algebroid/35">v35</a>, <a href="https://ncatlab.org/nlab/show/Hopf+algebroid">current</a>

    Some completions of references, including adding the PhD thesis by Stojić.

    diff, v35, current

17. • CommentRowNumber17.
    • CommentAuthorzskoda
    • CommentTimeJun 17th 2020
    • PermaLink
    Author: zskoda
    Format: MarkdownItexAdded axioms for the antipode in the simple case when it is invertible, due B&#246;hm and Szlachányi (for noninvertible case, one needs a rather complicated axiomatics using a left and right bialgebroids). On the other hand, this definition avoid the ad hoc section map of Lu as an additional datum. <a href="https://ncatlab.org/nlab/revision/diff/Hopf+algebroid/36">diff</a>, <a href="https://ncatlab.org/nlab/revision/Hopf+algebroid/36">v36</a>, <a href="https://ncatlab.org/nlab/show/Hopf+algebroid">current</a>

    Added axioms for the antipode in the simple case when it is invertible, due Böhm and Szlachányi (for noninvertible case, one needs a rather complicated axiomatics using a left and right bialgebroids). On the other hand, this definition avoid the ad hoc section map of Lu as an additional datum.

    diff, v36, current

18. • CommentRowNumber18.
    • CommentAuthorzskoda
    • CommentTimeJun 18th 2020
    • (edited Jun 18th 2020)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexYet another version of axiomatics for Hopf algebroids is in my preprint with Martina Stojić. A very obsolete version is at the [arXiv:1610.03837](https://arxiv.org/abs/1610.03837), we are now trying to finish the revision to finally submit it somewhere, still several days of work. I shall of course replace the arXiv version when finished with the draft before sending to a journal. The title is now "Hopf algebroids with balancing subalgebra". The current version is [twosha4.pdf](https://www2.irb.hr/korisnici/zskoda/twosha4.pdf) (24 pages as of today, 18/06/20).

    Yet another version of axiomatics for Hopf algebroids is in my preprint with Martina Stojić. A very obsolete version is at the arXiv:1610.03837, we are now trying to finish the revision to finally submit it somewhere, still several days of work. I shall of course replace the arXiv version when finished with the draft before sending to a journal. The title is now “Hopf algebroids with balancing subalgebra”.

    The current version is twosha4.pdf (24 pages as of today, 18/06/20).

19. • CommentRowNumber19.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2021
    • (edited Apr 13th 2021)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexA definition of a variant of Hopf algebroid (over a noncommutative base) which is somewhat similar to Lu's definition, but involves working with a 2-sided ideal, with help of a distinguished „balancing” subalgebra, is in * [[Zoran Škoda]], Martina Stojić, _Hopf algebroids with balancing subalgebra_, 29 pp, [arxiv:1610.03837](https://arxiv.org/pdf/1610.03837) (just submitted, thoroughly extended v2 of April 12, 2021) <a href="https://ncatlab.org/nlab/revision/diff/Hopf+algebroid/37">diff</a>, <a href="https://ncatlab.org/nlab/revision/Hopf+algebroid/37">v37</a>, <a href="https://ncatlab.org/nlab/show/Hopf+algebroid">current</a> 18: indeed, the revision took long time...

    A definition of a variant of Hopf algebroid (over a noncommutative base) which is somewhat similar to Lu’s definition, but involves working with a 2-sided ideal, with help of a distinguished „balancing” subalgebra, is in

    • Zoran Škoda, Martina Stojić, Hopf algebroids with balancing subalgebra, 29 pp, arxiv:1610.03837

    (just submitted, thoroughly extended v2 of April 12, 2021)

    diff, v37, current

    18: indeed, the revision took long time…

20. • CommentRowNumber20.
    • CommentAuthorzskoda
    • CommentTimeAug 18th 2023
    • PermaLink
    Author: zskoda
    Format: MarkdownItexFurther examples and counterexamples * Ana Rovi, _Hopf algebroids associated to Jacobi algebras_, Int. J. Geom. Methods in Modern Phys. __11__: 10 (2014) 1450092 [doi](https://doi.org/10.1142/S0219887814500923) * [[Ulrich Krähmer]], Ana Rovi, _A Lie–Rinehart algebra with no antipode_, Commun. Alg. __43__:10 (2015) [doi](https://doi.org/10.1080/00927872.2014.896375) > The aim of this note is to communicate a simple example of a Lie–Rinehart algebra whose enveloping algebra is not a Hopf algebroid, neither in the sense of Böhm and Szlachányi, nor in the sense of Lu. <a href="https://ncatlab.org/nlab/revision/diff/Hopf+algebroid/42">diff</a>, <a href="https://ncatlab.org/nlab/revision/Hopf+algebroid/42">v42</a>, <a href="https://ncatlab.org/nlab/show/Hopf+algebroid">current</a>

    Further examples and counterexamples

    • Ana Rovi, Hopf algebroids associated to Jacobi algebras, Int. J. Geom. Methods in Modern Phys. 11: 10 (2014) 1450092 doi
    • Ulrich Krähmer, Ana Rovi, A Lie–Rinehart algebra with no antipode, Commun. Alg. 43:10 (2015) doi

    The aim of this note is to communicate a simple example of a Lie–Rinehart algebra whose enveloping algebra is not a Hopf algebroid, neither in the sense of Böhm and Szlachányi, nor in the sense of Lu.

    diff, v42, current

21. • CommentRowNumber21.
    • CommentAuthorzskoda
    • CommentTimeAug 29th 2023
    • PermaLink
    Author: zskoda
    Format: MarkdownItexThe concept of internal bialgebroids over a noncommutative base has been refined to an internal version of symmetric Hopf algebroids over a noncommutative base in * Martina Stojić, _Internal Hopf algebroid_, [arXiv:2308.14546](https://arxiv.org/abs/2308.14546) (today's arXiv post) <a href="https://ncatlab.org/nlab/revision/diff/Hopf+algebroid/43">diff</a>, <a href="https://ncatlab.org/nlab/revision/Hopf+algebroid/43">v43</a>, <a href="https://ncatlab.org/nlab/show/Hopf+algebroid">current</a>

    The concept of internal bialgebroids over a noncommutative base has been refined to an internal version of symmetric Hopf algebroids over a noncommutative base in

    • Martina Stojić, Internal Hopf algebroid, arXiv:2308.14546

    (today’s arXiv post)

    diff, v43, current

22. • CommentRowNumber22.
    • CommentAuthorperezl.alonso
    • CommentTimeJul 4th 2024
    • PermaLink
    Author: perezl.alonso
    Format: MarkdownItexpointer * Xiao Han, Peter Schauenburg. *Hopf Galois extensions of Hopf algebroids* (2024). ([arXiv:2406.11058](https://arxiv.org/abs/2406.11058)). <a href="https://ncatlab.org/nlab/revision/diff/Hopf+algebroid/44">diff</a>, <a href="https://ncatlab.org/nlab/revision/Hopf+algebroid/44">v44</a>, <a href="https://ncatlab.org/nlab/show/Hopf+algebroid">current</a>

    pointer

    • Xiao Han, Peter Schauenburg. Hopf Galois extensions of Hopf algebroids (2024). (arXiv:2406.11058).

    diff, v44, current