Lie-Rinehart Algebra Structure

• Lie–Rinehart algebra structures are defined by a commutative algebra paired with a Lie algebra acting as derivations, generalizing classical Lie algebras and derivation modules.
• The construction of a universal enveloping algebra with a PBW-type theorem enables effective computation of cohomology and spectral sequences in the study of differential operators.
• Applications of these structures span differential operators, Lie algebroids, and deformation theory, bridging algebraic frameworks with geometric and physical phenomena.

A Lie–Rinehart algebra structure provides a unifying framework interpolating between Lie algebras and modules of derivations over commutative algebras, underpinning the algebraic formalism of Lie algebroids, differential operators, and their cohomology theories. Originating in Rinehart’s foundational work, the concept has been further developed to include higher homotopical analogues, spectral sequence connections, categorical characterizations, graded and cyclic variants, and applications to geometry and mathematical physics.

1. Definition and Fundamental Properties

Given a commutative ring $k$ and a commutative $k$-algebra $S$, a Lie–Rinehart algebra over $k$ is a pair $(S, L)$ where $L$ is both a $k$-Lie algebra and an $S$-module, together with an $S$-linear Lie algebra homomorphism (anchor) $\rho: L \to \Der_k(S)$, subject to the following axioms for all $x, y \in L$, $s, t \in S$:

$$\tag{LR1} \rho(s x)(t) = s\,\rho(x)(t), \quad [x, s y] = s[x, y] + \rho(x)(s) y.$$

This structure generalizes both the Lie algebra $(\Der_k(S), [\cdot,\cdot])$ and ordinary Lie algebras (when $S = k$). The anchor encapsulates the idea of differentiating elements of $S$ along Lie algebra directions encoded in $L$ (Kordon et al., 2020).

The compatibility conditions guarantee that $L$ acts by derivations on $S$, and the Lie bracket is compatible with the module structure.

2. Universal Enveloping Algebra and PBW Structure

For every Lie–Rinehart algebra $(S,L)$, there exists a universal enveloping algebra $U(S,L)$, a unital associative $k$-algebra generated by $S$ and $L$ with relations:

$$\begin{align*} i_S(s_1)i_S(s_2) &= i_S(s_1 s_2),\ i_L([x,y]) &= i_L(x) i_L(y) - i_L(y) i_L(x),\ i_S(s) i_L(x) &= i_L(s x),\ i_L(x) i_S(s) - i_S(s) i_L(x) &= i_S(\rho(x)(s)). \end{align*}$$

By a Poincaré–Birkhoff–Witt (PBW)-type theorem, as an $S$-module,

$$U(S, L) \cong \bigoplus_{r \ge 0} S \otimes_k \Lambda^r_k L,$$

and with an induced filtration $F^p U$ satisfying $$\operatorname{gr}F U \cong S \otimes_k \operatorname{Sym}_k(L)$$ (Kordon et al., 2020).

Categorically, the enveloping functor $U(S,-)$ is left adjoint to a suitable forgetful functor, expressing its universal property: homomorphisms out of $U(S,L)$ correspond bijectively to Lie–Rinehart algebra homomorphisms out of $(S, L)$ (Saracco, 2021).

3. Cohomological and Homological Structures

The Lie–Rinehart algebra structure enables the definition of Lie–Rinehart (or Chevalley–Eilenberg) cohomology, with the cochain complex

$C^n(L, M) = \operatorname{Hom}_S(\Lambda^n_S L, M)$

for an $U(S, L)$-module $M$, equipped with the standard differential.

A key feature is the existence of the Lie–Rinehart–Hochschild spectral sequence:

$$E_2^{p,q} \cong H^p_{\mathrm{LR}}\left(L, H^q(S, M)\right) \implies \operatorname{HH}^{p+q}(U, M),$$

where $H^q(S, M)$ denotes Hochschild cohomology and $H^p_{\mathrm{LR}}(L, -)$ is Lie–Rinehart cohomology. Under suitable projectivity hypotheses, the sequence converges to the Hochschild cohomology of the enveloping algebra (Kordon et al., 2020). The differential on the $E_2$ page encodes the interaction between the Lie bracket and the action of $L$ on Hochschild cohomology.

4. Representative Examples: Differential Operators and Arrangements

For $S = k[x, y]$, let $L = \Der_A = \{ \delta \in \Der_k(S)\mid Q \mid \delta(Q)\}$, where $Q(x, y)$ defines a central arrangement of lines (e.g., $Q(x, y) = x\, y (t x + y)$). Then $L$ is a free $S$-module of rank 2, and the enveloping algebra $U(S, L)$ can be identified with the algebra $\Diff(A)$ of differential operators tangent to the arrangement.

Explicit computation of the LR–Hochschild spectral sequence and associated Hilbert series for $\operatorname{HH}^*(\Diff(A))$ yields:

$\sum_{i=0}^3 \dim_k \operatorname{HH}^i(\Diff(A)) t^i = 1 + 3t + 6t^2 + 4t^3,$

with $\operatorname{HH}^1$ isomorphic to the abelian Lie algebra of derivations modulo inner derivations (Kordon et al., 2020). The spectral sequence degenerates at the $E_2$-page in this example.

5. Spectral Sequences and Degeneracy

The first-quadrant spectral sequence relates the cohomology of the universal enveloping algebra to the underlying algebraic and Lie–Rinehart cohomologies. The entries $E_2^{p,q} = H^p(L, \operatorname{HH}^q(S, M))$ explicitly describe how Lie algebra cohomology of $L$ with coefficients in Hochschild cohomology of $S$ controls the global cohomology.

Degeneracy at the $E_2$-page, as observed in the explicit calculation for certain arrangements, reflects the situation where all higher differentials vanish, making the spectral sequence a particularly efficient computational tool in these cases (Kordon et al., 2020).

6. Interrelations with Lie Algebroids and Further Context

The Lie–Rinehart algebra formalism underpins the algebraic theory of Lie algebroids: for a smooth manifold $M$ and vector bundle $E \to M$ with a Lie algebroid structure, the pair $(C^\infty(M), \Gamma(E))$ becomes a Lie–Rinehart algebra, with the anchor corresponding to the bundle map to the tangent bundle and the bracket arising from the Lie algebroid bracket (Remm, 2020). Specializations recover derivation modules, Poisson structures, and their deformation complexes.

Such algebraic structures are foundational in the study of noncommutative geometry, deformation theory, and mathematical physics, providing a bridge between algebra and geometry through the formalism of differential operators, connections, and their (co)homology.

7. Applications and Broader Impact

Lie–Rinehart algebra structures appear in diverse contexts:

• Algebras of Differential Operators: Classification and explicit cohomology calculations for algebras of differential operators tangent to arrangements or singularities are structured through Lie–Rinehart theory (Kordon et al., 2020).
• Deformation Theory: The cohomological machinery for analyzing deformations of algebras and geometric structures is built upon Lie–Rinehart cohomology.
• Representation Theory and Modules: The equivalence of $U(S, L)$-module categories with modules over the Lie–Rinehart algebra itself is crucial for understanding representation-theoretic aspects (Saracco, 2021).
• Categorical Algebra: The adjointness of the universal enveloping algebra functor provides a conceptual unification of module and algebraic structures, facilitating homological algebra and category-theoretic approaches to geometric and algebraic questions (Saracco, 2021).
• Singular Foliations and Lie Algebroids: The Lie–Rinehart structure generalizes to singular spaces, linking to the theory of singular foliations and acyclic $L_\infty$-algebroids (Laurent-Gengoux et al., 2021).

These aspects, along with their deep interaction with spectral sequences and noncommutative geometry, highlight the central role of Lie–Rinehart algebra structures in modern algebraic and geometric research.