REVIEW 3 major objections 3 minor 32 references
The 1-periodic derived category of a gentle algebra : Part 1 -- Indecomposable objects
T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The indecomposable objects of the 1-periodic derived category of a gentle algebra are classified by strings and bands on the associated marked surface, with each primitive closed curve contributing a family of band objects.
desk verdict A solid algebraic proof of a classification already stated by Christ; one real proof error in a side section, and a terse but repairable completeness step that the stress-test concern does not actually break. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by a chain of equivalences and a comparison functor to a matrix problem. The 1-periodic derived category is realized as the triangulated hull of the orbit category $D^b(A)/[1]$; by a theorem on triangulated orbit categories this is equivalent to the singularity category of the trivial extension $A^{\ltimes}=A\otimes_k k[\varepsilon]/\langle\varepsilon^2\rangle$, a Gorenstein algebra, and a further equivalence identifies that singularity category with the stable category $\underline{CM}(A^{\ltimes})$ of maximal Cohen-Macaulay modules. Over a gentle algebra, objects of $\underline{CM}(A^{\ltimes})$ are encoded by pairs $(P,\varphi)$ with $P$ a projective $A$-module and $\varphi^2=0$, that is, by 1-periodic complexes of projectives. The geometric input is the dissected marked surface $(S,M,\Delta)$ attached to the algebra, whose strings and bands are in bijection with homotopy strings and homotopy bands of the algebra. The completeness input is a matrix problem: indecomposable block matrices for a linearly ordered set with involution are known to be string matrices and band matrices, with band matrices indexed additionally by indecomposable $k[x,x^{-1}]$-modules. A functor $G$ sends each object of $\underline{CM}(A^{\ltimes})$ to such a block matrix, and the surface string and band objects are shown to correspond exactly to the string and band matrices that occur in the image of $G$.
What would settle it
Find two non-isomorphic indecomposable objects in $\underline{CM}(A^{\ltimes})$ whose images under the comparison functor $G$ are isomorphic in the matrix category $S(Y,\sigma,k)$; such a pair would break the lifting step and the completeness direction of the classification. A direct search could start with a small gentle algebra, such as the two-square torus example used in the paper, by computing the $G$-matrices of all low-dimensional string and band objects and checking whether the matrix isomorphism classes are strictly coarser than the module isomorphism classes.
Extended reading notes
Core claim
The central claim is Theorem 3.3.6: the indecomposable objects of the stable category of maximal Cohen-Macaulay modules over $A^{\ltimes}$ are precisely the string objects $M_y$, one for each string $y$ of the dissected marked surface $(S,M,\Delta)$, and the band objects $M_{(y,J)}$, one for each band $y$ (a primitive closed curve) together with an indecomposable $k[x,x^{-1}]$-module $(k^n,J)$. Through the triangulated equivalence with the singularity category of $A^{\ltimes}$, this is equivalently a complete description of indecomposables of the 1-periodic derived category $(D^b(A)/[1])^\Delta$. A notable feature is that no grading condition is imposed on the closed curves: unlike band objects in $D^b(A)$, which require winding number zero, all primitive closed curves give families of indecomposables in the 1-periodic category.
Load-bearing premise
The classification relies on the claim that two maximal Cohen-Macaulay modules whose associated block matrices are isomorphic in the matrix category are themselves isomorphic as modules; the proof of this lifting step is the load-bearing point of the completeness argument.
Editorial extensions
If this is right
- Every primitive closed curve on the surface gives rise to a family of indecomposable band objects, so the 1-periodic derived category is the setting in which all closed curves, not only gradable ones, are visible.
- The winding number of a band can be recovered from the action of the $k^\times$-automorphisms $t_\lambda$ on the band object, since $t_\lambda$ scales the module parameter $J$ by a power of $\lambda$ determined by the winding number.
- The triangulated functor from the ordinary bounded derived category to the 1-periodic derived category preserves Auslander-Reiten triangles, so the two categories share the same AR translation structure on the objects that survive.
- The matrix-problem classification used in the proof leaves no further indecomposables, so the string and band families are exhaustive, not just a convenient geometric description.
Reading between the lines
- Because the reduction to Cohen-Macaulay modules over the trivial extension works for any finite-dimensional algebra of finite global dimension, the strategy could in principle be repeated for other classes of algebras; the gentle hypothesis enters only in the final matrix-theoretic completeness step.
- The paper does not give a full description of when two band parameters (orientation, starting point, module) define isomorphic objects; one could test whether the rotation and symmetry orbits it defines exhaust the equivalence relation or whether further identifications occur.
- The same orbit-category construction with a different period might yield analogous curve-on-surface classifications for $m$-periodic derived categories, with band objects indexed by modules over a different Laurent ring; this is not pursued in the paper.
- The $t_\lambda$ action encoding winding numbers suggests that the 1-periodic derived category could serve as a geometric home for stability or invariant computations that need all closed curves, such as refinements of complete derived invariants for gentle algebras.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a description of the 1-periodic derived category of a finite-dimensional algebra A of finite global dimension by identifying it, via Keller and Buchweitz, with the stable category of maximal Cohen-Macaulay modules over the trivial extension A⋉. For a gentle algebra A, the paper associates to each string or band on the Opper–Plamondon–Schroll marked surface a maximal Cohen-Macaulay A⋉-module, and Theorem 3.3.6 claims that these are exactly the indecomposable objects, up to the Keller–Buchweitz equivalence. The proof follows the strategy of Bekkert–Merklen and uses the Bondarenko–Drozd classification of representations of a linearly ordered set with involution through a comparison functor G from CMrad(A⋉) to S(Y,σ,k).
Significance. If the main theorem were fully established, it would give a useful and explicit geometric classification of indecomposable objects in the 1-periodic derived category of a gentle algebra, complementing Christ's Fukaya-categorical construction and clarifying the role of all homotopy classes of closed curves. The paper has clear strengths: the explicit construction of string and band objects, the computation of the tλ-action and its relation to winding numbers in Proposition 2.4.2, and the overall strategy of reducing the classification to the Bondarenko–Drozd matrix problem. However, the completeness proof contains serious gaps, and the main classification is therefore not established as written.
major comments (3)
- [Section 3.3, Proposition 3.3.5(b) and proof of Theorem 3.3.6] The proof of Proposition 3.3.5(b) does not verify that the proposed morphism H(T) is actually a morphism in S(Y,σ,k). By Definition 3.1.3 one must check H(T)G(M)=G(N)H(T), the σ-condition, and triangularity. Discarding all blocks outside v=uα can break the commutation relation, and the proof never uses the equality TG(M)=G(N)T to establish this. Moreover, if α is understood to range over non-trivial paths as in the definition of G, then H(id_{G(M)}) has zero diagonal blocks and is not the identity, so H is not even a functor; if trivial α are allowed, the missing commutation check remains. Since Theorem 3.3.6 uses this proposition both to conclude M≃Mκ(y) from G(M)≃G(Mκ(y)) and to justify lifting isomorphisms, the completeness of the classification is not proved.
- [Section 3.3, Theorem 3.3.6, first paragraph; Proposition 3.3.5(a)] The theorem proof asserts without justification that if M is indecomposable then G(M) is indecomposable in S(Y,σ,k). An additive functor need not reflect direct-sum decompositions, and Proposition 3.3.5(b) concerns only isomorphisms, not decomposability. Relatedly, Proposition 3.3.5(a) is not proved as stated: the proof concludes only that φ=0 and hence M∈projA, not M∈projA⋉. Under the identification of Proposition 1.2.10, projective A⋉-modules correspond to pairs (Q⊕Q, [[0,id],[0,0]]), not to pairs of the form (P,0). Thus the object (P,0) with P a nonzero projective A-module lies in CMrad(A⋉), is not projective as an A⋉-module, and satisfies G(M)=0. The nonvanishing of G on non-projective indecomposables, which is needed to apply the Bondarenko–Drozd classification, is therefore missing; zero-differential string objects appear to need separate treatment.
- [Section 1.4, Proposition 1.4.1] The proof of Proposition 1.4.1 claims that the forgetful functor modZ A⋉→mod A⋉ is fully faithful, but it is only faithful: after forgetting the grading there are generally additional A⋉-linear maps that are not grading-preserving. Lemma 1.4.2 requires full faithfulness to transfer almost split sequences, so the argument for Proposition 1.4.1 is invalid as written. This result is not used in the classification theorem, but it is a stated theorem of the paper.
minor comments (3)
- [Throughout] There are several broken cross-references: 'Corollary 1.3.12' is cited in the proofs of Theorem 1.3.5, Proposition 2.2.9 and Proposition 2.3.7, but no such corollary exists (Corollary 1.3.10 seems intended); Lemma 3.3.9 refers to 'Proposition 2.2.4', and the proof of Theorem 3.3.6 refers to 'Lemma 3.2.9', 'Lemma 3.2.10' and 'Proposition 3.2.5', which should be Proposition 3.2.4 and the corresponding items in Section 3.3.
- [Abstract] The abstract contains the typo 'indecompoable' for 'indecomposable', and Definition 3.1.1 contains 'reps.' for 'resp.'.
- [Section 3.1, Definitions 3.1.5-3.1.6] The notation Ba(Y) is used both for a set of paths and for the set of equivalence classes under s and r; this can be confusing, although the intended meaning is usually clear from context.
Circularity Check
No circularity found: the classification reduces to external theorems (BD82, BM03, Keller, Buchweitz, OPS18) and the target theorem is never used as an input.
full rationale
I walked the derivation chain from Section 1.3 through Theorem 3.3.6. The paper's central equivalence Dsg(A⋉) ≃ (Db(A)/[1])Δ is cited from Keller ([Kel05]) and Buchweitz ([Buc21]); the surface parametrization of strings and bands is cited from [OPS18]; and the classification of indecomposables of S(Y,σ,k) is cited from [BD82] via [BM03]. Each of these is an external, independent result, and none is a prior paper by the present author. No parameter is fitted to a subset of the target data and then renamed a prediction: the string and band objects M_y and M_{(y,J)} are constructed explicitly from the surface and the k[x,x^-1]-module data, and the completeness proof consists of the functor G together with the block-by-block comparison G(M_κ(y)) ≅ B_γ(y). The only fragile point is Proposition 3.3.5(b), where the proof asserts that the truncated morphism H(T) is "always a morphism of Im(G)" without explicitly verifying the commutation H(T)G(M) = G(N)H(T) after discarding blocks; this is a possible proof gap or missing conservativity claim, not a circular reduction, because it does not identify the conclusion with the hypothesis or invoke the theorem being proved. The use of BM03 as a proof template is an analogy, not circularity. Accordingly, no self-definitional, fitted-input, self-citation, uniqueness-import, ansatz-smuggling, or renaming step is present; the paper is an application of external classifications combined with new explicit translations.
Assumptions & free parameters
assumptions (6)
- standard math Keller's theorem: for finite-dimensional A of finite global dimension, the triangulated hull of Db(A)/[1] is equivalent to D_sg(A⋉).
- standard math Buchweitz's equivalence D_sg(B) ≅ CM(B) for a Gorenstein algebra B, with inverse computed by complete resolutions.
- standard math Bondarenko-Drozd classification: indecomposables of the matrix category S(Y,σ,k) are Y-strings and Y-bands with indecomposable k[x,x^-1]-modules.
- standard math OPS18 geometric model: reduced homotopy strings and bands of A are in bijection with strings and bands on the dissected marked surface.
- domain assumption A is a gentle algebra of finite global dimension with associated marked surface (S,M,Δ).
- domain assumption The cited matrix problem and geometric model are applied over an arbitrary field k, without discussing algebraic closure.
Cite this review
Pith. "Pith review of The 1-periodic derived category of a gentle algebra : Part 1 -- Indecomposable objects." pith.science (2026). https://pith.science/paper/BULLBF7K
@misc{pith2026250604012,
author = {Pith},
title = {Pith review of: The 1-periodic derived category of a gentle algebra : Part 1 -- Indecomposable objects},
year = {2026},
howpublished = {\url{https://pith.science/paper/BULLBF7K}},
note = {Machine review of arXiv:2506.04012}
}
abstract
Combining results from Keller and Buchweitz, we describe the 1-periodic derived category of a finite dimensional algebra $A$ of finite global dimension as the stable category of maximal Cohen-Macaulay modules over some Gorenstein algebra $A^\ltimes$. In the case of gentle algebras, using the geometric model introduced by Opper, Plamondon and Schroll, we describe indecomposable objects in this category using homotopy classes of curves on a surface. In particular, we associate a family of indecompoable objects to each primitive closed curve. We then prove using results by Bondarenko and Drozd concerning a certain matrix problem, that this constitutes a complete description of indecomposable objects.
Reference graph
Works this paper leans on
-
[1]
Combinatorial derived invariants for gentle algebras
Diana Avella-Alaminos and Christof Geiss. Combinatorial derived invariants for gentle algebras. Journal of Pure and Applied Algebra , 212(1):228--243, 2008
work page 2008
-
[2]
Generalized tilted algebras of type an
Ibrahim Assem and Dieter Happel. Generalized tilted algebras of type an. Communications in Algebra , 9(20):2101--2125, 1981
work page 1981
-
[3]
Morphisms between indecomposable complexes in the bounded derived category of a gentle algebra
Kristin K Arnesen, Rosanna Laking, and David Pauksztello. Morphisms between indecomposable complexes in the bounded derived category of a gentle algebra. Journal of Algebra , 467:1--46, 2016
work page 2016
-
[4]
The image of the derived category in the cluster category
Claire Amiot and Steffen Oppermann. The image of the derived category in the cluster category. International Mathematics Research Notices , 2013(4):733--760, 2013
work page 2013
-
[5]
Cluster equivalence and graded derived equivalence
Claire Amiot and Steffen Oppermann. Cluster equivalence and graded derived equivalence. Documenta Mathematica , 19:1155--1206, 2014
work page 2014
-
[6]
A complete derived invariant for gentle algebras via winding numbers and arf invariants
Claire Amiot, Pierre-Guy Plamondon, and Sibylle Schroll. A complete derived invariant for gentle algebras via winding numbers and arf invariants. Selecta Mathematica , 29(2):30, 2023
work page 2023
-
[7]
Cohen-macaulay and gorenstein artin algebras
Maurice Auslander and Idun Reiten. Cohen-macaulay and gorenstein artin algebras. In Representation Theory of Finite Groups and Finite-Dimensional Algebras: Proceedings of the Conference at the University of Bielefeld from May 15--17, 1991, and 7 Survey Articles on Topics of Representation Theory , pages 221--245. Springer, 1991
work page 1991
-
[8]
Iterated tilted algebras of type A _n
Ibrahim Assem and Andrzej Skowro \'n ski. Iterated tilted algebras of type A _n . Mathematische Zeitschrift , 195(2):269--290, 1987
work page 1987
Show all 32 references
-
[9]
Algèbres et modules
Ibrahim Assem. Algèbres et modules . Les Presses de l'Université d'Ottawa, 1997
1997
-
[10]
A geometric model for the module category of a gentle algebra
Karin Baur and Raquel Coelho Simoes. A geometric model for the module category of a gentle algebra. International Mathematics Research Notices , 2021(15):11357--11392, 2021
2021
-
[11]
Representation type of finite groups
Vitalii M Bondarenko and Yurii A Drozd. Representation type of finite groups. Journal of Soviet Mathematics , 20:2515--2528, 1982
1982
-
[12]
Indecomposables in derived categories of gentle algebras
Viktor Bekkert and Hector A Merklen. Indecomposables in derived categories of gentle algebras. Algebra and Representation Theory , 6:285--302, 2003
2003
-
[13]
Representations of dihedral groups over a field of characteristic 2
Vitalii M Bondarenko. Representations of dihedral groups over a field of characteristic 2. Mathematics of the USSR-Sbornik , 25(1):58, 1975
1975
-
[14]
Auslander-reiten sequences with few middle terms and applications to string algebrass
Michael CR Butler and Claus M Ringel. Auslander-reiten sequences with few middle terms and applications to string algebrass. Communications in Algebra , 15(1-2):145--179, 1987
1987
-
[15]
Maximal Cohen--Macaulay Modules and Tate Cohomology , volume 262
Ragnar-Olaf Buchweitz. Maximal Cohen--Macaulay Modules and Tate Cohomology , volume 262. American Mathematical Society, 2021
2021
-
[16]
Classification of modules for infinite-dimensional string algebras
William Crawley-Boevey. Classification of modules for infinite-dimensional string algebras. Transactions of the American Mathematical Society , 370(5):3289--3313, 2018
2018
-
[17]
Cluster theory of topological fukaya categories
Merlin Christ. Cluster theory of topological fukaya categories. arXiv preprint arXiv:2209.06595 , 2022
2022 arXiv
-
[18]
Triangulated surfaces in triangulated categories
Tobias Dyckerhoff and Mikhail Kapranov. Triangulated surfaces in triangulated categories. Journal of the European Mathematical Society , 20(6):1473--1524, 2018
2018
-
[19]
Representation theory of graded artin algebras
Robert Gordon and Edward L Green. Representation theory of graded artin algebras. Journal of Algebra , 76(1):138--152, 1982
1982
-
[20]
Triangulated categories in the representation theory of finite dimensional algebras , volume 119
Dieter Happel. Triangulated categories in the representation theory of finite dimensional algebras , volume 119. Cambridge University Press, 1988
1988
-
[21]
A brief introduction to the q-shaped derived category
Henrik Holm and Peter J rgensen. A brief introduction to the q-shaped derived category. In The Abel Symposium , pages 141--167. Springer, 2017
2017
-
[22]
Flat surfaces and stability structures
Fabian Haiden, Ludmil Katzarkov, and Maxim Kontsevich. Flat surfaces and stability structures. Publications math \'e matiques de l'IH \'E S , 126:247--318, 2017
2017
-
[23]
A complete derived invariant and silting theory for graded gentle algebras
Haibo Jin, Sibylle Schroll, and Zhengfang Wang. A complete derived invariant and silting theory for graded gentle algebras. arXiv preprint arXiv:2303.17474 , 2023
2023 arXiv
-
[24]
On triangulated orbit categories
Bernhard Keller. On triangulated orbit categories. Documenta Mathematica , 10:551--581, 2005
2005
-
[25]
Corrections to ‘on triangulated orbit categories’
Bernhard Keller. Corrections to ‘on triangulated orbit categories’. Preprint, http://www. math. jussieu. fr/keller/publ/corrTriaOrbit. pdf , 2009
2009
-
[26]
Derived equivalences of gentle algebras via fukaya categories
Yank Lekili and Alexander Polishchuk. Derived equivalences of gentle algebras via fukaya categories. Mathematische Annalen , 376(1):187--225, 2020
2020
-
[27]
A problem of im gelfand
Lyudmila A Nazarova and Andrey V Roiter. A problem of im gelfand. Functional analysis and its applications , 7(4):299--311, 1973
1973
-
[28]
On auto-equivalences and complete derived invariants of gentle algebras
Sebastian Opper. On auto-equivalences and complete derived invariants of gentle algebras. arXiv preprint arXiv:1904.04859 , 2019
1904 arXiv
-
[29]
A geometric model for the derived category of gentle algebras
Sebastian Opper, Pierre-Guy Plamondon, and Sibylle Schroll. A geometric model for the derived category of gentle algebras. arXiv preprint arXiv:1801.09659 , 2018
2018 arXiv
-
[30]
Auslander-reiten triangles in derived categories
Klaus W Roggenkamp. Auslander-reiten triangles in derived categories. 1996
1996
-
[31]
The triangulated hull of periodic complexes
Torkil Stai. The triangulated hull of periodic complexes. arXiv preprint arXiv:1510.03574 , 2015
2015 arXiv
-
[32]
Stable endomorphism algebras of modules over special biserial algebras
Jan Schr \"o er and Alexander Zimmermann. Stable endomorphism algebras of modules over special biserial algebras. Mathematische Zeitschrift , 244(3):515--530, 2003
2003
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.