Pith. sign in

REVIEW 3 major objections 5 minor 4 references

Infinitesimal Star Products Compatible with Coisotropic Reduction

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper classifies the infinitesimal star products on a Poisson manifold that are compatible with coisotropic reduction, showing they form a vector space of constraint bivector fields plus symmetric high-order differential operators.

desk verdict First computation of H2_diff(M)_N with a new symmetric piece, but the proof needs a repaired (3.10) and a domain fix before it's fully trustworthy. read the letter →

arxiv 2501.13792 v1 pith:RKNKJOET submitted 2025-01-23 math.QA math-phmath.DGmath.MP

Marvin Dippell This is my paper · ORCID
classification math.QAmath-phmath.DGmath.MP MSC 53D5516E4053D17
keywords deformationquantizationinfinitesimalstarproductscoisotropicreductionconstraintHochschildcohomologyPoissonmanifoldssymbolcalculusHochschild-Kostant-Rosenbergtheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper classifies the infinitesimal star products on a Poisson manifold that are compatible with coisotropic reduction: given a coisotropic submanifold $C$ with a simple characteristic distribution $D$, a star product is compatible when it descends to a star product on the reduced manifold $M_{\mathrm{red}}=C/D$. The main theorem identifies the equivalence classes of such first-order deformations with a vector space built from two pieces: constraint bivector fields $X^2(\mathcal{M})_N$, and symmetric elements $S\Gamma^\infty(D)\vee\Gamma^\infty(TC^\perp)$ formed from the characteristic distribution and the normal directions to the constraint submanifold. The second piece is new: it yields symmetric bidifferential operators of arbitrarily high order that ordinary Hochschild cohomology cannot detect, yet they are genuinely inequivalent once reduction compatibility is required. The paper thereby makes the deformation-theoretic part of 'quantization commutes with reduction' computable in a general coisotropic setting.

What carries the argument

The carrying object is the constraint symbol calculus: a torsion-free constraint covariant derivative $\nabla$ gives an isomorphism $\mathrm{Op}_\nabla$ from a constraint version of the tensor algebra $T^\bullet SX(\mathcal{M})$ onto constraint multi-differential operators, turning the Hochschild differential into the differential $d$ built from the reduced shuffle coproduct. The classical Hochschild-Kostant-Rosenberg map $\mathrm{hkr}$ embeds constraint multivector fields into the cohomology, and the additional cohomology is shown to come exclusively from differentials $d\psi$ of elements $\psi\in S\Gamma^\infty(D)\vee\Gamma^\infty(TC^\perp)$. The proof's engine is the global homotopy decomposition $\varphi=\mathrm{hkr}(\mathrm{pr}_1(\varphi_1)\wedge\cdots\wedge\mathrm{pr}_1(\varphi_n))+dH(\varphi)$, which lets every constraint cocycle be split into an antisymmetric HKR part and a differential of a symmetric part; Lemma 3.5 then controls where these symmetric differentials can land.

What would settle it

A direct computation of $H^2_{\mathrm{diff}}(\mathcal{M})_N$ for a constraint manifold that lacks a global tubular-neighbourhood splitting of $TC=D\oplus D^\perp$ (or for which decomposition (3.10) is false) would settle the matter: any result other than $X^2(\mathcal{M})_N\oplus S\Gamma^\infty(D)\vee\Gamma^\infty(TC^\perp)$ falsifies Theorem 3.6 in full generality.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.6: for every constraint manifold $\mathcal{M}=(M,C,D)$ and every torsion-free constraint covariant derivative $\nabla$, the map $U(X,\psi)=\mathrm{hkr}(X)+[\mathrm{Op}_\nabla(d\psi)]$ is an isomorphism from $X^2(\mathcal{M})_N\oplus S\Gamma^\infty(D)\vee\Gamma^\infty(TC^\perp)$ onto the second constraint Hochschild cohomology $H^2_{\mathrm{diff}}(\mathcal{M})_N$. This means every class controlling an infinitesimal constraint deformation is uniquely a sum of an antisymmetric Hochschild-Kostant-Rosenberg part coming from a constraint bivector and a symmetric part produced by differentiating a symmetric product of one transverse-to-$C$ vector field with any number of distribution-tangent vector fields. The symmetric classes are exact in the ordinary Hochschild complex but not in the constraint subcomplex, so they correspond to infinitesimal star products that are equivalent as ordinary deformations yet inequivalent when the equivalence must preserve reduction. Corollary 3.10 turns this into the classification of constraint equivalence classes of infinitesimal constraint star products, and Proposition 3.9 explains why the first nonvanishing difference of two constraint star products is governed by this cohomology.

Load-bearing premise

The surjectivity argument assumes the global homotopy decomposition (equation (3.10)), imported without proof from another preprint, holds for every cocycle on the present class of constraint manifolds; if that decomposition fails, the classification has no support.

Editorial extensions

If this is right

  • Constraint equivalence classes of infinitesimal constraint star products are exactly $X^2(\mathcal{M})_N\oplus S\Gamma^\infty(D)\vee\Gamma^\infty(TC^\perp)$, by Corollary 3.10.
  • There exist infinitesimal constraint star products that are inequivalent under reduction-compatible equivalences even though they are equivalent as ordinary star products; these are precisely the nonzero $\psi$-classes.
  • All these infinitesimal constraint star products become equivalent after reduction: the canonical map to $H^2_{\mathrm{diff}}(\mathcal{M}_{\mathrm{red}})$ sends $(X,\psi)$ to the class of $X$.
  • The sub-cohomology $H^2_{\mathrm{diff}}(\mathcal{M})_0$, governing deformations inside the vanishing ideal, is isomorphic to $X^2(\mathcal{M})_0\oplus S\Gamma^\infty(D)\vee\Gamma^\infty(TC^\perp)$ by Proposition 3.8.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extension is to test whether the same two-summand pattern computes higher constraint Hochschild cohomologies $H^k_{\mathrm{diff}}(\mathcal{M})_N$; the mechanism here suggests that symmetric elements in additional tensor slots would appear.
  • If this infinitesimal classification lifts to formal star products, it would turn 'quantization commutes with coisotropic reduction' into a classification statement rather than an existence question.
  • Because the $\psi$-classes vanish under ordinary equivalence, reduction schemes that track only antisymmetric first-order data would miss them; a concrete test is to compute $H^2_{\mathrm{diff}}(\mathcal{M})_N$ on a torus with a linear distribution and compare the result with the ordinary Hochschild cohomology.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper introduces constraint manifolds M=(M,C,D) and studies infinitesimal deformations of the associated constraint algebra C∞(M) that are compatible with coisotropic reduction. The main result, Theorem 3.6, claims an isomorphism U: X2(M)_N ⊕ SΓ∞(D)∨Γ∞(TC^⊥) → H2_diff(M)_N given by U(X,ψ)=hkr(X)+[Op∇(dψ)], with Corollary 3.10 identifying constraint equivalence classes of infinitesimal constraint star products with that vector space. The paper also proves Proposition 3.8 for the relative cohomology H2_diff(M)_0 and Proposition 3.9 relating constraint equivalence to exactness in the constraint Hochschild complex.

Significance. If Theorem 3.6 is correct, the paper gives a concrete and useful description of infinitesimal deformations compatible with coisotropic reduction, including symmetric bidifferential operators of arbitrarily high order that are invisible in ordinary Hochschild cohomology and that become trivial after reduction. The conceptual identification of the new symmetric contribution SΓ∞(D)∨Γ∞(TC^⊥), the illustrative Example 3.2, and the clean deformation-theoretic translation in Proposition 3.9 are valuable parts of the paper. However, the proof of the central surjectivity statement rests on an externally imported global homotopy decomposition that is stated in a form that is false, and the theorem statement itself has an injectivity problem because its second summand contains degree-one elements on which U vanishes. These issues are load-bearing and require substantive repair before the main claim can be accepted.

major comments (3)
  1. [§3.2, Theorem 3.6 and Corollary 3.10] The domain of U in (3.21) includes the degree-one summand Γ∞(TC^⊥), but for ψ∈Γ∞(TC^⊥) we have dψ=0 by Lemma 3.3(ii), so U(0,ψ)=0. Thus U is not injective as stated and Theorem 3.6 is false without a restriction to symmetric degree at least 2. The same correction must be made in Proposition 3.8 and Corollary 3.10, or the notation SΓ∞(D)∨Γ∞(TC^⊥) must be explicitly defined to mean the direct sum over k≥2 of S^{k-1}Γ∞(D)∨Γ∞(TC^⊥).
  2. [§3.2, Eq. (3.10)] Equation (3.10) is stated for every cochain φ1⊗...⊗φn in C^n_ca(M), but in that generality it is false. In a two-dimensional vector space V with basis x,y, take φ=(x∨y)⊗x ∈ S^2V⊗V ⊂ C^2_ca(M). Then pr1(x∨y)=0, so the HKR term vanishes, while φ is not in the image of d:S^3V→S^2V⊗V⊕V⊗S^2V: a direct basis computation shows that the image has dimension 4 in a 6-dimensional target and that the component (x∨y)⊗x has no preimage. The surjectivity proof of Theorem 3.6 applies (3.10) only to a cocycle, so a cocycle-level homotopy identity with hypotheses could suffice, but that correct statement is neither proved nor explicitly cited. Since (3.10) is the starting point for the surjectivity argument, the authors must either prove the corrected identity or cite the precise theorem from [Dip+24] with the necessary hypotheses.
  3. [§3.2, proof of Theorem 3.6] The surjectivity argument contains several compressed steps that are load-bearing and are not justified as written. After obtaining ψ_{T/N} ∈ (SX(M))_{T/N} with dψ_{T/N} ∈ C^2_ca(M)_N, the proof asserts that one may assume ψ_{T/N}=X1∨...∨Xk is a factorizing tensor with k≥2; for a sum of monomials, dψ∈N does not automatically imply that d of each monomial lies in N, so this reduction needs a separate argument. The later claim that the ℓ=1 sum collapses to a single summand with exactly one Xi∈Γ∞(TC^⊥) and all other Xi∈Γ∞(D) is also asserted rather than proved. These steps are essential for concluding ψ_{T/N} ∈ S^{n-1}Γ∞(D)∨Γ∞(TC^⊥), so the proof of surjectivity is incomplete as written.
minor comments (5)
  1. [§3.1, Proposition 3.1(iii)] The proof states that hkr(X)=[0] implies hkr(X)=0 because hkr(X) is totally antisymmetric while δD is not; this is false, since exact cochains can be antisymmetric, for example δD=0 for D a derivation. The conclusion follows more simply from the classical HKR quasi-isomorphism after observing that exactness in the constraint subcomplex implies exactness in the full Hochschild complex, so the proof should be replaced by that argument.
  2. [§3.2, Lemma 3.3] The phrase 'ker(d|SX)=X(M)' in the proof of Theorem 3.6 should be formulated more precisely: d vanishes on S^1X(M) and is injective on S^kX(M) for k≥2. As written, it could be confused with a statement about a differential having a large kernel on all symmetric degrees.
  3. [§3.2, Eq. (3.16) and surrounding notation] The notation X(M)_{T/N} is used in the proof without being defined; the reader can infer it from (S^1X(M))_{T/N}=Γ∞(TC^⊥), but this should be stated explicitly.
  4. [Example 3.2] The operator ∂²/(∂x_{n0}∂x_{nT}) is said to lie in DiffOp^1; this is correct for univariate differential operators but may confuse readers who expect DiffOp^n to denote n-linear operators of order one in each argument. A brief clarifying phrase would help.
  5. [§3.2, Eq. (3.10)] The citation to [Dip+24] should include the specific theorem or proposition number in which the global homotopy decomposition is proved, since the statement as reproduced in this paper is not correct for arbitrary cochains.

Circularity Check

1 steps flagged · score 4.0 of 10

Surjectivity in Theorem 3.6 is imported from the same group's [Dip+24] via the unproved decomposition (3.10); the rest of the computation has independent content, so the paper is partially self-citation-dependent but not fully circular.

  1. self citation load bearing [Section 3.2, Eq. (3.10) and proof of Theorem 3.6 (arXiv:2501.13792, pp. 8 and 10)]
    "In fact, it can be shown, see [Dip+24], that every φ1 ⊗...φ n ∈ Cn ca(M ) can be written as φ1 ⊗... ⊗φn = hkr(pr1(φ1) ∧ · · · ∧ pr1(φn)) + dH(φ) ... Then by (3.10) we know that there exists ψ ∈ SX(M ) such that φ = dψ+hkr(X), where X = ∧◦pr⊗2 1 (φ) ∈ X2(M )."

    The surjectivity half of Theorem 3.6 is not derived in this paper: the existence of ψ and X is taken verbatim from the self-cited preprint [Dip+24] (Dippell–Esposito–Schnitzer–Waldmann), whose authors include the present author. Equation (3.10) is the load-bearing input that produces the symmetric higher-order terms in the claimed cohomology. As printed it is asserted for every cochain and is false in that generality: for V=span{x,y}, φ=(x∨y)⊗x∈S^2V⊗V⊂C^2_ca has pr1(x∨y)=0, and the linear system for dH with H∈S^3V shows this φ is not in the image of d. The proof only needs the cocycle version, but that version is neither stated with hypotheses nor proved here, so the main surjectivity claim currently rests on an unverified same-author citation.

full rationale

The final classification (Theorem 3.6 and Corollary 3.10) is not self-definitional: H2_diff(M)_N is an independently defined cohomology group, and the appearance of arbitrary-order symmetric operators is genuine new content. The algebra after (3.10)—decomposing ψ via Lemma 3.4 and using Lemma 3.5—is explicit and mostly self-contained. The weakness is the surjectivity step, which imports the entire global homotopy decomposition (3.10) from [Dip+24] without proof or hypotheses; the all-cochain statement is false, so the paper silently needs a cocycle-version homotopy identity. This is a load-bearing self-citation rather than a constructional equivalence of the conclusion with its input, so the appropriate score is 4 rather than 6 or higher. Separate technical issues, such as the apparent degree-one ambiguity in the domain SΓ∞(D)∨Γ∞(TC^⊥), do not change the circularity assessment.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted; the paper is a pure cohomology computation. The main assumptions are standard geometric facts and external results from the same research group, particularly the decomposition (3.10). No new physical objects are postulated.

assumptions (5)
  • standard math Hochschild-Kostant-Rosenberg theorem: hkr identifies ordinary differential Hochschild cohomology with multivector fields.
    Invoked in Proposition 3.1 and throughout Theorem 3.6 to split antisymmetric and symmetric contributions.
  • domain assumption Existence of a torsion-free constraint covariant derivative with the compatibility conditions (2.13).
    Needed for the constraint symbol calculus in Proposition 2.3; existence is imported from [DK23, Thm. 3.32], not proved here.
  • domain assumption Global homotopy decomposition: every cochain decomposes as hkr(pr1∧...∧pr1) + dH (equation (3.10)).
    This is the starting point for the surjectivity proof of Theorem 3.6 and is cited from the same group's preprint [Dip+24] without proof.
  • standard math Direct sum decompositions via tubular neighbourhood, bump function and subbundles D^⊥, TC^⊥ (equations (3.13)-(3.15)).
    Used in Lemma 3.4 to split symmetric and tensor algebras; choices are auxiliary but the isomorphism U depends on them.
  • domain assumption Simplicity of the distribution D, so Mred=C/D is a smooth manifold.
    Built into the definition of a constraint manifold (2.1); the theorem is stated only for such distributions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Infinitesimal Star Products Compatible with Coisotropic Reduction." pith.science (2026). https://pith.science/paper/RKNKJOET

@misc{pith2026250113792,
  author       = {Pith},
  title        = {Pith review of: Infinitesimal Star Products Compatible with Coisotropic Reduction},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RKNKJOET}},
  note         = {Machine review of arXiv:2501.13792}
}
read the original abstract

We determine infinitesimal star products on Poisson manifolds compatible with coisotropic reduction. This is achieved by computing the second constraint Hochschild cohomology of the constraint algebra of functions associated to any submanifold equipped with a simple distribution.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 1 canonical work pages

  1. [1]

    Deformation Theory and Quantization

    [Bay+78] Bayen, F., Flato, M., Frønsdal, C., Lichnerowicz, A. , and Sternheimer, D. “Deformation Theory and Quantization”. In: Ann. Phys. 111 (1978), pp. 61–151 (cit. on p. 2). [BHW00] Bordemann, M., Herbig, H.-C., and Waldmann, S. “BRST Co homology and Phase Space Reduction in Deformation Quantization”. In: Commun. Math. Phys. 210 (2000), pp. 107–144 (ci...

    arXiv 1978

  2. [3]

    The Strong Homotopy Structure of BRST Reduction

    (cit. on pp. 3– 5). [EKS22] Esposito, Chiara, Kraft, Andreas, and Schnitzer, J onas. “The Strong Homotopy Structure of BRST Reduction”. In: Preprint arXiv:2202.08750 (2022). To appear in J. Noncomm. Geom. (cit. on p. 2). [Fed98] Fedosov, B. V. “Non-Abelian Reduction in Deformatio n Quantization”. In: Lett. Math. Phys. 43 (1998), pp. 137–154 (cit. on p. 2)...

    work page Pith review arXiv 2022

  3. [1965]

    Characterstic classes of sta r products on Marsden-Weinstein reduced symplectic manifolds

    doi: 10.1515/9781400882045 (cit. on p. 4). [Rei17] Reichert, Thorsten. “Characterstic classes of sta r products on Marsden-Weinstein reduced symplectic manifolds”. In: Lett. Math. Phys. 107 (2017), pp. 643–658. doi: 10.1007/s11005-016-0921-z . url: http://dx.doi.org/10.1007/s11005-016-0921-z (cit. on p. 2). [Wal07] Waldmann, S. Poisson-Geometrie und Defor...

    doi:10.1515/9781400882045 2017

  4. [2023]

    Constraint Vector Bundles an d Reduction of Lie (Bi-)Algebroids

    url: urn:nbn:de:bvb:20-opus-301670 (cit. on p. 3). [DK23] Dippell, M. and Kern, D. “Constraint Vector Bundles an d Reduction of Lie (Bi-)Algebroids”. In: Preprint arXiv:2312.08263 (Dec

    arXiv

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.