{"id":"3957bb4c-6993-4b4b-bb64-bd7e1ac97461","arxiv_id":"2507.02820","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Homogeneous star products on duals of Lie algebroids are classified by second Lie algebroid cohomology, and projectable reductions commute with this classification.","lead":"This paper proves that homogeneous deformation quantizations, called star products, of the linear Poisson structure on the dual of a Lie algebroid are classified by a cohomology group, and that the same holds when the quantizations are required to be compatible with reduction. It shows that in this setting, quantizing before or after reducing a phase space gives equivalent results.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.19's surjectivity proof delegates to an omitted 'Proof XXIII' the step that extends vanishing from generators of the vanishing ideal to the whole ideal; until that argument is supplied, the projectable classification and quantization-commutes-with-reduction remain conditional.","rationale":"The reader's conditional verdict is appropriate. The homogeneous classification in Section 3 is internally consistent, and the reliance on [Dip+24] is real but not circular: the imported HKR deformation retract is independent of the classification being proved. The acute localized issue is in Theorem 4.19, where 'Proof XXIII' is an explicit unresolved reference at exactly the point where the representation is extended from order 1 to order 2. The surrounding claim is not obviously false: the obstruction is a section of the second exterior power of the normal bundle, and for a regular ideal vanishing on generators' differentials should imply vanishing on all conormal differentials. However, this implication is the precise step needed to apply Proposition 4.5 and to complete the construction of a projectable star product with the prescribed projectable class. Because the argument is omitted, the surjectivity of Phi^{star0}_proj is not fully demonstrated, and the theorem remains conditional. Supplying the missing lemma would move the paper toward acceptance; an actual counterexample to the extension step would require rejection. The imported HKR theorem is a distinct but secondary dependency affecting the whole paper, whereas Proof XXIII is the most localized and most explicitly load-bearing gap. My recommendation is therefore to keep the reader's conditional verdict unchanged.","tokens_in":31156,"tokens_out":11675,"duration_ms":142417,"concrete_test":"Write out the missing Proof XXIII as a lemma. In local adapted coordinates (u,v) for the embedding A_N^vee subset A*_T times A*_red, with vanishing ideal I = (v^1, ..., v^r), prove: if a section Omega in Gamma(Lambda^2 nu) satisfies Omega(dv^a, dv^b)|_{A_N^vee} = 0 for all generators a,b, then Omega(dh, dk)|_{A_N^vee} = 0 for all h,k in I. This reduces to the pointwise statement that the conormal fibre at each point is spanned by {dv^a}. If the proof reveals additional terms involving higher derivatives of h and k, then the surjectivity step of Theorem 4.19 fails as written. If the lemma can be proved, the remaining obstacle is the imported [Dip+24] HKR retract, which should be independently checked for preservation of homogeneous degrees.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim includes Theorem 4.19: for a constraint Lie algebroid AT <- AN -> Ared, the map Phi^{star0}_proj from projectable equivalence classes to H^2_proj(AT) is a bijection making diagram (4.29) commute. The proof hinges on the surjectivity step, where a homogeneous star product with prescribed projectable class is constructed by showing that star_alpha tensor star_red^opp is representable on A_N^vee. Once the first-order representation rho0 + hbar rho1 is obtained, Proposition 4.5 requires the obstruction hkr^{-1}_nabla(D2) to vanish, that is, condition (4.8) must hold on all pairs of functions in the vanishing ideal. The manuscript computes this obstruction only on the functions pr_{A*_T}^*(F) - pr_{A*_red}^*(Ftilde), which are asserted to generate the vanishing ideal, and then states that 'Proof XXIII is enough' to pass to the whole ideal. No such proof appears. The assertion is plausible because the obstruction is a section of Lambda^2 nu and hence should depend only on conormal differentials at each point, but as written it is an unproved assertion at a load-bearing point. A second, related dependency is the homogeneous Hochschild-Kostant-Rosenberg deformation retract imported from [Dip+24] (Theorem 2.3, Proposition 2.6, Appendix B), which supplies every H_nabla and hkr^{-1}_nabla used in the paper. If either gap cannot be filled, Theorem 4.19, and with it the claim that quantization commutes with reduction in this setting, is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a classification of homogeneous star products on the total space of the dual of a Lie algebroid, showing that homogeneous equivalence classes are in bijection with the second Lie algebroid cohomology. It then introduces projectable star products for constraint Lie algebroids and proves a parallel classification in terms of the projectable cohomology subcomplex, with a commuting diagram that is interpreted as quantization commuting with reduction. The proofs rely heavily on a homogeneous Hochschild-Kostant-Rosenberg deformation retract imported from the authors' preprint [Dip+24], and the final surjectivity step of the projectable classification invokes an unspecified 'Proof XXIII'.","tokens_in":31421,"tokens_out":3433,"duration_ms":41265,"significance":"If the results are correct, they provide a clean cohomological parametrization of homogeneous deformation quantizations of linear Poisson structures and a cohomological criterion for projectability, which would be a substantial advance over the known symplectic and cotangent-bundle cases. The paper is honest about its limitations: Example 3.22 explicitly states that the universal-enveloping-algebra construction is not yet known to be bidifferential, and the dependence on [Dip+24] is openly declared. The treatment of examples, including the Neumaier-Waldmann and Kontsevich-Dolgushev constructions, adds useful context. However, the missing 'Proof XXIII' at a load-bearing point and the heavy reliance on an external preprint prevent the paper from being fully verifiable in its present form.","major_comments":[{"comment":"The surjectivity proof contains the sentence 'Proof XXIII is enough to show that (I∨ × P∨)∗(Cα,red2)− vanishes on the whole vanishing ideal.' No such proof appears in the manuscript. This is load-bearing: the preceding computation only verifies vanishing on the functions pr∗A∗T(F) − pr∗A∗red(F˜), which are asserted to generate the vanishing ideal, while Proposition 4.5 requires the obstruction hkr−1∇(D2) to vanish on all pairs of functions in that ideal. Since this step is exactly what converts representability of ⋆α ⊗ ⋆oppred into the projectable classification and the commuting diagram (4.29), Theorem 4.19 and the claim that quantization commutes with reduction are not established as written. Please supply the missing argument or a precise reference.","section":"Section 4.2, proof of Theorem 4.19"},{"comment":"The proofs throughout depend on deformation retract data (Theorem 2.3, Proposition 2.6, and Theorem B.1) imported from the authors' preprint [Dip+24]. These results supply the operators H∇ and hkr−1∇ whose homogeneity preservation is used in every exactness argument, for example in Proposition 3.9, Proposition 3.11, Lemma 3.14, Proposition 4.5, and the representable HKR theorem in Appendix B. Because [Dip+24] is not included in this manuscript and appears to be an unreviewed preprint, the homogeneous classification and the projectable classification are conditional on external results that are neither proved nor fully stated here. Please state the precise theorems used and either prove them or document their accepted publication status.","section":"Sections 2.1, 2.2 and Appendix B"}],"minor_comments":[{"comment":"'homogeneous tar products' should be 'homogeneous star products'.","section":"Remark 3.19(ii)"},{"comment":"The heading 'Projectable equivalance' contains a typo; it should be 'Projectable equivalence'.","section":"Definition 4.9"},{"comment":"The sentence 'we may assume that I∗dα = 0, since Φ(⋆red) = [Bred]' is terse; a brief explanation of why the chosen α can be adjusted to satisfy this condition would improve clarity.","section":"Proof of Theorem 4.19"},{"comment":"The assertion that projectability of the equivalence implies α ∈ Γ∞proj(A∗T) is stated without proof; a short argument or a reference to an equation would be helpful.","section":"Proposition 4.16(ii)"},{"comment":"It would be clearer to specify which representative of the Fubini-Study class [ω] and which pullback to S2n+1 are used when constructing the two projectable star products.","section":"Example 4.15"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies heavily on [Dip+24], which is a preprint by the same group. The editors may wish to verify that the preprint is publicly available and has progressed through review. The 'Proof XXIII' placeholder strongly suggests an incomplete revision; this should be resolved before external review is considered complete."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the Dippell–Esposito–Schnitzer paper. The main news is the classification of homogeneous star products on duals of Lie algebroids by H^2(A), plus a projectable version by H^2_proj that would make quantization commute with reduction. Section 3 is the real contribution: the construction of star products from a closed B, the relative class, and the bijection in Theorem 3.17 are carefully done. This genuinely extends earlier symplectic and cotangent-bundle classifications. I also like Section 3.3, where they compute characteristic classes for the Neumaier–Waldmann, Kontsevich, and Gutt constructions; Example 3.22 honestly flags that the enveloping-algebra route isn't known to produce bidifferential operators except in the Lie algebra case.\n\nThe soft spot is exactly where the stress test points. In Theorem 4.19, surjectivity of the projectable characteristic class map requires showing that a certain obstruction vanishes on the whole vanishing ideal of A_N^vee. The manuscript calculates the obstruction on generators of the form pr^*F - pr^*Ftilde, then says \"Proof XXIII is enough\" to pass to all functions. No such proof appears. I agree the claim is plausible: the obstruction sits in Lambda^2 nu and should only see conormal differentials. But as written it's an unproved assertion at a load-bearing point. If it fails, the projectable classification and the reduction-commutation diagram are not established. The authors need to supply a real argument there, or state the local computation and prove it.\n\nThe other caveat is the heavy reliance on their own preprint [Dip+24] for the homogeneous and representable HKR deformation retracts. That's not circular—those theorems are independent of the classification—but it does mean the paper is not self-contained. The referee should have [Dip+24] in hand. A couple of \"one can check\" steps in Section 4.1 are also terse, but they look routine.\n\nVerdict: this deserves a serious referee. The core classification is solid and useful, and the reduction-commutation conjecture is worth settling. With the missing proof supplied, I'd accept. I'd tell the editor to send it to someone who can verify the coisotropic reduction step carefully.","headline":"Solid homogeneous classification on Lie algebroids; the projectable half needs a real proof where the text invokes a phantom 'Proof XXIII'.","tokens_in":32017,"tokens_out":3035,"would_cite":true,"duration_ms":31437,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D55","53D17","17B66","16E40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that homogeneous star products on the dual of a Lie algebroid are classified, up to homogeneous equivalence, by a single class in second Lie algebroid cohomology, and that the projectable ones make quantization…","keywords":["deformation quantization","star products","homogeneous star products","Lie algebroids","characteristic classes","coisotropic reduction","quantization commutes with reduction","Hochschild-Kostant-Rosenberg theorem"],"falsifier":"Run the omitted extension step on the Hopf-fibration constraint Lie algebroid from Example 4.15: if for some closed projectable two-form $B$ the representation of $\\star^{(\\nabla,B)}\\otimes\\star_{\\mathrm{red}}^{\\mathrm{opp}}$ cannot be extended from the generators of the vanishing ideal of $A^\\vee_N$ to all functions, then Theorem 4.19's surjectivity claim fails; similarly, two homogeneous star products on some $A^*$ with equal characteristic class but no homogeneous equivalence would refute Theorem 3.17.","tokens_in":30881,"feed_emoji":"⚛️","tokens_out":11338,"duration_ms":119476,"temperature":0.7,"pith_summary":"On the dual $A^*$ of a Lie algebroid $A$, the linear Poisson bracket is the classical side of many deformation quantizations, i.e. associative products on $C^\\infty(A^*)[[\\hbar]]$ deforming the pointwise product. This paper's central claim is that the homogeneous ones — those respecting the fibrewise dilation of $A^*$ — are completely classified by one characteristic class in $H^2(A)$: two homogeneous star products are equivalent if and only if their classes agree, and every class is realised. The paper then treats projectable homogeneous star products, quantizations that survive a coisotropic reduction to a reduced phase space, and proves that they are classified by the projectable part of $H^2$, in a way that makes reduction commute with quantization. If correct, this turns a question about infinite operator series into a finite cohomological check and identifies exactly when a quantization of a constrained system descends to the reduced space.","feed_headline":"One class classifies every homogeneous star product","feed_subtitle":"On Lie algebroid duals, two such quantizations match exactly when that class matches, and reduction still commutes with quantization.","key_machinery":"The engine is a homogeneous version of the Hochschild–Kostant–Rosenberg deformation retract: for a torsion-free homogeneous covariant derivative $\\nabla$ on $A^*$, operators $H_\\nabla$ and $\\mathrm{hkr}_\\nabla^{-1}$ satisfy the homotopy equation $\\partial H_\\nabla+H_\\nabla\\partial=\\mathrm{id}-\\mathrm{hkr}\\circ\\mathrm{hkr}_\\nabla^{-1}$ and preserve homogeneity degrees, so any closed Hochschild cocycle with vanishing antisymmetrization is exact in the homogeneous category. The characteristic class $\\Phi$ compares a star product with the reference product $\\star^{(\\nabla,0)}$ built in Proposition 3.10, so the class is independent of the chosen connection. For the reduction statement the new object is a constraint Lie algebroid $A_T\\leftarrow A_N\\twoheadrightarrow A_{\\mathrm{red}}$ — a subalgebroid $A_N$ over a submanifold mapping onto a quotient algebroid — and the projectable subcomplex $\\Gamma^\\bullet_{\\mathrm{proj}}(A_T^*)$ of Lie algebroid forms that are pulled back from $A_{\\mathrm{red}}$; its cohomology $H^2_{\\mathrm{proj}}(A_T)$ is the classifying space for projectable classes.","core_discovery":"The central discovery is a bijection $\\Phi:\\mathrm{Def}_{\\mathrm{hom}}(A^*)\\to H^2(A)$, where $\\mathrm{Def}_{\\mathrm{hom}}(A^*)$ is the set of homogeneous equivalence classes of homogeneous star products deforming the linear Poisson structure of $A$. The class is read off from the skew-symmetric part of the second-order bidifferential operator via $\\Phi(\\star)(s,t)=\\iota^*C_2^-(J(s),J(t))$, and Theorem 3.17 states that two homogeneous star products are homogeneously equivalent exactly when these classes coincide, with every cohomology class realised. A direct corollary is that ordinary equivalence of homogeneous star products already forces homogeneous equivalence. For a constraint Lie algebroid $A_T\\leftarrow A_N\\twoheadrightarrow A_{\\mathrm{red}}$, Theorem 4.19 upgrades the bijection to $\\Phi^{\\star_0}_{\\mathrm{proj}}:\\mathrm{Def}_{\\mathrm{proj}}(A_T^*)\\to H^2_{\\mathrm{proj}}(A_T)$, with commuting squares that make quantization commute with reduction. The paper also exhibits two projectable star products that are equivalent as homogeneous star products but have inequivalent reductions, which is why projectable equivalences are the right notion.","pith_inferences":["Editorial inference: the explicit formula $\\Phi(\\star)(s,t)=\\iota^*C_2^-(J(s),J(t))$ offers a practical algorithm for computing the invariant of any concrete star product on the dual of a Lie algebroid, so known constructions could be compared entirely from their second-order data.","Editorial inference: because the proof of projectable surjectivity relies on an omitted extension step, a natural test is whether the classification holds under weaker regularity assumptions on the constraint Lie algebroid; the theorem as stated would survive if that step is supplied.","Editorial inference: the same cohomological mechanism should apply to other settings where a homogeneity-preserving HKR retract exists, for example graded or super versions of Lie algebroids, since the order-by-order arguments use only that retract.","Editorial inference: the projectability criterion yields a possible new obstruction — if the characteristic class of a homogeneous star product is not in the image of $H^2_{\\mathrm{proj}}(A_T)\\to H^2(A_T)$, no homogeneous equivalence can make it compatible with reduction — which would give a linear analogue of the known examples where reducible quantizations do not exist."],"forward_implications":["Every homogeneous deformation of a linear Poisson structure on $A^*$ is determined, up to homogeneous equivalence, by one element of $H^2(A)$, so comparing two quantizations reduces to a finite cohomology calculation.","A homogeneous star product is homogeneously equivalent to a projectable one exactly when its characteristic class has a projectable representative, i.e. when $I^*\\Phi(\\star)=P^*[B_{\\mathrm{red}}]$; this makes reducibility a cohomological condition.","For constraint Lie algebroids, quantization commutes with reduction: reducing the quantized class and then quantizing gives the same class as quantizing and then reducing, in the projectable classification.","Ordinary equivalence already implies homogeneous equivalence for homogeneous star products, so the refined classification does not distinguish more than the coarse one.","The polynomial functions form a subalgebra of every homogeneous star product, so the formal deformation parameter can be evaluated at complex values, which connects the classification to convergent deformation quantization."],"supporting_citations":[{"why":"It supplies the homogeneous and representable HKR deformation retracts whose homotopy operators preserve homogeneity, and these appear in every exactness argument of the paper.","marker":"[Dip+24]"},{"why":"It provides the earlier homogeneous star product construction whose characteristic class the paper computes, calibrating the classification invariant.","marker":"[NW09]"},{"why":"It gives the formality quantization machinery used to construct examples of homogeneous star products and to show the relevant second-order symmetry.","marker":"[Kon03]"},{"why":"It globalises that formality to arbitrary smooth manifolds, which is what makes the homogeneous Kontsevich-type examples available in the present setting.","marker":"[Dol05]"},{"why":"It introduces constraint vector bundles and constraint Lie algebroids, together with the dualisation $A^\\vee_N=\\mathrm{Ann}(\\ker P)$ used to model projectable reduction.","marker":"[DK25]"},{"why":"It is the classical Hochschild–Kostant–Rosenberg theorem whose deformation-retract refinement computes the Hochschild cohomology used to extend star products order by order.","marker":"[HKR62]"},{"why":"It sets out the star product, Hochschild differential and Maurer–Cartan associativity equations that underlie Lemma 2.2 and the order-by-order construction.","marker":"[Wal07]"}],"fun_headline_variants":["One cohomology class pins down every homogeneous star product","Quantization commutes with reduction in Lie algebroid duals","Star product equivalence reduces to a single cohomology class","Projectable star products classified; reduction commutes with quantization"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the imported homogeneous Hochschild–Kostant–Rosenberg deformation retract preserving homogeneity degrees; if that retract does not exist as stated, the exactness arguments collapse, and the projectable classification additionally depends on an omitted step that extends a vanishing condition from generators of the vanishing ideal to all functions.","fun_headline_variants_meta":{"raw":{"variants":["One cohomology class pins down every homogeneous star product","Quantization commutes with reduction in Lie algebroid duals","Star product equivalence reduces to a single cohomology class","Projectable star products classified; reduction commutes with quantization"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000812,"raw_usage":{"total_tokens":3511,"prompt_tokens":845,"completion_tokens":2666,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":461,"completion_tokens_details":{"reasoning_tokens":2597}},"tokens_in":461,"tokens_out":2666,"duration_ms":21079,"temperature":1.0,"reasoning_tokens":2597,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:20:21.245049+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the omitted extension step on the Hopf-fibration constraint Lie algebroid from Example 4.15: if for some closed projectable two-form $B$ the representation of $\\star^{(\\nabla,B)}\\otimes\\star_{\\mathrm{red}}^{\\mathrm{opp}}$ cannot be extended from the generators of the vanishing ideal of $A^\\vee_N$ to all functions, then Theorem 4.19's surjectivity claim fails; similarly, two homogeneous star products on some $A^*$ with equal characteristic class but no homogeneous equivalence would refute Theorem 3.17.","supporting_citations":[],"review_version":1}