REVIEW 2 major objections 5 minor 1 cited by
Tilting-completion for gentle algebras
T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Every almost-tilting module over a gentle algebra can be completed to a tilting module, with at most 2n complements.
desk verdict A real advance for gentle algebras with a reusable surface-cutting method, but the proof of the main bound rests on a 'straightforward check' that a referee should demand to see in full. 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 proof works on the marked surface attached to a gentle algebra: indecomposable string modules are represented by zigzag arcs, extensions and projective dimensions are read from weighted intersections of arcs, and a pre-tilting module becomes a collection of non-intersecting zigzag arcs whose oriented intersections all have weight zero. Cutting the surface along such an arc produces a new marked surface and simple coordinate whose associated gentle algebra has rank $n+1$ but the same number of arrows. Cutting along all $n-1$ arcs of an almost-tilting module leaves a single exceptional subsurface of rank one, which Lemma 3.19 classifies as a disk, a once-punctured disk, or an annulus; counting the possible completing arcs on that small surface gives between $1$ and $n+1$ choices, and lifting these choices back through the cuts yields the bound $2n$ complements.
What would settle it
Find a gentle algebra of rank $n$ with an almost-tilting module having more than $2n$ complements, or exhibit a marked surface whose exceptional subsurface after cutting $n-1$ pre-tilting arcs is not one of the three shapes in Lemma 3.19. Either would break the chain from Lemma 3.19 to Theorem 3.20.
Extended reading notes
Core claim
The central claim, Theorem 3.20, is that an almost-tilting module over a gentle algebra is always partial-tilting: it has at least one complement, and the total number of complements is bounded by $2n$, where $n$ is the rank of the algebra, meaning the number of non-isomorphic indecomposable projective modules. The same statement verifies the modified complement conjecture for gentle algebras: complements are finite in number, and the bound $2n$ replaces the originally proposed $2n-1$ because a rank-two example already admits four complements. A complementary construction, Theorem 3.22, shows that for any $n \geq 3$ and $1 \leq m \leq n-2$, some connected gentle algebra of rank $n$ has a pre-tilting module of rank $m$ that cannot be completed; in particular, the positive result for almost-tilting modules is close to optimal.
Load-bearing premise
The load-bearing premise is Lemma 3.19's assertion that after cutting, the single exceptional subsurface is a disk, a once-punctured disk, or an annulus with between $1$ and $n+1$ completing arcs; this classification is recorded as a 'straightforward check' rather than a fully enumerated case analysis.
Editorial extensions
If this is right
- The completion question $(C_{n-1})$ has a positive answer for every gentle algebra of rank $n$: every almost-tilting module is partial-tilting.
- A maximal partial-tilting module over a gentle algebra has finitely many complements, at most $2n$, so the finiteness and bounded-complement conjectures hold in this class.
- An orthogonal module of full rank $n$ over a gentle algebra is automatically tilting, so the tilting condition (T3) can be replaced by a rank count in this setting.
- For ranks $m \leq n-2$, completion can fail, so the positive result for $n-1$ summands is the strongest possible statement that close to full rank.
- The cutting construction gives a new gentle algebra of rank $n+1$ with the same number of arrows, providing a concrete reduction tool for further module-theoretic questions.
Reading between the lines
- The paper leaves open whether the $2n$ bound is sharp: it constructs an annulus example attaining $2n-1$ complements and sketches a gluing route toward $2n$, but does not exhibit an algebra reaching the bound.
- The same surface-cutting induction could be applied to silting theory in the derived category of a gentle algebra, where completion questions for pre-silting objects are known to behave differently; the cutting picture may identify exactly where module-level and derived-level completability diverge.
- The results suggest an extremal dichotomy for gentle algebras: completion always works for full rank and rank $n-1$, while every rank $\leq n-2$ admits a failure. One could test whether a similar dichotomy holds for other tame algebras.
- The proof reduces complement counting to the topology of a single exceptional subsurface, so a combinatorial model for complements of a maximal partial-tilting module might be extracted purely from the shape of that subsurface.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that every almost-tilting module over a gentle algebra of rank n is partial-tilting and has at most 2n complements, confirming a modified Happel conjecture for this class. The proof uses the surface model for module categories of gentle algebras, introduces a cutting construction for marked surfaces and simple coordinates, and reduces the problem to three base cases: disks, once-punctured disks, and annuli. The paper also constructs, for every n ≥ 3 and 1 ≤ m ≤ n−2, a connected gentle algebra with a pre-tilting module of rank m that is not partial-tilting, extending the Rickard–Schofield counterexample.
Significance. If the main theorem is correct, it affirmatively answers question (C_{n−1}) for all gentle algebras and supplies a finite, explicit bound 2n for the number of complements, matching the asymptotic bound suggested by Mantese's example. The surface-cutting reduction is a promising technique with potential applications beyond tilting completion. The paper is well-structured and carefully integrates existing geometric models from [BC21, OPS18, C23]. However, the quantitative bound 2n depends on a case count in Lemma 3.19 that is delegated to a 'straightforward check' with illustrative pictures rather than a complete proof, and this is the central load-bearing step of the paper.
major comments (2)
- [§3.3, Lemma 3.19] The bound 1 ≤ r ≤ n+1 in Lemma 3.19 is the exact input that Theorem 3.20 converts into the final bound m ≤ 2n. The proof of this lemma is not complete: the disk case is dismissed with 'The proof of the claim is a straightforward check' and four representative pictures in Figure 15, while the once-punctured disk and annulus are treated by 'a similar argument' with four representatives in Figure 16 plus one exception in Figure 17. The manuscript does not prove that these pictures exhaust all simple coordinates satisfying the bigon conditions, nor does it show that the dashed ◦-arcs are the only zigzag arcs with zero-weight intersections. A missed configuration with r > n+1 would leave the statement 'almost-tilting implies partial-tilting' intact but would invalidate the quantitative claim that gives the paper its main theorem. This is a missing verification, not a disagreement with the geometric framework; the proof should supply a complete, exhaustive case analysis or a verification procedure that covers all possible configurations.
- [§3.2, Proposition 3.15] The rank increase rank(Sγ, Mγ) = rank(S, M) + 1 is used in Theorem 3.20 to conclude that the induced algebra AΓ has rank 2n−1, and the equality |Q̂1| = |Q1| is used implicitly in the same reduction. The proof of Proposition 3.15 derives the rank formula from the assertions that the number of marked points increases by two and the Euler characteristic changes by one, with the marked-point count said to be 'proved case-by-case, seeing the pictures in Figure 21'. Since this numerical formula is load-bearing for the main theorem, the proof should include the explicit five-case verification (or a uniform argument) rather than relying solely on a figure. The statement also contains a typographical error: the equality should read |Q̂1| = |Q1|, not |Q1| = |Q1|.
minor comments (5)
- [§3.2, Proposition 3.15] The sentence 'the Euler character of S is the same as the Euler character of the topological quotient of S, that is, equals χ − 1' is confusing and appears to contain a typo; χ was defined as the Euler characteristic of the original surface S, so the statement should refer to the Euler characteristic of Sγ, not of S.
- [§3.4, Theorem 3.22] In the proof of the claim for the torus example, the phrase 'if the endpoints of γ are pi, 2 ≤ i ≤ p − 1' uses p without definition; it should presumably be 2 ≤ i ≤ n−1, with n the number of marked ◦-points on the boundary.
- [§3.3, Lemma 3.19] The three possibilities for the exceptional subsurface (disk, once-punctured disk, annulus) are said to be 'depicted in Figure 13', but the text also notes that the annulus is homotopic to a once-punctured disk when the boundary formed by ◦-arcs is viewed as a puncture; the criterion for distinguishing these cases in the subsequent count should be stated explicitly.
- [Appendix] The appendix explicitly constructs the algebra associated with the cutting surface only under the assumption that the cutting arc γ intersects each •-arc at most once; it would be helpful to state whether the cases appearing in Lemma 3.19 satisfy this assumption, or to what extent the general construction remains open.
- [References] The URL for [S23] ends in 'FD-Atlas.htmpl', which looks like a typo for 'FD-Atlas.html'.
Circularity Check
No circularity: the 2n complement bound is produced by a surface-cutting induction and a local case count, not by assuming the conclusion.
full rationale
The central claim is not circular. Theorem 3.20 is proved by cutting the surface along the n-1 arcs of an almost-tilting module, isolating one exceptional component, and applying Lemma 3.19, which counts possible completing arcs in three local shapes. That count is a case analysis on disks, once-punctured disks, and annuli; it does not presuppose the existence of a completion or the bound 2n. The lifting correspondence (Corollary 3.13) and the geometric characterization of tilting modules (Proposition 3.2) are proved in the paper. The main external input is the author's own [C23] dictionary identifying weighted intersections with Ext degrees (Proposition 2.15), but this is a prior theorem with stated assumptions that do not include tilting completion, and it is anchored in independent models [BC21, OPS18]. Thus the self-citation is not a circular reduction. The proof of Lemma 3.19 does contain an abbreviated case check ('The proof of the claim is a straightforward check'), which is an omitted-detail risk that could affect the numerical bound if a configuration were missed, but that is a correctness concern, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption The marked surface model of [C23], building on [BC21] and [OPS18], gives a bijection between zigzag circles and indecomposable string modules, and identifies Ext groups with weighted oriented intersections.
- domain assumption [APS23, Proposition 5.7]: a pre-silting complex over a gentle algebra is silting if and only if its rank equals the algebra's rank.
- standard math Rank-one marked surfaces are exactly a disk with two boundary circle points or a once-punctured disk with one boundary circle point (Lemma 2.4).
- domain assumption Gentle algebras are Iwanaga-Gorenstein [GR02], so self-orthogonal modules over gentle algebras have finite projective dimension.
Cite this review
Pith. "Pith review of Tilting-completion for gentle algebras." pith.science (2026). https://pith.science/paper/3G6P2C5J
@misc{pith2026241213971,
author = {Pith},
title = {Pith review of: Tilting-completion for gentle algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/3G6P2C5J}},
note = {Machine review of arXiv:2412.13971}
}
abstract
It is demonstrated that any almost-tilting module over a gentle algebra is indeed partial-tilting, meaning it can be completed as a tilting module. Furthermore, such a module has at most $2n$ possible complements, thereby confirming a (modified) conjecture of Happel for the case of gentle algebras. Additionally, for any $n\geq 3$ and $1\leq m \leq n-2$, there always exists a (connected) gentle algebra with rank $n$ and a pre-tilting module of rank $m$ which is not partial-tilting. The tool we use is the surface model associated with the module category of a gentle algebra. The main technique is an induction process involving surface cuts, which is hoped to be beneficial for other applications as well.
Figures
Figures from the paper (22 more)
Forward citations
Cited by 1 Pith paper
-
Geometric models for endomorphism algebras of tilting modules over gentle algebras
For gentle algebras from surface tilings, the endomorphism algebra of a tilting module attached to a faithful dissection is isomorphic to an explicitly defined quiver algebra, and a new tiling realizes that endomorphi...
Reference graph
Works this paper leans on
-
[1]
L. Angeleri-Hügel and F. U. Coelho, Infinitely generated complements to partial-tilting modules. Math. Proc. Cambridge Philos. Soc. 132(2002), no.1, 89–96
work page 2002
-
[2]
I. Assem and D. Happel, Generalized tilted algebras of type A_ n . Comm. Algebra 9 (1981), no. 20, 2101-2125
work page 1981
-
[3]
M. Auslander, M. Platzeck, and I. Reiten, Coxeter functors without diagrams. Trans. Amer. Math. Soc. 250 (1979), 1–46
work page 1979
-
[4]
C. Amiot, P-G. Plamondon and S. Schroll, A complete derived invariant for gentle algebras via winding numbers and Arf invariants. Selecta Math. (N.S.) 29 (2023), no. 2, Paper No. 30, 36 pp
work page 2023
-
[5]
C. Amiot, P-G. Plamondon and S. Schroll, A complete derived invariant for gentle algebras via winding numbers and Arf invariants. (2019) Preprint https://arxiv.org/abs/1904.02555 arXiv:1904.02555
arXiv 2019
-
[6]
I. Assem and A. Skowro\' n ski, Iterated tilted algebras of type affine A_n . Math. Z. 195 (1987), no. 2, 269-290
work page 1987
-
[7]
K. Bongartz, Tilted algebras. Lecture Notes in Math. , 903 Springer-Verlag, Berlin-New York, 1981, pp. 26-38
work page 1981
-
[8]
S. Brenner and M. C. R. Butler, Generalizations of the Bernstein-Gel’fand-Ponomarev reflection functors, Representation theory, II (Proc. Second Internat. Conf., Carleton Univ., Ottawa, Ont., 1979), Lecture Notes in Math., vol. 832, Springer, Berlin, 1980, pp. 103-169
work page 1979
Show all 50 references
-
[9]
Baur and R
K. Baur and R. Coelho Sim\ oes, A geometric model for the module category of a gentle algebra. Int. Math. Res. Not. IMRN (2021), no. 15, 11357-11392
2021
-
[10]
I. N. Bernstein, I. M. Gelfand, and V. A. Ponomarev, Coxeter functors, and Gabriel’s theorem, Uspehi Mat. Nauk 28 (1973), no. 2(170), 19–33
1973
-
[11]
M. C. R. Butler and C. M. Ringel, Auslander-Reiten sequences with few middle terms and applications to string algebras. Comm. Algebra 15 (1987), no. 1-2, 145-179
1987
-
[12]
A. B. Buan and O. Solberg, Relative cotilting theory and almost complete cotilting modules, Algebras and modules, II (Geiranger, 1996) , CMS Conf. Proc., vol. 24, Amer. Math. Soc., Providence, RI, 1998, pp. 77-92
1996
-
[13]
W. W. Crawley-Boevey, Maps between representations of zero-relation algebras. J. Algebra 126, no. 2 (1989): 259-63
1989
-
[14]
Chang, Geometric models for the algebraic hearts in the derived category of a gentle algebra
W. Chang, Geometric models for the algebraic hearts in the derived category of a gentle algebra. (2023) Preprint https://arxiv.org/abs/2305.03998 arXiv:2305.03998 , to appear Isr. J. Math
2023 arXiv
-
[15]
Chang, Maximal rigid modules over a gentle algebra and applications to higher Auslander-Reiten theory
W. Chang, Maximal rigid modules over a gentle algebra and applications to higher Auslander-Reiten theory. (2025) Preprint https://arxiv.org/abs/2503.06819 arXiv:2503.06819
2025
-
[16]
Chang, F
W. Chang, F. Haiden and S. Schroll, Braid group actions on branched coverings and full exceptional sequences. Adv. Math. 472 (2025), Paper No. 110284
2025
-
[17]
Coelho, D
F. Coelho, D. Happel and L. Unger, Complements to partial-tilting modules. J. Algebra , 170 (1994), no. 1, 184-205
1994
-
[18]
Chang, H
W. Chang, H. B. Jin, and S. Schroll, Recollements of derived categories of graded gentle algebras and surface cuts, 2022 Preprint arXiv:2206.11196
2022 arXiv
-
[19]
Chang and S
W. Chang and S. Schroll, A geometric realization of silting theory for gentle algebras. Math. Z. 303 (2023), no. 3, Paper No. 67, 37 pp
2023
-
[20]
Chang and S
W. Chang and S. Schroll, Exceptional sequences in the derived category of a gentle algebra. Selecta Math. (N.S.) 29 (2023), no. 3, Paper No. 33, 41 pp
2023
-
[21]
Colpi and J
R. Colpi and J. Trlifaj, Tilting modules and tilting torsion theories. J. Algebra 178 (1995), no.2, 614–634
1995
-
[22]
Enomoto, Maximal self-orthogonal modules and a new generalization of tilting modules
H. Enomoto, Maximal self-orthogonal modules and a new generalization of tilting modules. (2023) Preprint https://arxiv.org/ abs/2301.13498 arXiv:2301.13498
2023 arXiv
-
[23]
Geiss and I
C. Geiss and I. Reiten, Gentle algebras are Gorenstein. In Representations of algebras and related topics. Proceedings from the 10th international conference, ICRA X, Toronto, Canada, 2002. , American Mathematical Society (AMS), Fields Institute Communications 45, 129-133 (2005)
2005
-
[24]
Happel, On the derived category of a finite-dimensional algebra, Comment
D. Happel, On the derived category of a finite-dimensional algebra, Comment. Math. Helv. 62 (1987), no. 3, 339–389
1987
-
[25]
Happel, partial-tilting modules and recollement
D. Happel, partial-tilting modules and recollement. Contemp. Math. , 131, Part 2 American Mathematical Society, Providence, RI, 1992, 345-361
1992
-
[26]
Happel, Self-orthogonal Modules
D. Happel, Self-orthogonal Modules. Abelian Groups and Modules. Math. Appl. 343. Dordrecht: Kluwer Acad. Plub. (1995), pp. 257-276
1995
-
[27]
Haiden, L
F. Haiden, L. Katzarkov and M. Kontsevich, Flat surfaces and stability structures. Publ. Math. Inst. Hautes \'Etudes Sci. 126 (2017), 247-318
2017
-
[28]
Happel and L
D. Happel and L. Unger, Almost complete tilting modules. Proc. Amer. Math. Soc. , 107 (1989), no. 3, 603-610
1989
-
[29]
Happel and L
D. Happel and L. Unger, Complements and the generalized Nakayama conjecture, Algebras and modules, II (Geiranger, 1996) , CMS Conf. Proc., vol. 24, Amer. Math. Soc., Providence, RI, 1998, pp. 293–310
1996
-
[30]
Happel and C.M
D. Happel and C.M. Ringel, Tilted algebras. Trans. Amer. Math. Soc. , 274(1982), no.2, 399-443
1982
-
[31]
H. B. Jin, S. Schroll and Z. F. Wang, A complete derived invariant and silting theory for graded gentle algebras, 2023 Preprint arXiv:2303.17474
2023 arXiv
-
[32]
Kopřiva and J
J. Kopřiva and J. Šťovíček, Semiorthogonal decompositions for bounded derived categories of gentle algebras, 2022 Preprint arXiv:2209.14496
2022 arXiv
-
[33]
Lekili and A
Y. Lekili and A. Polishchuk, Derived equivalences of gentle algebras via Fukaya categories. Math. Ann. 376 (2020), no. 1-2, 187-225
2020
-
[34]
Zhou, A negative answer to Complement Question for presilting complexes, 2023 Preprint arXiv:2302.12502
Y-Z Liu and Y. Zhou, A negative answer to Complement Question for presilting complexes, 2023 Preprint arXiv:2302.12502
2023 arXiv
-
[35]
Miyashita, Tilting modules of finite projective dimension, Math
Y. Miyashita, Tilting modules of finite projective dimension, Math. Z. 193 (1986), 113–146
1986
-
[36]
Mantese, Complements to projective almost complete tilting modules, Comm
F. Mantese, Complements to projective almost complete tilting modules, Comm. Algebra 33 (2005), no. 9, 2921-2940
2005
-
[37]
Marczinzik, On self-orthogonal modules in Iwanaga-Gorenstein rings
R. Marczinzik, On self-orthogonal modules in Iwanaga-Gorenstein rings. (2023) Preprint https://arxiv.org/ abs/2303.10433 arXiv:2303.10433
2023 arXiv
-
[38]
Opper, P-G Plamondon S
S. Opper, P-G Plamondon S. Schroll A geometric model for the derived category of gentle algebras 2018 Preprint arXiv:1801.09659
2018 arXiv
-
[39]
Y. Palu, V. Pilaud and P-G Plamondon, Non-kissing and non-crossing complexes for locally gentle algebras. J. Comb. Algebra 3 (2019), no. 4, 401-438
2019
-
[40]
Y. Palu, V. Pilaud and P-G Plamondon, Non-kissing complexes and tau-tilting for gentle algebras. Mem. Amer. Math. Soc. 274 (2021), no. 1343, vii+110 pp
2021
-
[41]
Rickard, Morita theory for derived categories, J
J. Rickard, Morita theory for derived categories, J. London Math. Soc. 39 (1989), 436–456
1989
-
[42]
Rickard and A
J. Rickard and A. Schofield, Cocovers and tilting modules. Math. Proc. Cambridge Philos. Soc. , 106 (1989), no. 1, 1-5
1989
-
[43]
Riedtmann, and A
C. Riedtmann, and A. Schofield, On open orbits and their complements. J. Algebra , 130 (1990), no. 2, 388-411
1990
-
[44]
Riedtmann, and A
C. Riedtmann, and A. Schofield, On a simplicial complex associated with tilting modules. Comment. Math. Helv. , 66 (1991), no. 1, 70-78
1991
-
[45]
Schröer, Atlas of finite-dimensional algebras
J. Schröer, Atlas of finite-dimensional algebras. http://www.math.uni-bonn.de/people/schroer/FD-Atlas.htmpl
-
[46]
Unger, On the combinatorics of the set of tilting modules, Contemp
L. Unger, On the combinatorics of the set of tilting modules, Contemp. Math. , 673 American Mathematical Society, Providence, RI, 2016, 227-249
2016
-
[47]
Unger, Schur modules over wild, finite-dimensional path algebras with three simple modules
L. Unger, Schur modules over wild, finite-dimensional path algebras with three simple modules. J. Pure Appl. Algebra , 64 (1990), no. 2, 205–222
1990
-
[48]
J. Q. Wei, Semi-tilting complexes. Israel J. Math. 194 (2013), no.2, 871-893
2013
-
[49]
Wald and J
B. Wald and J. Waschbsch, Tame biserial algebras. J. Algebra 95 (1985), no. 2, 480-500
1985
-
[50]
X. J. Zhang Self-orthogonal tau-tilting modules and tilting modules 2019 Preprint arXiv:1911.07667
2019 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.