REVIEW 2 major objections 4 minor
Folded Gentle Algebras
T0 review · 2 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read This paper defines folded gentle algebras—gentle-like algebras whose crease loops satisfy irreducible quadratic relations—and proves that their indecomposable modules are exactly the symmetric and asymmetric string and band modules, with…
desk verdict New class with a genuinely useful unfolding approach, but the symmetric band classification has a real existence gap and the finiteness claim in Theorem 7.7 is false over fields like Q. 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 load-bearing construction is the unfolding procedure: to a folded gentle triple one associates a gentle pair by doubling ordinary vertices and arrows while leaving crease vertices fixed, on which Z2 acts by swapping the two copies. The crease loops at fixed vertices are governed by an irreducible quadratic $x^{2}$ − λ1 x − λ2, so the local endomorphism ring at a crease vertex is a degree-2 field extension rather than a split algebra; this irreducibility is what makes the folded algebra behave like a genuine quotient of a gentle algebra. The unfolding functor U from mod A to mod  is exact and faithful, sending string modules to sums of two string modules (or one, for symmetric strings) and band modules to corresponding pairs, with the correspondence controlled by the maps ρ and θ between folded and unfolded words. The derived-equivalence closure is obtained by applying the same folding argument to the known gentle-algebra result via the repetitive algebra and tilting complexes.
What would settle it
Take the quiver of Example 2.7 with one crease loop η and one ordinary arrow α, but over the field R replace the relation $η^{2}$ + 1 = 0 by the reducible relation $η^{2}$ − η = 0. Then the local algebra at the crease vertex becomes K × K rather than a field extension, the simple module there is 1-dimensional, and the unfolding functor no longer identifies mod A with the Z2-fixed part of a gentle module category; checking whether Theorem 6.21 still holds in this example would settle whether irreducibility of the crease quadratics is necessary.
Extended reading notes
Core claim
The central claim is that folded gentle algebras, defined by the usual gentle axioms on ordinary arrows plus crease loops whose quadratic relations are irreducible over the ground field, have a module category completely described by combinatorial words. Theorem 6.21 states that every indecomposable module is, up to isomorphism, exactly one of a string module, an asymmetric band module, or a symmetric band module, with the three collections disjoint and exhaustive. The proof proceeds by unfolding: every folded gentle algebra arises as a Z2-quotient of a gentle algebra, and the unfolding functor matches each folded string or band to a pair of gentle strings or bands swapped by the folding action, with symmetric bands arising from Z2-invariant bands of even parity. A second theorem asserts that any algebra derived equivalent to a folded gentle algebra is again folded gentle, and that only finitely many Morita equivalence classes arise in each derived equivalence class.
Load-bearing premise
Every crease loop must satisfy an irreducible quadratic relation over the ground field; if any such quadratic splits, the folded gentle structure collapses into the different reducible clannish case and the string/band classification and the Z2-quotient description no longer apply.
Editorial extensions
If this is right
- The module category of a folded gentle algebra is completely described by strings and bands, with symmetric bands indexed by orbits of irreducible polynomials under a Z2-action.
- The class of folded gentle algebras is closed under derived equivalence, and there are only finitely many algebras up to Morita equivalence in each derived equivalence class.
- Auslander-Reiten sequences are classified combinatorially: string modules follow the hook/cohook rules, band modules sit in homogeneous tubes, and symmetric strings give valued arrows of type (1,2) and (2,1).
- Folded gentle algebras are biserial over fields that need not be algebraically closed, extending the structural theory of gentle algebras to the C and ~C Dynkin/Euclidean families.
- The unfolding functor provides a constructive bridge: every folded gentle module corresponds to a pair of gentle modules permuted by the Z2 folding action, so existing gentle-algebra computations can be lifted and then folded back.
Reading between the lines
- The same folding construction may extend to the other non-simply-laced infinite families, B and ~B, by choosing crease loops with appropriate irreducible quadratics; the paper treats only C and ~C.
- The irreducibility of the crease quadratics means the classification is sensitive to the arithmetic of the ground field; testing whether the symmetric band indexing changes when the field is changed (e.g., from R to Q) could reveal field-dependent phenomena not visible over algebraically closed fields.
- Since folded gentle algebras are clannish algebras with irreducible clans, the results suggest that many techniques developed for gentle algebras, such as geometric models via surface triangulations, might have folded analogues where the Z2-symmetry becomes an orbifold structure.
- The finiteness of derived equivalence classes mirrors the gentle case and suggests that folded gentle algebras form a natural testbed for derived-tame classification beyond the simply-laced setting.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces folded gentle algebras, a class of finite-dimensional algebras defined by gentle quiver data together with crease loops satisfying irreducible quadratic relations. The main results are: folded gentle algebras are biserial (Theorem 3.4); a classification of their indecomposable modules as string modules and as asymmetric and symmetric band modules (Theorem 6.21); a classification of Auslander-Reiten sequences (Theorem 6.26); and closure of the class under derived equivalence, with a finiteness statement for the number of derived-equivalent algebras (Theorem 7.7). The proofs are built on an unfolding functor U : mod A → mod  to a gentle algebra  with a Z2-action, and on folding arguments that reduce statements to known results for gentle algebras.
Significance. If the main results hold, the paper makes a substantial contribution: it identifies and analyzes a natural gentle-like class corresponding to Dynkin/Euclidean types C and ∼C, extending the analogy between gentle algebras and type A, and skewed-gentle algebras and type D. The unfolding method is well motivated, the explicit examples are useful, and the reduction to known gentle-algebra theorems (Butler–Ringel, Schröer–Zimmermann, Rickard) is a clear strategy. The paper does not rely on circular reasoning, and its central construction is original. However, the completeness of the module classification and the finiteness clause of the derived-equivalence theorem currently require additional support.
major comments (2)
- [§6.4 (Definition 6.19 and Remark 6.18)] The assertion |Ψ_{w,p}| = 1 is load-bearing for the completeness of M3 in Theorem 6.21, but it is not proved. Remark 6.14 explicitly states that the condition for U(M(w,m,ψ)) to be indecomposable is not known to be sufficient in general, and the existence claim in that remark produces only a symmetric quasi-band module whose image contains a given band module as a direct summand. Proposition 6.12 is conditional: it constructs a symmetric band module only when a band module M(ŵ,m̂,φ̂) is already a direct summand of U(M), and it does not show that for every p ∈ Π_w there exists ψ with H_{w,deg p}ψ similar to φ_p or H_{w,2deg p}ψ similar to φ_p ⊕ φ_{gp}. Since the proof of Theorem 6.21 uses Remark 6.18 to lift every even-parity Z2-invariant summand of U(M) to a unique object of M3, the completeness and no-repetition clauses of Theorem 6.21 are not established as written.
- [§7.3 (Theorem 7.7, final paragraph)] The proof of the finiteness assertion relies on the statement that for any n there are only finitely many folded gentle algebras up to Morita equivalence with n vertices. This is false for a general field K admitting a degree-2 extension. For example, take K = Q and, for each squarefree integer a, the folded gentle triple with one crease vertex and crease relation η² − a = 0; the corresponding algebras are the fields Q(√a), which are pairwise non-isomorphic and hence not Morita equivalent, so there are infinitely many Morita classes with one vertex. The finiteness clause therefore needs either a restriction on K (for example K finite or a fixed quadratic extension) or a more careful counting argument.
minor comments (4)
- [Lemma 6.15] The statement 'Then U(M) ∼= U(M) only if M ∼= N' should read 'U(M) ∼= U(N) only if M ∼= N'.
- [Definition 6.19] The line 'Ψ_{w,p} = Φ^{(1)}_{w,p} ∪ Φ^{(2)}_{w,p}' should use Ψ on the right-hand side, and the convention Φ(2m+1)_w = ∅ should be stated before Φ(deg p) is used for odd p.
- [Example 2.8] The symbol Q is used both for the quiver and for the field of rational numbers; consider renaming one of them to avoid confusion.
- [Abstract] The phrase 'in terms symmetric and asymmetric string and band modules' is missing 'of' before 'symmetric'.
Circularity Check
No significant circularity: the central classification is reduced to external gentle-algebra results via the unfolding functor, with no fitted inputs or load-bearing self-citations.
full rationale
The paper's central derivation is self-contained in the required sense: folded gentle algebras are unfolded to gentle algebras in Section 5, and Theorem 6.21 is obtained by transporting the external Butler–Ringel and Wald–Waschbüsch classification of modules over gentle/special biserial algebras through the exact, faithful unfolding functor U. The M1 and M2 parts are explicit reductions to known classifications, and the M3 symmetric band part is defined from the Z2-orbit combinatorics and Proposition 6.12 rather than assumed from the target theorem. No parameter is fitted to a subset of data and then renamed a prediction. Theorem 7.7 invokes Schröer–Zimmermann [33] and Rickard's theorem as external support, and the paper contains no self-citation chain or author-imported uniqueness theorem. The skeptical concern that Remark 6.18's assertion that |Ψ_{w,p}| = 1 is not fully justified by Remark 6.14 is a genuine completeness gap in the written proof, not a circularity: an unproved existence claim does not make the classification equivalent to its inputs. No circular step can be exhibited by quoting equations that reduce a claimed result to its own assumptions. The honest finding is therefore no significant circularity.
Assumptions & free parameters
assumptions (7)
- domain assumption The ground field K admits a field extension of degree 2, so irreducible quadratics exist.
- standard math Classification of indecomposable modules of gentle algebras by string and band modules (Butler-Ringel, Wald-Waschbüsch).
- standard math Auslander-Reiten sequences of string algebras are given by hooks and cohooks (Butler-Ringel).
- standard math Schröer-Zimmermann theorem: stable endomorphism algebras of modules over special biserial algebras with vanishing self-extension are gentle.
- standard math Rickard's derived equivalence criterion via tilting complexes.
- standard math Schröer's quiver-with-relations description of the repetitive algebra of a gentle algebra.
- standard math Dlab-Ringel theory of K-species and their representation categories.
Cite this review
Pith. "Pith review of Folded Gentle Algebras." pith.science (2026). https://pith.science/paper/ZR632G6G
@misc{pith2026250205655,
author = {Pith},
title = {Pith review of: Folded Gentle Algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZR632G6G}},
note = {Machine review of arXiv:2502.05655}
}
abstract
We use folding techniques to define a new class of gentle-like algebras that generalise the iterated tilted algebras of type $C$ and $\widetilde{C}$, which we call folded gentle algebras. We show that folded gentle algebras satisfy many of the same properties of gentle algebras, and that the proof of these properties follows directly from folding arguments. As a subclass of clannish algebras (with irreducible quadratic relations), we show that the classification of indecomposable modules (in terms of symmetric and asymmetric strings and bands) can be recovered from folding techniques, and that this proof technique provides further explicit detail on the classification of band modules. In particular, our paper includes a classification of indecomposable modules over the algebra $K\langle x,y\rangle/ \langle p(x),q(y) \rangle$, where $p$ and $q$ are monic, irreducible, quadratic polynomials over $K$. In addition, we classify the Auslander-Reiten sequences of folded gentle algebras, showing that irreducible morphisms between string modules are given by adding/deleting hooks and cohooks to/from strings. Finally, we show that the class of folded gentle algebras is closed under derived equivalence.
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.