arxiv: 2604.20649 · v1 · submitted 2026-04-22 · 🧮 math.RA · math.RT

Recognition: unknown

Trivial extensions of Koszul Artin-Schelter regular algebras

Kenta Ueyama

Pith reviewed 2026-05-09 22:44 UTC · model grok-4.3

classification 🧮 math.RA math.RT

keywords Artin-Schelter regular algebrastrivial extensionsKoszul dualZhang twiststable categoriesmaximal Cohen-Macaulay modulestriangle equivalencesgraded modules

0 comments

The pith

The stable category of graded maximal Cohen-Macaulay modules over the trivial extension S ⋉ S_σ(-1) is triangle equivalent to the bounded derived category of modules over the Koszul dual of the Zhang twist S^{σ^{-1}}.

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

The paper establishes a triangle equivalence connecting two categories built from a graded algebra S that is Koszul and Artin-Schelter regular. Given a graded automorphism σ, it forms the trivial extension algebra S ⋉ S_σ(-1) and shows that the stable category of its graded maximal Cohen-Macaulay modules is equivalent to the bounded derived category of finitely generated ungraded modules over the Koszul dual of the Zhang twist of S by σ inverse. A reader would care because the equivalence transfers homological information between the stable category of one algebra and the derived category of another, simpler presentation. In the connected graded case the paper also supplies a criterion for when two such stable categories are equivalent and proves that any such equivalence induces an equivalence of the graded module categories of the original algebras.

Core claim

Let S be an N-graded Koszul Artin-Schelter regular algebra and σ a graded algebra automorphism of S. The stable category of graded maximal Cohen-Macaulay modules over the trivial extension algebra S ⋉ S_σ(-1) is triangle equivalent to the bounded derived category of finitely generated ungraded modules over the Koszul dual algebra of the Zhang twist S^{σ^{-1}}.

What carries the argument

The triangle equivalence between the stable category of graded maximal Cohen-Macaulay modules over the trivial extension and the bounded derived category of modules over the Koszul dual of the Zhang twist.

If this is right

In the connected graded case, two trivial extensions produce triangle-equivalent stable categories precisely when a criterion phrased in terms of their Zhang twists and Koszul duals is satisfied.
Any triangle equivalence between two such stable categories induces an equivalence between the categories of graded modules over the two original algebras.
Properties of maximal Cohen-Macaulay modules over the trivial extension can be read from the derived category of the Koszul dual algebra.

Where Pith is reading between the lines

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

Invariants such as the Grothendieck group or Hochschild homology of the stable category become computable from the corresponding invariants of the Koszul dual algebra.
The result supplies a concrete way to decide when two different trivial extensions have equivalent stable categories by checking a condition on their Zhang twists.
Classifications of Koszul Artin-Schelter regular algebras up to Zhang twist could translate directly into classifications of their associated stable categories.

Load-bearing premise

S is an N-graded Koszul Artin-Schelter regular algebra and σ is a graded algebra automorphism of S.

What would settle it

A concrete counterexample would be a specific N-graded Koszul Artin-Schelter regular algebra S together with a graded automorphism σ such that the stable category of graded maximal Cohen-Macaulay modules over S ⋉ S_σ(-1) and the bounded derived category over the Koszul dual of S^{σ^{-1}} have non-isomorphic triangulated invariants, for instance different Grothendieck groups or non-equivalent sets of indecomposable objects up to shift.

read the original abstract

Let $S$ be an $\mathbb N$-graded Koszul Artin-Schelter regular algebra and let $\sigma$ be a graded algebra automorphism of $S$. We study the stable category of graded maximal Cohen-Macaulay modules over the trivial extension algebra $S\ltimes S_\sigma(-1)$. We show that this category is triangle equivalent to the bounded derived category of finitely generated (ungraded) modules over the Koszul dual algebra of the Zhang twist $S^{\sigma^{-1}}$. In the connected graded case, we also obtain a criterion for when two such stable categories are triangle equivalent, and show that such an equivalence induces an equivalence between the categories of graded modules over the original algebras.

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.

Desk Editor's Note private letter to a colleague

A precise but narrow equivalence result for stable categories over trivial extensions in noncommutative algebra.

read the letter

The punchline is that this paper proves a triangle equivalence between the stable category of graded MCM modules over a trivial extension of a Koszul AS-regular algebra and the derived category of modules over the Koszul dual of a Zhang twist of that algebra. It also provides a criterion for when two such stable categories are equivalent in the connected graded case, with an induced equivalence on the graded module categories of the originals. The new part is the specific application to trivial extensions S ⋉ S_σ(-1) and the use of the Zhang twist to produce this link, which the abstract presents as established here rather than a direct restatement of earlier equivalences. It does a clean job stating the assumptions up front and giving a comparison tool in the connected graded case that could help relate different algebras in this class. The writing keeps the statements precise without extra fluff. The main limitation is the strong dependence on S being both Koszul and Artin-Schelter regular; drop either condition and the result does not apply. The shift to ungraded modules on the derived side is also a noticeable change from the graded setup on the stable side, which may restrict some uses. Since only the abstract is visible here, the supporting lemmas and derivation steps cannot be checked directly, but nothing in the stated claim looks circular or self-referential. This paper is for specialists already working with AS-regular algebras, Koszul duality, and stable categories in noncommutative settings. A reader focused on derived equivalences or classification questions in graded rings would get the most out of the criterion and the explicit equivalence. It deserves peer review because the theorem is concrete, the setup is standard in the area, and referees can evaluate the proofs without needing to rebuild the background from scratch.

Referee Report

0 major / 2 minor

Summary. The paper considers an N-graded Koszul Artin-Schelter regular algebra S together with a graded automorphism σ. It studies the stable category of graded maximal Cohen-Macaulay modules over the trivial extension algebra S ⋉ S_σ(-1) and claims that this stable category is triangle equivalent to the bounded derived category of finitely generated ungraded modules over the Koszul dual of the Zhang twist S^{σ^{-1}}. In the connected graded case the authors give a criterion for when two such stable categories are equivalent and show that any such equivalence induces an equivalence of the categories of graded modules over the original algebras S.

Significance. If the stated equivalence holds, the result supplies a concrete bridge between stable categories of graded MCM modules over trivial extensions and derived categories of Koszul duals of Zhang twists. This link may be useful for computing invariants or classifying equivalences in the theory of Artin-Schelter regular algebras and their homological properties. The additional criterion in the connected graded case strengthens the utility of the main theorem by providing a practical test for equivalence.

minor comments (2)

The abstract introduces the notation S_σ(-1) and the Zhang twist without a preliminary sentence recalling their definitions; a one-line reminder would improve accessibility for readers outside the immediate subfield.
In the statement of the main equivalence, the precise grading shift and the ungraded nature of the target category should be cross-referenced to the relevant theorem number in the body for immediate verification.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the accurate summary of its main results, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity in category equivalence theorem

full rationale

The paper proves a triangle equivalence between the stable category of graded maximal Cohen-Macaulay modules over the trivial extension S ⋉ S_σ(-1) and the bounded derived category of modules over the Koszul dual of the Zhang twist S^{σ^{-1}}, under the standard setup that S is an N-graded Koszul Artin-Schelter regular algebra and σ is a graded automorphism. This is a direct homological algebra result with no reduction of any claim to fitted parameters, self-definitional loops, or load-bearing self-citations. The assumptions are external and the equivalence is derived from properties of Koszul duality and trivial extensions, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background properties of Koszul and Artin-Schelter regular algebras from prior literature, with no free parameters, no invented entities, and no ad-hoc axioms introduced to support the central claim.

axioms (2)

domain assumption S is an N-graded Koszul Artin-Schelter regular algebra
This is the foundational setup for defining the trivial extension and applying Koszul duality and Zhang twists.
domain assumption σ is a graded algebra automorphism of S
Required to define the twisted multiplication in the trivial extension and the Zhang twist S^{σ^{-1}}.

pith-pipeline@v0.9.0 · 5411 in / 1364 out tokens · 48713 ms · 2026-05-09T22:44:06.896750+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

40 extracted references · 2 canonical work pages

[1]

Amiot, O

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

2015
[2]

D. D. Anderson and M. Winders,Idealization of a module, J. Commut. Algebra1(2009), no. 1, 3–5

2009
[3]

Artin and J

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

1994
[4]

Beilinson, V

A. Beilinson, V. Ginzburg, and W. Soergel,Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9(1996), no. 2, 473–527

1996
[5]

Buchweitz,Maximal Cohen-Macaulay modules and Tate cohomology, With appendices and an introduction by Luchezar L

R.-O. Buchweitz,Maximal Cohen-Macaulay modules and Tate cohomology, With appendices and an introduction by Luchezar L. Avramov, Benjamin Briggs, Srikanth B. Iyengar and Janina C. Letz, Math. Surveys Monogr., 262, American Mathematical Society, Providence, RI, 2021

2021
[6]

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., 1273 Springer-Verlag, Berlin, 1987

1985
[7]

Buchweitz, O

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

2020
[8]

Chen,Graded self-injective algebras “are” trivial extensions, J

X.-W. Chen,Graded self-injective algebras “are” trivial extensions, J. Algebra322(2009), no. 7, 2601–2606

2009
[9]

R. M. Fossum, P. A. Griffith, and I. Reiten,Trivial extensions of abelian categories: Homological algebra of trivial extensions of abelian categories with applications to ring theory, Lecture Notes in Math., Vol. 456, Springer-Verlag, Berlin-New York, 1975

1975
[10]

Gaddis,The isomorphism problem for quantum affine spaces, homogenized quantized Weyl algebras, and quan- tum matrix algebras, J

J. Gaddis,The isomorphism problem for quantum affine spaces, homogenized quantized Weyl algebras, and quan- tum matrix algebras, J. Pure Appl. Algebra221(2017), no. 10, 2511–2524

2017
[11]

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

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

2020
[12]

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

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

1988
[13]

Happel,On Gorenstein algebras, Representation theory of finite groups and finite-dimensional algebras (Biele- feld, 1991), 389–404, Progr

D. Happel,On Gorenstein algebras, Representation theory of finite groups and finite-dimensional algebras (Biele- feld, 1991), 389–404, Progr. Math., 95 Birkhäuser Verlag, Basel, 1991

1991
[14]

Herschend, O

M. Herschend, O. Iyama, H. Minamoto, and S. Oppermann,Representation theory of Geigle-Lenzing complete intersections, Mem. Amer. Math. Soc.285(2023), no. 1412, vii+141 pp

2023
[15]

Iyama, Y

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

work page arXiv
[16]

Iyama and R

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

2013
[17]

Jørgensen,Local cohomology for non-commutative graded algebras, Comm

P. Jørgensen,Local cohomology for non-commutative graded algebras, Comm. Algebra25(1997), no. 2, 575–591

1997
[18]

Jørgensen,Properties of AS-Cohen-Macaulay algebras, J

P. Jørgensen,Properties of AS-Cohen-Macaulay algebras, J. Pure Appl. Algebra138(1999), no. 3, 239–249

1999
[19]

Jørgensen,Linear free resolutions over non-commutative algebras, Compos

P. Jørgensen,Linear free resolutions over non-commutative algebras, Compos. Math.140(2004), no. 4, 1053– 1058

2004
[20]

Jørgensen,A noncommutative BGG correspondence, Pacific J

P. Jørgensen,A noncommutative BGG correspondence, Pacific J. Math.218(2005), no. 2, 357–377

2005
[21]

Levasseur,Some properties of noncommutative regular graded rings, Glasgow Math

T. Levasseur,Some properties of noncommutative regular graded rings, Glasgow Math. J.34(1992), no. 3, 277–300

1992
[22]

Martínez Villa and M

R. Martínez Villa and M. Saorín,Koszul equivalences and dualities, Pacific J. Math.214(2004), no. 2, 359–378

2004
[23]

J. C. McConnell and J. C. Robson,Noncommutative Noetherian rings, With the cooperation of L. W. Small, Revised edition. Grad. Stud. Math., 30, American Mathematical Society, Providence, RI, 2001

2001
[24]

Minamoto and K

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

2020
[25]

Mori,Rationality of the Poincaré series for Koszul algebras, J

I. Mori,Rationality of the Poincaré series for Koszul algebras, J. Algebra276(2004), no. 2, 602–624

2004
[26]

Mori,Riemann-Roch like theorem for triangulated categoriesJ

I. Mori,Riemann-Roch like theorem for triangulated categoriesJ. Pure Appl. Algebra193(2004), no. 1-3, 263– 285

2004
[27]

Mori,Noncommutative projective schemes and point schemes, Algebras, Rings and Their Representations, 215–239, World Scientific Publishing Co

I. Mori,Noncommutative projective schemes and point schemes, Algebras, Rings and Their Representations, 215–239, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2006

2006
[28]

Mori and K

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

2016
[29]

Mori and K

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

2022
[30]

Reiten and M

I. Reiten and M. Van den Bergh,Noetherian hereditary abelian categories satisfying Serre dualityJ. Amer. Math. Soc.15(2002), no. 2, 295–366

2002
[31]

M. L. Reyes and D. Rogalski,Graded twisted Calabi-Yau algebras are generalized Artin-Schelter regularNagoya Math. J.245(2022), 100–153. TRIVIAL EXTENSIONS OF KOSZUL ARTIN-SCHELTER REGULAR ALGEBRAS 19

2022
[32]

Rouquier and A

R. Rouquier and A. Zimmermann,Picard groups for derived module categories, Proc. London Math. Soc. (3)87 (2003), no. 1, 197–225

2003
[33]

Shelton and C

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

2001
[34]

Skowroński and K

A. Skowroński and K. Yamagata,Frobenius algebras II: Tilted and Hochschild extension algebras, EMS Textbk. Math., European Mathematical Society (EMS), Zürich, 2017

2017
[35]

S. P. Smith,Some finite-dimensional algebras related to elliptic curves, Representation theory of algebras and related topics (Mexico City, 1994), 315–348, CMS Conf. Proc. 19, Amer. Math. Soc., Providence, RI, 1996

1994
[36]

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

2013
[37]

Van den Bergh,Existence theorems for dualizing complexes over non-commutative graded and filtered rings, J

M. Van den Bergh,Existence theorems for dualizing complexes over non-commutative graded and filtered rings, J. Algebra195(1997), no. 2, 662–679

1997
[38]

Vitoria,Equivalences for noncommutative projective spaces, preprint,arXiv:1001.4400v3

J. Vitoria,Equivalences for noncommutative projective spaces, preprint,arXiv:1001.4400v3

work page arXiv
[39]

Yekutieli,Dualizing complexes over noncommutative graded algebras, J

A. Yekutieli,Dualizing complexes over noncommutative graded algebras, J. Algebra153(1992), no. 1, 41–84

1992
[40]

J. J. Zhang,Twisted graded algebras and equivalences of graded categories, Proc. London Math. Soc. (3)72 (1996), no. 2, 281–311. Department of Mathematics, F aculty of Science, Shinshu University, 3-1-1 Asahi, Matsumoto, Nagano 390-8621, Japan Email address:ueyama@shinshu-u.ac.jp

1996