A note on even Clifford algebras of skew quadric hypersurfaces
Pith reviewed 2026-05-10 17:10 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [§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.
- [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
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
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
axioms (2)
- domain assumption k is algebraically closed of characteristic not equal to 2.
- domain assumption f is a normal element of S_α.
Reference graph
Works this paper leans on
- [1]
-
[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
work page 1976
-
[3]
M. Artin and J. J. Zhang, Noncommutative projective schemes , Adv. Math. 109 (1994), no. 2, 228–287
work page 1994
-
[4]
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
work page 1985
-
[5]
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
work page 2020
- [6]
-
[7]
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
work page 1981
-
[8]
K. de Naeghel and M. Van den Bergh, Ideal classes of three dimensional Sklyanin algebras , J. Algebra 276 (2004), no. 2, 515–551
work page 2004
-
[9]
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
work page 2016
-
[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
work page 2020
-
[11]
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
work page 1988
- [12]
- [13]
-
[14]
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
work page 2022
-
[15]
H. Hu, M. Matsuno, and I. Mori, Noncommutative conics in Calabi-Yau quantum projective pl anes, J. Algebra 620 (2023), 194–224
work page 2023
- [16]
-
[17]
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
work page 2018
- [18]
-
[19]
O. Iyama and R. Takahashi, Tilting and cluster tilting for quotient singularities , Math. Ann. 356 (2013), no. 3, 1065–1105
work page 2013
-
[20]
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
work page 2007
-
[21]
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
work page 2009
- [22]
-
[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
work page 1987
-
[24]
H. C. Lee, On Clifford’s algebra , J. London Math. Soc. 20 (1945), 27–32
work page 1945
-
[25]
G. Leuschke and R. Wiegand, Cohen-Macaulay representations, Math. Surveys Monogr., 181, American Mathe- matical Society, Providence, RI, 2012
work page 2012
-
[26]
Y. Liu, Y. Shen, and X. Wang, Skew Knörrer’s periodicity theorem , J. Noncommut. Geom. (2026), published online first
work page 2026
- [27]
-
[28]
I. Mori and K. Ueyama, Stable categories of graded maximal Cohen-Macaulay module s over noncommutative quotient singularities , Adv. Math. 297 (2016), 54–92
work page 2016
-
[29]
I. Mori and K. Ueyama, Noncommutative matrix factorizations with an application to skew exterior algebras , J. Algebra 586 (2021), 1053–1087
work page 2021
-
[30]
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
work page 2022
-
[31]
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
work page 2020
-
[32]
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
work page 2001
-
[33]
S. P. Smith and M. Van den Bergh, Noncommutative quadric surfaces , J. Noncommut. Geom. 7 (2013), no. 3, 817–856
work page 2013
-
[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
work page 2023
-
[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...
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.