Obstructions to Deformation Quantization of Bundles

Greg Huey; Vladimir Baranovsky

Triviality of an obstruction class is necessary—and when the order gap is small enough, also sufficient—for extending a deformation quantization of a vector bundle one step further.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-15 02:24 UTC pith:J74BHY7K

load-bearing objection Clean abstract-only obstruction theorem for extending quantized bundles; standard shape, concrete 2k+1 range, but nothing to check yet.

arxiv 2607.12910 v1 pith:J74BHY7K submitted 2026-07-14 math.AG math-phmath.DGmath.MPquant-ph

Obstructions to Deformation Quantization of Bundles

Vladimir Baranovsky , Greg Huey This is my paper

classification math.AG math-phmath.DGmath.MPquant-ph MSC 53D5514F1032C38

keywords deformation quantizationvector bundlesobstruction classessymplectic varietiesformal power seriesalgebraic geometrycomplex manifolds

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper studies when a partial deformation quantization of a vector bundle over a symplectic variety or complex manifold can be extended to higher order in the formal parameter. Given a fixed deformation quantization of the structure sheaf that is compatible with the symplectic form, and given that the bundle already admits a quantization up to order ħ^k, the authors produce an obstruction class whose vanishing is necessary for any extension to order ħ^ℓ with ℓ > k. When the target order is not much larger than the known order—specifically when ℓ ≤ 2k+1—the same vanishing is also sufficient. A sympathetic reader cares because deformation quantization is a standard way of turning geometric data into noncommutative algebras; knowing precisely which cohomology classes block the next step of the construction turns an existence question into a concrete vanishing problem that can be checked in principle.

Core claim

If a vector bundle E already admits a deformation quantization to order ħ^k, then there is a well-defined obstruction class whose vanishing is necessary for any extension of that quantization to order ħ^ℓ (ℓ > k). Moreover, when ℓ ≤ 2k + 1 the vanishing of the same class is also sufficient for such an extension to exist.

What carries the argument

The obstruction class associated with a partial deformation quantization of the bundle E (relative to a fixed deformation quantization of the structure sheaf). This class lives in a cohomology group determined by the already-constructed orders and measures the failure of the next-order product and module structures to satisfy the required associativity and compatibility identities.

Load-bearing premise

A deformation quantization of the structure sheaf itself, compatible with the given symplectic form, is already known to exist and is held fixed throughout the argument.

What would settle it

Exhibit a concrete symplectic variety (or complex manifold), a fixed quantization of its structure sheaf, and a vector bundle that admits a quantization to order ħ^k whose obstruction class is nonzero, yet which nevertheless extends to order ħ^ℓ for some ℓ ≤ 2k + 1; or, conversely, produce an example in which the class vanishes but no extension exists inside the stated range.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Clean abstract-only obstruction theorem for extending quantized bundles; standard shape, concrete 2k+1 range, but nothing to check yet.

read the letter

The one thing to know is that this is a pure existence/obstruction result for extending a deformation quantization of a vector bundle E from order ħ^k to ħ^ℓ, with a necessary obstruction class and sufficiency when ℓ ≤ 2k+1. That range is the usual quadratic-order window in deformation theory, so the claim has the right shape.

What looks new is the specific obstruction class for quantized modules over a fixed base quantization O_ħ of O_M (compatible with the given symplectic form). Relative to classical Gerstenhaber–Hochschild theory this is a concrete advance inside noncommutative algebraic geometry rather than a rephrasing. The setup is clean: char 0, smooth algebraic or holomorphic symplectic, O_ħ given, E already quantized to order k. No free parameters, no circular fitting.

Soft spots are almost entirely about missing text. We cannot see how the class is built, whether necessity is tautological or nontrivial, or how the sufficiency proof for ℓ ≤ 2k+1 actually runs. The reader’s weakest assumption (existence of O_ħ) is just the stated setup, not a hidden flaw; the stress-test is right that no load-bearing inconsistency can be isolated from the abstract alone. Soundness is therefore provisional, not negative.

This is for people who already work on deformation quantization of sheaves or modules over symplectic varieties. A serious referee who knows Hochschild cohomology and Fedosov-type constructions would get value from it and could check the cochain-level details. I would send it to peer review rather than desk-reject: the statement is sharp enough and the topic is live. I would not cite it yet (no proofs in hand) and would only bring the abstract to reading group as a “watch this space” item. If the full paper delivers the construction cleanly, it is a solid contribution; if the obstruction turns out to be the expected one in disguise, still useful as an organized reference.

Referee Report

0 major / 3 minor

Summary. The manuscript studies deformation quantization of a vector bundle E over a smooth algebraic variety (or complex manifold) M equipped with a symplectic form ω, relative to a fixed deformation quantization O_ħ of the structure sheaf O_M compatible with ω. Assuming E admits a deformation quantization to order ħ^k, the authors introduce an obstruction class whose vanishing is necessary for any extension to order ħ^ℓ with ℓ > k. They further prove that, when ℓ ≤ 2k+1, vanishing of this class is also sufficient for the existence of such an extension.

Significance. If established, the result supplies a clean deformation-obstruction theorem for quantizing vector bundles over a fixed quantization of O_M in the algebraic and holomorphic symplectic settings. The necessity statement and the sufficiency range ℓ ≤ 2k+1 match the expected shape of obstruction theory at quadratic order; a precise, parameter-free criterion of this form would be a useful structural contribution to deformation quantization and noncommutative geometry. The abstract presents a pure existence/obstruction claim with no fitted parameters.

minor comments (3)

The abstract does not name the cohomology group (or complex) in which the obstruction class takes values; a brief indication would help the reader locate the result within standard deformation-obstruction frameworks.
Notation for the deformation parameter appears as ħ in the abstract; consistency with the full text (and with common conventions ħ versus h) should be checked once the manuscript is available.
The opening setup treats O_ħ as given; a short remark on the existence hypotheses for such a base quantization (e.g., Fedosov-type or algebraic constructions) would orient readers less familiar with the literature.

Circularity Check

0 steps flagged

Abstract-only pure obstruction theorem: no circular reduction detectable; derivation is self-contained existence/sufficiency statement.

full rationale

Only the abstract is available. It states a standard deformation-obstruction result: given a fixed deformation quantization O_ħ of O_M compatible with ω, and a quantization of the bundle E to order ħ^k, vanishing of an obstruction class is necessary for extension to ħ^ℓ (ℓ > k) and also sufficient when ℓ ≤ 2k+1. No parameters are fitted to data, no quantity is renamed as a prediction, no uniqueness theorem is imported from the authors’ prior work, and no ansatz is smuggled via self-citation. The base quantization O_ħ is explicitly part of the setup rather than a derived claim. With no equations, cochain complexes, or proofs present, no step can be exhibited that reduces by construction to its own inputs. Per the hard rules, an honest non-finding of circularity is required; residual uncertainty from the abstract-only review is not itself circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

Pure mathematical existence theorem. No free parameters are fitted. The central claim rests on the geometric hypotheses (smooth symplectic variety or complex manifold, char 0), the existence of a fixed base quantization of O_M, and standard deformation-obstruction machinery. The obstruction class itself is the principal new object introduced by the paper.

axioms (3)

domain assumption Existence of a deformation quantization O_ħ of O_M compatible with the symplectic form ω
Taken as given in the abstract’s setup; the paper studies extensions of bundle quantizations relative to this fixed base quantization.
domain assumption M is a smooth algebraic variety over a field of characteristic 0, or a complex manifold, equipped with an algebraic or holomorphic symplectic form
Opening hypothesis of the abstract; smoothness and characteristic zero ensure the usual deformation-theoretic tools apply.
standard math Standard deformation-obstruction theory (Hochschild/Gerstenhaber cohomology of sheaves of differential operators or quantized algebras)
The obstruction class is expected to live in a cohomology group arising from this classical machinery; the abstract presupposes the framework without re-deriving it.

invented entities (1)

obstruction class for extending a deformation quantization of E from order ħ^k to ħ^ℓ no independent evidence
purpose: Supplies the necessary (and, when ℓ ≤ 2k+1, sufficient) cohomological condition for the extension to exist
The class is constructed in the paper (not visible in the abstract); its vanishing is the central criterion. No independent external handle beyond the deformation problem itself is stated.

pith-pipeline@v1.1.0-grok45 · 6054 in / 2287 out tokens · 33884 ms · 2026-07-15T02:24:00.702250+00:00 · methodology

0 comments

read the original abstract

Let $\left(M, \mathcal{O}_M \right)$ be a smooth algebraic variety over field $\kappa$ of characteristic $0$ with an algebraic symplectic form $\omega$, or a complex manifold with a holomorphic form $\omega$. Furthermore, let $E$ be a vector bundle over $\left(M, \mathcal{O}_M \right)$ and $\mathcal{O}_{\hbar}$ a deformation quantization of $\mathcal{O}_M$ compatible with $\omega$. Assuming that $E$ possesses a deformation quantization to order $\hbar^k$ we consider the problem of extending it to order $\hbar^\ell$ for $\ell > k$, and establish triviality of an obstruction class as a necessary condition for this extension to exist. Furthermore, in the case $\ell \le 2k+1$, we prove that this condition is also sufficient.

Obstructions to Deformation Quantization of Bundles

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)