Pith. sign in

REVIEW 2 major objections 5 minor 12 references

Mutation of $\tau$-exceptional sequences for acyclic quivers over local algebras

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

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

Pith's one-line read The paper proves that BHM mutation of $\tau$-exceptional sequences over $\Lambda=R\otimes_k kQ$ agrees with the induced classical mutation, so the braid group acts transitively on complete $\tau$-exceptional sequences.

desk verdict Real new result, but the main theorem leans on an unreviewed same-author preprint; worth refereeing. read the letter →

arxiv 2505.22770 v2 pith:CEVTKGA7 submitted 2025-05-28 math.RT

Iacopo Nonis This is my paper
classification math.RT MSC 16G2016G7016G10
keywords tau-exceptionalsequencesexceptionalmutationbraidgroupquiversoverlocalalgebrastau-perpendicularcategoriesRQ-latticeshereditary
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 establishes a precise compatibility between two notions of mutation for a family of algebras built from an acyclic quiver $Q$ and a local commutative finite-dimensional algebra $R$: the algebra $\Lambda=R\otimes_k kQ$. The main theorem says that the BHM mutation $\varphi_i$ of a complete $\tau$-exceptional sequence induced from $kQ$ equals the induced classical mutation $\Lambda\otimes_{kQ}\sigma_i(M)$ at every position $i$. Since classical mutation over the acyclic quiver is generated by a transitive braid group action, the same braid group action is transitive on complete $\tau$-exceptional sequences over $\Lambda$. This matters because $\Lambda$ is generally neither hereditary, nor $\tau$-tilting finite, nor of rank two, the classes where mutability of $\tau$-exceptional pairs was previously known; the paper also proves every $\tau$-exceptional pair over $\Lambda$ is mutable in both directions.

What carries the argument

The load-bearing device is the induction functor $\Lambda\otimes_{kQ}-$ together with the bijection it induces between $(\tau-)$exceptional sequences in $\operatorname{mod} kQ$ and $\tau$-exceptional sequences in $\operatorname{mod}\Lambda$. Around it sit two structural facts: every indecomposable $\tau$-rigid $\Lambda$-module is induced from a $\tau$-rigid $kQ$-module, and every $\tau$-perpendicular subcategory of $\operatorname{mod}\Lambda$ is equivalent to $\operatorname{mod}(R\otimes_k Q')$ for an acyclic quiver $Q'$. Mutation of $\tau$-exceptional pairs is then compared by checking the BHM left and right regularity definitions against the classical exchange pair, using the explicit formulas for $\varphi$ and the uniqueness property of complete $\tau$-exceptional sequences to identify the mutated entry.

What would settle it

Take $\Lambda=R\otimes_k kQ$ with $R=k[x]/(x^2)$ and $Q$ a three-vertex wild quiver, list all complete $\tau$-exceptional sequences by induction from $kQ$, and compute the BHM mutation $\varphi_1$ on any one of them directly from the pair formulas; if the first entry of $\varphi_1(\Lambda\otimes_{kQ} M)$ is not isomorphic to $\Lambda\otimes_{kQ}$ applied to the first entry of $\sigma_1(M)$, the theorem fails.

Watch

Extended reading notes

Core claim

On the paper's own terms: given a complete $\tau$-exceptional sequence $\Lambda\otimes_{kQ} M$ in $\operatorname{mod}\Lambda$, its BHM mutation at position $i$ is exactly the induction of the classical mutation $\sigma_i(M)$ of the underlying complete exceptional sequence in $\operatorname{mod} kQ$. The proof transfers the pair-wise mutation comparison from the hereditary case: one rewrites each $\tau$-exceptional pair as an induced pair, separates the left-regular and left-irregular cases, and uses the fact that every $\tau$-perpendicular subcategory of $\operatorname{mod}\Lambda$ is again of the form $\operatorname{mod}(R\otimes_k Q')$ for an acyclic quiver $Q'$. The conclusion is that the BHM mutation and the classical mutation are the same operation after applying the induction functor, and consequently the braid group acts transitively on complete $\tau$-exceptional sequences in $\operatorname{mod}\Lambda$.

Load-bearing premise

The proof leans on two imported structural results: the induction functor gives a bijection on $\tau$-exceptional sequences, and every $\tau$-perpendicular subcategory of $\operatorname{mod}\Lambda$ is again equivalent to $\operatorname{mod}(R\otimes_k Q')$ for an acyclic quiver $Q'$; if either failed, the comparison of mutations would lose its ground.

Editorial extensions

If this is right

  • Every $\tau$-exceptional pair over $\Lambda=R\otimes_k kQ$ is both left and right mutable, so $\Lambda$ is mutation complete.
  • The braid group acts transitively on the set of complete $\tau$-exceptional sequences in $\operatorname{mod}\Lambda$.
  • Complete $\tau$-exceptional sequences over $\Lambda$ are in bijection with complete exceptional sequences over $kQ$, and the mutation graph over $\Lambda$ is the image of the classical mutation graph under induction.
  • Crawley-Boevey's $R$-exceptional sequences of $RQ$-lattices coincide with $\tau$-exceptional sequences, and the two braid actions agree.
  • Braid relations such as $\varphi_1\varphi_2\varphi_1=\varphi_2\varphi_1\varphi_2$ hold for complete $\tau$-exceptional sequences over $\Lambda$.

Reading between the lines

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

  • The same mechanism may extend to any finite-dimensional algebra whose $\tau$-perpendicular subcategories are all module categories of acyclic-quiver algebras with a compatible induction functor, giving braid transitivity for that broader class; this generalization is not claimed in the paper.
  • The compatibility suggests that, over these tensor-product algebras, $\tau$-exceptional mutation carries no information beyond the underlying quiver: every mutation-theoretic question can be reduced to classical quiver mutation.
  • The coincidence with $R$-exceptional lattices may make the transitive braid action useful for computing rank-vector invariants along braid orbits of $RQ$-lattices, a direction the paper leaves implicit.
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

2 major / 5 minor

Summary. The paper studies τ-exceptional sequences over Λ = R ⊗_k kQ for a finite-dimensional commutative local k-algebra R and an acyclic quiver Q. It recalls from the author's preprint [Non25] that induction Λ⊗_{kQ}– gives a bijection between exceptional sequences over kQ and τ-exceptional sequences over Λ (Theorem 2.5), and that every τ-perpendicular subcategory of mod Λ is equivalent to mod(R ⊗_k Q') for an acyclic Q' (Theorem 1.8). Using Buan–Hanson–Marsh mutation, the author proves that every τ-exceptional pair over Λ is left and right mutable (Proposition 3.8, Corollary 3.13); the main theorem (Theorem 3.16) shows BHM mutation φ_i on complete τ-exceptional sequences over Λ coincides, via induction, with the classical Crawley-Boevey–Ringel mutation σ_i on complete exceptional sequences over kQ. This gives a transitive braid-group action on complete τ-exceptional sequences in mod Λ (Corollary 3.22). Section 4 identifies τ-exceptional sequences with R-exceptional RQ-lattices and compares the braid actions; Section 5 gives a worked example.

Significance. If the main theorem is correct, it is a meaningful extension of the hereditary case: it provides a new class of algebras—beyond hereditary, τ-tilting finite, and rank two—that are mutation complete and on which the braid group acts transitively. The comparison between BHM mutation and classical mutation is natural, and the paper's own arguments are detailed and coherent. The worked example and the connection to Crawley-Boevey's R-exceptional sequences add value. The main caveat is the heavy, load-bearing reliance on structural results imported from the same-author preprint [Non25], which are not re-verified here; the significance is therefore conditional on those results.

major comments (2)
  1. [§1–§2, Theorems 1.8 and 2.5; used throughout §3] The central claim is conditional on unverified imported results. Theorem 2.5 ([Non25, Thm. 5.10]) supplies the bijection between (τ-)exceptional sequences over kQ and τ-exceptional sequences over Λ, and Theorem 1.8 ([Non25, Thm. 4.10]) identifies every τ-perpendicular subcategory of mod Λ as mod(R ⊗_k Q'). Both are used at load-bearing points: Theorem 3.16 uses Theorem 2.5 to write a complete τ-exceptional sequence as Λ⊗_{kQ}M and Theorem 1.8 for every ambient perpendicular category; Corollary 3.13 uses Theorem 1.8; Proposition 3.9 uses Theorem 2.5 and Proposition 1.7; Proposition 3.21 invokes [Non25, Prop. 1.8(iii), Cor. 4.11, Lemma 6.22]. The arguments after these imports are coherent, but if any of the imported statements failed, the identification φ_i(Λ⊗M) = Λ⊗σ_i(M) would lose its ground. The revision should either include proofs of the imported structural results, or state explicitly that the theorems are proved modulo [Non25] and give a precise account of which statements of [Non25] are assumed.
  2. [§3, proof of Proposition 3.17 (left irregular case)] In the left irregular case, the proof asserts "As shown in the Proof of [BHM24, Prop. 6.2], we have that Ext^1_{kQ}(B,C) ≠ 0". This assertion is load-bearing because Proposition 3.21, on which the irregular case rests, is stated only under the hypotheses Ext^1_{kQ}(B,C) ≠ 0 and C ∉ proj kQ. The manuscript does not derive these hypotheses for the irregular pair in the relevant ambient category. Since this is a necessary condition to apply Proposition 3.21, the step should be proved explicitly, or Proposition 3.21 should be reformulated so that the zero-extension case is also covered.
minor comments (5)
  1. [§3, Proposition 3.21] In the statement of Proposition 3.21, the hypothesis is printed as "Ext1_Λ(B,C), 0" and "C < proj kQ"; it should read "Ext^1_{kQ}(B,C) ≠ 0" and "C ∉ proj kQ".
  2. [§3, proof of Theorem 3.16] In the proof of Theorem 3.16, the notation "J(M_{i+1},···, M_n)" should be "J(M_{i+2},···, M_n)" (or the corresponding induced sequence in mod Λ), to match Definition 3.10.
  3. [§3, Definition 3.10(c)] Definition 3.10(c) says that M is left i-irregular if (M_i, M_{i+1}) is left regular; the word "regular" should be "irregular".
  4. [§3, Proposition 3.21(iii), proof] In the proof of Proposition 3.21(iii), the expressions "Hom_kQ(Λ⊗_{kQ} C, X)" and "Hom_kQ(Λ⊗_{kQ} E', X)" should use Hom_Λ rather than Hom_kQ.
  5. [Various] There are several typographical slips to correct: "(Y1,,···, Yn)" in Theorem 2.4, "τ-exeptional" in Corollary 2.6, and "arizes" in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No construction-level circularity: the BHM/classical mutation comparison is a genuine transfer theorem, and the heavy dependence on the author's earlier work is a verification burden rather than a circular reduction.

full rationale

The derivation chain is not circular in the sense defined here. Theorem 3.16 asserts a commutativity statement, phi_i(Lambda tensor M) = Lambda tensor sigma_i(M); this statement is not contained in, nor equivalent to, any of the imported results. The premises imported from [Non25] are parameter-free structural theorems: Theorem 2.5 ([Non25, Thm. 5.10]) is a bijection between (tau-)exceptional sequences over kQ and tau-exceptional sequences over Lambda, and Theorem 1.8 ([Non25, Thm. 4.10]) describes tau-perpendicular subcategories as module categories of the form mod R tensor Q'. Neither theorem assumes the target mutation comparison, and the paper supplies real transfer arguments (Propositions 3.17, 3.19, 3.21) to deduce the comparison from those ingredients. The paper is not self-contained at those joints, since it quotes rather than reproves substantial results from the same author's preprint, but self-citation to a prior parameter-free theorem is not the same as defining the conclusion in terms of the input. There are no fitted parameters renamed as predictions, no uniqueness theorem used to forbid alternatives, and no ansatz smuggled in via citation. The correct concern is one of verification and dependency, not circularity, so the score is 0.

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

No free parameters or invented entities appear. The central result is built on imported structural theorems about R⊗kQ, mostly from the same-author preprint [Non25]; these are listed explicitly as axioms/domain assumptions since they are not re-proven here.

assumptions (5)
  • domain assumption Induction Λ⊗kQ- gives a bijection between (τ-)exceptional sequences in mod kQ and τ-exceptional sequences in mod Λ ([Non25, Thm. 5.10], restated as Thm. 2.5).
    Load-bearing black box imported from the author's earlier preprint; it lets every τ-exceptional sequence over Λ be written as Λ⊗M.
  • domain assumption Every τ-perpendicular subcategory of mod Λ is equivalent to mod R⊗kQ' for an acyclic quiver Q' ([Non25, Thm. 4.10], restated as Thm. 1.8).
    Used in the proof of Theorem 3.16 to apply the pair-level propositions inside iterated τ-perpendicular categories.
  • domain assumption The bijections E_U are compatible with induction: E_{Λ⊗U}(Λ⊗V) ≅ Λ⊗E_U(V) ([Non25, Prop. 6.14], restated as Prop. 1.6).
    Used throughout Propositions 3.19 and 3.21 to transfer BHM mutation computations from kQ to Λ.
  • standard math The braid group acts transitively on complete exceptional sequences over a hereditary algebra kQ ([CB92, Rin94]).
    Background fact used to derive Corollary 3.22.
  • standard math The braid group acts transitively on complete R-exceptional sequences of pointwise constant rank over RQ ([CB24, Thm. 4.2]).
    Used in Section 4 to give an independent proof of transitivity for τ-exceptional sequences.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mutation of $\tau$-exceptional sequences for acyclic quivers over local algebras." pith.science (2026). https://pith.science/paper/CEVTKGA7

@misc{pith2026250522770,
  author       = {Pith},
  title        = {Pith review of: Mutation of $\tau$-exceptional sequences for acyclic quivers over local algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CEVTKGA7}},
  note         = {Machine review of arXiv:2505.22770}
}
abstract

Let $k$ be an algebraically closed field. Let $R$ be a local commutative finite dimensional $k$-algebra and let $Q$ be a quiver with no loops or oriented cycles. We show that mutation of $\tau$-exceptional sequences over $\Lambda = R\otimes_k kQ \cong RQ$ in the sense of Buan, Hanson, and Marsh coincides with the classical mutation of exceptional sequences defined by Crawley-Boevey and Ringel. In particular, the braid group acts transitively on the set of complete $\tau$-exceptional sequences in $\text{mod }{\Lambda}$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

12 extracted references · 7 canonical work pages

  1. [1]

    Exceptional sequences in semidistributive lattices and the poset topology of wide subcategories

    Mutation graph of complete τ-exceptional sequences in mod Λ. [BH22] Emily Barnard and Eric J Hanson. Exceptional sequences in semidistributive lattices and the poset topol- ogy of wide subcategories. arXiv:2209.11734. To appear in J. Pure Appl. Algebra.,

    work page Pith review arXiv

  2. [9]

    $\tau$-exceptional sequences for representations of quivers over local algebras

    [Non25] Iacopo Nonis. τ-exceptional sequences for representations of quivers over local algebras. arXiv preprint arXiv:2502.15417,

    work page Pith review arXiv

  3. [11]

    A geometric perspective on the $\tau$-cluster morphism category

    [STTW23] Sibylle Schroll, Aran Tattar, Hipolito Treffinger, and Nicholas J Williams. A geometric perspective on the τ-cluster morphism category. arXiv:2302.12217,

    work page Pith review arXiv

  4. [12]

    Representation-finite tensor product algebras

    [Wan24] Qi Wang. Representation-finite tensor product algebras. arXiv preprint arXiv:2407.11363,

    work page Pith review arXiv

  5. [1989]

    Two-term silting and τ-cluster morphism categories

    [Bør21] Erlend D Børve. Two-term silting and τ-cluster morphism categories. arXiv preprint arXiv:2110.03472,

    arXiv

  6. [1994]

    Tensor products of higher APR tilting modules

    [Lu22] Xiaojian Lu. Tensor products of higher APR tilting modules. arXiv:2211.04962,

    work page Pith review arXiv

  7. [1999]

    Buchsbaum, Reprint of the 1956 original

    With an appendix by David A. Buchsbaum, Reprint of the 1956 original. MUTATION OFτ-EXCEPTIONAL SEQUENCES FOR ACYCLIC QUIVERS OVER LOCAL ALGEBRAS 19 [DIJ19] Laurent Demonet, Osamu Iyama, and Gustavo Jasso. τ-tilting finite algebras, bricks, and g-vectors. Int. Math. Res. Not. IMRN, (3):852–892,

    work page 1956

  8. [2009]

    Igusa and G

    [IT17] K. Igusa and G. Todorov. Signed exceptional sequences and the cluster morphism category. preprint arXiv:1706.02041v1 [math.RT],

    arXiv

Show all 12 references
  1. [2017]

    Picture groups of finite type and cohomology in type An

    [ITW16] Kiyoshi Igusa, Gordana Todorov, and Jerzy Weyman. Picture groups of finite type and cohomology in type An. arXiv:1609.02636,

    arXiv

  2. [2023]

    [BHM24] Aslak B Buan, Eric J Hanson, and Bethany R. Marsh. Mutation of τ-exceptional pairs and sequences. arXiv:2402.10301,

    arXiv

  3. [2024]

    Mutating ordered τ-rigid modules with appli- cations to Nakayama algebras

    [BKT25] Aslak B Buan, Maximilian Kaipel, and Håvard U Terland. Mutating ordered τ-rigid modules with appli- cations to Nakayama algebras. arXiv preprint arXiv:2501.13694,

    arXiv

  4. [2025]

    The braid group action on the set of exceptional sequences of a hereditary Artin algebra

    [Rin94] Claus Michael Ringel. The braid group action on the set of exceptional sequences of a hereditary Artin algebra. In Abelian group theory and related topics (Oberwolfach, 1993), volume 171 of Contemp. Math., pages 339–352. Amer. Math. Soc., Providence, RI,

    1993

Pith tools

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