Pith. sign in

REVIEW 3 major objections 4 minor 16 references

Enumerating iterated tilted algebras in type $A$

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that iterated tilted algebras of type A_n are classified, up to isomorphism, by non-crossing spanning trees of a convex (n+1)-gon taken up to cyclic rotation.

desk verdict A genuinely new bijection between iterated tilted algebras in type A_n and rotation classes of non-crossing spanning trees, with a solid combinatorial core but a load-bearing relation rule imported from an unpublished preprint. read the letter →

arxiv 2608.08222 v1 pith:BBYYMVSY submitted 2026-08-08 math.RT math.CO

Alexander E. Black , Jonathan E. Gordon , Ray Maresca This is my paper · ORCID
classification math.RTmath.CO MSC 16G2005E10
keywords iteratedtiltedalgebrastypeAquiversexceptionalcollectionsnon-crossingspanningtreesgentletreeHom-Extquivertiltingtheoryrotationclasses
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 iterated tilted algebras of type $A_n$ — algebras obtained by repeatedly taking endomorphism rings of tilting modules over a hereditary path algebra — are classified, up to isomorphism, by non-crossing spanning trees on a convex $(n+1)$-gon taken up to cyclic rotation. Since the number of such rotation classes was already known, this yields a closed formula for the number of isomorphism classes in type $A_n$. The result matters because it turns an algebraic classification into a purely combinatorial one and supplies the missing count for the classical gentle-tree description of these algebras. For a reader, the payoff is an explicit dictionary: each isomorphism class of algebras carries a unique rotation class of tree, and the Hom–Ext quiver of the associated exceptional collection is exactly the quiver read off from the tree's local cyclic order.

What carries the argument

The central object is the function $F$, which assigns to any non-crossing spanning tree $T$ of the $(n+1)$-gon a quiver with relations whose vertices are the edges of $T$: at each polygon vertex, the incident tree edges are listed in counterclockwise order and become arrows in that order, and a length-two path is declared zero exactly when its two arrows come from two different polygon vertices. The load-bearing theorem is Theorem 4.14, which says that $F(T)$ and $F(T')$ are isomorphic as quivers with relations if and only if $T$ and $T'$ differ by a cyclic rotation, and that every such isomorphism is induced by the rotation. This $F$ carries the argument because Proposition 4.4 identifies $F(T(\chi))$ with the Hom–Ext quiver of the exceptional collection $\chi$, so the rotation-classification of trees becomes the isomorphism-classification of Hom–Ext quivers, and hence of iterated tilted algebras.

What would settle it

Find two non-crossing spanning trees of the same $(n+1)$-gon that are not related by a cyclic rotation but whose $F(T)$ quivers with relations are isomorphic; Theorem 4.14 predicts such a pair cannot exist. Concretely, enumerate all non-crossing spanning trees of the hexagon ($n=5$), compute $F(T)$ for each, and check whether the number of isomorphism classes of $F(T)$ equals the number of rotation classes of trees.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.15: isomorphism classes of iterated tilted algebras in type $A_n$ are in bijection with non-crossing spanning trees on a convex $(n+1)$-gon up to rotation, and the number of such classes is given by a closed formula splitting into even and odd $n$. The proof assembles a chain of known bijections: complete exceptional collections in $\mathrm{mod}\,\Lambda$ correspond to non-crossing spanning trees via the chord model; shift-equivalence classes of simple-minded collections and of hearts correspond to exceptional collections; Ext quivers of hearts correspond to graded gentle trees; and gentle tree algebras are exactly iterated tilted algebras. The new step is Theorem 4.14: two complete exceptional collections have isomorphic Hom–Ext quivers if and only if their trees differ by a cyclic rotation of the polygon, and every such isomorphism is induced by that rotation. This makes the algebraic relation 'same Hom–Ext quiver' coincide exactly with the geometric relation 'same rotation class of tree.'

Load-bearing premise

The load-bearing premise is Proposition 4.4's rule: a two-arrow path in the Hom–Ext quiver is zero exactly when its two arrows are read at two different polygon vertices; this rule is imported from an unpublished manuscript, and if it is wrong the classification of Hom–Ext quivers by rotation classes collapses.

Editorial extensions

If this is right

  • The number of isomorphism classes of iterated tilted algebras of a type $A_n$ quiver is exactly the count of non-crossing spanning trees of the $(n+1)$-gon up to rotation, with the stated even/odd formula.
  • Two complete exceptional collections in $\mathrm{mod}\,\Lambda$ have isomorphic Hom–Ext quivers precisely when their polygon trees are rotations of one another, so rotation classes label Hom–Ext quiver isomorphism classes.
  • The classical classification of iterated tilted algebras as gentle tree algebras now comes with an explicit count and with a canonical choice of the $I^+$ ideal in every isomorphism class.
  • The number of complete exceptional sequences in type $A_n$ can be written as the Coxeter number $n+1$ times a sum over Hom–Ext quiver isomorphism classes of linear-extension counts divided by automorphism-group sizes (Theorem 4.16).
  • For a fixed tree $T$, the stabilizer of $T$ under cyclic rotation is naturally isomorphic to the automorphism group of $F(T)$, so rotation-symmetries of the tree are exactly quiver automorphisms.

Reading between the lines

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

  • The same strategy—encode an exceptional collection as a geometric tree and prove that Hom–Ext quiver isomorphism is exactly a geometric symmetry—may generalize to other Dynkin types, where the role of the polygon tree would be played by some other non-crossing combinatorics; the paper raises this question but does not settle it.
  • If the relation-generation statement from the cited unpublished source were replaced or corrected, the classification would remain valid as long as the 'two vertices iff zero' rule survives; the reinsertion lemma shows that this rule is what forces uniqueness of the isomorphism, so any change to it would directly alter the counting.
  • A computational check for small $n$ (e.g. $n=5$, the hexagon) enumerating all non-crossing spanning trees up to rotation and comparing their $F(T)$ quivers would independently confirm the bijection and the formula; such a check is a natural test of the paper's inductive reconstruction.
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

3 major / 4 minor

Summary. The paper claims that isomorphism classes of iterated tilted algebras of type A_n are in bijection with non-crossing spanning trees of a convex (n+1)-gon up to cyclic rotation, and hence are counted by OEIS A296532. The argument proceeds by assembling a chain of bijections: iterated tilted algebras correspond to gentle trees, gentle trees correspond to Ext quivers of hearts, Ext quivers correspond to Hom-Ext quivers of complete exceptional collections, and, in type A_n, these Hom-Ext quivers are classified by rotation classes of non-crossing spanning trees. The latter classification is the paper's main new combinatorial contribution, proved via an explicitly defined quiver-with-relations F(T) and an inductive reconstruction theorem.

Significance. If the main results are correct, the paper fills a genuine gap by giving the first count of iterated tilted algebras in type A_n, and it does so through an attractive bridge between representation theory and polygon combinatorics. The combinatorial core, Theorem 4.14, is proven by a clear induction and is checkable in isolation; the definition of F(T) is simple and the rotation classification is a clean statement. The paper also makes good use of Araya's geometric model. However, the central identification of Hom-Ext quivers with F(T) is not self-contained, because it imports a relation-generation theorem from the unpublished preprint [IM25], and the earlier bridge Lemma 3.1 is only sketched. The main classification is therefore conditional on an external result whose hypotheses and proof are not reproduced here.

major comments (3)
  1. [1.5, Proposition 4.4] The relation comparison in Proposition 4.4 is load-bearing but not self-contained. The proof invokes [IM25] for the statement that relations in a Hom-Ext quiver are generated by length-two compositions of irreducible arrows that vanish, and the definition of the Hom-Ext quiver in Section 1.5 also defers to [IM25]. Since the paper uses an ungraded variant of that quiver and the generation theorem is neither stated nor proved, Theorem 4.1—and hence Theorem 4.15—is reliable only to the extent that [IM25] is correct and applies verbatim. The authors should either state and prove the generation theorem in the setting used here, or clearly label it as an imported external assumption.
  2. [3, Lemma 3.1] The inverse construction in Lemma 3.1 is too compressed for a step that carries the bijection between Hom-Ext quivers of exceptional collections and ungraded Ext quivers of hearts. In particular, the claim that a zero composition together with a direct arrow in Q(S) would contradict the tree property via Theorem 1.1 is asserted without proof, and the operation that removes arrows and adds relations is not shown to be independent of choices or to induce a well-defined bijection on isomorphism classes. Since Lemma 3.1 is needed for Theorem 3.4, a fuller proof or a precise reference for this inversion is required.
  3. [4.7, Theorem 4.16] The formula for the number of complete exceptional sequences inherits the same external dependency: the proof uses [IM25, Theorem 3.4] to identify exceptional sequences with linear extensions of a partial order on (Q_chi, R_chi). If the relation-generation theorem of [IM25] is unavailable or inapplicable to the ungraded Hom-Ext quivers used in this paper, Theorem 4.16 is not established. This is a secondary result, but it should be marked as conditional or given a self-contained proof.
minor comments (4)
  1. [4.1] The polygon orientation changes from "counterclockwise" in Section 1.1 to "clockwise" at the start of Section 4.1 without comment; since the arrow rule and the right-hand rule in Remark 4.3 depend on orientation, the two conventions should be explicitly reconciled.
  2. [3, Lemma 3.1] The phrase "By Araya's definition, defined in Section 1.1" should refer to a specific numbered statement, such as Araya's Lemma 3.2, rather than a prose definition.
  3. [4.6, Theorem 4.15] The formula is quoted from OEIS A296532 but no citation or reference to the sequence entry is given; please add one, and indicate whether the formula is taken as known or derived in this paper.
  4. [1.1] The notation for interval modules X_{i,j} is clear, but later in Section 4 variables such as p, q, and r are used for polygon vertices without restating their ranges; a short remark that all such indices are taken modulo n+1 would improve readability.

Circularity Check

1 steps flagged · score 4.0 of 10

One load-bearing step imports the Hom–Ext relation-generation theorem from the authors' unpublished [IM25]; the rest of the classification has independent combinatorial content.

  1. self citation load bearing [Section 4.2, proof of Proposition 4.4 (relation comparison); see also Section 1.5 and Definition 4.2.]
    "By [IM25], the relations in the Hom-Ext quiver are generated by length-two compositions of irreducible arrows that vanish. Consider a length-two path e→f→g in (Q_χ, R_χ)."

    The relation-generation statement is the load-bearing bridge from the Hom-Ext quiver (Qχ,Rχ) to the combinatorial quiver F(T(χ)): Proposition 4.4 needs to know that every relation is a length-two composition of irreducible arrows before it can check the p=q/p≠q criterion. That statement is not proved here; it is imported from [IM25], an unpublished preprint whose second author is the present coauthor Maresca. Thus the central identification F(T(χ)) ≅ (Qχ,Rχ)—and hence Theorem 4.1 and the count in Theorem 4.15—rests on a same-author citation rather than on a derivation contained in this paper.

full rationale

Most of the derivation chain is self-contained or uses external published results. Araya's bijection [Ara13] and the OEIS count are external; Theorem 4.14 is proven by induction on boundary-leaf deletion without invoking [IM25]. The only serious same-author dependency is the relation-generation theorem of [IM25] used in Proposition 4.4. That is a verification gap—the preprint is unpublished and coauthored by Maresca—and it is load-bearing for the central bijection. It is not, however, a fitted-input-as-prediction or a definitional identity: no parameter is fit, and the relation rule of F(T) is a genuine combinatorial condition checked against vanishing Hom/Ext spaces. The [Mar24] citations are also self-citations but are corroborated by independent [KY14], [SPP22], and [BRT12] in the same argument. Overall score 4 reflects one load-bearing self-citation with substantial independent content elsewhere.

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

The central claim depends on a chain of known classification and correspondence theorems (Gabriel, Araya, Qiu, Koenig-Yang, Assem-Happel) and on two results from co-authored, unpublished sources ([Mar24], [IM25]). No ad hoc parameters or invented entities are introduced.

assumptions (7)
  • standard math Gabriel's theorem: indecomposable modules of a type A_n quiver are interval modules, matching chords of an (n+1)-gon.
    Invoked in Section 1.1 to identify indecomposable modules with chords and to use Araya's geometric model.
  • domain assumption Araya's Theorem 2.5: complete exceptional collections correspond bijectively to non-crossing spanning trees of the (n+1)-gon.
    Used throughout Section 4 as the bridge between modules and trees; stated as Theorem 1.1.
  • domain assumption Qiu's Theorem 2.11: Ext quivers of hearts of bounded t-structures are precisely associated quivers of graded gentle trees.
    Used in Lemma 3.3 to relate Ext quivers of hearts to gentle trees; stated as Theorem 1.7.
  • domain assumption Koenig-Yang correspondence: simple-minded collections, silting objects, algebraic t-structures, and co-t-structures are in bijection.
    Used in Lemma 3.1 to pass from hearts to simple-minded collections; stated as Theorem 1.3.
  • domain assumption Maresca's Theorem 1.4: shift-equivalence classes of simple-minded collections, exceptional collections, and shift-equivalence classes of algebraic t-structures are in bijection.
    Key for Lemma 3.1 and Theorem 3.4; this is a self-cited PhD thesis result, with independent support from [SPP22] and [BRT12].
  • domain assumption [IM25] results: relations in Hom-Ext quivers are generated by zero length-two compositions of irreducible arrows, and the linear extension formula for exceptional sequences.
    Used in Proposition 4.4 and Theorem 4.16; [IM25] is an unreviewed preprint co-authored by Maresca.
  • domain assumption The formula for the number of non-crossing spanning trees of the (n+1)-gon up to rotation (OEIS A296532).
    Used as the counting input in Theorem 4.15; the bijection transfers this known count to iterated tilted algebras.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Enumerating iterated tilted algebras in type $A$." pith.science (2026). https://pith.science/paper/BBYYMVSY

@misc{pith2026260808222,
  author       = {Pith},
  title        = {Pith review of: Enumerating iterated tilted algebras in type $A$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BBYYMVSY}},
  note         = {Machine review of arXiv:2608.08222}
}
abstract

We show that isoclasses of iterated tilted algebras in type $A_n$ are in bijection with non-crossing spanning trees up to rotation on a convex n+1-gon. This is done by constructing a relationship between iterated tilted algebras up to isomorphism and exceptional sets up to isomorphic Hom-Ext quiver.

Figures

Figures reproduced from arXiv: 2608.08222 by the authors.

Figure 1
Figure 1. The bijection between isoclasses of iterated tilted algebras in type An and non-crossing spanning trees on a convex n + 1-gon We begin by establishing bijection 1 in [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. An indecomposable interval module X0,2 and its associated chord c0,2 in the 4-gon. Under this bijection, exceptional pairs admit the following geometric characterization [Ara13, Lemma 3.2]: for indecomposable modules X = Xi,j and Y = Xi ′ ,j′ with associ￾ated chords c(X) and c(Y ), (1) if c(X) and c(Y ) are disjoint, then both (X, Y ) and (Y, X) are exceptional pairs; (2) if c(X) and c(Y ) cross in the interior of t… view at source ↗
Figure 3
Figure 3. The three configurations of chords governing exceptional pairs. (1) HomD(A, B[−1]) = 0 (2) D = A ⋆ B[−1] (3) A[1] ⊂ A where A ⋆ B is the set of all objects E ∈ D such that there is a distinguished triangle X → E → Y → X[1] with X ∈ A and Y ∈ B. We call a t-structure bounded if D = [ i∈Z A[i] = [ i∈Z B[i]. The heart of a t-structure (A, B) is the full subcategory A ∩ B. A bounded t-structure is algebraic if its heart… view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: illustrates the function F for type A3, showing two of the four total rotation classes of non-crossing spanning trees for the square together with their associated Hom– Ext quivers. Remark 4.3 (Right-hand-rule). Both the arrow rule and the relation rule can be remem￾be…
Figure 5
Figure 5. Figure 5: Deletion of the boundary leaf edge s (red) from T removes the vertex 0, and the remaining vertices are relabeled to preserve cyclic order, giving T/s. Lemma 4.10. Let s be a boundary leaf edge of T. Then F(T/s) is obtained from F(T) by deleting the vertex s and its uni…
Figure 6
Figure 6. Figure 6: Example reinsertion of tree from [PITH_FULL_IMAGE:figures/full_fig_p019_6.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

  1. [1]

    Generalized tilted algebras of type

    Assem, Ibrahim and Happel, Dieter , journal=. Generalized tilted algebras of type. 1981 , publisher=

    work page 1981

  2. [2]

    Unzerlegbare

    Gabriel, Peter , journal=. Unzerlegbare. 1972 , publisher=

    1972

  3. [3]

    2024 , school=

    Exceptional Collections, Clusters, t-Structures, and the Relationship Between Them , author=. 2024 , school=

    work page 2024

  4. [4]

    Ext-quivers of hearts of

    Qiu, Yu , journal=. Ext-quivers of hearts of. 2013 , publisher=

    work page 2013

  5. [5]

    Iterated tilted algebras of type

    Assem, Ibrahim and Skowro. Iterated tilted algebras of type. Mathematische Zeitschrift , volume=. 1987 , publisher=

    work page 1987

  6. [6]

    Iterated tilted algebras of types

    Assem, Ibrahim , journal=. Iterated tilted algebras of types. 1983 , publisher=

    work page 1983

  7. [7]

    Documenta Mathematica , volume=

    Derived equivalences between skew-gentle algebras using orbifolds , author=. Documenta Mathematica , volume=

    work page

  8. [8]

    Mathematische Zeitschrift , volume=

    From m-clusters to m-noncrossing partitions via exceptional sequences , author=. Mathematische Zeitschrift , volume=. 2012 , publisher=

    work page 2012

Show all 16 references
  1. [9]

    Communications in Algebra , volume=

    Iterated tilted algebras of affine type , author=. Communications in Algebra , volume=. 1987 , publisher=

    1987

  2. [10]

    Combinatorics of exceptional sequences in type

    Garver, Alexander and Igusa, Kiyoshi and Matherne, Jacob P and Ostroff, Jonah , journal=. Combinatorics of exceptional sequences in type

  3. [11]

    Exceptional sequences over path algebras of type

    Araya, Tokuji , journal=. Exceptional sequences over path algebras of type. 2013 , publisher=

    2013

  4. [12]

    Documenta Mathematica , volume=

    Silting objects, simple-minded collections, t -structures and co- t -structures for finite-dimensional algebras , author=. Documenta Mathematica , volume=

  5. [13]

    arXiv preprint arXiv:1307.7573 , year=

    The number of complete exceptional sequences for a Dynkin algebra , author=. arXiv preprint arXiv:1307.7573 , year=

    arXiv

  6. [14]

    Igusa, Kiyoshi and Maresca, Ray , journal=. The

  7. [15]

    Compositio Mathematica , volume=

    Functorially finite hearts, simple-minded systems in negative cluster categories, and noncrossing partitions , author=. Compositio Mathematica , volume=. 2022 , publisher=

    2022

  8. [16]

    Classification silted algebras for a quiver of Dynkin type

    Liu, Yu-Zhe and Zhang, Houjun , journal=. Classification silted algebras for a quiver of Dynkin type

Pith tools

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