🔢 mathematics

Hochschild cohomology and lifts of endomorphisms

This paper establishes that the obstruction to lifting an algebra endomorphism to a first-order flat lift is measured by a canonical Hochschild cohomology class, which vanishes precisely when the endomorphism admits a multiplicative lift, and proves that for Azumaya algebras over a formally smooth center, such a lift exists if and only if the induced endomorphism of the center preserves the associated Poisson structure.

Original authors: Niels Lauritzen, Jesper Funch Thomsen

Published 2026-04-21

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Niels Lauritzen, Jesper Funch Thomsen

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect working with a very special, slightly "fuzzy" blueprint. This blueprint represents a complex mathematical structure called an algebra. In the real world, this algebra is a bit messy and non-commutative (meaning the order in which you do things matters: $A \times B$ is not the same as $B \times A$ ).

Now, imagine you want to build a perfect, sharp version of this structure. But you can't just jump straight to the perfect version; you have to build it in stages. You start with a "first draft" (a flat lift) that is almost perfect but has a tiny bit of "static" or "noise" in it.

This paper is about a specific question: If you have a rule (an endomorphism) that rearranges the pieces of your fuzzy blueprint, can you apply that same rearrangement rule to your perfect, sharp version without breaking the structure?

Here is the story of how the authors solve this puzzle, using some everyday analogies.

1. The "Static" Problem (The Lift)

Think of your algebra $A$ as a game played with cards. You have a rule $f$ that says, "Swap every red card with a blue one."
Now, imagine you have a "lift" of this game, $\tilde{A}$ . It's the same game, but played on a slightly different table (over a ring $R$ instead of a field $k$ ). It's almost the same, but there's a tiny bit of "static" or "glitch" because the table is slightly different.

When you try to apply your "Swap" rule to this new table, something might go wrong. The cards might not swap perfectly; they might get stuck or the order might get messed up. This "messiness" is what the authors call the multiplicative defect.

2. The "Obstruction" (Hochschild Cohomology)

The authors invent a special "detector" to measure this messiness. They call it a cohomology class.

Think of it like a "Glitch Meter."
If the meter reads zero, it means your rule $f$ works perfectly on the new table. You can lift the rule!
If the meter reads anything else, it means there is a fundamental obstruction. No matter how hard you try, you cannot apply that specific rule to the perfect version without breaking the rules of the game.

The paper proves that this "Glitch Meter" is the only thing you need to check. If the meter is zero, the lift exists. If it's not, it doesn't.

3. The "Center" and the "Poisson Bracket" (The Secret Code)

Here is where it gets really clever. The authors realize that checking the whole complex game is hard. But every game has a Center—a special set of rules that everyone agrees on, no matter how the cards are shuffled. In math, this is called the Center ( $Z$ ).

They discover a secret code hidden in this Center, called the Poisson Bracket.

The Analogy: Imagine the Center is a map of the game board. The Poisson Bracket is a special "wind" or "current" flowing across this map. It tells you how different parts of the map interact with each other.
When you lift your algebra to the "perfect" version, this "wind" (the Poisson bracket) appears naturally.

The authors prove a stunningly simple rule:

You can lift your rearrangement rule ( $f$ ) to the perfect version IF AND ONLY IF your rule respects the "wind" (the Poisson bracket) on the map.

If your rule $f$ changes the direction of the wind or ignores it, the "Glitch Meter" will scream, and the lift will fail. If your rule flows with the wind perfectly, the meter reads zero, and you are good to go.

4. The "Azumaya" Shortcut

The paper focuses on a specific type of algebra called an Azumaya algebra.

The Analogy: Think of a normal algebra as a tangled ball of yarn. An Azumaya algebra is like a ball of yarn that, when you look at it from the "Center" (the core), looks perfectly smooth and uniform.
Because these algebras are so well-behaved, the authors show that you don't need to check the whole tangled ball. You only need to check the smooth core (the Center).
If the rule $f$ preserves the "wind" on the smooth core, it automatically preserves the structure of the whole tangled ball.

5. Why Does This Matter? (The Big Picture)

The introduction mentions the Weyl Algebra, which is a mathematical model used in quantum mechanics (describing how particles move).

In the quantum world, things are fuzzy (non-commutative).
In the classical world, things are smooth (commutative).
Mathematicians want to know: "If I have a transformation in the fuzzy quantum world, does it correspond to a valid transformation in the smooth classical world?"

This paper provides the ultimate test for that. It says: "To see if your quantum move is valid, just check if it respects the geometry of the classical world."

Summary in One Sentence

This paper gives us a mathematical "Glitch Meter" that tells us exactly when a rule for rearranging a complex system can be upgraded to a perfect version, proving that the only thing that matters is whether the rule respects the hidden "wind" (Poisson structure) flowing through the system's core.

1. Problem Statement

The paper addresses a fundamental problem in deformation quantization and noncommutative algebra: determining when an algebra endomorphism can be lifted to a first-order flat lift.

Context: In the study of the Weyl algebra $A_n(k)$ over a field $k$ of positive characteristic, endomorphisms are often studied via their reduction modulo $p$ . A key question is whether an endomorphism $f: A_n(k) \to A_n(k)$ can be lifted to an endomorphism $\tilde{f}: A_n(W_2(k)) \to A_n(W_2(k))$ , where $W_2(k)$ denotes the ring of Witt vectors of length 2.
The Obstruction: The existence of such a lift is obstructed by the failure of the endomorphism to preserve the multiplicative structure of the lift. The authors aim to characterize this obstruction using Hochschild cohomology.
Specific Goal: To generalize previous results (specifically from their prior work [4]) which established that for the Weyl algebra, a lift exists if and only if the endomorphism preserves the canonical Poisson bracket on the center. The goal is to prove this equivalence in a broader framework involving Azumaya algebras and Hochschild cohomology.

2. Methodology

The authors employ a combination of homological algebra, deformation theory, and the theory of Azumaya algebras.

A. Setup and Definitions

First-Order Flat Lifts: Let $R$ be a commutative local ring with maximal ideal $\mathfrak{p}$ such that $\mathfrak{p}^2=0$ (e.g., $W_2(k)$ ). A first-order flat lift of a $k$ -algebra $A$ (where $k=R/\mathfrak{p}$ ) is a flat $R$ -algebra $\tilde{A}$ such that $\tilde{A} \otimes_R k \cong A$ .
Multiplicative Defect: For a $k$ -algebra endomorphism $f: A \to A$ and an $R$ -linear lift $\tilde{f}: \tilde{A} \to \tilde{A}$ , the authors define a "multiplicative defect" $D(x,y) = \tilde{f}(x)\tilde{f}(y) - \tilde{f}(xy)$ . Since $\mathfrak{p}^2=0$ , this defect factors through the reduction map to define a map $L_{\tilde{f}}: A \otimes_k A \to \mathfrak{p}\tilde{A}$ .
Hochschild Cohomology: They associate a canonical class in the second Hochschild cohomology group $HH^2(A/k, M)$ , where $M$ is the algebra $A$ viewed as an $A$ -bimodule with a twisted action defined by $f$ :
$a \cdot m \cdot b = f(a)m f(b)$
The class is represented by a 2-cocycle $C_{\tilde{f}}$ derived from the defect.

B. Key Technical Tools

Vanishing Criterion (Proposition 3.2): The cohomology class $[C_{\tilde{f}}]$ vanishes if and only if $f$ admits a multiplicative lift (i.e., an $R$ -algebra homomorphism). The class is independent of the choice of the $R$ -linear lift $\tilde{f}$ .
Restriction to the Center (Proposition 3.3): The authors analyze the restriction of the cocycle to the center $Z$ of $A$ . They prove that the antisymmetrization of the restricted cocycle relates directly to the Poisson bracket $\{ \cdot, \cdot \}$ induced on $Z$ by the lift $\tilde{A}$ :
$c(x \otimes y) - c(y \otimes x) = \{f(x), f(y)\} - f(\{x, y\})$
Thus, the cocycle is symmetric on the center if and only if $f$ preserves the Poisson structure.
Formal Smoothness and Symmetric Cocycles (Lemma 3.4): If the center $Z$ is formally smooth over $k$ and the bimodule is diagonal (commutative action), then every symmetric 2-cocycle is a coboundary (trivial in cohomology).
Azumaya Algebra Properties (Lemma 4.1): For an Azumaya algebra $A$ over its center $Z$ , the restriction map induces an injection on Hochschild cohomology:
$HH^i(A/k, M) \hookrightarrow HH^i(Z/k, M)$
This allows the authors to deduce properties of the global algebra $A$ from its center $Z$ .
Center Preservation (Proposition 4.4): They prove that for an Azumaya algebra of constant rank, any ring endomorphism $f$ automatically maps the center to the center ( $f(Z) \subseteq Z$ ).

3. Key Contributions and Results

Main Theorem (Theorem 4.6)

The central result of the paper establishes a necessary and sufficient condition for the liftability of endomorphisms of Azumaya algebras:

Theorem: Let $A$ be an Azumaya algebra of constant rank over a formally smooth center $Z$ . Let $f: A \to A$ be an endomorphism. Then $f$ admits a lift to a first-order flat lift $\tilde{A}$ if and only if $f$ preserves the Poisson bracket on $Z$ induced by the lift of $A$ .

Logical Flow of the Proof:

If $f$ lifts, it must preserve the Poisson bracket (direct calculation).
If $f$ preserves the Poisson bracket, the restricted cocycle on $Z$ is symmetric.
Since $Z$ is formally smooth, the symmetric cocycle is a coboundary (trivial class) in $HH^2(Z/k, M)$ .
Since $A$ is Azumaya, the restriction map $HH^2(A) \to HH^2(Z)$ is injective.
Therefore, the global class $[C_{\tilde{f}}]$ in $HH^2(A)$ is also trivial, implying the existence of a multiplicative lift.

Secondary Results

Generalization of Previous Work: The theorem generalizes the authors' earlier result on the Weyl algebra $A_n(k)$ (where the center is a polynomial ring, hence formally smooth).
Center Invariance: The paper provides a complete proof that endomorphisms of Azumaya algebras of constant rank preserve the center, a fact previously only known for reduced rings.
Counter-examples and Limitations: The authors note that the constant rank hypothesis is necessary (providing a counter-example with $C \times \text{Mat}_2(C)$ ). They also discuss the limitations of their method for higher-order lifts (e.g., from $W_2(k)$ to $W_3(k)$ ), noting that $A_1(W_2(k))$ is no longer Azumaya, suggesting the need for de Rham–Witt complex techniques.

4. Significance

Unification of Algebra and Geometry: The paper rigorously connects the algebraic problem of lifting endomorphisms to the geometric property of preserving Poisson structures. It formalizes the intuition that "quantum" symmetries (lifts) correspond to "classical" symmetries (Poisson automorphisms).
Homological Framework: By utilizing Hochschild cohomology with twisted coefficients, the authors provide a robust, general framework that applies to any Azumaya algebra over a formally smooth center, not just specific examples like the Weyl algebra.
Implications for Conjectures: The results support the broader circle of ideas related to the Jacobian Conjecture and the Dixmier Conjecture. Specifically, it reinforces the link between the automorphism groups of Weyl algebras and symplectomorphisms of affine space, a connection central to the Belov-Kanel and Kontsevich conjecture.
Foundational for Higher Lifts: While the paper focuses on first-order lifts, it clarifies the obstructions involved. The discussion on why the method fails for higher Witt vectors ( $m \ge 2$ ) points toward future research directions involving the de Rham–Witt complex, offering a roadmap for tackling higher-order deformation problems.

In summary, this paper provides a definitive cohomological characterization of when endomorphisms of Azumaya algebras can be lifted, proving that the preservation of the induced Poisson structure on the center is the sole obstruction in the first-order flat setting.