Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Creating quantum projective spaces by deforming q-symmetric algebras

T0 review · 3 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read By deforming q-symmetric algebras, this paper constructs many new Koszul, Calabi-Yau quantum projective spaces, and identifies the cycle-free ones with canonical quantizations of quadratic Poisson structures.

desk verdict Strong explicit construction of many new Koszul Calabi-Yau quantum projective spaces, but the Kontsevich convergence claim is overstated and rests on an unproved equivariance assumption. read the letter →

arxiv 2411.10425 v1 pith:CQ5V5MIE submitted 2024-11-15 math.QA math.AGmath.RAmath.SG

Mykola Matviichuk , Brent Pym , Travis Schedler This is my paper · ORCID
classification math.QAmath.AGmath.RAmath.SG MSC 16S3816E6553D5514A22
keywords quantumprojectivespaceq-symmetricalgebraKoszulCalabi-YaudeformationquantizationPoissoncohomologyFeigin-Odesskiiellipticsmoothingdiagram
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 produces many new "quantum projective spaces": associative, non-commutative algebras with the Hilbert series of a polynomial ring and the homological smoothness expected of a non-commutative projective space. The construction starts from the toric q-symmetric algebras and deforms their quadratic relations according to a combinatorial smoothing diagram. Under a genericity condition on the parameter q, the paper proves that all non-toric first-order deformations extend without obstruction to analytic flat families with polynomial Hilbert series. In the cycle-free case, the resulting algebras are shown to be isomorphic to the canonical deformation quantizations of the corresponding quadratic Poisson brackets, giving the first broad class for which the 2001 convergence conjecture on canonical quantization holds up to isomorphism.

What carries the argument

The central tool is the smoothing diagram of a biresidue matrix: a complete graph on n vertices whose colored edges and angles encode the smoothable torus weights in the second Hochschild cohomology. Comparing Hochschild and Poisson cohomology for q-symmetric algebras identifies the infinitesimal deformation directions with the colored edges, and the torus weights of the obstructions are controlled by whether the graph is a chain or a cycle. Cycle-free collections are deformed via a filtration by torus weights and a Maurer-Cartan induction; cycles are deformed using Feigin-Odesskii elliptic algebras, whose theta-function relations degenerate to the required first-order terms; the two types are combined with a braided tensor product governed by q. A second load-bearing mechanism is the entrywise exponential q = EExp(λ), which transfers genericity and weight information between the multiplicative parameter q and the additive Poisson matrix λ.

What would settle it

Take the five-variable cycle-free example and compute the canonical star product for the Poisson bracket up to order ε²: if the coefficient of the ε² term does not match the confluence constant, e.g. $C_{40}^{11} = v^{24}/(v^{30}-1)$ from the explicitly deformed relations, then Theorem 7.6 fails. Alternatively, check whether any zero-sum non-contributing torus weight appears in the canonical star product; if one does, the equivariance premise used in the proof is false.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem A: for a generic normalized multiplicatively alternating matrix q (equivalently, a generic corank-one log-symplectic torus-invariant Poisson bracket on an even-dimensional projective space), every infinitesimal deformation of the q-symmetric algebra that changes the torus weights is jointly unobstructed. Each such deformation extends to an analytic flat family of quadratic algebras with polynomial Hilbert series, obtained as a braided tensor product of cycle-free filtered deformations and Feigin-Odesskii elliptic algebras. For cycle-free diagrams, the deformed algebra is Koszul, Calabi-Yau, and Artin-Schelter regular, and it is isomorphic to the canonical quantization of the corresponding quadratic Poisson bracket. Consequently, the convergence conjecture for canonical quantization holds, up to isomorphism, for all quadratic Poisson structures admitting a filtered log-symplectic toric degeneration.

Load-bearing premise

The identification of the explicit deformations with the canonical quantization rests on the assumption that the canonical quantization procedure is equivariant with respect to the torus action, so that the weights of the star product coincide with the weights of the explicitly constructed deformation; if the canonical construction fails to be torus-equivariant, the equality of the two algebras is not established.

Editorial extensions

If this is right

  • For every generic q, the non-toric infinitesimal deformations of the q-symmetric algebra are jointly unobstructed, producing analytic families of quadratic algebras with polynomial Hilbert series.
  • The cycle-free deformed algebras are Koszul, Calabi-Yau, and Artin-Schelter regular, so they form new non-commutative projective spaces with the expected homological properties.
  • Quadratic Poisson structures admitting a filtered log-symplectic toric degeneration have canonical quantizations that converge up to gauge equivalence, confirming the 2001 conjecture for this class.
  • For n = 5 the construction gives at least 40 irreducible components of the moduli space of quantum projective 4-spaces.
  • The deformed relations are explicit: the higher-order coefficients are determined by confluence equations and can be computed order by order.

Reading between the lines

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

  • The braided tensor product decomposition suggests that the full classification of quantum projective spaces admitting a generic toric degeneration can be read off from the combinatorics of smoothing diagrams, provided every such algebra is shown to arise from a toric degeneration of this type.
  • The condition that the Poisson matrix have corank one (which forces n to be odd) may be relaxable: the paper notes that its degeneration argument for cycles does not use the condition gcd(n, k+1) = 1, leaving open a test for whether Theorem A extends beyond corank one.
  • If the convergence statement is true, the explicit confluence constants could be compared with direct star-product expansions for small n, giving numerical confirmation and potentially a constructive algorithm for computing canonical quantizations.
  • For the cycled families, Koszul and Calabi-Yau properties are known away from countably many parameter values; a direct check at torsion points of the elliptic curve might determine whether the exceptional set is actually empty.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper constructs a large class of graded quadratic algebras by deforming the relations of the q-symmetric algebras A_q, using smoothing diagrams associated with a generic normalized multiplicatively alternating matrix q. The main algebraic results are Theorem A (Theorem 5.13), which states that the non-toric infinitesimal deformations of A_q are jointly unobstructed and are given by braided tensor products of cycle-free filtered deformations and Feigin-Odesskii elliptic algebras; and Theorem B (Propositions 6.3 and 6.5), which states that the cycle-free deformations are Koszul, Calabi-Yau, and Artin-Schelter regular, with a countable exception set in the presence of cycles. The final part, Theorem C (Theorem 7.6), claims that for cycle-free deformations the explicit algebras coincide with Kontsevich's canonical quantization of the corresponding quadratic Poisson structure, and that this verifies a version of Kontsevich's convergence conjecture. The paper contains detailed worked examples, including explicit constants in Examples 5.5 and 5.6, and a substantial deformation-theoretic apparatus.

Significance. If the main claims hold, this is a significant contribution: it produces a broad family of Koszul Calabi-Yau algebras with polynomial Hilbert series, explicitly realizes them as quantizations of quadratic Poisson structures, and gives the first verification of Kontsevich's convergence conjecture for a large class beyond the toric case. The algebraic core, especially the smoothing-diagram calculus, the obstruction-vanishing arguments in Section 5, and the Gröbner-basis/superpotential proofs in Section 6, is carefully developed and supported by explicit examples. The paper also builds on prior work of the same authors and on the Feigin-Odesskii algebra literature in a natural way. The main caveat is that the identification with Kontsevich quantization in Section 7 rests on an unproved equivariance assertion, and the introduction states a broader theorem than the cycle-free result actually proved in Section 7.

major comments (3)
  1. [Section 7, proof of Theorem 7.6(1)] The assertion 'Since the canonical quantization procedure is (C^x)^n-equivariant' is load-bearing and is not proved or referenced. The Poisson structure B_{lambda,I} is not torus-invariant; its Poisson bivector is a sum of distinct weight components, so one needs a naturality statement for Kontsevich's L-infinity formality under the linear torus action, together with a specified equivariant gauge choice. Without such a statement, the canonical star product could in principle acquire additional weight components, and the deduction that it satisfies relations of the form (5.2) would not follow. Please either supply a proof or a precise reference for the equivariance of the canonical quantization, or replace this step by the standard uniqueness argument: because H^2_dR(C^n)=0, any formal quantization of B_{lambda,I}, in particular the explicit algebra A_{q,I}, is gauge equivalent to the canonical one; this would give Theorem 7.6(1) without the equivariance assertion.
  2. [Introduction, Theorem C (Section 1.6) and Abstract] Theorem C as stated in the introduction applies to every Poisson structure admitting a filtered log symplectic toric degeneration, but Section 7 explicitly fixes a cycle-free subset I of smoothable edges immediately before Theorem 7.5, and Theorem 7.6 proves convergence only for B_{lambda,I} with cycle-free I. The cycle case is left open in the text ('It is expected that similar techniques can be applied to the Feigin-Odesskii algebra.'). Thus Theorem C and the corresponding sentence in the abstract overstate the proven result. Please restrict Theorem C and the abstract to the cycle-free case, or supply the missing argument for cycles.
  3. [Corollary 7.1(2), proof] The step 'Since Theta_m does not contain Hochschild-contributing weights, by Lemma 7.2 below, we can express e-mu_m - mu_m = d(eta)' needs a missing argument. Lemma 7.2 asserts that the cohomology in non-contributing weights is annihilated by multiplication by hbar, not that every such cocycle is exact. One must use that e-mu_m - mu_m is divisible by hbar, hence equals hbar delta with delta a cocycle (since the cochain complex is hbar-torsion-free), and then hbar[delta]=0 implies [hbar delta]=0. Please add this explanation, and clarify explicitly that the gauge transformation eta may be non-convergent as a series in hbar, which is permissible for the 'up to isomorphism' formulation of Conjecture 7.3.
minor comments (6)
  1. [Section 2.3] The displayed weight decomposition of A_q contains a duplicated 'A_q =' fragment; the line should be cleaned up.
  2. [Section 5.1] The parenthetical justification of the PBW basis says it follows from Bergman's Diamond Lemma or from Proposition 6.3 below; since Proposition 6.3 is proved later and uses the general deformation machinery, a brief forward reference would help the reader see that there is no circularity.
  3. [Section 5.4, proof of Theorem 5.13] The sentence 'By Lemma 5.12 part (1), the deformed relations for each factor involve only the variable of each factor' is correct only after also noting that the cycle-free component J is closed under the colored angles of its smoothable edges; this should be stated explicitly.
  4. [Theorem 7.5, proof] The statement that the existence claim 'follows directly from Theorem 5.4 by taking semiclassical limit' is too terse; a short explanation of how the semiclassical limit preserves the filtration and the uniqueness would make the proof self-contained.
  5. [Section 7, Corollary 7.1] The notation A_{q,I} over C{hbar} is used before specifying how the deformation parameter epsilon in (5.2) is specialized; please state explicitly that epsilon is normalized away by the diagonal torus action, or otherwise clarify the parameter convention.
  6. [References] In Theorem 6.1 the citation [7] is described as 'Chirvasitu-Kanda-Smith', but the bibliographic entry [7] is titled 'Elliptic R-matrices and Feigin and Odesskii's elliptic algebras'; please confirm that the cited result appears in that paper and not in [6].

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the explicit deformations are constructed from Hochschild cohomology and deformation theory, and the Kontsevich identification is an external comparison, not an input.

full rationale

The central construction is not circular. The deformed algebras are built from the q-symmetric algebra A_q by computing its Hochschild cohomology (Lemma 2.5), imposing a genericity condition under which the relevant Hochschild and Poisson cohomology weights coincide (Definition 4.5), and then solving the Maurer-Cartan equation term by term with weight-controlled obstructions (Theorem 5.4 and Lemmas 5.2, 5.3). The cycle contributions are obtained from Feigin-Odesskii elliptic algebras by degeneration (Proposition 5.10), and the general case is assembled by braided tensor products (Theorem 5.13). None of these steps assumes the deformed algebra or the Kontsevich quantization it is later compared with. The comparison in Theorem 7.6 relies on Theorem 7.4, quoted from [15,16], which identifies the canonical quantization of the toric Poisson algebra B_lambda with A_q; this is a self-citation because [16] has a co-author in common, but it is a separate, falsifiable statement about toric Poisson structures and not an input to the deformation construction. The proof of Theorem 7.6 also asserts without proof that Kontsevich's canonical quantization is (C^x)^n-equivariant; if that assertion fails, the weight transfer used to identify the star product with A_{q,I} would be unsupported. That is a missing justification and a correctness risk, not a circular reduction: no equation of the paper is defined in terms of the result it predicts, and no fitted parameter is renamed as a prediction. Therefore no significant circularity is present.

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

The central claims are universal statements over explicit parameter spaces, so there are no fitted constants. The paper rests on standard homological algebra and on several external theorems, some from the authors' own prior work; the most fragile inputs are the toric quantization theorem [16] and the asserted torus-equivariance of canonical quantization.

assumptions (6)
  • standard math Hochschild cohomology of Aq is computed by the Koszul bimodule resolution and the torus weight decomposition (Section 2).
    Used throughout to identify deformation classes with smoothable weights; proved in Lemma 2.5.
  • domain assumption Smoothing diagrams for toric log symplectic Poisson structures obey the chain/cycle decomposition and classification from [19] and [18].
    Section 4.4 imports the diagrammatic classification; if this classification failed, the joint unobstructedness theorem would not hold.
  • domain assumption Feigin-Odesskii algebras Q_{n,k}(epsilon,z) have polynomial Hilbert series and are Koszul twisted Calabi-Yau for generic parameters [6].
    Used in Theorem 5.13 and Theorem B to ensure braided products with cycles are quantum projective spaces for all but countably many parameters.
  • domain assumption The canonical quantization of the toric Poisson algebra B_lambda is isomorphic to Aq with q = EExp(hbar lambda) [15,16].
    External input that upgrades the algebraic construction to a statement about Kontsevich quantization; [16] is a preprint with overlapping authorship.
  • domain assumption Kontsevich's canonical quantization is (C^x)^n-equivariant, so the weights of its star product match the torus weights of the explicit deformation (Theorem 7.6 proof).
    Stated without proof or citation in Section 7.2; if it fails, the identification with A_{q,I} and the convergence conclusion are unsupported.
  • standard math The Bocklandt-Schedler-Wemyss superpotential criterion characterizes Koszul Calabi-Yau algebras (Section 6.2).
    Used to prove Theorem B; cited from [4].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Creating quantum projective spaces by deforming q-symmetric algebras." pith.science (2026). https://pith.science/paper/CQ5V5MIE

@misc{pith2026241110425,
  author       = {Pith},
  title        = {Pith review of: Creating quantum projective spaces by deforming q-symmetric algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CQ5V5MIE}},
  note         = {Machine review of arXiv:2411.10425}
}
read the original abstract

We construct a large collection of "quantum projective spaces", in the form of Koszul, Calabi-Yau algebras with the Hilbert series of a polynomial ring. We do so by starting with the toric ones (the q-symmetric algebras), and then deforming their relations using a diagrammatic calculus, proving unobstructedness of such deformations under suitable nondegeneracy conditions. We then prove that these algebras are identified with the canonical quantizations of corresponding families of quadratic Poisson structures, in the sense of Kontsevich. In this way, we obtain the first broad class of quadratic Poisson structures for which his quantization can be computed explicitly, and shown to converge, as he conjectured in 2001.

Figures

Figures reproduced from arXiv: 2411.10425 by the authors.

Figure 1
Figure 1. Two types of colored angles Example 4.10. The following matrix b has the smoothing diagram drawn on the right hand side: b =   0 2 −4 −4 6 −2 0 3 1 −2 4 −3 0 1 −2 4 −1 −1 0 −2 −6 2 2 2 0   0 1 2 3 4 Consequently, the corresponding log symplectic Poisson structure on P 4 admits a deformation whose degeneracy divisor is obtained by smoothing the intersections of the pairs of hyperplanes (x1, x2), (x2, x3) … view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Quantum Segre maps via cocycle twists

    math.QA 2025-01 accept novelty 6.0 of 10

    Cocycle twisting of monoid-graded algebras constructs quantum Segre maps A^N_g to A^n_q tensor_alpha A^m_q', with the factorizable case recovering the AGG22 maps.

Reference graph

Works this paper leans on

26 extracted references · 24 canonical work pages · cited by 1 Pith paper

  1. [18]

    Elliptic log symplectic brackets on projective bundles

    M. Matviichuk, Elliptic log symplectic brackets on projective bundles. https://arxiv.org/abs/2310.05284

    work page Pith review arXiv

  2. [19]

    Matviichuk, B

    M. Matviichuk, B. Pym, and T. Schedler, A local Torelli theorem for log symplectic manifolds, 2010.08692. https://arxiv.org/pdf/2010.08692.pdf

    arXiv 2010

  3. [16]

    Lindberg and B

    A. Lindberg and B. Pym, Semiclassical Hodge theory for log Poisson manifolds . https://arxiv.org/abs/2408.16685

    arXiv

  4. [1]

    Artin, J

    M. Artin, J. Tate, and M. Van den Bergh, Some algebras associated to automorphisms of elliptic curves, The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Birkh¨ auser Boston, Boston, MA, 1990, pp. 33–85

    work page 1990

  5. [2]

    Artin and W

    M. Artin and W. F. Schelter, Graded algebras of global dimension3, Adv. in Math. 66 (1987), no. 2, 171–216

    work page 1987

  6. [3]

    G. M. Bergman, The diamond lemma for ring theory, Adv. in Math. 29 (1978), no. 2, 178–218

    work page 1978

  7. [4]

    Bocklandt, T

    R. Bocklandt, T. Schedler, and M. Wemyss, Superpotentials and higher order derivations, J. Pure Appl. Algebra 214 (2010), no. 9, 1501–1522

    work page 2010

  8. [5]

    Cerveau and A

    D. Cerveau and A. Lins Neto, Irreducible components of the space of holomorphic foliations of degree two in CP(n), n ≥ 3, Ann. of Math. (2) 143 (1996), no. 3, 577–612

    work page 1996

Show all 26 references
  1. [6]

    Chirvasitu, R

    A. Chirvasitu, R. Kanda, and S. Paul Smith, Feigin and Odesskii’s elliptic algebras, J. Algebra 581 (2021), 173–225

    2021

  2. [7]

    Chirvasitu, R

    A. Chirvasitu, R. Kanda, and S. P. Smith, Elliptic R-matrices and Feigin and Odesskii’s elliptic algebras, Selecta Math. (N.S.) 29 (2023), no. 2, Paper No. 31, 81

    2023

  3. [8]

    B. L. Fe ˘ ıgin and A. V. Odesski ˘ ı,Vector bundles on an elliptic curve and Sklyanin algebras, Topics in quantum groups and finite-type invariants, Amer. Math. Soc. Transl. Ser. 2, vol. 185, Amer. Math. Soc., Providence, RI, 1998, pp. 65–84

    1998

  4. [9]

    Ginzburg, Calabi-Yau algebras

    V. Ginzburg, Calabi-Yau algebras. arXiv: 0612139

  5. [10]

    Green and R

    E. Green and R. Q. Huang, Projective resolutions of straightening closed algebras generated by minors, Adv. Math. 110 (1995), no. 2, 314–333

    1995

  6. [11]

    Grimley, Hochschild cohomology of group extensions of quantum complete intersections

    L. Grimley, Hochschild cohomology of group extensions of quantum complete intersections . arXiv:1606.01727

    arXiv

  7. [12]

    Kontsevich, Deformation quantization of algebraic varieties, vol

    M. Kontsevich, Deformation quantization of algebraic varieties, vol. 56, 2001, pp. 271–294. EuroConf´ erence Mosh´ e Flato 2000, Part III (Dijon)

    2001

  8. [13]

    , Deformation quantization of Poisson manifolds, Lett. Math. Phys. 66 (2003), no. 3, 157–216

    2003

  9. [14]

    Math., vol

    , XI Solomon Lefschetz Memorial Lecture series: Hodge structures in non-commutative geometry, Non-commutative geometry in mathematics and physics, Contemp. Math., vol. 462, Amer. Math. Soc., Providence, RI, 2008, pp. 1–21. Notes by Ernesto Lupercio

    2008

  10. [15]

    Lindberg, Quantization of complex tori via noncommutative Hodge theory

    A. Lindberg, Quantization of complex tori via noncommutative Hodge theory. Master thesis, McGill Uni- versity, 2021

    2021

  11. [17]

    Loray, J

    F. Loray, J. V. Pereira, and F. Touzet, Foliations with trivial canonical bundle on Fano 3-folds, Math. Nachr. 286 (2013), no. 8-9, 921–940

    2013

  12. [20]

    A. V. Odesski ˘ ı and B. L. Fe ˘ ıgin,Sklyanin ’s elliptic algebras, Funktsional. Anal. i Prilozhen. 23 (1989), no. 3, 45–54, 96

    1989

  13. [21]

    A. V. Odesski ˘ ı,Elliptic algebras, Uspekhi Mat. Nauk 57 (2002), no. 6(348), 87–122

    2002

  14. [22]

    Pym, Quantum deformations of projective three-space, Adv

    B. Pym, Quantum deformations of projective three-space, Adv. Math. 281 (2015), 1216–1241

    2015

  15. [23]

    Reyes, D

    M. Reyes, D. Rogalski, and J. J. Zhang, Skew Calabi-Yau algebras and homological identities, Adv. Math. 264 (2014), 308–354

    2014

  16. [24]

    S. P. Smith and J. T. Stafford, Regularity of the four-dimensional Sklyanin algebra, Compositio Math. 83 (1992), no. 3, 259–289

    1992

  17. [25]

    Tate and M

    J. Tate and M. van den Bergh, Homological properties of Sklyanin algebras, Invent. Math. 124 (1996), no. 1-3, 619–647

    1996

  18. [26]

    J. J. Zhang, Twisted graded algebras and equivalences of graded categories, Proc. London Math. Soc. (3) 72 (1996), no. 2, 281–311. CREATING QUANTUM PROJECTIVE SPACES BY DEFORMING q-SYMMETRIC ALGEBRAS 29 Max Planck Institute for Mathematics, Bonn, Germany Email address: mykola....

    1996

Pith tools

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