Pith. sign in

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 →

arxiv 2506.04012 v2 pith:BULLBF7K submitted 2025-06-04 math.RT

classification math.RT MSC 16G2018E3016E65
keywords gentlealgebras1-periodicderivedcategoryorbitmaximalCohen-Macaulaymodulesmarkedsurfacesstringandbandobjectsmatrixproblemwindingnumbers
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a complete classification of the indecomposable objects of the 1-periodic derived category of a gentle algebra, the triangulated hull of the orbit category obtained by making the shift functor period one. The answer is geometric: after associating to the algebra a dissected marked surface, indecomposables are exactly the objects coming from homotopy classes of curves joining two marked points (strings) and, for each primitive closed curve, a family of objects indexed by indecomposable modules over the Laurent polynomial ring $k[x,x^{-1}]$ (bands). This matters because in the ordinary derived category only closed curves with zero winding number give band objects, whereas here every primitive closed curve contributes. The proof works by identifying the 1-periodic derived category with the stable category of maximal Cohen-Macaulay modules over a Gorenstein trivial-extension algebra, then using a matrix-problem classification to show that no other indecomposables exist.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [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.
  2. [Abstract] The abstract contains the typo 'indecompoable' for 'indecomposable', and Definition 3.1.1 contains 'reps.' for 'resp.'.
  3. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on four external classification and equivalence theorems and on the class of gentle algebras; no free parameters or invented entities are introduced. The main risk is whether the external theorems apply in the stated generality and whether the comparison functor G really reflects isomorphisms.

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⋉).
    Invoked as Theorem 1.1.4; the whole Section 1 rests on this external result.
  • standard math Buchweitz's equivalence D_sg(B) ≅ CM(B) for a Gorenstein algebra B, with inverse computed by complete resolutions.
    Used as Theorem 1.3.2 to identify the singularity category with stable MCM modules.
  • 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.
    Theorem 3.1.11 is the external classification that the main theorem pulls back through the functor G.
  • standard math OPS18 geometric model: reduced homotopy strings and bands of A are in bijection with strings and bands on the dissected marked surface.
    Proposition 3.2.4 transfers the surface curve description to the quiver combinatorics used in the matrix problem.
  • domain assumption A is a gentle algebra of finite global dimension with associated marked surface (S,M,Δ).
    This is the scope of the main theorem; the surface construction in Section 2.1 requires it.
  • domain assumption The cited matrix problem and geometric model are applied over an arbitrary field k, without discussing algebraic closure.
    Conventions fix only 'k is a field'; if the classification theorems require an algebraically closed field, the statement is under-specified.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 28 canonical work pages

  1. [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

  2. [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

  3. [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

  4. [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

  5. [5]

    Cluster equivalence and graded derived equivalence

    Claire Amiot and Steffen Oppermann. Cluster equivalence and graded derived equivalence. Documenta Mathematica , 19:1155--1206, 2014

  6. [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

  7. [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

  8. [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

Show all 32 references
  1. [9]

    Algèbres et modules

    Ibrahim Assem. Algèbres et modules . Les Presses de l'Université d'Ottawa, 1997

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [17]

    Cluster theory of topological fukaya categories

    Merlin Christ. Cluster theory of topological fukaya categories. arXiv preprint arXiv:2209.06595 , 2022

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [24]

    On triangulated orbit categories

    Bernhard Keller. On triangulated orbit categories. Documenta Mathematica , 10:551--581, 2005

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [30]

    Auslander-reiten triangles in derived categories

    Klaus W Roggenkamp. Auslander-reiten triangles in derived categories. 1996

  23. [31]

    The triangulated hull of periodic complexes

    Torkil Stai. The triangulated hull of periodic complexes. arXiv preprint arXiv:1510.03574 , 2015

  24. [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

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.