In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifi cally, we construct a contravariant functor from the category of commutative Hopf algebroids with a fi xed base algebra to that of Lie-Rinehart algebras over the same algebra, the differentiation functor, which can be seen as an algebraic counterpart to the differentiation process from Lie groupoids to Lie algebroids. The other way around, we provide two interrelated contravariant functors from the category of Lie-Rinehart algebras to that of commutative Hopf algebroids, the integration functors. One of them yields a contravariant adjunction together with the differentiation functor. Under mild conditions, essentially on the base algebra, the other integration functor only induces an adjunction at the level of Galois Hopf algebroids. By employing the differentiation functor, we also analyse the geometric separability of a given morphism of Hopf algebroids. Several examples and applications are presented.

Towards differentiation and integration between Hopf algebroids and Lie algebroids

Ardizzoni, Alessandro;El Kaoutit, Laiachi;Saracco, Paolo
2023-01-01

Abstract

In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifi cally, we construct a contravariant functor from the category of commutative Hopf algebroids with a fi xed base algebra to that of Lie-Rinehart algebras over the same algebra, the differentiation functor, which can be seen as an algebraic counterpart to the differentiation process from Lie groupoids to Lie algebroids. The other way around, we provide two interrelated contravariant functors from the category of Lie-Rinehart algebras to that of commutative Hopf algebroids, the integration functors. One of them yields a contravariant adjunction together with the differentiation functor. Under mild conditions, essentially on the base algebra, the other integration functor only induces an adjunction at the level of Galois Hopf algebroids. By employing the differentiation functor, we also analyse the geometric separability of a given morphism of Hopf algebroids. Several examples and applications are presented.
2023
67
1
3
88
https://arxiv.org/abs/1905.10288
(co)commutative Hopf algebroids, affine groupoid schemes, differentiation and integration, Kahler module, Lie-Rinehart algebras, Lie algebroids, Lie groupoids, Malgrange groupoids, fi nite dual, Tannaka reconstruction.
Ardizzoni, Alessandro; El Kaoutit, Laiachi; Saracco, Paolo
File in questo prodotto:
File Dimensione Formato  
08 - Ardizzoni - El Kaoutit - Saracco - Toward differentiation and Integration between Hopf Algebroids and Lie Algebroids - PM.pdf

Accesso riservato

Descrizione: Articolo
Tipo di file: PDF EDITORIALE
Dimensione 815.52 kB
Formato Adobe PDF
815.52 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
2021-06-23_DiffIntegHopfAlgd-AcceptedManuscript.pdf

Accesso aperto

Descrizione: Articolo
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 605.34 kB
Formato Adobe PDF
605.34 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1881561
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact