--- abstract: 'We give examples of Lie–Rinehart algebras whose universal enveloping algebra is not a Hopf algebroid either in the sense of Böhm and Szlachányi or in the sense of Lu. We construct these examples as quotients of a canonical Lie–Rinehart algebra over a Jacobi algebra which does admit an antipode.' title: Hopf algebroids associated to Jacobi algebras --- <span>*For my father*</span> Introduction ============ <span>Hopf algebroids</span> are generalizations of Hopf algebras. In the literature, the term *Hopf algebroid* refers to either of the following three concepts: *Hopf algebroids* in the sense of Böhm and Szlachányi @GabiK (which we will call *full*), to Hopf algebroids in the sense of Lu @JHLu, or to *left Hopf algebroids* (which were introduced under the name $\times_R$-Hopf algebras by Schauenburg @Schauenburg). In @GabiK, an example of a full Hopf algebroid is given that does not satisfy the axioms of @JHLu; it is however unknown whether all Hopf algebroids in the sense of @JHLu are full. Moreover, until @KR1 it had been an open question whether Hopf algebroids, in the sense of @GabiK or in the sense of @JHLu, were equivalent to left Hopf algebroids. It turns out that the universal enveloping algebra of a Lie–Rinehart algebra (a fundamental example of a left Hopf algebroid, see @KOKR [Example 2]) will not carry an antipode in general. Hence there exist left Hopf algebroids that are neither full nor Hopf algebroids in the sense of @JHLu. Motivated by @KR1, in the present note we give further examples of Hopf algebroids without an antipode, i.e., *left* Hopf algebroids which are neither *full* nor satisfy the axioms of @JHLu. In these examples we consider Jacobi algebras, a generalization of Poisson algebras first introduced in a differential geometric context in @kirillov [@lichnerowicz], and construct <span>quotients</span> of a canonical Lie–Rinehart algebra associated to them (see Lemma \[AA\] in Section \[1jetA\]). In certain cases, the universal enveloping algebra of some of these quotient Lie–Rinehart algebras (see Section \[frak J\]) will not admit an antipode. To prove this, we use a result by Kowalzig and Posthuma @NielsPosthuma which states that an antipode will exist on the universal enveloping algebra of a Lie–Rinehart algebra $(A,L)$ if and only if $A$ is a right $(A, L)$-module or equivalently there exist *flat* right $(A,L)$-connections on $A$, see @HuebschmannPaper1, or <span>flat</span> right $(A, L)$-connections *characters* on $A$, see Proposition \[proposition: connection characters\]. More precisely, the aim of this note is twofold: Firstly, in Section \[1jetA\], we focus on the algebraic characterization (as a Lie–Rinehart algebra) of a canonical Lie algebroid associated to Jacobi manifolds proposed in @ben [@JacobiVaisman]. Our description is equivalent to the one given by Okassa @Okassa, although we use a different approach: while @Okassa uses so-called Jacobi 1- and 2-forms on the trivial extension of a Jacobi algebra $A$ over a field $k$ by its module of Kähler differentials $\Omega^1 (A)$, we consider the $A$-module $A \oplus \Omega^1 (A)$ as a *quotient* (see @Matsumura [Chapter 10] for this construction) which we call the 1-jet space of $A$ and denote by $\mathcal J^1 (A)$. Furthermore, we prove that there exist flat right $(A, \mathcal J^1 (A) )$-connections on $A$, and hence that the universal enveloping algebra of the Lie–Rinehart algebra $(A, \mathcal J^1 (A))$ admits an antipode, a fact which to our knowledge has not been stated before in the literature. We formulate these results in our first theorem. Throughout this note we fix a field $k$ and denote tensor products of $k$-vector spaces with an unadorned $\otimes$. \[Jacobi flat\] Let $(A, \{ \bullet , \bullet \}_J )$ be a Jacobi algebra over a field $k$, $I$ be the kernel of the multiplication map $\mu: A \otimes A \rightarrow A$, $\mathcal J^1 (A) := ( A \otimes A ) / I^2 \cong A \oplus \Omega^1 (A) $ be the 1-jet space of $A$ and $j^1 : A \rightarrow \mathcal J^1 (A)$ be the 1-jet map $ a \mapsto 1 \otimes a \pmod{ I^2}$, for all $ a \in A$. 1. The pair $(A, \mathcal J^1 (A) )$ is a Lie–Rinehart algebra with anchor $$\label{anchor J} \rho_{\mathcal J^1 }: \mathcal J^1 (A) \longrightarrow \mathrm{Der}_k (A), \quad j^1 (a) \longmapsto \Phi_a := \{ a , \bullet \}_J + \{ 1 , a \}_J \cdot \bullet$$ and Lie bracket on $\mathcal J^1 (A)$ given by $$\label{equation: Bracket J} \lbrack j^1 (f), j^1 (g) \rbrack_{ \mathcal J^1 (A) } = j^1 ( \{ f , g \}_J ) .$$ 2. The map $$\label{connection} \varphi_{\mathcal J^1 }: \mathcal J^1 (A) \longrightarrow A , \quad a \cdot j^1 (b) \longmapsto \{ a , b \}_J$$ is a flat right $(A, \mathcal J^1 (A) )$-connection character on $A$ which induces a flat right $(A, \mathcal J^1 (A) )$-connection on $A$ . Consequently, the universal enveloping algebra of the Lie–Rinehart algebra $(A, \mathcal J^1 (A) )$ admits an antipode. Secondly, in Section \[section: ingredients\], we give a method to construct new Lie–Rinehart algebras associated to certain Jacobi algebras as a quotient of the canonical lift of $( A , \mathcal J^1 (A))$ to $(A , A \otimes A)$. These new Lie–Rinehart algebras do not admit antipodes in certain cases. We summarise these results in our second theorem: \[main\] Let $(A, \{ \bullet , \bullet \}_J)$ be a Jacobi algebra over a field $k$, let $h \in A$, and assume that $ r \cdot \{ \bullet , \bullet \}_J = 0$ for all $r \in \mathrm{Ann}_A( \{ h \})$. 1. The pair $( A , A h \otimes A )$ is a Lie–Rinehart algebra with anchor $\rho_{ A h \otimes A}: A h \otimes A \rightarrow \mathrm{Der}_k (A)$ given by $ h \otimes a \mapsto \Phi_a $, and Lie bracket on $A h \otimes A$ given by $$\label{LL} \lbrack h \otimes f , h \otimes g \rbrack_{ A h \otimes A } = h \otimes \{ f , g \}_J .$$ 2. Assume there exists a right $(A, Ah \otimes A)$-connection $\nabla^r$ on $A$. 1. Then there exists some $a \in A$ satisfying $ a \cdot r = \{ 1 , r \}_J$ for all $r \in \textnormal{Ann}_A( \{ h \} )$. 2. Moreover, if $\nabla^r$ is flat, so that $A$ is a right $(A , Ah \otimes A)$-module extending multiplication in $A$, then for all $b\in A$ satisfying $\{ 1 , b \}_J =0$, there exists an element $a \in A$ satisfying $a \cdot r = \{ 1 , r \}_J$ for all $r \in \textnormal{Ann}_A (\{h \} )$ and such that the following compatibility condition holds: $$\{ b , a \}_J = \{ 1 , c \}_J, \quad \textnormal{for some $c \in A$. }$$ We see that if a Jacobi algebra $(A, \{ \bullet , \bullet \}_J)$ satisfying $r \cdot \{ \bullet , \bullet \}_J = 0$ for all $r \in \mathrm{Ann}_A( \{ h \})$ for some fixed $h \in A$ does not satisfy conditions (a) or (b) in Theorem \[main\] Part 2, then there is an obstruction to the existence of flat right $(A, Ah \otimes A)$-connections on $A$. By a result of Kowalzig and Posthuma @NielsPosthuma, see Section \[connections\] below, the universal enveloping algebra of the Lie–Rinehart algebra $(A, Ah \otimes A)$ associated to these Jacobi algebras will provide new examples of left Hopf algebroids without antipode. Section \[main proof\] is dedicated to examples of this construction.\ **Acknowledgements.** The author also wishes to thank Uli Krähmer, her PhD advisor, for helpful discussions while working on this paper; Stuart White for advice about research; and Gabriella Böhm for her encouragement and hospitality. Background {#section: background} ========== In this section we recall the definition of a Lie–Rinehart algebra, see @Herz [@HuebschmannPCQ; @HuebschmannTerm; @RinehartForms] and of its universal enveloping algebra; we review the main tools used in this note, namely right $(A,L)$-connections and right connection characters on $A$, see @HuebschmannPaper1 [@NielsThesis; @NielsPosthuma]; and give some background on Jacobi algebras, see @kirillov [@lichnerowicz]. Lie–Rinehart algebras {#LR} --------------------- The term *Lie–Rinehart algebra* was coined by Huebschmann @HuebschmannTerm. However, this algebraic structure, which was introduced by Herz @Herz under the name Lie pseudo-algebra (also known as *Lie algebroid* @Pradines in a differential geometric context), had been developed and studied before as a generalization of Lie algebras. See @HuebschmannPCQ [Section 1] for some historical remarks on this development. Let $R$ be a commutative ring with identity, $\left(A, \cdot \right)$ a commutative $R$-algebra and $\left( L , [\bullet, \bullet]_L \right) $ a Lie algebra over $R$. A pair $\left(A, L \right)$ is called a **Lie–Rinehart algebra** over $R$ if $L$ has a left $A$-module structure $ A \otimes_R L \rightarrow L$, $a \otimes_R \xi \mapsto a \cdot \xi$ for $a \in A, \xi \in L$, and there is an $A$-linear Lie algebra homomorphism $ \rho: L \rightarrow \mathrm{Der}_R \left( A \right)$, called the **anchor map**, satisfying the Leibniz rule $$\label{LRLR} [ \xi, a \cdot \zeta ]_L = a \cdot [ \xi , \zeta ]_L + \rho ( \xi ) ( a ) \cdot \zeta, \quad a \in A, \xi, \zeta \in L.$$ In what follows, $R$ will always be a commutative ring with identity and, unless stated otherwise, all algebras will be over $R$. A fundamental example is $(A , \mathrm{Der}_R (A))$ where $A$ is a commutative algebra, and we consider the usual Lie bracket and $A$-module structure on $\mathrm{Der}_R (A)$ with anchor given by the identity. See references above for further examples and applications. An important milestone in the development of these algebraic structures is Rinehart's work @RinehartForms in which he gives the structure of their universal enveloping algebra (see @RinehartForms [Section 2]), generalizing the construction of the universal enveloping algebra of a Lie algebra. \[Rinehart @RinehartForms\] Let $(A,L)$ be a Lie–Rinehart algebra. Its **universal enveloping algebra**, denoted by $V(A,L)$, is the universal associative $R$-algebra with 1. an $R$-algebra map $A \rightarrow V(A,L)$, 2. a Lie algebra map $ \iota_L: (L, [ \bullet , \bullet ]_L) \rightarrow ( V(A,L), [ \bullet , \bullet ])$ given by $\xi \mapsto \iota_L (\xi ) = : \bar \xi$, where $[ \bullet , \bullet ]$ denotes the commutator in $V(A,L)$ such that for all $a \in A$ and $\xi \in L$ we have $$[ \bar \xi , a ] = \rho ( \xi)(a), \quad a \bar \xi = \overline{a \cdot \xi}$$ where the product in $V(A,L)$ is denoted by concatenation. Right $(A,L)$-module structures and connections on $A$ {#connections} ------------------------------------------------------ The concepts of left (respectively, right) $(A,L)$-connections and $(A,L)$-module structures on $A$-modules were introduced in @HuebschmannPaper1. There is an equivalence of categories between these module structures and left (respectively, right) $V(A,L)$-module structures. While the anchor map defines a canonical left $V(A,L)$-module structure on $A$ itself @NielsPosthuma [Remark 3.10], there is no canonical right $V(A,L)$-module structure on $A$, see @NielsPosthuma [Section 3.2.2] for discussion. In fact, as proved in @KR1, $A$ will not carry a right $V(A,L)$-module structure in general. We will only be considering right $(A,L)$-module structures (and connections) on $A$. \[definition: right connection\] Let $(A,L)$ be a Lie–Rinehart algebra. A **right $(A,L)$-connection on $A$**, where $A$ is considered as a module over itself, is an $R$-linear map $ \nabla^r: A \otimes_R L \rightarrow A$ given by $ a \otimes_{R} \xi \mapsto \nabla^r (a \otimes_R \xi ) =: \nabla^r_\xi (a)$ satisfying $$\begin{aligned} \label{equation: huebschmann1} \nabla^r_\xi (a \cdot b) & = \nabla^r_{a \cdot \xi } (b) \\ & = a \cdot \nabla^r_\xi (b) - \rho ( \xi ) (a) \cdot b , \quad a , b \in A , \xi \in L. \label{equation: huebschmann2} \end{aligned}$$ A right $(A, L)$-connection on $A$ is **flat** if the map $ \nabla^r: A \otimes_R L \rightarrow A$ turns $A$ into a right $L$-module, that is, $ \left( [ \nabla^r_\xi, \nabla^r_\zeta ]_{\mathrm{Der}_R (A)} + \nabla^r_{[\xi, \zeta ]_L } \right) (a) = 0$ for $ a \in A$, $\xi, \zeta \in L$. Since right $(A, L)$-connections are not necessarily flat, it is useful to define the following: \[definition: curvature operators\] Given a right $(A,L)$-connection on $A$, we define the operator ${\mathcal C^\nabla_r}$ which we call **right $(A,L)$-curvature operator**, as follows: $${\mathcal C^\nabla_r}: L \otimes_R L \otimes_R A \longrightarrow A; \quad \ ( \xi , \zeta , a) \longmapsto {\mathcal C^\nabla_r}( \xi , \zeta ) (a) := \left( [ \nabla^r_\xi, \nabla^r_\zeta ]_{\mathrm{Der}_R (A)} + \nabla^r_{[\xi, \zeta ]_L } \right) (a)$$ for $ a \in A, \xi, \zeta \in L$. We call ${\mathcal C^\nabla_r}( \xi , \zeta ) (a) \in A$ the **curvature** of the right $(A,L)$-connection $\nabla^r : A \otimes_R L \rightarrow A$ on $\xi , \zeta \in L$ evaluated at $a \in A$. We are now ready to define the main object we will consider: A flat right $(A,L)$-connection on $A$, that is, a connection with ${\mathcal C^\nabla_r}( \xi , \zeta ) (a) = 0$ for all $a \in A$ and $\xi , \zeta \in L$, turns $A$ into a **right $(A,L)$-module**. Now, from it follows that $\nabla^r ( a \otimes_R \xi ) = \nabla^r ( 1 \otimes_R a \cdot \xi )$. So we deduce that a right $(A,L)$-connection on $A$ is in fact a certain map from $ A \otimes_A L $ to $A$, that is, a map from $L$ to $A$, satisfying a Leibniz-type rule. More precisely, we have: \[proposition: connection characters\] There exists a one-to-one correspondence between right $(A,L)$-connections on $A$ and operators $${\delta^\nabla_r}: L \longrightarrow A, \quad \xi \longmapsto \nabla^r_\xi (1_A) =: {\delta^\nabla_r}( \xi ), \quad \xi \in L \label{equation: right connection character}$$ satisfying $$\label{equation: right connection character axi} \delta^\nabla_r (a \cdot \xi ) = a \cdot \delta^\nabla_r ( \xi ) - \rho ( \xi ) (a).$$ The operator ${\delta^\nabla_r}$ is called **right connection character.** The property of the map ${\delta^\nabla_r}: L \rightarrow A$ given in follows from and since $ \delta^\nabla_r ( a \cdot \xi ) = \nabla^r_{a \cdot \xi } (1_A) = a \cdot \nabla^r_{\xi } (1_A) - \rho ( \xi ) (a) \cdot 1_A = a \cdot \delta^\nabla_r ( \xi ) - \rho( \xi ) (a) $. Note that this correspondence is implicit in @HuebschmannPaper1 [Theorem 1], see also @NielsThesis [Theorem 4.2.7 and p85]. Since a right $(A,L)$-connection $\nabla^r $ can be described in terms of a corresponding map ${\delta^\nabla_r}$, a natural description of the operator ${\mathcal C^\nabla_r}$ follows: \[theorem: A-linear\] In terms of the operator ${\delta^\nabla_r}$, the map ${\mathcal C^\nabla_r}: L \otimes_R L \otimes_R A \rightarrow A$ is $${\mathcal C^\nabla_r}: L \otimes_R L \otimes_R A \longrightarrow A , \quad \left( \xi , \zeta , c \right) \longmapsto c \cdot \left( - \rho( \xi) \left( {\delta^\nabla_r}( \zeta ) \right) + \rho \left( \zeta \right) \left( {\delta^\nabla_r}( \xi ) \right) + {\delta^\nabla_r}\left( [\xi, \zeta ]_L \right) \right) \label{equation: C_r 1}$$ where $ c \in A$ and $\xi, \zeta \in L$. Moreover, the operator ${\mathcal C^\nabla_r}$ is trilinear. Using Definition \[definition: right connection\] and Proposition \[proposition: connection characters\] we argue as follows $$\begin{aligned} & {\mathcal C^\nabla_r}(a \cdot \xi , b \cdot \zeta ) (c) = \nabla^r_{ a \cdot \xi } \left( \nabla^r_{ b \cdot \zeta } (c) \right) - \nabla^r_{ b \cdot \zeta } \left( \nabla^r_{ a \cdot \xi } (c) \right) + \nabla^r_{ [ a \cdot \xi, b \cdot \zeta ]_L} (c) \\ & = \nabla^r_{ a \cdot \xi } \left( {\delta^\nabla_r}(b \cdot c \cdot \zeta ) \right) - \nabla^r_{ a \cdot \xi } \left( {\delta^\nabla_r}(a \cdot c \cdot \xi ) \right) + {\delta^\nabla_r}\left( c \cdot [ a \cdot \xi , b \cdot \zeta ]_L \right) \\ & = {\delta^\nabla_r}\left( a \cdot {\delta^\nabla_r}(b \cdot c \cdot \zeta ) \cdot \xi \right) - {\delta^\nabla_r}\left( b \cdot {\delta^\nabla_r}( a \cdot c \cdot \xi ) \cdot \zeta \right) \\ & \phantom{={}} + {\delta^\nabla_r}\left( a \cdot b \cdot c \cdot [ \xi , \zeta ]_L + a \cdot c \cdot \rho ( \xi ) (b) \cdot \zeta - c \cdot b \cdot \rho ( \zeta ) (a) \cdot \xi \right) \\ & = a \cdot b \cdot c \cdot \left( - \rho( \xi) \left( {\delta^\nabla_r}( \zeta ) \right) + \rho ( \zeta ) \left( {\delta^\nabla_r}( \xi ) \right) + {\delta^\nabla_r}\left( [\xi, \zeta ]_L \right) \right) . \qedhere $$ Since the operator ${\mathcal C^\nabla_r}$ is $A$-linear, and in fact $A$-trilinear, we only need to consider the curvature of a right $(A,L)$-connection at $1_A \in A$ and so, we write ${\mathcal C^\nabla_r}( \xi , \zeta ) ( 1_A ) =: {\mathcal C^\nabla_r}( \xi , \zeta )$ for $ \xi , \zeta \in L$. Furthermore, since right $(A, L)$-connections on $A$ and right $(A,L)$-connnection characters on $A$ are equivalent, we will refer to the operator ${\delta^\nabla_r}$ in as *connection*. In @NielsPosthuma [Proposition 3.11], it is proved that there exists an antipode on the universal enveloping algebra of $(A,L)$ turning the left Hopf algebroid structure on $V(A,L)$ into a <span>full Hopf algebroid</span> if and only if there exists a right $V(A,L)$-module structure on $A$. From @KR1, it follows that the left Hopf algebroid $V(A,L)$ is not, in general, a full one. However, examples where $V(A,L)$ admits an antipode do exist: e.g. the universal enveloping algebra of a Lie algebroid @WeinsteinTransverse and of the canonical Lie–Rinehart algebra associated to Poisson algebras @HuebschmannPaper1 [Section (3.2)]. Jacobi algebras {#Jacobi algebras} --------------- Jacobi algebras were first introduced by Kirillov @kirillov under the name "local Lie algebras" and independently by Lichnerowicz @lichnerowicz as the algebraic structure on the ring of $C^\infty$-functions on a certain kind of smooth manifolds, called Jacobi manifolds, see Section \[Jacobi section\] below. (See @JacobiMarle [Section 2.2] for some remarks comparing both definitions.) Here we give a purely algebraic definition, see @GRJacobi for a graded version and @Militaru for results on Frobenius Jacobi algebras, representations of Jacobi algebras, and classification. A **Jacobi algebra** over $R$ is a commutative $R$-algebra $(A, \cdot )$ endowed with an $R$-linear Lie bracket $\{ \bullet , \bullet \}_J$, called the Jacobi bracket, satisfying the Leibniz rule $$\label{equation: generalized leibniz} \{a \cdot b, c\}_J = a \cdot \{ b, c \}_J + b \cdot \{a, c \}_J - a \cdot b \cdot \{1, c \}_J, \quad a, b, c \in A.$$ Poisson algebras can be seen as Jacobi algebras where $\{ 1 , a \}_J = 0$ for all $a \in A$. The Jacobi bracket $\{ \bullet , \bullet \}_J$ induces a Lie algebra map defined by $$\label{equation: Hamiltonian Jacobi} \Phi : A \longrightarrow \mathrm{Der}_R (A), \quad a \longmapsto \Phi_a := \{a, \bullet \}_J + \bullet \cdot \{1, a\}_J , \quad a \in A.$$ First we check that $\Phi_a $ is a derivation on $A$ for all $a \in A$. We have $$\begin{split} \Phi_a \left( b \cdot c \right) & = \{ a , b \cdot c \}_J + b \cdot c \cdot \{ 1 , a \}_J = b \cdot \{ a , c \}_J + c \cdot \{ a , b \}_J + 2 \cdot b \cdot c \cdot \{1 , a \}_J \\ & = b \cdot \Phi_a \left( c \right) + c \cdot \Phi_a \left( b \right) . \end{split}$$ Furthermore, using the fact that $\{ \bullet , \bullet \}_J$ satisfies the Jacobi identity, a straightforward computation shows that the derivation $ \Phi_{ \{a, b \}_J } - \left[ \Phi_a, \Phi_b \right]_{\mathrm{Der}_R(A)} $ vanishes on all $c \in A$. Hence $\Phi$ is a Lie algebra homomorphism. The operator $\{ a , \bullet \}_J$ is a first order differential operator for all $a \in A$, and a derivation for the case $a = 1$. See also @kirillov [Proof of Lemma 4]. The Lie–Rinehart algebra $ ( A , \mathcal J^1 (A) )$ over a Jacobi algebra $A$ {#section: Jacobi flat} =============================================================================== In this section we develop the proof of Theorem \[Jacobi flat\]. The 1-jet space of $A$ {#1jetA} ---------------------- In this section we first describe the $A$-module structure of the 1-jet space of a commutative algebra $A$. Then we consider $A$ to be a Jacobi algebra and show that the pair $(A , A \otimes A)$ admits a Lie–Rinehart algebra structure (see Lemma \[AA\]) which descends to a Lie–Rinehart structure on $(A, \mathcal J^1(A))$, (Theorem \[Jacobi flat\] Part 1). Let $A$ be a commutative algebra, $\mu: A \otimes_R A \rightarrow A $ be the multiplication map $a \otimes_R b \mapsto a \cdot b$, and let $I = \mathrm{Ker}{\mu} \in A \otimes_R A$. The **1-jet space of $A$** is an $A$-module defined by $$\label{defJ} \mathcal J^1 (A) := ( A \otimes_R A ) / I^2.$$ We now provide a characterization of $\mathcal J^1 (A)$ as the trivial extension of $A$ by $\Omega^1 (A)$, the $A$-module of Kähler differentials over $A$, explaining its relation to , see @Matsumura [Chapter 10] for more details. There exists a canonical isomorphism of $A$-modules $$\label{canonical iso} ( A \otimes_R A ) / I^2 \cong A \oplus \Omega^1 (A)$$ which identifies $a \otimes_R b \pmod{I^2} $ with $(a \cdot b , a \cdot db)$ for all $a , b \in A$. First note $\Omega^1 (A) = I/ I^2$ and $da = 1 \otimes_R a - a \otimes_R 1 \pmod{I^2}$, so that $a \cdot db = a \otimes_R b - a \cdot b \otimes_R 1 \pmod{I^2}$. Let $\lambda : A \rightarrow A \otimes_R A$ be given by $a \mapsto a \otimes_R 1$. Then for all $a , b \in A$ we write $a \otimes_R b \in A \otimes_R A$ as $ a \otimes_R b = a \cdot b \otimes_R 1 + ( a \otimes_R b - a \cdot b \otimes_R 1 ) $ where $a \cdot b \otimes_R 1 \in \lambda (A)$ and $a \otimes_R b - a \cdot b \otimes_R 1 \in I$. Since $ I \cap \lambda (A) = 0 $, we deduce $ A \otimes_R A = \lambda \left( A \right) \oplus I$ and $ \lambda (A) / I^2 = \lambda (A)$. Since $\lambda$ is injective, we can identify $\lambda(A)$ with $A$, hence $$( A \otimes_R A ) / I^2 = \left( \lambda (A) \oplus I \right) / I^2 = \left( \lambda (A) / I^2 \right) \oplus \left( I /I^2 \right) \cong A \oplus \Omega^1 (A) . \qedhere$$ As an $A$-module, $\mathcal J^1 (A)$ is generated by the image of $(A , \cdot )$ under the map $j^1 : A \rightarrow \mathcal J^1 (A)$ given by $a \mapsto 1 \otimes_R a \pmod{I^2}$ and called the **1-jet map**. The elements $j^1 (a) \in \mathcal J^1 (A)$ satisfy the Leibniz rule $$\label{leibniz J1} j^1 (a \cdot b ) - a \cdot j^1 (b) - b \cdot j^1 (a) + a \cdot b \cdot j^1 (1) = 0.$$ For an element $\sum a_i \otimes_R b_i \in A \otimes_R A$ we have $ \sum a_i \otimes_R b_i = \sum a_i \cdot \left( 1 \otimes_R b_i \right) $. Since we have $1 \otimes_R b_i \pmod{I^2} = j^1 \left( b_i \right)$ we deduce that any element in $\mathcal J^1 (A) = \left( A \otimes_R A \right) / I^2$ is of the form $\sum a_i \cdot j^1 \left( b_i \right)$. Hence we deduce that, as an $A$-module, $\mathcal J^1 (A)$ is generated by $j^1 (a) \in \mathcal J^1 (A)$ for all $a \in A$. As $ 1 \otimes_R a \cdot b - a \otimes_R b - b \otimes_R a + a \cdot b \otimes_R 1 = \left( 1 \otimes_R a - a \otimes_R 1 \right) \cdot \left( 1 \otimes_R b - b \otimes_R 1 \right) \in I^2 $, the Leibniz rule in holds. Note that the isomorphism $(A \otimes_R A) / I^2 \cong A \oplus \Omega^1 (A)$ given in identifies $a \cdot j^1 (b) \in \mathcal J^1 (A) $ with $( a \cdot b , a \cdot db ) \in A \oplus \Omega^1 (A)$ for all $a , b \in A$. Our next aim is to endow the $A$-module $A \otimes A$, where $A$ is a Jacobi algebra over a field $k$, with a Lie bracket, denoted $[ \bullet , \bullet ]_{A \otimes A}$, and an $A$-linear Lie algebra map from $A \otimes A$ to $\mathrm{Der}_k (A)$ compatible with the bracket $[ \bullet , \bullet ]_{A \otimes A}$ so that the pair $(A , A \otimes A)$ is a canonical Lie–Rinehart algebra over $A$. \[AA\] Let $(A , \{ \bullet , \bullet \}_J)$ be a Jacobi algebra over a field $k$, the pair $(A, A \otimes A)$ is a Lie–Rinehart algebra with anchor $$\label{anchorAA} \rho_{A \otimes A}: A \otimes A \longrightarrow \mathrm{Der}_k (A), \quad a \otimes b \longmapsto a \cdot \Phi_b$$ and Lie bracket on $A \otimes A$ given by $$\label{bracketAA} [a \otimes f , b \otimes g ]_{A \otimes A} = a \cdot b \otimes \{ f , g \}_J + a \cdot \Phi_f (b) \otimes g - b \cdot \Phi_g (a) \otimes f.$$ The bracket in is skew-symmetric and by a brief computation we see that it satisfies the Jacobi identity. We now check that the $A$-linear map in is a Lie algebra map: $$\begin{aligned} \rho_{A \otimes A} \left( [ a \otimes f , b \otimes g ]_{ A \otimes A } \right) & = \rho_{A \otimes A} \left( a \cdot b \otimes \{ f , g \}_J + a \cdot \Phi_f (b) \otimes g - b \cdot \Phi_g (a) \otimes f \right) \\ & = a \cdot b \cdot \Phi_{ \{ f , g \}_J } + a \cdot \Phi_f (b) \cdot \Phi_g - b \cdot \Phi_g (a) \cdot \Phi_f \\ & = a \cdot b \cdot [ \Phi_f , \Phi_g]_{\mathrm{Der}_k (A)} + a \cdot \Phi_f (b) \cdot \Phi_g - b \cdot \Phi_g (a) \cdot \Phi_f \\ & = [a \cdot \Phi_f , b \cdot \Phi_g ]_{\mathrm{Der}_k (A)} \\ & = [ \rho_{A \otimes A} ( a \otimes f ) , \rho_{A \otimes A} ( b \otimes g ) ]_{\mathrm{Der}_k (A)}.\end{aligned}$$ Lastly, we show that the bracket in is compatible with the anchor in since the Leibniz rule in is satisfied: $$\begin{aligned} & [ a \otimes f , b \cdot c \otimes g ]_{A \otimes A} = a \cdot b \cdot c \otimes \{ f , g \}_J + a \cdot \Phi_f ( b \cdot c ) \otimes g - b \cdot c \cdot \Phi_g (a) \otimes f \\ & = a \cdot b \cdot c \otimes \{ f , g \}_J + a \cdot b \cdot \Phi_f (c) \otimes g + a \cdot c \cdot \Phi_f (b) \otimes g - b \cdot c \cdot \Phi_g (a) \otimes f \\ & = b \cdot (a \cdot c \otimes \{ f , g \}_J + a \cdot \Phi_f (c) \otimes g - c \cdot \Phi_g(a) \otimes f) + a \cdot c \cdot \Phi_f (b) \otimes g \\ & = b \cdot [a \otimes f , c \otimes g ]_{A \otimes A} + \rho_{A \otimes A} ( a \otimes f) (b) \cdot ( c \otimes g). \qedhere\end{aligned}$$ We are now ready to prove that the pair $( A , \mathcal J^1 (A) )$ admits a Lie–Rinehart algebra structure: the Lie bracket $ [ \bullet , \bullet ]_{ A \otimes A}$ on $A \otimes A$ in and the anchor map given by $\rho_{A \otimes A}: A \otimes A \rightarrow \mathrm{Der}_k (A)$ in descend respectively to a Lie bracket on $\mathcal J^1 (A)$ and to an $A$-linear Lie algebra map from $\mathcal J^1 (A)$ to $\mathrm{Der}_k (A)$ which are compatible with each other since they satisfy the Leibniz rule . \[Proof of Theorem \[Jacobi flat\] Part 1\] The Lie bracket $[ \bullet , \bullet ]_{ A \otimes A}$ on $A \otimes A$ given in descends to the bracket $[ \bullet , \bullet ]_{ \mathcal J^1 (A) }$ given in if and only if it maps the $A$-module $A \otimes A \otimes I^2 + I^2 \otimes A \otimes A$ to $I^2$. Since $[ \bullet , \bullet ]_{ A \otimes A}$ is a skew-symmetric bracket, it is enough to check that it maps $A \otimes A \otimes I^2$ to $I^2$. Let $a_1 \otimes b_1 \in A \otimes A $ and $ \sum a_i \otimes b_i , \sum f_j \otimes g_j \in I $ so that $\sum a_i \cdot b_i = \sum f_j \cdot g_j = 0$. Then we have $ (a_1 \otimes b_1 ) \otimes \left( \left( \sum a_i \otimes b_i \right) \cdot \left( \sum f_j \otimes g_j \right) \right) \in A \otimes A \otimes I^2 $ which under $ [ \bullet , \bullet ]_{ A \otimes A}$ becomes $$\begin{aligned} & \left[ a_1 \otimes b_1 , \left( \sum a_i \otimes b_i \right) \cdot \left( \sum f_j \otimes g_j \right) \right]_{ A \otimes A} = \left[ a_1 \otimes b_1 , \sum a_i \cdot f_j \otimes b_i \cdot g_j \right]_{ A \otimes A} \\ & = a_1 \cdot \left( \sum a_i \otimes b_i \right) \cdot \left( \sum f_j \otimes \{ b_1 , g_j \}_J \right) + a_1 \cdot \left( \sum f_j \otimes g_j \right) \cdot \left( \sum a_i \otimes \{ b_1 , b_j \}_J \right) \\ & \phantom{={}} + a_1 \cdot \left( \sum a_i \otimes b_i \right) \cdot \left( \sum \{ b_1 , f_j \}_J \otimes g_j \right) + a_1 \cdot \left( \sum f_j \otimes g_j \right) \cdot \left( \sum \{ b_1 , a_i \}_J \otimes b_i \right) \\ & \phantom{={}} + a_1 \cdot \left( \sum a_i \otimes b_2 \right) \cdot \left( \sum f_j \otimes g_j \right) \cdot ( 1 \otimes \{ 1 , b_1 \}_J + 2 \{ 1 , b_1 \}_J \otimes 1 ) \in I^2 \end{aligned}$$ since we have $ \sum a_i \otimes b_i \in I$, $ \sum f_j \otimes g_j \in I$, $ \sum( f_j \otimes \{ b_1 , g_j \}_J + \{ b_1 , f_j \}\otimes g_j ) \in I$ and $ \sum ( a_i \otimes \{ b_1 , b_i \}_J + \{ b_1 , a_i \}_J \otimes b_i ) \in I$. Hence $ A \otimes A \otimes I^2 + I^2 \otimes A \otimes A $ is mapped to $ I^2$ under $[ \bullet , \bullet ]_{ A \otimes A}$ and consequently $[ \bullet , \bullet ]_{ A \otimes A}$ descends to the bracket $[ \bullet , \bullet ]_{ \mathcal J^1 (A) }$ in . A straightforward computation shows that $[ \bullet , \bullet ]_{ \mathcal J^1 (A) }$ also satisfies the Jacobi identity, hence it is a Lie bracket. By a similar argument, we show that the map $\rho_{ A \otimes A}$ in descends to the map in . Let $a \otimes b, f \otimes g \in I$ so that $a \cdot f \otimes b \cdot g \in I^2$, which under $\rho_{ A \otimes A}$ becomes $$\rho_{ A \otimes A} (a \cdot f \otimes b \cdot g) = a \cdot f \cdot \Phi_{b \cdot g} = a \cdot f \cdot \{ b \cdot g , \bullet \}_J + a \cdot f \cdot \{ 1 , b \cdot g \}_J \cdot \bullet = 0.$$ Since $\rho_{ A \otimes A}$ maps $I^2$ to 0, we deduce that it descends to the map $\rho_{ \mathcal J^1}$. Moreover, a short computation similar to one performed in the proof of Lemma \[AA\] shows that the Leibniz rule in holds. Thus, the Lie bracket $ [ \bullet , \bullet ]_{\mathcal J^1 (A)}$ in and the anchor $\rho_{\mathcal J^1}$ in turn $(A , \mathcal J^1 (A))$ into a Lie–Rinehart algebra. Relation of $(A , \mathcal J^1 (A))$ to the Lie algebroid over a Jacobi manifold {#Jacobi section} -------------------------------------------------------------------------------- In this brief section we explain how our algebraic description, given in Theorem \[Jacobi flat\], of the canonical Lie–Rinehart algebra $(A, \mathcal J^1 (A))$ associated to a Jacobi algebra $(A , \{ \bullet , \bullet \}_J)$ is related to the geometric description of the Lie algebroid over a Jacobi manifold $M$ as given in @ben. Let $M$ be a smooth manifold equipped with a bivector field $\Lambda$ and a vector field $E$. The ring $C^\infty (M)$ admits a Lie bracket, called a **Jacobi structure**, given by $$\label{JKL} \{ f, g \}_J = \Lambda \left( df , dg \right) + f \cdot E \left( g \right) - g \cdot E \left( f \right), \quad f , g \in C^\infty \left( M \right)$$ if and only if $\Lambda$ and $E$ satisfy $ \llbracket \Lambda, \Lambda \rrbracket = 2 E \wedge \Lambda$ and $ \llbracket \Lambda, E \rrbracket = 0$, where $\llbracket \bullet , \bullet \rrbracket$ is the Schouten bracket. Then $(M, \Lambda, E)$ is called a **Jacobi manifold**. In order to construct the canonical Lie algebroid associated to a Jacobi manifold $(M, \Lambda, E)$, Kerbrat and Souici-Benhammadi @ben endow the bundle $J^1(M, \mathbb R)$ of 1-jets of smooth functions on the manifold $M$, which is isomorphic as a $C^\infty (M)$-module to the direct sum $C^\infty (M) \oplus \Omega^1 (M)$ where $\Omega^1 (M)$ are the smooth differential 1-forms, with a Lie bracket given by $ [(f_1 , a_1 \cdot db_1) , ( f_2 , a_2 \cdot db_2)] = ( f , a \cdot d b) $ where $$\begin{aligned} f & = - \Lambda( a_1 \cdot db_1 , a_2 \cdot db_2) \\ & \phantom{={}} + \iota ( \Lambda^\# (a_1 \cdot db_1) + f_1 \cdot E) \cdot d f_2 - \iota (\Lambda^\# ( a_2 \cdot db_2) + f_2 \cdot E) \cdot df_1 \\ a \cdot db & = \mathcal L ( \Lambda^\# (a_1 \cdot db_1) + f_1 \cdot E) a_2 \cdot db_2 - \mathcal L ( \Lambda^\# ( a_2 \cdot db_2) + f_2 \cdot E) a_1 \cdot db_1 \\ & \phantom{={}} - \langle a_1 \cdot db_1 , E \rangle ( a_2 \cdot db_2 - df_2 ) + \langle a_2 \cdot db_2 , E \rangle ( a_1 \cdot db_1 - df_1) \\ & \phantom{={}} - d (\Lambda(a_1 \cdot db_1 , a_2 \cdot db_2 )) \end{aligned}$$ for $f, f_1, f_2 \in C^\infty(M)$ and $a \cdot db, a_1 \cdot db_1 , a_2 \cdot db_2 \in \Omega^1 (M)$, which we can write in terms of the Jacobi structure in as $$\begin{aligned} f & = - a_1 \cdot a_2 \cdot \{ b_1 , b_2 \}_J + a_1 \cdot a_2 \cdot b_1 \cdot \{ 1 , b_2 \}_J - a_1 \cdot a_2 \cdot b_2 \cdot \{ 1 , b_1 \}_J \\ & \phantom{={}}+ a_1 \cdot \{ b_1 , f_2 \}_J - a_1 \cdot b_1 \cdot \{ 1 , f_2 \}_J + a_1 \cdot f_2 \cdot \{ 1 , b_1 \}_J + f_1 \cdot \{ 1 , f_2 \}_J \\ & \phantom{={}} - a_2 \cdot \{ b_2 , f_1 \}_J + a_2 \cdot b_2 \cdot \{ 1 , f_1 \}_J - a_2 \cdot f_1 \cdot \{ 1 , b_2 \}_J - f_2 \cdot \{ 1 , f_1 \}_J \\ a \cdot db & = a_1 \cdot a_2 \cdot d \{ b_1 , b_2 \}_J \\ & \phantom{={}} + ( a_2 \cdot \{ a_1 , b_2 \}_J - f_2 \cdot \{ 1 , a_1 \}_J + a_2 \cdot b_2 \cdot \{ 1 , a_1 \}_J - a_1 \cdot a_2 \cdot \{ 1 , b_2 \}_J ) \cdot db_1 \\ & \phantom{={}} - ( a_1 \cdot \{ a_2 , b_1 \}_J - f_1 \cdot \{ 1 , a_2 \}_J + a_1 \cdot b_1 \cdot \{ 1 , a_2 \}_J - a_1 \cdot a_2 \cdot \{ 1 , b_1 \}_J ) \cdot db_2 \\ & \phantom{={}} - ( a_1 \cdot f_2 - a_1 \cdot a_2 \cdot b_2 ) \cdot d \{ 1 , b_1 \}_J + ( a_2 \cdot f_1 - a_1 \cdot a_2 \cdot b_1 ) \cdot d \{ 1 , b_2 \}_J .\end{aligned}$$ Now, take $A = C^\infty (M)$ in . By the isomorphism given in we can identify an element $a \cdot j^1 (b) + (f - a \cdot b ) \cdot j^1 (1) \in \mathcal J^1 (C^\infty(M))$ with $( f , a \cdot db) \in C^\infty (M) \oplus \Omega^1 ( C^\infty(M) )$. By the universal property of Kähler differentials, a straightforward computation shows that the bracket (on the algebraic Kähler differentials) given in *descends* to the bracket (on differential forms) defined in @ben, so that both constructions are in fact compatible. Furthermore, since elements $a \cdot j^1 (b) \in \mathcal J^1 ( C^\infty (M) )$ are identified, as above, with elements $(a\cdot b , a \cdot db ) \in C^\infty (M) \oplus \Omega^1 ( M)$, we see that the anchor map we defined in yields the anchor defined in @ben, that is a map $ \rho : J^1 (M, \mathbb R) \rightarrow TM$ given by $( f, a \cdot db ) \mapsto \Lambda^\# ( a \cdot db) + f \cdot E$. The Jacobi algebra $(A, \{ \bullet , \bullet \}_J)$ as a right $(A, \mathcal J^1 (A))$-module ---------------------------------------------------------------------------------------------- We are now ready to prove the main result stated in Theorem \[Jacobi flat\], which we recall here: \[thm 3.6\] Let $( A , \mathcal J^1 (A))$ be the canonical Lie–Rinehart algebra associated to a Jacobi algebra $( A , \{ \bullet , \bullet \}_J)$. The map $$\label{connection2} \varphi_{\mathcal J^1 }: \mathcal J^1 (A) \longrightarrow A , \quad a \cdot j^1 (b) \longmapsto \{ a , b \}_J$$ is a flat right $(A, \mathcal J^1 (A) )$-connection character on $A$. We first check that the map is well-defined. The map $ \gamma : A \otimes A \rightarrow A$ given by $a \otimes b \mapsto \{ a , b \}_J $ induces the map in if and only if $\gamma \left( I^2 \right) = 0$. Let $ \sum a_i \otimes b_i , \sum f_j \otimes g_j \in I$, so that $\sum a_i \cdot b_i = \sum f_j \cdot g_j = 0$. Then, we have $ \left( \sum a_i \otimes b_i \right) \cdot \left( \sum f_j \otimes g_j \right) = \sum a_i \cdot f_j \otimes b_i \cdot g_j \in I^2$ which under the map $\gamma : A \otimes A \rightarrow A $ becomes $$\begin{aligned} \gamma & \left( \sum a_i \cdot f_j \otimes b_i \cdot g_j \right) = \sum \{ a_i \cdot f_j , b_i \cdot g_j \}_J \\ & = \sum a_i \cdot g_j \cdot \{ f_j , b_i \}_J + \sum f_j \cdot b_i \cdot \{ a_i , g_j \}_J + \sum a_i \cdot f_j \cdot \{g_j , b_i \}_J - \sum a_i \cdot f_j \cdot \{ g_j , b_i \}_J \\ & = \sum a_i \cdot \{ f_j \cdot g_j , b_i \}_J + \sum f_j \cdot \{ a_i \cdot b_i , g_j \}_J =0 \end{aligned}$$ so $ \varphi_{ \mathcal J^1 } : \mathcal J^1 (A) \rightarrow A$ is well-defined. We now prove the map $\varphi_{ \mathcal J^1 } : \mathcal J^1 (A) \rightarrow A$ is a right $\left( A , \mathcal J^1 (A) \right)$-connection character on $A$. Let $\sum a_i \cdot j^1 \left( b_i \right) \in \mathcal J^1 (A)$, then we have $$\begin{aligned} \varphi_{ \mathcal J^1 } \left( \sum c \cdot a_i \cdot j^1 (b_i ) \right) & = \sum \{ c \cdot a_i, b_i \}_J \\ & = \sum ( c \cdot \{ a_i , b_i \}_J - a_i \cdot \{ b_i , c \}_J - c \cdot a_i \cdot \{ 1 , b_i \}_J ) \\ & = c \cdot \varphi_{ \mathcal J^1} \left( \sum a_i \cdot j^1 (b_i) \right) - \rho_{ \mathcal J^1 } \left( \sum a_i \cdot j^1 (b_i) \right) ( c ) \end{aligned}$$ so $\varphi_{ \mathcal J^1}$ satisfies . Lastly, using the identity in Lemma \[theorem: A-linear\], we compute the curvature of the $(A, \mathcal J^1 (A) )$-connection (character) on $A$ given in : $$\begin{aligned} {\mathcal C^\nabla_r}\left( j^1 (a) , j^1 (b) \right) & = - \rho_{ \mathcal J^1 } \left( j^1 (a) \right) \left( \varphi_{ \mathcal J^1 } \left( j^1 (b) \right) \right) +\rho_{ \mathcal J^1 } \left( j^1 (b) \right) \left( \varphi_{ \mathcal J^1 } \left( j^1 (a) \right) \right) + \varphi_ {\mathcal J^1 } \left( [ j^1 (a) , j^1 (b) ]_{ \mathcal J^1 (A) } \right) \\ & = - \Phi_a \left( \{ 1 , b \}_J \right) + \Phi_b \left( \{ 1 , a \}_J \right) + \varphi_{ \mathcal J^1} \left( j^1 \{ a , b \}_J \right) \\ & = - \{ a , \{ 1 , b \}_J \}_J - \{ 1 , a \}_J \cdot \{ 1 , b \}_J + \{ b , \{ 1 , a \}_J \}_J + \{ 1 , b \}_J \cdot \{ 1 , a \}_J + \{ 1 , \{ a , b \}_J \}_J \\ & = 0 \end{aligned}$$ for all $a , b \in A$. Other quotient Lie–Rinehart algebras of $(A, A \otimes A)$ {#section: ingredients} =========================================================== In the previous section we considered $(A, \mathcal J^1 (A))$ as a quotient of the Lie–Rinehart algebra $(A, A \otimes A)$ associated to a Jacobi algebra over a field $k$. In this section we construct new quotient Lie–Rinehart algebras of $(A , A \otimes A)$. Quotient Lie–Rinehart algebras ------------------------------ \[quotient LR\] Let $(A,L)$ be a Lie–Rinehart algebra with Lie bracket on $L$ denoted by $[ \bullet , \bullet ]_L$ and anchor $\rho_L$. For $h \in A$, define $ \mu_h : L \rightarrow L$ by $ \zeta \mapsto h \cdot \zeta$ for $\zeta \in L$ and put $M := \mathrm{Im} ( \mu_h) = h L $, $K = \mathrm{Ker} ( \mu_h) = \{ \xi \in L \mid h \cdot \xi = 0 \}$. The pair $(A, M)$ admits a Lie–Rinehart algebra structure with Lie bracket on $M$ given by $$\label{bracket K} [ h \cdot \zeta , h \cdot \gamma ]_M := h \cdot [ \zeta, \gamma ]_L, \quad \zeta , \gamma \in L,$$ and anchor $$\label{anchor K} \rho_M: (M, [ \bullet , \bullet ]_M) \longrightarrow \mathrm{Der}_k (A), \quad \rho_M ( h \cdot \zeta ) := \rho_L ( \zeta), \quad \zeta \in L$$ turning the map $$\mu_h : ( L , [ \bullet , \bullet ]_L ) \longrightarrow ( M , [ \bullet , \bullet ]_M ), \quad \zeta \longmapsto h \cdot \zeta$$ into a Lie–Rinehart algebra homomorphism if and only if 1. $ \rho_L( \xi ) =0$, for all $\xi \in K$, \[assumption 1\] 2. $K$ is a Lie ideal in $L$, i.e., $ h \cdot [\xi , \bullet]_L = 0$, for all $\xi \in K$. Assume first that $(A , L )$ and $h \in A$ satisfy conditions (1) and (2) above. The bracket $[ \bullet , \bullet ]_M : M \otimes M \rightarrow M$, defined by $[ \bullet , \bullet ]_M \circ ( \mu_h \otimes \mu_h ) = \mu_h \circ [ \bullet , \bullet ]_L$, is well-defined since we have $K = \mathrm{Ker} ( \mu_h)$ and $[ K , M ]_L \subset K$ by condition (2). Moreover, $[ \bullet , \bullet ]_M$ is skew-symmetric and satisfies the Jacobi identity since $[ \bullet , \bullet ]_L$ does. Furthermore, we have $\rho_M ( \theta) = \rho_M ( h \cdot \xi' ) = \rho_L ( \xi')$ which vanishes by our assumptions, so the map $\rho_M : M \rightarrow \mathrm{Der}_k (A)$ is well-defined. We next check that $\rho_M$ is a Lie algebra map: $$\begin{split} \rho_M ( [ h \cdot \zeta , h \cdot \gamma ]_M ) & = \rho_M ( h \cdot [ \zeta , \gamma ]_L ) = \rho_L ( [ \zeta , \gamma ]_L ) ) = [ \rho_L ( \zeta) , \rho_L ( \gamma) ]_L \\ & = [ \rho_M ( h \cdot \zeta) , \rho_M ( h \cdot \gamma) ]_{\mathrm{Der}_k (A)}. \end{split}$$ We finally check that $[ \bullet , \bullet ]_M$ is compatible with $\rho_M$ since the Leibniz rule in is satisfied: $$\begin{split} [ h \cdot \zeta , a \cdot h \cdot \gamma ]_M & = h \cdot [ \zeta , a \cdot \gamma ]_L = h \cdot a \cdot [ \zeta , \gamma ]_L + h \cdot \rho_L ( \zeta ) ( a ) \cdot \gamma \\ & = a \cdot [ h \cdot \zeta , h \cdot \gamma ]_M + \rho_M ( h \cdot \zeta) ( a ) \cdot (h \cdot \gamma) . \end{split}$$ Conversely, assume $M$ admits the Lie–Rinehart algebra structure with bracket on $M$ given by and anchor given by . Since for all $\xi \in K$ we have $ \rho_M ( h \cdot \xi ) = 0$, by we deduce $\rho_L ( \xi ) = 0$. Moreover, for elements $\xi \in K$ and $\gamma \in L$ we have $ [ h \cdot \xi , h \cdot \gamma ]_M = 0 = h \cdot [ \xi , \gamma ]_L$ so $[ \xi , \gamma ]_L \in K$ for all $\gamma \in L$, so that $K$ is a Lie ideal in $L$. Note that since $[ h \cdot \xi , \gamma_1 ]_L = 0$ for all $\xi \in K$, by the Leibniz rule in we deduce that $ \rho_L ( \gamma_1 ) (h ) \cdot \xi = 0$ for all $\gamma_1 \in L$ so that $ [ \rho_L ( \gamma_1 ) (h ) \cdot \xi , \gamma_2 ]_L = 0$ and $\rho_L ( \gamma_2 ) \circ \rho_L ( \gamma_1) (h) \cdot \xi = 0$. Repeating this iteration process we deduce $ \rho_L ( \gamma_i ) \circ \cdots \circ \rho_L ( \gamma_1 ) ( h) \cdot \xi = 0$. We will base the proof of Theorem \[main\] Part 2 (a) on the following observation: \[fundamental\] If there exist some $\zeta \in L$, $\xi \in K$ such that $\xi = a \cdot \zeta$ for some $a \in A$, and no $b \in A$ satisfying $a \cdot b = \rho_L ( \zeta ) (a)$, then there exists no right $(A,M)$-connection on $A$. First note that since $\xi \in K$ we have $h \cdot \xi = a \cdot h \cdot \zeta = 0$. Now assume there exists a right $(A, M)$-connection character $\delta: M \rightarrow A$ on $A$. Then we have $$0 = \delta ( a \cdot h \cdot \zeta ) = a \cdot \delta ( h \cdot \zeta) - \rho_M ( h \cdot \zeta ) ( a ) = a \cdot \delta ( h \cdot \zeta ) - \rho_L ( \zeta ) ( a )$$ which is a contradiction. The $A$-module $A h \otimes A$ for a Jacobi algebra $A$ {#frak J} -------------------------------------------------------- Our aim in this section is to endow the $A$-module $A h \otimes A$, where $(A , \{ \bullet , \bullet \}_J)$ is a Jacobi algebra over a field $k$ and $h \in A$, with a Lie bracket that is compatible with the bracket on $\mathcal J^1(A)$ in . Let $(A , \{ \bullet , \bullet \}_J ) $ be a Jacobi algebra over a field $k$, and let $h \in A$ be such that $\{ \bullet , \bullet \}_J$ satisfies $r \cdot \{ \bullet , \bullet \}_J = 0$ for all $r \in \mathrm{Ann}_A( \{ h \} ) $. Then $( A, Ah \otimes A )$ admits a Lie–Rinehart algebra structure with Lie bracket on $Ah \otimes A$ given by $$\label{bracket AhA} [ h \cdot a \otimes f , h \cdot b \otimes g ]_{Ah \otimes A}: = h \cdot [ a \otimes f , b \otimes g ]_{ A \otimes A}$$ and anchor $$\label{anchor AhA} \rho_{Ah \otimes A} ( h \cdot a \otimes f) = \rho_{A \otimes A} ( a \otimes f ) = a \cdot \Phi_f.$$ First recall that $(A , A \otimes A)$ is a Lie–Rinehart algebra with Lie bracket given in and anchor given in . Note also that there exists a map of $A$-modules given by $$\mu_h : A \otimes A \longrightarrow Ah \otimes A , \quad 1 \otimes a \longmapsto h \otimes a.$$ We now prove that the conditions in Lemma \[quotient LR\] are satisfied. Let $\{ e_i \}$ be a basis of the Jacobi algebra $(A, \{ \bullet , \bullet \}_J )$ as a $k$-vector space, and let $K = \{ \sum a_i \otimes e_i \in A \otimes A \mid \sum a_i \cdot h \otimes e_i = 0\}$. Now, let $ \sum a_i \otimes e_i \in K$. Then $ a_i \cdot h = 0$ so $a_i \in \mathrm{Ann}_A ( \{ h \} )$ for all $i$. 1. Since $r \cdot \{ \bullet , \bullet \}_J = 0$ for all $r \in \mathrm{Ann}_A ( \{ h \})$, we have $r \cdot \Phi_{ \bullet } = 0$. Then, for elements $\sum a_i \otimes_R e_i \in K$ we have $ \rho_{A \otimes A } ( \sum a_i \otimes e_i ) = \sum a_i \cdot \Phi_{e_i} = 0$ since $a_i \in \mathrm{Ann}_A ( \{ h \})$. 2. Since $\{ h \cdot r , \bullet \}_J = r \cdot \{ \bullet , \bullet \}_J = 0$, the Leibniz rule in yields $ h \cdot \{ r , \bullet \}_J =0 $ for all $r \in \mathrm{Ann}_A ( \{ h \})$. Furthermore, by computing the Lie bracket on $A \otimes A$ in we obtain, for $\sum a_i \otimes e_i \in K$, $\sum b_j \otimes e_j \in A \otimes A$: $$\begin{split} \left[ \sum a_i \otimes e_i , \sum b_j \otimes e_j \right]_{A \otimes A} & = \sum \sum a_i \cdot b_j \otimes \{ e_i , e_j \}_J \\ & \phantom{={}} + \sum \sum a_i \cdot \Phi_{e_i} ( b_j) \otimes e_j \\ & \phantom{={}} - \sum \sum b_j \cdot \Phi_{e_j} ( a_i) \otimes e_i \end{split}$$ hence we deduce $\left[ \sum a_i \otimes e_i , \sum b_j \otimes e_j \right]_{A \otimes A} \in K$ so that $K$ is a Lie ideal in $(A \otimes A , [ \bullet , \bullet ]_{A \otimes A}$). Hence, by Lemma \[quotient LR\], the pair $(A, A h \otimes A)$ can be endowed with a Lie–Rinehart algebra structure with anchor $\rho_{Ah \otimes A} ( h \cdot a \otimes f) = \rho_{A \otimes A} ( a \otimes b ) = a \cdot \Phi_b$ and Lie bracket on $Ah \otimes A$ given by $ [ h \cdot a \otimes f , h \cdot b \otimes g ]_{Ah \otimes A} = h \cdot [ a \otimes f , b \otimes g ]_{A \otimes A}$. The compatibility between the Lie–Rinehart algebra structures in $(A , A \otimes A)$, $(A
{'source': 'arXiv_out/1311'}