pith. sign in

arxiv: 2606.10146 · v2 · pith:25A5MIKUnew · submitted 2026-06-08 · 🧮 math.RA · math.QA

Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces

Peter Goetz This is my paper

Pith reviewed 2026-06-27 13:56 UTC · model grok-4.3

classification 🧮 math.RA math.QA
keywords quadratic algebrasnoncommutative hypersurfacescurved DG modulesmatrix factorizationsClifford algebrasKoszul dualityPBW deformationsArtin-Schelter regular algebras
0
0 comments X

The pith

Noncommutative quadric hypersurfaces admit a duality sending modules over the dual to curved DG modules, with even Clifford algebras isomorphic to PBW-deformations of Zhang twists of Veronese subalgebras.

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

The paper equips the category of pairs consisting of a quadratic algebra and a degree-two element with a duality by mapping each pair to a dual pair built from the even Clifford algebra. It defines a faithful functor from graded modules over the dual to the homotopy category of curved differential graded modules over a tensor product of the original and dual algebras. When the algebra satisfies the left strong rank condition and the element is not a right zero divisor, the functor restricts to noncommutative matrix factorizations. In the case where the algebra is Koszul with finite global dimension and the element is normal and regular, the even Clifford algebra after inverting the dual element is isomorphic to a canonical PBW-deformation of a Zhang twist of the two-Veronese subalgebra of the Koszul dual.

Core claim

The association (A, f) maps to (Ā!, f!) turns the category Quad-QHS into a category with duality. The even Clifford algebra Ā![(f!)^{-1}]_0 is isomorphic to a canonical PBW-deformation of a Zhang twist of the 2-Veronese subalgebra of the Koszul dual A! when A is Koszul of finite global dimension and f is normal and regular.

What carries the argument

The duality sending (A, f) to (Ā!, f!) that equips Quad-QHS with duality and induces the faithful functor to curved DG modules over (A ⊗ Ā!, d, f ⊗ f!).

Load-bearing premise

A must satisfy the left strong rank condition, be Koszul of finite global dimension, and f must be normal, regular, and not a right zero divisor.

What would settle it

For a concrete Artin-Schelter regular algebra A and element f, compute both sides of the claimed isomorphism between the localized even Clifford algebra and the PBW-deformation of the Zhang twist of the 2-Veronese subalgebra of A! and check whether they are equal.

read the original abstract

The category of noncommutative quadratic quadric hypersurfaces, ${\tt Quad}\text{-}{\tt QHS}$, consists of pairs $(A, f)$, where $A$ is a quadratic algebra and $f \in A$ is a nonzero degree $2$ element. We associate to such $(A, f)$ a pair $(\bar{A}^!, f^!)$, and show that this association makes ${\tt Quad}\text{-}{\tt QHS}$ into a category with duality. We construct a faithful functor from the category of graded modules over $\bar{A}^!$ to the homotopy category of curved DG modules over a canonical curved DG algebra $(A \otimes \bar{A}^!, d, f \otimes f^!)$. If $A$ satisfies the left strong rank condition and $f \in A$ is not a right zero divisor, we show that the restriction of our functor to a natural full subcategory of the category of graded modules over $\bar{A}^!$ is valued in a stable category of noncommutative matrix factorizations of $f$. When $A$ is Koszul of finite global dimension and $f \in A$ is normal and regular, we prove that the even Clifford algebra, $\bar{A}^![(f^!)^{-1}]_0$, is isomorphic to a canonical PBW-deformation of a Zhang twist of the $2$-Veronese subalgebra of the Koszul dual $A^!$. Finally, we study several classes of Artin-Schelter regular algebras to illustrate our results.

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.

Referee Report

0 major / 3 minor

Summary. The paper defines the category Quad-QHS of pairs (A, f) with A a quadratic algebra and f a nonzero degree-2 element. It constructs a duality sending (A, f) to (Ā!, f!), a faithful functor from graded Ā!-modules to the homotopy category of curved DG-modules over the canonical curved DG-algebra (A ⊗ Ā!, d, f ⊗ f!), and shows that, when A satisfies the left strong rank condition and f is not a right zero-divisor, the restriction lands in the stable category of noncommutative matrix factorizations of f. Under the additional hypotheses that A is Koszul of finite global dimension and f is normal and regular, it proves that the even Clifford algebra Ā![(f!)^{-1}]_0 is isomorphic to a canonical PBW-deformation of a Zhang twist of the 2-Veronese subalgebra of the Koszul dual A!. The results are illustrated by examples drawn from Artin-Schelter regular algebras.

Significance. If the constructions and the stated isomorphism hold, the paper supplies a duality and a faithful functor that relate noncommutative quadratic hypersurfaces to curved DG-modules and matrix factorizations, together with an explicit algebraic identification of the even Clifford algebra in the Koszul case. These results connect several standard tools in noncommutative algebra (Koszul duality, Zhang twists, PBW deformations, Clifford algebras) and provide concrete illustrations on AS-regular algebras. The absence of free parameters or ad-hoc axioms in the central statements is a positive feature.

minor comments (3)
  1. The precise definition of the differential d on A ⊗ Ā! and the curvature element f ⊗ f! should be written out explicitly in the section introducing the curved DG-algebra (currently only described at the level of the abstract).
  2. In the statement of the isomorphism for the even Clifford algebra, the precise meaning of “canonical PBW-deformation” and the explicit form of the Zhang twist should be recalled or referenced to avoid ambiguity for readers outside the immediate subfield.
  3. The paper would benefit from a short table or diagram summarizing the hypotheses required for each of the three main results (duality, functor to matrix factorizations, Clifford isomorphism).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the significance of the results, and recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central claims consist of explicit constructions (associating (A,f) to (Ā!,f!) to obtain a duality on Quad-QHS, defining a faithful functor from graded modules over Ā! into curved DG modules, and restricting it to matrix factorizations under stated hypotheses) followed by an isomorphism theorem for the even Clifford algebra under Koszul + finite global dimension + normality/regularity assumptions. These steps are presented as direct consequences of the given algebraic definitions and standard properties of Koszul duality, PBW deformations, and Zhang twists; no equation reduces a claimed prediction or isomorphism to a fitted parameter or prior self-citation by construction, and the abstract invokes no load-bearing external result whose verification collapses into the present work.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract only; the work relies on standard background notions in noncommutative algebra (Koszul duality, Artin-Schelter regularity, PBW deformations, Zhang twists) whose status as axioms versus prior theorems cannot be audited from the given text.

axioms (3)
  • domain assumption A is a quadratic algebra and f is a nonzero degree-2 element
    Definition of the objects in Quad-QHS; invoked throughout the abstract.
  • domain assumption Existence and properties of the dual pair (Ā!, f!)
    The association that turns Quad-QHS into a category with duality is stated without derivation in the abstract.
  • standard math Standard properties of Koszul algebras, normal regular elements, and Clifford algebras
    Used to state the isomorphism for the even Clifford algebra.

pith-pipeline@v0.9.1-grok · 5811 in / 1552 out tokens · 24405 ms · 2026-06-27T13:56:48.090968+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references

  1. [1]

    Paul Balmer,Witt groups, Handbook ofK-theory. Vol. 1, 2, Springer, Berlin, 2005, pp. 539–576. MR 2181829

    2005

  2. [2]

    Math.254(2014), 187–232

    Hanno Becker,Models for singularity categories, Adv. Math.254(2014), 187–232. MR 3161097

    2014

  3. [3]

    Algebra181(1996), no

    Alexander Braverman and Dennis Gaitsgory,Poincar´ e-Birkhoff-Witt theorem for qua- dratic algebras of Koszul type, J. Algebra181(1996), no. 2, 315–328. MR 1383469

    1996

  4. [4]

    262, American Mathematical Society, Providence, RI, [2021]©2021, With appendices and an introduction by Luchezar L

    Ragnar-Olaf Buchweitz,Maximal Cohen-Macaulay modules and Tate cohomology, Mathematical Surveys and Monographs, vol. 262, American Mathematical Society, Providence, RI, [2021]©2021, With appendices and an introduction by Luchezar L. Avramov, Benjamin Briggs, Srikanth B. Iyengar and Janina C. Letz. MR 4390795

    2021

  5. [5]

    1273, Springer, Berlin, 1987, pp

    Ragnar-Olaf Buchweitz, David Eisenbud, and J¨ urgen Herzog,Cohen-Macaulay mod- ules on quadrics, Singularities, representation of algebras, and vector bundles (Lam- brecht, 1985), Lecture Notes in Math., vol. 1273, Springer, Berlin, 1987, pp. 58–116. MR 915169

    1985

  6. [6]

    Frank Moore,Periodic free resolutions from twisted matrix factorizations, J

    Thomas Cassidy, Andrew Conner, Ellen Kirkman, and W. Frank Moore,Periodic free resolutions from twisted matrix factorizations, J. Algebra455(2016), 137–163. MR 3478857

    2016

  7. [7]

    Reine Angew

    Thomas Cassidy and Brad Shelton,PBW-deformation theory and regular central ex- tensions, J. Reine Angew. Math.610(2007), 1–12. MR 2359848

    2007

  8. [8]

    Algebra620(2023), 293–343

    Andrew Conner and Peter Goetz,Quantum projective planes as certain graded twisted tensor products, J. Algebra620(2023), 293–343. MR 4531548

    2023

  9. [9]

    David Eisenbud,Homological algebra on a complete intersection, with an application to group representations, Trans. Amer. Math. Soc.260(1980), no. 1, 35–64. MR 570778

    1980

  10. [10]

    Kirkman, W

    Peter Goetz, Ellen E. Kirkman, W. Frank Moore, and Kent Vashaw,Some Artin- Schelter regular algebras from dual reflection groups and their geometry, J. Noncom- mut. Geom (2026)

    2026

  11. [11]

    1, 63–82

    Jiwei He and Yu Ye,Clifford deformations of Koszul Frobenius algebras and noncom- mutative quadrics, Algebra Colloq.31(2024), no. 1, 63–82. MR 4717568

    2024

  12. [12]

    T. Y. Lam,Lectures on modules and rings, Graduate Texts in Mathematics, vol. 189, Springer-Verlag, New York, 1999. MR 1653294

    1999

  13. [13]

    131, Springer-Verlag, New York, 2001

    ,A first course in noncommutative rings, second ed., Graduate Texts in Math- ematics, vol. 131, Springer-Verlag, New York, 2001. MR 1838439

    2001

  14. [14]

    Algebra586(2021), 1053–1087

    Izuru Mori and Kenta Ueyama,Noncommutative matrix factorizations with an appli- cation to skew exterior algebras, J. Algebra586(2021), 1053–1087. MR 4296228

    2021

  15. [15]

    2, 467–504

    ,Noncommutative Kn¨ orrer’s periodicity theorem and noncommutative quadric hypersurfaces, Algebra Number Theory16(2022), no. 2, 467–504. MR 4412580

    2022

  16. [16]

    N˘ ast˘ asescu and F

    C. N˘ ast˘ asescu and F. van Oystaeyen,Graded ring theory, North-Holland Mathemat- ical Library, vol. 28, North-Holland Publishing Co., Amsterdam-New York, 1982. MR 676974

    1982

  17. [17]

    37, Amer

    Alexander Polishchuk and Leonid Positselski,Quadratic algebras, University Lecture Series, vol. 37, Amer. Math. Soc, Providence, RI, 2005. MR 2177131

    2005

  18. [18]

    Leonid Positselski,Differential graded Koszul duality: an introductory survey, Bull. Lond. Math. Soc.55(2023), no. 4, 1551–1640. MR 4623674

    2023

  19. [19]

    Algebra241(2001), no

    Brad Shelton and Craig Tingey,On Koszul algebras and a new construction of Artin- Schelter regular algebras, J. Algebra241(2001), no. 2, 789–798. MR 1843325

    2001

  20. [20]

    Paul Smith and Michel Van den Bergh,Noncommutative quadric surfaces, J

    S. Paul Smith and Michel Van den Bergh,Noncommutative quadric surfaces, J. Non- commut. Geom.7(2013), no. 3, 817–856. MR 3108697 NONCOMMUTATIVE MATRIX FACTORIZATIONS 35

    2013

  21. [21]

    Algebra383(2013), 85–103

    Kenta Ueyama,Graded maximal Cohen-Macaulay modules over noncommutative graded Gorenstein isolated singularities, J. Algebra383(2013), 85–103. MR 3037969

    2013

  22. [22]

    183, Cambridge University Press, Cambridge, 2020

    Amnon Yekutieli,Derived categories, Cambridge Studies in Advanced Mathematics, vol. 183, Cambridge University Press, Cambridge, 2020. MR 3971537

    2020

  23. [23]

    J. J. Zhang,Twisted graded algebras and equivalences of graded categories, Proc. Lon- don Math. Soc. (3)72(1996), no. 2, 281–311. MR 1367080 Department of Mathematics and Data Science, California State Polytech- nic University, Humboldt, Arcata, CA 95521 Email address:pdg11@humboldt.edu

    1996