pith. sign in

arxiv: 2604.07127 · v1 · submitted 2026-04-08 · 🧮 math.RA · math.RT

A note on even Clifford algebras of skew quadric hypersurfaces

Pith reviewed 2026-05-10 17:10 UTC · model grok-4.3

classification 🧮 math.RA math.RT
keywords skew polynomial algebraeven Clifford algebraquadric hypersurfacemaximal Cohen-Macaulay modulesfinite representation typenoncommutative algebrastable category
0
0 comments X

The pith

For normal quadratics in skew polynomial algebras the even Clifford algebra of the hypersurface is a matrix algebra over the base field.

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

The paper shows that when a specific quadratic form f is normal in a skew polynomial algebra S_α over an algebraically closed field of characteristic not 2, the even Clifford algebra of the quotient ring S_α/(f) simplifies dramatically. For odd dimension n the algebra is the full matrix ring M_{2^{(n-1)/2}}(k) and the stable category of graded maximal Cohen-Macaulay modules is equivalent to the bounded derived category of finite-dimensional k-modules. For even n the same holds with M_{2^{(n-2)/2}}(k)^2 and the derived category over k^2. This immediately implies that these noncommutative rings have only finitely many indecomposable graded maximal Cohen-Macaulay modules up to isomorphism and shift, exactly as in the classical commutative case of smooth quadric hypersurfaces.

Core claim

When n is odd and f = x_1 x_2 + ⋯ + x_{n-2} x_{n-1} + x_n^2 is normal in S_α, the even Clifford algebra of S_α/(f) is isomorphic to M_{2^{(n-1)/2}}(k) and the stable category underline{CM}^Z(S_α/(f)) is triangle equivalent to D^b(mod k). When n is even and f = x_1 x_2 + ⋯ + x_{n-1} x_n is normal, the even Clifford algebra is M_{2^{(n-2)/2}}(k)^2 and the stable category is equivalent to D^b(mod k^2). In both cases S_α/(f) therefore has finite Cohen-Macaulay representation type and furnishes a noncommutative generalization of the homogeneous coordinate ring of a smooth quadric hypersurface.

What carries the argument

The even Clifford algebra of the quadratic hypersurface S_α/(f), constructed from the normal quadratic element f inside the skew polynomial algebra S_α.

If this is right

  • The ring S_α/(f) has only finitely many indecomposable graded maximal Cohen-Macaulay modules up to isomorphism and grading shift.
  • The stable category of graded maximal Cohen-Macaulay modules is equivalent to the derived category of modules over a semisimple algebra.
  • S_α/(f) behaves representation-theoretically like the homogeneous coordinate ring of a smooth quadric hypersurface.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Normality of the quadratic appears to be the condition that forces the Clifford algebra to collapse to a matrix ring in the noncommutative setting.
  • One could search for other families of normal quadratics that produce the same matrix-algebra conclusion for larger or different skew polynomial algebras.
  • The result suggests a possible dictionary between normal elements in skew polynomial rings and finite-representation-type noncommutative quadrics.

Load-bearing premise

The quadratic element f must be normal in the skew polynomial algebra S_α for the given parity of n.

What would settle it

An explicit matrix presentation or dimension count of the even Clifford algebra for n=3 or n=4 with a concrete α making f normal, showing it is not isomorphic to M_2(k) or M_1(k)^2 respectively.

read the original abstract

Let $S_\alpha = k\langle x_1,\dots,x_n\rangle /(x_i x_j - \alpha_{ij} x_j x_i)$ be a standard graded skew polynomial algebra over an algebraically closed field $k$ of characteristic not equal to $2$. We show the following results. When $n$ is odd and $f = x_1x_2 + \cdots + x_{n-2}x_{n-1} + x_n^2$ is a normal element of $S_\alpha$, the even Clifford algebra of the skew quadric hypersurface $S_\alpha/(f)$ is isomorphic to a full matrix algebra $M_{2^{(n-1)/2}}(k)$, and the stable category $\underline{\mathsf{CM}}^{\mathbb Z}(S_\alpha/(f))$ of graded maximal Cohen-Macaulay modules over $S_\alpha/(f)$ is triangle equivalent to the derived category $\mathsf{D}^b(\mathsf{mod}\,k)$. When $n$ is even and $f = x_1x_2 + \cdots + x_{n-1}x_n$ is a normal element of $S_\alpha$, the even Clifford algebra of $S_\alpha/(f)$ is isomorphic to $M_{2^{(n-2)/2}}(k)^2$, and the stable category $\underline{\mathsf{CM}}^{\mathbb Z}(S_\alpha/(f))$ of graded maximal Cohen-Macaulay modules over $S_\alpha/(f)$ is triangle equivalent to the derived category $\mathsf{D}^b(\mathsf{mod}\,k^2)$. As a consequence, $S_\alpha/(f)$ is of finite Cohen-Macaulay representation type in both cases. These results demonstrate that $S_\alpha/(f)$ is a natural noncommutative generalization of the homogeneous coordinate ring of a smooth quadric hypersurface.

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 considers standard graded skew polynomial algebras S_α = k⟨x1,…,xn⟩/(xi xj − αij xj xi) over an algebraically closed field k of char ≠2. It proves that when n is odd and the specific quadratic f = x1x2 + ⋯ + x_{n−2}x_{n−1} + xn² is normal in S_α, the even Clifford algebra of the hypersurface ring S_α/(f) is isomorphic to the matrix algebra M_{2^{(n−1)/2}}(k) and the stable category of graded maximal Cohen-Macaulay modules underline{CM}^Z(S_α/(f)) is triangle equivalent to D^b(mod k). An analogous statement holds for even n with f = x1x2 + ⋯ + x_{n−1}xn, yielding M_{2^{(n−2)/2}}(k)^2 and equivalence to D^b(mod k²). As a consequence, S_α/(f) has finite Cohen-Macaulay representation type in both cases and furnishes a noncommutative generalization of the homogeneous coordinate ring of a smooth quadric hypersurface.

Significance. If the stated isomorphisms and equivalences hold, the results supply explicit families of noncommutative hypersurface rings whose stable MCM categories are as simple as those of commutative smooth quadrics, together with concrete matrix-algebra descriptions of the associated even Clifford algebras. This strengthens the analogy between commutative and skew-polynomial settings in representation theory and supplies new examples of finite CM type. The paper makes good use of standard facts on Clifford algebras and stable categories of hypersurface rings.

minor comments (3)
  1. [Introduction / §2] The abstract and introduction state the results conditionally on f being normal; if the paper contains a separate verification that the given f is normal for suitable α (or a precise list of α for which normality holds), this should be highlighted in a dedicated lemma or remark with explicit computation of the commutation relations.
  2. [§3] Notation for the even Clifford algebra (generators, quadratic relations coming from f, and the precise grading) should be recalled or defined in a self-contained paragraph before the isomorphism statements, to aid readers who may not have the reference [Clifford algebra literature] at hand.
  3. [Abstract / Conclusion] The final sentence of the abstract claims these rings are 'natural noncommutative generalizations'; a brief sentence comparing the Hilbert series or the Gorenstein parameter with the commutative quadric case would make the analogy more concrete.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation for minor revision. No specific major comments were listed in the report, so we interpret the minor revision as pertaining to possible presentational improvements or minor clarifications. We are happy to implement any such changes once details are provided.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes conditional isomorphisms and equivalences for even Clifford algebras and stable MCM categories over skew quadric hypersurfaces, assuming f is normal in S_α. These rest on standard algebraic definitions (Clifford algebra relations from the quadratic f, graded MCM modules) and general categorical equivalences between stable categories and derived categories of modules over matrix algebras. No load-bearing step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; the normality assumption is an explicit hypothesis, not smuggled in, and the matrix algebra conclusions follow from direct computation of relations rather than renaming or prediction. The work is self-contained against external benchmarks in noncommutative algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on standard domain assumptions in noncommutative algebra; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • domain assumption k is algebraically closed of characteristic not equal to 2.
    Required for the matrix algebra isomorphisms and Clifford algebra constructions to hold over k.
  • domain assumption f is a normal element of S_α.
    Central hypothesis enabling the hypersurface to have the stated Clifford algebra and category properties.

pith-pipeline@v0.9.0 · 5660 in / 1327 out tokens · 56145 ms · 2026-05-10T17:10:21.631417+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

35 extracted references · 35 canonical work pages

  1. [1]

    Amiot, O

    C. Amiot, O. Iyama, and I. Reiten, Stable categories of Cohen-Macaulay modules and cluster ca tegories, Amer. J. Math. 137 (2015), no. 3, 813–857

  2. [2]

    Auslander, Functors and morphisms determined by objects , Representation theory of algebras (Proc

    M. Auslander, Functors and morphisms determined by objects , Representation theory of algebras (Proc. Conf., Temple Univ., Philadelphia, Pa., 1976), 1–244, Lect. Notes Pure Appl. Math., Vol. 37, Marcel Dekker, Inc., New York-Basel, 1978

  3. [3]

    Artin and J

    M. Artin and J. J. Zhang, Noncommutative projective schemes , Adv. Math. 109 (1994), no. 2, 228–287

  4. [4]

    Buchweitz, D

    R.-O. Buchweitz, D. Eisenbud, and J. Herzog, Cohen-Macaulay modules on quadrics , Singularities, representation of algebras, and vector bundles (Lambrecht, 1985), 58–116, Lecture Notes in Math., vol. 1273, Springer, Berlin, 1987

  5. [5]

    Buchweitz, O

    R.-O. Buchweitz, O. Iyama, and K. Yamaura, Tilting theory for Gorenstein rings in dimension one , Forum Math. Sigma 8 (2020), Paper No. e36, 37 pp

  6. [6]

    Conner, E

    A. Conner, E. Kirkman, W. F. Moore, and C. Walton, Noncommutative Knörrer periodicity and noncommutative Kleinian singularities , J. Algebra 540 (2019), 234–273

  7. [7]

    Curtis and I

    C. Curtis and I. Reiner, Methods of representation theory, Vol. I, With application s to finite groups and orders , Pure Appl. Math., Wiley-Intersci. Publ., John Wiley & Sons, Inc., New York, 1981

  8. [8]

    de Naeghel and M

    K. de Naeghel and M. Van den Bergh, Ideal classes of three dimensional Sklyanin algebras , J. Algebra 276 (2004), no. 2, 515–551

  9. [9]

    Demonet and X

    L. Demonet and X. Luo, Ice quivers with potential associated with triangulations and Cohen-Macaulay modules over orders, Trans. Amer. Math. Soc. 368 (2016), no. 6, 4257–4293

  10. [10]

    Hanihara, Auslander correspondence for triangulated categories , Algebra Number Theory 14 (2020), no

    N. Hanihara, Auslander correspondence for triangulated categories , Algebra Number Theory 14 (2020), no. 8, 2037–2058

  11. [11]

    Happel, Triangulated categories in the representation theory of fin ite-dimensional algebras , London Mathe- matical Society Lecture Note Series, vol

    D. Happel, Triangulated categories in the representation theory of fin ite-dimensional algebras , London Mathe- matical Society Lecture Note Series, vol. 119, Cambridge Un iversity Press, Cambridge, 1988

  12. [12]

    He, X.-C

    J.-W. He, X.-C. Ma, and Yu Ye, Generalized Knörrer’s periodicity theorem , preprint, arXiv:2107.06438

  13. [13]

    He and Y

    J.-W. He and Y. Ye, Clifford deformations of Koszul Frobenius algebras and nonc ommutative quadrics , Algebra Colloq. 31 (2024), no. 1, 63–82

  14. [14]

    Higashitani and K

    A. Higashitani and K. Ueyama, Combinatorial study of stable categories of graded Cohen-M acaulay modules over skew quadric hypersurfaces , Collect. Math. 73 (2022), no. 1, 43–54

  15. [15]

    H. Hu, M. Matsuno, and I. Mori, Noncommutative conics in Calabi-Yau quantum projective pl anes, J. Algebra 620 (2023), 194–224

  16. [16]

    H. Hu, I. Mori, and W. Wu, Classification of noncommutative central conics , arXiv:2602.03236

  17. [17]

    Iyama, Tilting Cohen-Macaulay representations, Proceedings of the International Congress of Mathematici ans– Rio de Janeiro 2018, Vol

    O. Iyama, Tilting Cohen-Macaulay representations, Proceedings of the International Congress of Mathematici ans– Rio de Janeiro 2018, Vol. II, Invited lectures, 125–162, Wor ld Sci. Publ., Hackensack, NJ, 2018

  18. [18]

    Iyama, Y

    O. Iyama, Y. Kimura, and K. Ueyama, Cohen-Macaulay representations of Artin-Schelter Gorens tein algebras of dimension one , preprint, arXiv:2404.05925

  19. [19]

    Iyama and R

    O. Iyama and R. Takahashi, Tilting and cluster tilting for quotient singularities , Math. Ann. 356 (2013), no. 3, 1065–1105

  20. [20]

    Kajiura, K

    H. Kajiura, K. Saito, and A. Takahashi, Matrix factorizations and representations of quivers II: T ype ADE case , Adv. Math. 211 (2007), no. 1, 327–362. 18 TOMOYA OSHIO AND KENTA UEYAMA

  21. [21]

    Kajiura, K

    H. Kajiura, K. Saito, and A. Takahashi, Triangulated categories of matrix factorizations for regu lar systems of weights with ǫ = − 1, Adv. Math. 220 (2009), no. 5, 1602–1654

  22. [22]

    Kimura, H

    Y. Kimura, H. Minamoto, and K. Yamaura, Tilting theory for finite dimensional 1-Iwanaga-Gorenstein algebras, J. Algebra 663 (2025), 259–288

  23. [23]

    Knörrer, Cohen-Macaulay modules on hypersurface singularities I , Invent

    H. Knörrer, Cohen-Macaulay modules on hypersurface singularities I , Invent. Math. 88 (1987), 153–164

  24. [24]

    H. C. Lee, On Clifford’s algebra , J. London Math. Soc. 20 (1945), 27–32

  25. [25]

    Leuschke and R

    G. Leuschke and R. Wiegand, Cohen-Macaulay representations, Math. Surveys Monogr., 181, American Mathe- matical Society, Providence, RI, 2012

  26. [26]

    Y. Liu, Y. Shen, and X. Wang, Skew Knörrer’s periodicity theorem , J. Noncommut. Geom. (2026), published online first

  27. [27]

    Lu and B

    M. Lu and B. Zhu, Singularity categories of Gorenstein monomial algebras , J. Pure Appl. Algebra 225 (2021), no. 8, Paper No. 106651

  28. [28]

    Mori and K

    I. Mori and K. Ueyama, Stable categories of graded maximal Cohen-Macaulay module s over noncommutative quotient singularities , Adv. Math. 297 (2016), 54–92

  29. [29]

    Mori and K

    I. Mori and K. Ueyama, Noncommutative matrix factorizations with an application to skew exterior algebras , J. Algebra 586 (2021), 1053–1087

  30. [30]

    Mori and K

    I. Mori and K. Ueyama, Noncommutative Knörrer’s periodicity theorem and noncomm utative quadric hypersur- faces, Algebra Number Theory 16 (2022), no. 2, 467–504

  31. [31]

    Minamoto and K

    H. Minamoto and K. Yamaura, On finitely graded Iwanaga-Gorenstein algebras and the stab le categories of their (graded) Cohen-Macaulay modules , Adv. Math. 373 (2020), 107228, 57 pp

  32. [32]

    Shelton and C

    B. Shelton and C. Tingey, On Koszul algebras and a new construction of Artin-Schelter regular algebras , J. Algebra 241 (2001), no. 2, 789–798

  33. [33]

    S. P. Smith and M. Van den Bergh, Noncommutative quadric surfaces , J. Noncommut. Geom. 7 (2013), no. 3, 817–856

  34. [34]

    Ueyama, Derived categories of skew quadric hypersur faces, Israel J

    K. Ueyama, Derived categories of skew quadric hypersur faces, Israel J. Math. 253 (2023), no. 1, 205–247

  35. [35]

    Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings , London Math

    Y. Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings , London Math. Soc. Lecture Note Ser., 146, Cambridge University Press, Cambridge, 1990. Department of Science and Technology, Graduate School of Med icine, Science and Technology, Shinshu University, 3-1-1 Asahi, Matsumoto, Nagano 390-862 1, Japan Email address : 26hs601e@shinshu-u.ac.jp Depart...