Pith. sign in

REVIEW 2 major objections 5 minor 40 references

Two-term tilting complexes for preprojective algebras of non-Dynkin type

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that for a complete preprojective algebra of affine type, every basic two-term silting complex is isomorphic to exactly one of two families $P_w$ and $R_w$ indexed by the Coxeter group $W$, and is automatically tilting.

desk verdict A genuinely new affine classification of two-term silting complexes with an essentially sound proof, though one cone-identification is silently assumed and should be spelled out. read the letter →

arxiv 1908.02424 v2 pith:FVX5QGZP submitted 2019-08-07 math.RT

Yuta Kimura , Yuya Mizuno This is my paper · ORCID
classification math.RT MSC 16G2016G1018E3020F55
keywords preprojectivealgebrastwo-termtiltingcomplexessiltingCoxetergroupsaffinetypeg-vectorsWeylchambersKrull-Schmidtcategories
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

This paper studies two-term tilting and silting complexes over complete preprojective algebras of non-Dynkin type, where the algebra is infinite-dimensional and classical tilting-module techniques do not directly apply. It establishes two disjoint families of two-term tilting complexes, $\{P_w\}_{w\in W}$ and $\{R_w\}_{w\in W}$, each indexed by the elements of the associated Coxeter group. In affine type, the paper gives a complete classification: every basic two-term silting complex belongs to exactly one of these families, and hence every two-term silting complex is tilting. A sympathetic reader should care because this describes all of two-term silting theory for these infinite-dimensional algebras in terms of Coxeter combinatorics, extending the Dynkin-type classification and connecting g-vector cones to Weyl chambers.

What carries the argument

The argument is carried by the cone construction $C(T)$: the cone in the real Grothendieck space $K_0(\Lambda)_{\mathbb{R}}$ spanned by the classes of the indecomposable summands of a two-term complex $T$, together with the identification $C(P_w) = wC_+$, where $C_+$ is the cone over the projectives and $w$ acts through the contragradient geometric representation. The paper's Proposition 3.6 supplies the covering fact: for an affine Coxeter group, the closures of the cones $wC_+$ over all $w$ fill one half-space and the cones $wC_- = -wC_+$ fill the opposite half-space, so their union covers all of $K_0(\Lambda)_{\mathbb{R}}$. Against this, the injectivity of the g-vector map from two-term silting complexes into $K_0$ and the fact that distinct two-term silting cones meet only along boundaries force every silting complex's cone to coincide with one of the $wC_+$ or $wC_-$ chambers. A separate Krull-Schmidt theorem for the homotopy category of finitely generated projectives over complete rings satisfying condition (F) ensures that the basic decomposition language is legitimate.

What would settle it

The claim can be tested directly in the smallest affine case ($\tilde{A}_1$): compute all basic two-term silting complexes of the complete preprojective algebra and check whether their classes in the real Grothendieck group cover exactly the two half-space families predicted by the two chambers. Finding even one such complex whose class lies outside both families, or two distinct complexes whose cones overlap in an interior point, would refute Theorem 3.1.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 3.1: for a complete preprojective algebra $\Lambda$ of affine type with Coxeter group $W$, one has $2\operatorname{-silt}\Lambda = 2\operatorname{-tilt}\Lambda$ and $2\operatorname{-tilt}\Lambda = \{P_w\}_{w\in W} \amalg \{R_w\}_{w\in W}$. Here $P_w$ is the two-term complex given by a minimal projective resolution of the tilting ideal $I_w$, and $R_w$ is obtained by applying the duality $\operatorname{Hom}_{\Lambda^{\mathrm{op}}}(-, \Lambda[1])$ to the analogous resolution of $I_w$ as a $\Lambda^{\mathrm{op}}$-module. The two families are disjoint; the first is order-reversing in $w$ and the second order-preserving, and together they exhaust all basic two-term silting complexes. The conclusion that silting implies tilting at the two-term level is a corollary of the classification, since both families consist of tilting complexes.

Load-bearing premise

The load-bearing premise is the geometric covering statement used in the proof: the closures of the translated positive and negative Weyl chambers fill the entire Grothendieck vector space. If some point of that space were missed, a two-term silting complex could exist outside the two Coxeter-group-indexed families, and the classification would collapse.

Editorial extensions

If this is right

  • Every basic two-term silting complex over an affine preprojective algebra is tilting; there are no silting-but-not-tilting two-term complexes.
  • The two-term tilting complexes are exactly two disjoint copies of the Coxeter group $W$, with the weak order giving an anti-isomorphism on the $P$-family and an isomorphism on the $R$-family.
  • The g-vector cones of two-term tilting complexes realize the closures of all Weyl chambers, and their union covers the whole real Grothendieck space.
  • The homotopy category $K^b(\operatorname{proj}\Lambda)$ and the category $\operatorname{fp}\Lambda$ of finitely presented modules are Krull-Schmidt categories, so the classification into indecomposables is well-defined.
  • In the affine case, the appendix goes further: all silting complexes of $\Lambda$, not only the two-term ones, are tilting.

Reading between the lines

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

  • The chamber-cover strategy suggests a template for classifying two-term silting complexes of other infinite-dimensional or complete algebras: whenever the g-vector cones form a fan whose closures cover the Grothendieck space and distinct cones meet only at boundaries, the same injection argument should force a Coxeter-group-style enumeration.
  • The two families are separated by a hyperplane in the Grothendieck space, so one may ask whether mutation across that boundary can produce new silting complexes in wild-type preprojective algebras, or whether the two-family pattern persists beyond affine type.
  • A testable extension is to compute explicitly all two-term silting complexes for the smallest affine example, the $\tilde{A}_1$ preprojective algebra; the classification predicts exactly the two half-space families, so an exhaustive homological computation would either confirm the cover or reveal a missing cone.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper studies two-term tilting and silting complexes over the complete preprojective algebra Λ of a non-Dynkin graph ∆. It constructs two families P_w and R_w indexed by the Coxeter group W, shows they are disjoint families of two-term tilting complexes, and proves in affine type that every basic two-term silting complex is isomorphic to exactly one member of these families; in particular every two-term silting complex is tilting. The proof uses g-vector cones, identifies C(P_w) with a Weyl chamber, proves an affine Weyl group cone cover, and imports g-vector separation results from [DIJ, P, Hi]. The paper also proves that K^b(projΛ) is Krull-Schmidt when Λ is a complete ring satisfying condition (F), and includes an appendix by Iyama showing that all silting complexes of affine type are tilting.

Significance. If the missing cone identification is supplied, the main theorem provides a complete and elegant classification of two-term silting complexes for affine preprojective algebras in terms of two copies of the affine Coxeter group, reinforcing the connection between representation theory of preprojective algebras and Coxeter group combinatorics. The Krull-Schmidt theorem for homotopy categories of complete rings is a useful standalone contribution, and the appendix strengthens the result by showing all silting complexes are tilting in affine type. The paper is clearly written and the overall strategy is convincing.

major comments (2)
  1. [Section 3, before Proposition 3.6 and in the proof of Theorem 3.1] The proof of Theorem 3.1 uses the equality ⋃_{w∈W} C(R_w) = ⋃_{w∈W} wC_−, but this equality is never stated or proved. The text defines C_− := C(R_id) = −C_+ and Proposition 3.6 concerns the cones wC_+ and wC_−; it does not identify C(R_w) with wC_−. Since Theorem 3.4(b) only covers C(P_w) = wC_+, the second half of the cover argument is not justified as written. This is load-bearing because, without C(R_w) = wC_−, the family {R_w} is not shown to cover the opposite half-space. Please add a lemma (or a reference) establishing C(R_w) = wC_−, for example by applying Theorem 3.4(a) to Λ^op and using the duality Hom_{Λ^op}(−,Λ), which should give C(R_w) = −wC_+ = wC_−.
  2. [Section 3, proof of Theorem 3.1] The final inference 'Thus Theorem 3.8(b) shows that S ≅ P_w or S ≅ R_w' is too compressed. Please spell out the chamber argument: since S is silting, C(S) is a full-dimensional simplicial cone; the interiors of the cones C(P_w) and C(R_w) are disjoint open convex sets covering V*; hence the interior of C(S) lies in a single one of these interiors, so C(S) is contained in the corresponding closed cone; Theorem 3.8(b) then forces S to be isomorphic to that P_w or R_w.
minor comments (5)
  1. [Abstract] The phrase 'belongs one of them' should be 'belongs to one of them'.
  2. [Proposition 2.5(b)] The sentence 'By the definitions of orderings of tilting modules and tilting complexes, the second one is a poset isomorphism' is terse; a one-line justification or a reference would help the reader.
  3. [Proposition 2.6] The proof says 'From a duality Hom_Λ(−,Λ) : K^b(projΛ) ≃ K^b(projΛ^op), we have the assertion'; it would be helpful to state explicitly that this duality is an anti-equivalence on the poset of tilting complexes.
  4. [Proposition 3.6] The phrase 'σ*_{s_i} acts as an orthogonal reflection relative to E_i' should clarify which bilinear form is used for orthogonality.
  5. [Example 3.7] The figures for Examples 3.7(a) and 3.7(b) appear to be missing or not labeled in the text; please ensure the diagrams are included in the published version.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the affine classification is derived from external g-vector separation and affine Weyl chamber cover; self-citations are contextual only.

full rationale

The derivation chain for Theorem 3.1 is self-contained against external benchmarks: C(P_w)=wC_+ is imported from [IR1,BIRS] (Theorem 3.4(b)), the cover of V^* by wC_+ and wC_- is imported from Humphreys' affine Weyl chamber geometry (Proposition 3.6), and the separation theorem for g-vector cones of non-isomorphic two-term silting complexes is imported from [DIJ,P,Hi] (Theorem 3.8). These results are not fitted to the target classification and do not assume 2-siltΛ = {P_w}⊔{R_w}. The families P_w and R_w are constructed from the tilting modules I_w of [BIRS] via minimal projective resolutions and the duality Hom_{Λ^op}(-,Λ), not from the conclusion. The self-citations [M1,Ki1,Ki2,AM] appear only as motivation/context and are not load-bearing. One expository gap should be noted: in the proof of Theorem 3.1 the equality ⋃_w C(P_w) ∪ ⋃_w C(R_w) = V^* is asserted 'by Proposition 3.6', but the text never states or proves C(R_w)=wC_-; it states only C_- := C(R_id)=-C_+. This is an omitted derivation, not a circular step: it is a direct consequence of Theorem 3.4(a) applied to Λ^op together with the duality, and it does not reduce the theorem to its own conclusion. The gap should be repaired in revision, but the central claim is not circular.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities are introduced. The central claim rests on imported structural results: the classical tilting modules I_w from [BIRS], the g-vector separation theorem from [DIJ, P, Hi], and the affine Weyl fan geometry used in Proposition 3.6. All of these are external to the paper and are not fitted parameters.

assumptions (4)
  • standard math The affine Tits cone decomposes as the union over w in W of wC+ and wC-, where C+ = C(P_id) and C- = C(R_id).
    This is Proposition 3.6, used in the proof of Theorem 3.1 to ensure every possible g-vector lies in the closure of one of the two family cones. The proof imports affine Weyl alcove geometry from Humphreys [Hu].
  • domain assumption For every w in W, the ideal I_w is a classical tilting module over Λ and over Λ^{op}, and w maps to I_w is a poset anti-isomorphism from W to the set of such ideals.
    This is cited to [BIRS, Theorem III.1.9, 1.13]. It provides the projective resolutions that define the families P_w and R_w, and it underlies their tilting property.
  • domain assumption The map T -> [T] is injective on two-term silting complexes, and the cones of two different two-term silting complexes intersect only at their boundaries.
    This is Theorem 3.8, cited to [DIJ, P, Hi]. The classification proof needs this separation property to pass from a covered vector [S] to the conclusion that S is isomorphic to one of the P_w or R_w.
  • domain assumption The complete preprojective algebra of an affine graph satisfies the pseudo-compactness or condition (F) hypotheses used in Section 4.
    This guarantees that Kb(projΛ) and fpΛ are Krull-Schmidt, which is used throughout to discuss basic complexes and decompositions. It is established in Example 4.1(iii) for complete path algebras.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Two-term tilting complexes for preprojective algebras of non-Dynkin type." pith.science (2026). https://pith.science/paper/FVX5QGZP

@misc{pith2026190802424,
  author       = {Pith},
  title        = {Pith review of: Two-term tilting complexes for preprojective algebras of non-Dynkin type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FVX5QGZP}},
  note         = {Machine review of arXiv:1908.02424}
}
read the original abstract

In this paper, we study two-term tilting complexes for preprojective algebras of non-Dynkin type. We show that there exist two families of two-term tilting complexes, which are respectively parameterized by the elements of the corresponding Coxeter group. Moreover, we provide the complete classification in the case of affine type by showing that any two-term silting complex belongs one of them. For this purpose, we also discuss the Krull-Schmidt property for the homotopy category of finitely generated projective modules over a complete ring.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 35 canonical work pages

  1. [1]

    Adachi, O

    T. Adachi, O. Iyama, I. Reiten, -tilting theory, Compos. Math. 150 (2014), no. 3, 415--452

    2014

  2. [2]

    Amiot, O

    C. Amiot, O. Iyama, I. Reiten, G. Todorov, Preprojective algebras and c-sortable words, Proc. Lond. Math. Soc. 104 (2012), no. 3, 513--539

    work page 2012

  3. [3]

    Aihara, O

    T. Aihara, O. Iyama, Silting mutation in triangulated categories, J. Lond. Math. Soc. 85 (2012), no. 3, 633--668

    work page 2012

  4. [4]

    Aihara, Y

    T. Aihara, Y. Mizuno, Classifying tilting complexes over preprojective algebras of Dynkin type, Algebra Number Theory 11 (2017), no. 6, 1287--1315

    work page 2017

  5. [5]

    Anderson, K.R

    F.W. Anderson, K.R. Fuller, Rings and Categories of Modules, Graduate Texts in Mathematics, Vol. 13. Springer-Verlag, New York-Heidelberg, 1974

    work page 1974

  6. [6]

    The wall-chamber structures of the real Grothendieck groups

    S. Asai, The wall-chamber structures of the real Grothendieck groups, arXiv:1905.02180

    work page Pith review arXiv 1905

  7. [7]

    Bj \"o rner, F

    A. Bj \"o rner, F. Brenti, Combinatorics of C oxeter groups , Graduate Texts in Mathematics, vol. 231, Springer, New York, 2005

    work page 2005

  8. [8]

    Br\"ustle, D

    T. Br\"ustle, D. Smith, H. Treffinger, Wall and chamber structure for finite-dimensional algebras, Adv. Math. 354 (2019), 106746

    2019

Show all 40 references
  1. [9]

    Br\"ustle, D

    T. Br\"ustle, D. Yang, Ordered exchange graphs. Advances in representation theory of algebras, 135--193, EMS Ser. Congr. Rep., Eur. Math. Soc., Zurich, 2013

    2013

  2. [10]

    Bourbaki, Lie groups and Lie algebras

    N. Bourbaki, Lie groups and Lie algebras. Chapters 4--6,Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2002, Translated from the 1968 French original by Andrew Pressley

    2002

  3. [11]

    A. B. Buan, O. Iyama, I. Reiten, J. Scott, Cluster structures for 2- C alabi- Y au categories and unipotent groups , Compos. Math. 145 (2009), no. 4, 1035--1079

    2009

  4. [12]

    C. W. Curtis, I. Reiner, Methods of representation theory. Vol. I. With applications to finite groups and orders, Pure and Applied Mathematics, John Wiley & Sons, Inc., New York, 1981

    1981

  5. [13]

    Demonet, O

    L. Demonet, O. Iyama, G. Jasso, -tilting finite algebras, bricks and g -vectors, Int. Math. Res. Not. IMRN 2019, no. 3, 852--892

    2019

  6. [14]

    Gabriel, Des cat\'egories ab\'eliennes, Bull

    P. Gabriel, Des cat\'egories ab\'eliennes, Bull. Soc. Math. France, 90, 1962 323--448

    1962

  7. [15]

    Geigle, H

    W. Geigle, H. Lenzing, A class of weighted projective curves arising in representation theory of finite-dimensional algebras, Singularities, representation of algebras, and vector bundles (Lambrecht, 1985), 265--297, Lecture Notes in Math., 1273, Springer, Berlin, 1987

    1985

  8. [16]

    Geigle, H

    W. Geigle, H. Lenzing, Perpendicular categories with applications to representations and sheaves, J. Algebra 144 (1991), no. 2, 273--343

    1991

  9. [17]

    Leclerc, J

    Geiss, B. Leclerc, J. Schr\" o er, Kac-Moody groups and cluster algebras, Adv. Math. 228 (2011), no. 1, 329--433

    2011

  10. [18]

    Ginzburg, Calabi-Yau algebras, arXiv:math/0612139

    V. Ginzburg, Calabi-Yau algebras, arXiv:math/0612139

    arXiv

  11. [19]

    Happel, L

    D. Happel, L. Unger, On a partial order of tilting modules, Algebr. Represent. Theory 8 (2005), no. 2, 147--156

    2005

  12. [20]

    Hille, On the Volume of a Tilting Module, Abh

    L. Hille, On the Volume of a Tilting Module, Abh. Math. Sem. Univ. Hamburg 76 (2006), 261--277

    2006

  13. [21]

    J. E. Humphreys, Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics, 29. Cambridge University Press, Cambridge, 1990

    1990

  14. [22]

    Iyama, I

    O. Iyama, I. Reiten, Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras, Amer. J. Math. 130 (2008), no. 4, 1087--1149

    2008

  15. [23]

    Iyama, I

    O. Iyama, I. Reiten, Introduction to -tilting theory, Proc. Natl. Acad. Sci. USA 111 (2014), no. 27, 9704--9711

    2014

  16. [24]

    Iyama, N

    O. Iyama, N. Reading, I. Reiten, H. Thomas, Lattice structure of Weyl groups via representation theory of preprojective algebras, Compos. Math. 154 (2018), no. 6, 1269--1305

    2018

  17. [25]

    Iyama, M

    O. Iyama, M. Wemyss, Maximal modifications and Auslander-Reiten duality for non-isolated singularities, Invent. Math. 197 (2014), no. 3, 521--586

    2014

  18. [26]

    Iyama, M

    O. Iyama, M. Wemyss, Tits cones intersections, contracted preprojective algebras, and affine actions on 3-fold flops, in preparation

  19. [27]

    Keller, Deriving DG categories, Ann

    B. Keller, Deriving DG categories, Ann. Sci. \' E cole Norm. Sup. (4) 27 (1994), no.1, 63--102

    1994

  20. [28]

    Keller, D

    B. Keller, D. Yang, Derived equivalences from mutations of quivers with potential, Adv. Math. 226 (2011), no. 3, 2118--2168

    2011

  21. [29]

    Koenig, D

    S. Koenig, D. Yang, Silting objects, simple-minded collections, t -structures and co- t -structures for finite-dimensional algebras, Doc. Math. 19 (2014), 403--438

    2014

  22. [30]

    Krause, Krull-Schmidt categories and projective covers, Expo

    H. Krause, Krull-Schmidt categories and projective covers, Expo. Math. 33 (2015), no. 4, 535--549

    2015

  23. [31]

    Kimura, Tilting theory of preprojective algebras and c -sortable elements, J

    Y. Kimura, Tilting theory of preprojective algebras and c -sortable elements, J. Algebra 503 (2018), 186--221

    2018

  24. [32]

    Kimura, Tilting and cluster tilting for preprojective algebras and Coxeter groups, Int

    Y. Kimura, Tilting and cluster tilting for preprojective algebras and Coxeter groups, Int. Math. Res. Not. IMRN 2019, no. 18, 5597--5634

    2019

  25. [33]

    Leclerc, Cluster structures on strata of flag varieties, Adv

    B. Leclerc, Cluster structures on strata of flag varieties, Adv. Math. 300 (2016), 190--228

    2016

  26. [34]

    Mizuno, Classifying -tilting modules over preprojective algebras of Dynkin type, Math

    Y. Mizuno, Classifying -tilting modules over preprojective algebras of Dynkin type, Math. Z. 277 (2014), no. 3-4, 665--690

    2014

  27. [35]

    Mizuno, Derived Picard groups of preprojective algebras of Dynkin type, Int

    Y. Mizuno, Derived Picard groups of preprojective algebras of Dynkin type, Int. Math. Res. Not., rny299, https://doi.org/10.1093/imrn/rny299

    doi

  28. [36]

    Plamondon, Cluster algebras via cluster categories with infinite-dimensional morphism spaces, Compos

    P. Plamondon, Cluster algebras via cluster categories with infinite-dimensional morphism spaces, Compos. Math. 147 (2011), no. 6, 1921--1954

    2011

  29. [37]

    Riedtmann, A

    C. Riedtmann, A. Schofield, On a simplicial complex associated with tilting modules, Comment. Math. Helv. 66 (1991), 70--78

    1991

  30. [38]

    Sekiya, K

    Y. Sekiya, K. Yamaura,Tilting theoretical approach to moduli spaces over preprojectivealgebras, Algebr. Represent. Theory 16 (2013), no. 6, 1733--1786

    2013

  31. [39]

    Van den Bergh, Calabi-Yau algebras and superpotentials, Selecta Math

    M. Van den Bergh, Calabi-Yau algebras and superpotentials, Selecta Math. (N.S.) 21 (2015), no. 2, 555--603

    2015

  32. [40]

    Yurikusa, Wide subcategories are semistable, Doc

    T. Yurikusa, Wide subcategories are semistable, Doc. Math. 23 (2018), 35--47

    2018

Pith tools

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