Pith. sign in

REVIEW 5 minor 18 references

Transitivity of mutation of $\tau$-exceptional sequences in the $\tau$-tilting finite case

T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For a τ-tilting finite algebra, any two complete τ-exceptional sequences are connected by a finite chain of left and right mutations.

desk verdict A solid, genuinely new transitivity theorem for τ-exceptional sequences; referee it. read the letter →

arxiv 2506.21372 v1 pith:QIH6YBAQ submitted 2025-06-26 math.RT

Aslak B. Buan , Eric J. Hanson , Bethany R. Marsh This is my paper · ORCID
classification math.RT MSC 16D9016G1016G2016S90
keywords τ-tiltingtheoryτ-exceptionalsequencesmutationtransitivitygen-minimalmoduleswidesubcategoriesfinitealgebrastorsionclassesτ-perpendicularcategories
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 that over a $\tau$-tilting finite algebra—one in which only finitely many basic support $\tau$-rigid modules exist—left and right mutation can transform any complete $\tau$-exceptional sequence into any other. $\tau$-exceptional sequences are ordered lists of indecomposable modules that generalize the exceptional sequences familiar from hereditary algebras, and mutation is the local operation that swaps adjacent entries in a controlled way. Transitivity was already known for algebras of rank two and for Nakayama algebras; this paper establishes it in full generality under the $\tau$-tilting-finiteness assumption. The proof works by showing each mutation orbit contains a distinguished sequence coming from a gen-minimal module, and that any two such distinguished sequences are related by adjacent swaps that mutations realize.

What carries the argument

Two structures carry the argument. The first is the bijection $\omega$ from TF-ordered $\tau$-rigid modules to $\tau$-exceptional sequences: a TF-ordering is an ordering of the indecomposable summands of a $\tau$-rigid module in which no summand lies in the torsion class generated by the summands after it, and $\omega$ turns such a module into a $\tau$-exceptional sequence by applying the reduction functors to each entry. The second is gen-minimality of the underlying module: a $\tau$-rigid module is gen-minimal if removing any summand strictly shrinks the torsion class it generates. The proof uses the reduction maps $E_T$ and the $\tau$-perpendicular categories $J(\cdots)$ to track how a mutation of the sequence changes the corresponding ordered module, showing that each mutation orbit contains a gen-minimal representative and that mutations realize adjacent transpositions between any two orderings of the same gen-minimal module.

What would settle it

Enumerate, for a small $\tau$-tilting finite algebra of rank 3 (found, say, by computer search), all complete $\tau$-exceptional sequences and all allowed left/right mutations; the theorem predicts one connected component of the mutation graph, so two sequences in different components would be a counterexample.

Watch

Extended reading notes

Core claim

The central theorem is that if $\Lambda$ is $\tau$-tilting finite of rank $n$ and $W$ is any wide subcategory of rank $r$, then any two $\tau$-exceptional sequences $X$ with $J(X)=W$ lie in the same orbit under the mutation operators $\varphi_{r+1}, \psi_{r+1}, \ldots, \varphi_{n-1}, \psi_{n-1}$; taking $W=0$ gives the headline statement that any two complete $\tau$-exceptional sequences are connected by a finite chain of left and right mutations. The argument first shows (Lemma 2.5) that every such orbit contains a sequence whose underlying ordered module is gen-minimal—no proper direct summand generates the same torsion class. It then shows (Corollary 2.4) that all gen-minimal representatives for a fixed $W$ have the same underlying module, and (Proposition 2.3) that adjacent swaps of its summands, which generate every ordering, can be carried out by the allowed mutations. The proof thus upgrades the classical transitivity result for hereditary algebras to every $\tau$-tilting finite algebra.

Load-bearing premise

The load-bearing premise is a previously proved criterion, stated as Theorem 1.20 and not reproved here, which says that a $\tau$-rigid module is gen-minimal (removing any summand strictly shrinks the torsion class it generates) exactly when it equals the split-projective part of the perpendicular of its $\tau$-perpendicular category; if that criterion failed, the proof's claim that every mutation orbit contains a gen-minimal representative would not follow.

Editorial extensions

If this is right

  • Any two complete $\tau$-exceptional sequences over a $\tau$-tilting finite algebra are connected by a finite chain of left and right mutations.
  • For each wide subcategory $W$ of rank $r$, the operators $\varphi_{r+1}, \psi_{r+1}, \ldots, \varphi_{n-1}, \psi_{n-1}$ act transitively on the $\tau$-exceptional sequences $X$ with $J(X)=W$.
  • Every mutation orbit contains a representative whose underlying $\tau$-rigid module is gen-minimal, and this underlying module is the same for all gen-minimal representatives in the orbit.
  • Previous transitivity results for rank-two $\tau$-tilting finite algebras and for Nakayama algebras follow as special cases of the main theorem.

Reading between the lines

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

  • An implicit consequence is that invariants of a mutation orbit can be defined from the unique gen-minimal underlying module, since the orbit's gen-minimal representatives all share that module.
  • A testable extension is to bound the number of mutations needed to connect two complete sequences: the proof gives a route through adjacent swaps but no explicit complexity estimate.
  • Because the proof's maximality argument uses finiteness of torsion classes, the theorem neither predicts nor rules out transitivity beyond $\tau$-tilting finite algebras; the natural next check is a minimal non-$\tau$-tilting-finite example.
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

0 major / 5 minor

Summary. The manuscript proves that for a τ-tilting finite algebra Λ, mutation of complete τ-exceptional sequences is transitive. The precise statement is Theorem 2.6: for any wide subcategory W of rank r, any two τ-exceptional sequences in τ-es(W) are in the same orbit under the mutations φ_{r+1}, ψ_{r+1}, ..., φ_{n-1}, ψ_{n-1}; taking W = 0 gives transitivity on complete τ-exceptional sequences. The proof uses the bijection ω between TF-ordered τ-rigid modules and τ-exceptional sequences, the E-map, and gen-minimal τ-rigid modules. After establishing that adjacent swaps in a TF-ordering can be realized by mutations (Proposition 2.3, via Lemma 2.2), the authors reduce to the case of gen-minimal modules (Corollary 2.4) and prove every mutation orbit contains a sequence whose associated TF-ordered module is gen-minimal (Lemma 2.5). The argument is detailed and internally coherent, and the main theorem is not assumed anywhere in the proof.

Significance. If correct, this paper settles a natural question left open in [8] and generalizes the previously known rank-two and Nakayama cases. The proof is well structured: the reduction to TF-orderings, the treatment of adjacent swaps, and the descent to gen-minimal representatives are clear. A particular strength is that the paper gives a complete chain of implications from Lemma 2.2 through Proposition 2.3, Corollary 2.4, and Lemma 2.5 to Theorem 2.6, with the only substantive external input being the gen-minimality criterion quoted as Theorem 1.20 from [8]. I found no circularity and no internal gap in the main argument.

minor comments (5)
  1. [Lemma 2.2, Case 3] The line 'we must have U/ell+1 = U' should read 'U_{\ell+1} = U'; the LaTeX has lost the subscript braces, and the same typo appears later in the same paragraph.
  2. [Lemma 2.5] The maximality condition is stated as 'we do not have T(X ′) ⊊ T(Y) for any X ′ in O', but Y is undefined; it should presumably be 'T(X) ⊊ T(X′)' or an equivalent formulation. As written, the sentence is not meaningful.
  3. [Proposition 2.3] The references to 'Propositions 1.8 and 1.14' should be to 'Lemma 1.8 and Proposition 1.14'; there is no Proposition 1.8, and the displayed factorization of E_{M_i} uses Lemma 1.8.
  4. [Section 1.4, Theorem 1.20] The proof of the main theorem depends essentially on this quoted theorem; the authors should state explicitly that it is proved in [8] and, if [8] has not yet appeared, indicate its availability or status. This is a completeness concern rather than a mathematical objection.
  5. [Acknowledgments] The word 'hopitality' should be 'hospitality'.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity identified: the main theorem is not assumed; the derivation relies on independent earlier results by the same authors, which is real evidence rather than a reduction.

full rationale

The main theorem (Thm 2.6) is derived from Lemma 2.5 (every mutation orbit contains a sequence whose inverse TF-ordering has gen-minimal direct sum) and Corollary 2.4 (gen-minimal representatives with the same perpendicular category are mutation-equivalent). The latter reduces via Proposition 2.3 (adjacent swaps reachable by mutations), whose proof applies Lemma 2.2 to the relative perpendicular category. Lemma 2.2 is proved by a direct case analysis using the explicit formulas for phi and psi and finiteness of torsion classes. The only genuinely external load-bearing input is the gen-minimal characterization M = Ps(perp J(M)) quoted from the authors' earlier work [8, Thm. 2.14] (restated as Thm. 1.20), together with auxiliary structural facts ([8, Lem. 2.21], [8, Lem. 3.12], [8, Prop. 3.13-3.15]). These are independent theorems with stated hypotheses that do not include transitivity of mutation; they are not fitted to the present conclusion, and no equation in the paper is definitionally equal to the target. Lemma 1.16 and Proposition 2.3 are proved in-text. Thus the derivation chain is not circular: the self-citations are genuine evidence rather than a reduction of the conclusion to its own inputs.

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

The paper introduces no free parameters and no new entities. It proves a theorem about objects defined in prior work, and it draws on a network of established results, several from the same authors' previous papers. These are not assumed ad hoc: they are separate theorems with their own proofs, and the main result is not used in their derivations. This is standard practice in pure mathematics.

assumptions (6)
  • domain assumption Λ is a basic finite-dimensional algebra over a field k, and Λ is τ-tilting finite, i.e., there are finitely many isomorphism classes of basic support τ-rigid modules.
    Stated in Section 1. This is the class of algebras for which the theorem is proved, and it guarantees finitely many torsion classes, used in Lemma 2.2 and Lemma 2.5.
  • domain assumption Theorem 1.1: the inverse bijections between gen-minimal τ-rigid modules, torsion classes, and wide subcategories, and the fact that all wide subcategories are τ-perpendicular categories of rank n - δ(M) - δ(P).
    Quoted from [1,7,8,12,13,15,16] in Section 1.1. Used to define τ-exceptional sequences recursively inside wide subcategories and to compute ranks.
  • domain assumption Proposition 1.5: for a support τ-rigid object T, the reduction map E_T is a bijection between indecomposable support τ-rigid objects X with T ⊕ X support τ-rigid and those in J(T), with E_M(X) = f_M(X) if X is not in Gen M and E_M(X) = Q[1] otherwise.
    From [10, Sect. 5]. Used in Lemma 2.2 and Proposition 2.3 to translate between the algebra and its perpendicular categories.
  • domain assumption Every τ-exceptional sequence is left and right i-mutable for any i in the τ-tilting finite case, and mutation preserves J(X) (Proposition 1.18).
    From [8, Cor. 0.4] and [8, Cor. 5.3], cited at the start of Section 2. This totalness is what makes the orbit statement meaningful.
  • domain assumption Theorem 1.20: A τ-rigid module M is gen-minimal if and only if M = Ps(⊥J(M)).
    From [8, Thm. 2.14], used in Corollary 2.4 and Lemma 2.5. This is the key structural input for the maximality argument.
  • domain assumption Lemma 1.8 (E-map composition) and Lemma 1.12 (J of a sum) and Theorem 1.4 (the bijection ω from TF-ordered τ-rigid modules to τ-exceptional sequences).
    These results from [7] and [17] are used in the proof of Proposition 2.3 and in the lemmas leading to Theorem 2.6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Transitivity of mutation of $\tau$-exceptional sequences in the $\tau$-tilting finite case." pith.science (2026). https://pith.science/paper/QIH6YBAQ

@misc{pith2026250621372,
  author       = {Pith},
  title        = {Pith review of: Transitivity of mutation of $\tau$-exceptional sequences in the $\tau$-tilting finite case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QIH6YBAQ}},
  note         = {Machine review of arXiv:2506.21372}
}
abstract

We prove that mutation of complete $\tau$-exceptional sequences is transitive for $\tau$-tilting finite algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages

  1. [8]

    A. B. Buan, E. J. Hanson, and B. R. Marsh, Mutation of τ -exceptional pairs and sequences , arXiv:2402.10301

    arXiv

  2. [1]

    Adachi, O

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

    work page 2015

  3. [2]

    Assem, D

    I. Assem, D. Simson, A. Skowro´ nski, Elements of the representation theory of associative algebras. Vol. 1. Techniques of representation theory, London Math. Soc. Stud. Texts, 65 Cambridge University Press, Cambridge,

    work page

  4. [3]

    Auslander, and S.O

    M. Auslander, and S.O. Smalø, Almost split sequences in subcategories , J. Algebra 69 (1981), no. 2, 426–454

    work page 1981

  5. [4]

    Bondal, Representations of associative algebras and coherent sheaves , Math

    A. Bondal, Representations of associative algebras and coherent sheaves , Math. USSR, Izv. 34 (1990), 23–42

    work page 1990

  6. [5]

    Br¨ ustle, D

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

    work page 2019

  7. [6]

    A. B. Buan, M. Kaipel, and H. U. Terland, Mutating ordered τ -rigid modules with applications to Nakayama algebras, arXiv:2501.13694

    arXiv

  8. [7]

    A. B. Buan and E. J. Hanson, τ -perpendicular wide subcategories, Nagoya Math. J. 252 (2023), 959–984

    work page 2023

Show all 18 references
  1. [9]

    A. B. Buan and B. R. Marsh, A category of wide subcategories , Int. Math. Res. Not. IMRN 2021 (2019), no. 13, 10278–10338

    2019

  2. [10]

    A. B. Buan and B. R. Marsh, τ -exceptional sequences, J. Algebra 585 (2021), 36-68

    2021

  3. [11]

    Crawley-Boevey, Exceptional sequences of representations of quivers , Representations of algebras (Ottawa, ON, 1992), CMS Conf

    W. Crawley-Boevey, Exceptional sequences of representations of quivers , Representations of algebras (Ottawa, ON, 1992), CMS Conf. Proc., vol. 14, Amer. Math. Soc., Providence, RI, 1993, pp. 117–124

    1992

  4. [12]

    Demonet, O

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

    2017

  5. [13]

    Demonet, O

    L. Demonet, O. Iyama, N. Reading, I. Reiten and H. Thomas, Lattice theory of torsion classes: Beyond τ -tilting theory, Trans. Amer. Math. Soc. Ser. B 10 (2023), 542–612

    2023

  6. [14]

    A. L. Gorodentsev and A. N. Rudakov, Exceptional vector bundles on projective spaces, Duke Math. J. 54 (1987), no. 1, 115–130

    1987

  7. [15]

    Jasso, Reduction of τ -tilting modules and torsion pairs

    G. Jasso, Reduction of τ -tilting modules and torsion pairs. Int. Math. Res. Not. IMRN(2015), no.16, 7190-7237

    2015

  8. [16]

    Marks and J

    F. Marks and J. ˇSˇtov ´ ıˇ cek,Torsion classes, wide subcategories and localisations , Bull. London Math. Soc. 49 (2017), no. 3, 405–416

    2017

  9. [17]

    H. O. Mendoza and H. Treffinger, Stratifying systems through τ -tilting theory, Doc. Math. 25 (2020), 701–720

    2020

  10. [18]

    C. M. Ringel, The braid group action on the set of exceptional sequences of a hereditary Artin algebra , Abelian Group Theory and Related Topics (Oberwolfach, 1993), Contemp. Math., vol. 171, Amer. Math. Soc., Providence, RI (1994) pp. 339–352. Department of Mathematical Scien...

    1994

Pith tools

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