arxiv: 2604.16636 · v1 · submitted 2026-04-17 · 🧮 math.RA · math.AG· math.QA

Recognition: unknown

Hochschild cohomology and lifts of endomorphisms

Jesper Funch Thomsen, Niels Lauritzen

Pith reviewed 2026-05-10 06:46 UTC · model grok-4.3

classification 🧮 math.RA math.AGmath.QA

keywords Hochschild cohomologyAzumaya algebrasPoisson structuresendomorphism liftsfirst-order flat liftstwisted bimodulesformally smooth centersdeformation theory

0 comments

The pith

An endomorphism of an Azumaya algebra lifts to a first-order flat lift exactly when the induced map on the center preserves the Poisson structure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies when endomorphisms of an algebra lift to multiplicative first-order flat lifts of the algebra itself. It associates to any such lift and endomorphism a canonical class in Hochschild cohomology with coefficients in a twisted bimodule; this class is the precise obstruction, vanishing if and only if a multiplicative lift exists. For Azumaya algebras of constant rank over formally smooth centers, the obstruction simplifies to a concrete geometric condition: the induced endomorphism on the center must preserve the Poisson structure determined by the lift of the algebra. A reader would care because the result turns an abstract lifting question into a checkable compatibility condition between algebra endomorphisms and Poisson geometry on the center.

Core claim

To a first-order flat lift of an algebra and an endomorphism, we associate a canonical class in Hochschild cohomology with coefficients in a naturally twisted bimodule. The cohomology class vanishes exactly when the endomorphism admits a multiplicative lift. For an Azumaya algebra of constant rank over a formally smooth center, we prove that an endomorphism lifts if and only if the induced endomorphism of the center preserves the Poisson structure given by the lift of the algebra.

What carries the argument

A canonical class in Hochschild cohomology with coefficients in a naturally twisted bimodule, whose vanishing is the obstruction to multiplicative lifts.

If this is right

The lifting problem for endomorphisms reduces to vanishing of the associated Hochschild class.
In the Azumaya case the class vanishes precisely when the induced map preserves the Poisson structure on the center.
First-order flat lifts of the algebra determine Poisson structures on the center that must be preserved by any liftable endomorphism.
The criterion applies uniformly to all constant-rank Azumaya algebras over formally smooth centers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same Hochschild class might serve as an obstruction for lifts of other structures such as derivations or modules.
Explicit checks on matrix algebras over smooth affine varieties could confirm the Poisson-preservation condition in low-dimensional cases.
The result suggests a way to classify automorphisms that survive first-order deformations of Azumaya algebras.
Higher-order lifts may require successive vanishing of similar classes built from the first-order data.

Load-bearing premise

The algebra is Azumaya of constant rank over a formally smooth center and the lift is first-order flat.

What would settle it

An explicit Azumaya algebra of constant rank over a formally smooth center together with an endomorphism that preserves the Poisson structure on the center but for which no multiplicative lift exists would disprove the equivalence.

read the original abstract

We study when algebra endomorphisms can be lifted to first-order flat lifts. To a first-order flat lift of an algebra and an endomorphism, we associate a canonical class in Hochschild cohomology with coefficients in a naturally twisted bimodule. The cohomology class vanishes exactly when the endomorphism admits a multiplicative lift. For an Azumaya algebra of constant rank over a formally smooth center, we prove that an endomorphism lifts if and only if the induced endomorphism of the center preserves the Poisson structure given by the lift of the algebra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean if-and-only-if criterion: for Azumaya algebras of constant rank over formally smooth centers, an endomorphism lifts to a first-order flat multiplicative lift exactly when the induced map on the center preserves the Poisson structure from the algebra lift.

read the letter

The main result ties the lifting problem for algebra endomorphisms to the vanishing of a canonical class in Hochschild cohomology with coefficients in a twisted bimodule. For the Azumaya case the authors reduce this to a geometric condition on the center using the standard identification of Hochschild cohomology for Azumaya algebras with that of their centers, adjusted for the twisting, together with formal smoothness to define the Poisson bracket via commutators in the lifted algebra. The class vanishes precisely when a multiplicative lift exists, and in the Azumaya setting this is equivalent to the center map preserving that bracket. This specific equivalence does not appear in the prior literature cited in the abstract, so the criterion itself is new. The argument rests on established facts about Azumaya algebras and Hochschild cohomology rather than new machinery, which keeps it direct. The abstract states the theorem cleanly but gives no proof details or examples, so one cannot yet check derivation steps or edge cases by hand. The stress-test description of the strategy shows no circularity or unsupported reductions, which suggests the details are likely standard once written out. This is aimed at people working in noncommutative algebra and deformation theory who already use Hochschild cohomology and Poisson structures on centers. A reader interested in lifting problems for Azumaya algebras or first-order deformations would find the criterion usable. I would send it to referees; the central claim is scoped but formally grounded enough to merit review.

Referee Report

0 major / 3 minor

Summary. The manuscript studies when algebra endomorphisms lift to first-order flat lifts. It associates a canonical obstruction class in Hochschild cohomology with coefficients in a bimodule twisted by the endomorphism; this class vanishes precisely when a multiplicative lift exists. For Azumaya algebras of constant rank over a formally smooth center, the authors prove that an endomorphism lifts if and only if the induced endomorphism on the center preserves the Poisson structure induced by the commutator in the lifted algebra, using the standard identification of Hochschild cohomology for Azumaya algebras with that of the center (adjusted for twisting) together with formal smoothness to reduce to derivations.

Significance. If the central claim holds, the result supplies a concrete, checkable criterion connecting endomorphism lifting to Poisson-structure preservation on the center. This is potentially useful in deformation theory and noncommutative algebraic geometry. The argument rests on standard tools (Hochschild cohomology identifications for Azumaya algebras and formal smoothness) rather than ad-hoc constructions, and the obstruction-class formulation makes the statement falsifiable in concrete examples.

minor comments (3)

[§2] §2: the definition of the twisted bimodule and the canonical class should include an explicit verification that the class is independent of auxiliary choices (e.g., local trivializations of the Azumaya algebra).
[Theorem 4.2] Theorem 4.2 (or equivalent main statement): the reduction of the obstruction class to the Poisson-preservation condition on the center would benefit from a short diagram or explicit cocycle representative showing how the twisting interacts with the commutator bracket.
[Introduction] The introduction could add one low-dimensional example (e.g., matrix algebra over a smooth curve) to illustrate the Poisson-preservation condition before the general statement.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the results, and recommendation for minor revision. We appreciate the recognition of the potential utility in deformation theory and noncommutative algebraic geometry.

read point-by-point responses

Referee: The manuscript studies when algebra endomorphisms lift to first-order flat lifts. It associates a canonical obstruction class in Hochschild cohomology with coefficients in a bimodule twisted by the endomorphism; this class vanishes precisely when a multiplicative lift exists. For Azumaya algebras of constant rank over a formally smooth center, the authors prove that an endomorphism lifts if and only if the induced endomorphism on the center preserves the Poisson structure induced by the commutator in the lifted algebra, using the standard identification of Hochschild cohomology for Azumaya algebras with that of the center (adjusted for twisting) together with formal smoothness to reduce to derivations.

Authors: We thank the referee for this precise summary of our main theorem and the obstruction class construction. The description matches our results exactly, and we have no objections or revisions to propose in response. revision: no

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The central result equates the existence of a multiplicative first-order flat lift of an endomorphism to the preservation of a Poisson structure on the center, via the vanishing of a canonical obstruction class in twisted Hochschild cohomology. This equivalence is established using the standard identification of Hochschild cohomology for Azumaya algebras with that of their centers (adjusted for twisting) together with formal smoothness to reduce cohomology to derivations; these are external algebraic facts, not defined in terms of the target statement. No step reduces a prediction to a fitted input by construction, renames a known result, or relies on a load-bearing self-citation whose justification is internal to the paper. The derivation is therefore self-contained against standard benchmarks in noncommutative algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard definitions and properties of Hochschild cohomology, Azumaya algebras, formally smooth centers, and first-order flat lifts; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Hochschild cohomology with coefficients in a twisted bimodule classifies obstructions to multiplicative lifts of endomorphisms.
Invoked in the association of the canonical class to the lift.
domain assumption Azumaya algebras of constant rank over formally smooth centers admit Poisson structures induced by their first-order flat lifts.
Used to state the Poisson preservation condition.

pith-pipeline@v0.9.0 · 5380 in / 1280 out tokens · 39158 ms · 2026-05-10T06:46:50.705424+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 1 canonical work pages

[1]

Belov-Kanel and M

A. Belov-Kanel and M. Kontsevich,Automorphisms of the Weyl algebra, Lett. Math. Phys.74(2005), 181–199

2005
[2]

,The Jacobian conjecture is stably equivalent to the Dixmier conjecture, Mosc. Math. J.7(2007), no. 2, 209–218

2007
[3]

Knus and M

M.-A. Knus and M. Ojanguren,Théorie de la descente et algèbres d’Azumaya, Lecture Notes in Mathematics, vol. 389, Springer-Verlag, Berlin-New York, 1974

1974
[4]

Lauritzen and J

N. Lauritzen and J. F. Thomsen,Lifts of endomorphisms of Weyl algebras modulo p 2.https://arxiv.org/abs/ 2601.23110

work page arXiv
[5]

Tsuchimoto,Endomorphisms of Weyl algebra and p-curvatures, Osaka J

Y . Tsuchimoto,Endomorphisms of Weyl algebra and p-curvatures, Osaka J. Math.42(2005), no. 2, 435–452. DEPARTMENT OFMATHEMATICS, AARHUSUNIVERSITY, NYMUNKEGADE118, DK-8000 AARHUSC, DEN- MARK Email address:niels@math.au.dk, funch@math.au.dk

2005