Pith. sign in

REVIEW 3 major objections 5 minor 26 references

A geometric model for the non-$\tau$-rigid modules of type $\widetilde{D}_n$

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

Pith's one-line read For affine type D-tilde-n, every indecomposable module is represented by a colored curve in a twice-punctured disk, and the intersection number of two curves equals the two-way dimension of the extension spaces between the modules.

desk verdict A plausible and genuinely new geometric model for non-tau-rigid modules of type ~D_n, but the central quiver isomorphism is asserted, not proven. read the letter →

arxiv 2507.02218 v2 pith:UWXR5CZR submitted 2025-07-03 math.RT math.CO

classification math.RTmath.CO MSC 16G7013F6016G2005E10
keywords geometricmodelnon-tau-rigidmodulesaffinetype\widetilde{D}_nintersection-dimensionformulacoloredadmissibletaggededgesstabletubesAuslander-Reitenquivertwice-punctureddisk
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 claims that the module category of an acyclic path algebra of affine type $\widetilde D_n$ can be drawn on a twice-punctured disk with $(n-2)$ marked boundary points. Previous geometric models covered the rigid modules and the types $A_n$, $D_n$, and $\widetilde A_n$, but left out the regular modules, which are exactly the non-$\tau$-rigid modules that tilting theory tends to ignore. The new ingredient is a color $\lambda\in \mathbb P^1\cup\{-\infty\}$ on each admissible tagged edge, one color per stable tube, so that curves living in different tubes do not intersect. The payoff is the intersection-dimension formula: for any two modules $M_1,M_2$ represented by colored edges, the geometric intersection number of the two curves equals $\dim_k \mathrm{Ext}^1(M_1,M_2)+\dim_k \mathrm{Ext}^1(M_2,M_1)$, so extension dimensions become a counting problem.

What carries the argument

The machinery is the category $\mathcal E(T)$ of colored admissible tagged edges in the twice-punctured disk, together with the tagged rotation $\rho$ and the six classes of elementary moves that generate the arrows of the quiver $\Gamma(\mathcal E(T))$. An admissible tagged edge is a curve that is properly embedded, not null-homotopic, not homotopic to a boundary segment, and not allowed to cut out a once-punctured monogon; the color $\lambda\in \mathbb P^1\cup\{-\infty\}$ records which stable tube a regular module belongs to, and edges of distinct non-$-\infty$ colors are declared to have intersection number zero. The tagged rotation $\rho$ is the geometric analogue of the Auslander-Reiten translation, and the elementary moves are the geometric analogues of the middle terms of almost split sequences. The quiver isomorphism $\varphi$ is defined on the mouth vertices of stable tubes by matching a module's dimension vector to the intersection numbers of its curve with the triangulation, then extended recursively along arrows; the mesh relations in $\mathcal E(T)$ play the role of the Auslander-Reiten mesh relations.

What would settle it

Fix an acyclic triangulation $T$ of the twice-punctured disk with $(n-2)$ boundary marked points. For each indecomposable module $M$ in a stable tube, compute the vector $(\operatorname{Int}((\gamma,\kappa,\lambda), i))_{i\in T}$ for the curve the paper assigns to $M$ and compare it with $\dim M$. If any module's dimension vector is not realized by an admissible edge, or if two non-isomorphic modules are assigned the same curve, then the quiver isomorphism $\varphi$ fails and the intersection-dimension formula of Theorem A does not hold for those modules.

Watch

Extended reading notes

Core claim

The central claim is Theorem A. For a triangulation $T$ of a twice-punctured disk with $(n-2)$ boundary marked points whose quiver $Q_T$ is an acyclic orientation of type $\widetilde D_n$, every indecomposable finite-dimensional module over $kQ_T$ is represented by a colored admissible tagged edge $(\gamma,\kappa,\lambda)$, and for any two such edges, $\operatorname{Int}((\gamma_1,\kappa_1,\lambda_1),(\gamma_2,\kappa_2,\lambda_2))=\dim_k\operatorname{Ext}^1(M_1,M_2)+\dim_k\operatorname{Ext}^1(M_2,M_1)$. The paper further claims that the correspondence $\varphi\colon \Gamma(\operatorname{mod} kQ_T)\to \Gamma(\mathcal E(T))$ is an isomorphism of quivers that sends the Auslander-Reiten translation $\tau$ to the tagged rotation $\rho$, so the entire combinatorial skeleton of the module category, including the infinitely many homogeneous stable tubes of the regular component, is mirrored in the disk.

Load-bearing premise

The result rests on the claim that every indecomposable module is matched to exactly one curve, with the curve's intersection counts against the fixed triangulation equal to the module's dimension vector at every position in the Auslander-Reiten quiver, not only at the mouths of the stable tubes; if that matching ever identifies two different modules or loses a module, Theorem A stops being a statement about modules.

Editorial extensions

If this is right

  • For any two modules, the number $\dim_k\operatorname{Ext}^1(M_1,M_2)+\dim_k\operatorname{Ext}^1(M_2,M_1)$ can be computed by drawing two curves and counting intersections; no extension calculation is needed.
  • The Auslander-Reiten quiver of $kQ_T$ is isomorphic, as a quiver, to the quiver of admissible edges, so the irreducible-morphism combinatorics of the module category is displayed directly in the disk.
  • Modules in different stable tubes have zero intersection and zero extension dimensions, because their curves carry different colors and are declared non-intersecting.
  • The regular modules, which are not $\tau$-rigid and are invisible to tilting theory, are included in the model, so homological questions about the entire module category of type $\widetilde D_n$ become geometric questions.
  • Because intersection numbers are invariant under the tagged rotation, computations for non-projective modules can be moved along the Auslander-Reiten quiver to simpler representatives, matching the $\tau$-invariance of $\mathrm{Ext}^1$.

Reading between the lines

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

  • An implication the paper leaves implicit is that if the recursive definition of $\varphi$ can be made fully explicit, the same 'dimension vector equals intersection vector' check would give a direct bijective proof of the quiver isomorphism for the whole Auslander-Reiten quiver, not just for the tube mouths.
  • The coloring idea should transfer to other affine types whose regular components split into infinitely many disjoint tubes: assign each tube a distinct point of $\mathbb P^1$ and declare different colors non-intersecting, and the same intersection-dimension formula would hold whenever a surface model exists.
  • A testable extension is to use the model as a combinatorial filter for $\tau$-rigidity: since $\mathrm{Ext}^1$ dimensions are intersection counts, a module is $\tau$-rigid exactly when its curve has controlled self- and mutual intersections, so one could read off the support $\tau$-tilting data of the regular component from the disk.
  • The paper leaves open whether the quiver isomorphism can be upgraded to an equivalence of additive categories, with elementary moves and mesh relations matching irreducible morphisms and Auslander-Reiten sequences; such a categorification would make the geometric model a full replacement for the module category rather than only its quiver.
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 / 5 minor

Summary. The paper proposes a geometric model for the indecomposable modules, in particular the non-τ-rigid regular modules, over path algebras of acyclic quivers of type \widetilde{D}_n. The model consists of colored admissible tagged edges in a twice-punctured disk with (n−2) boundary marked points, together with a quiver Γ(E(T)) of such edges. The central result, Theorem A (Corollary 7.3), claims an intersection-dimension formula: for two colored admissible edges (γ1,κ1,λ1) and (γ2,κ2,λ2), the intersection number Int((γ1,κ1,λ1),(γ2,κ2,λ2)) equals dim_k Ext^1(M1,M2)+dim_k Ext^1(M2,M1), where M_i are the modules corresponding under a quiver isomorphism φ: Γ(mod kQ_T) → Γ(E(T)) defined in Section 6. The proof of Theorem A is split into Lemma 7.1 (preprojective versus arbitrary modules) and Lemma 7.2 (regular-regular modules), with the remaining cases handled by duality and known vanishing statements.

Significance. If established, the model would fill a genuine gap in the geometric modeling of module categories over Euclidean quivers: previous work covered types A_n, D_n, \widetilde{A}_n, and the τ-rigid modules of type \widetilde{D}_n, but not the non-τ-rigid regular modules. The idea of adding a color λ to admissible edges in order to separate infinitely many stable tubes is natural and is the right kind of move for the problem. However, the main theorem is not proven as written: the quiver isomorphism φ of Definition 6.1 is asserted rather than proved, and the regular-regular case in Lemma 7.2 relies on 'visual inspection'. Both points are load-bearing for the claimed correspondence between geometry and homological algebra, so the paper needs substantial revision before the central claim can be accepted.

major comments (3)
  1. [Definition 6.1] The quiver isomorphism φ is load-bearing but is not proved. The recursive definition assumes that for each arrow [M]→[N] there is a unique admissible edge (γ,κ,λ) such that dim[N] equals (Int((γ,κ,λ),i))_{i∈T} and such that the required arrow from φ([M]) exists. No argument is given for existence, uniqueness, or bijectivity; the text says only 'It should be clear from the constructions' and then asserts that φ 'must define an isomorphism of quivers'. The injectivity concern is concrete: by Definition 4.7, all triangulation edges have color −∞ and intersections with them are independent of the color λ, so the condition dim[M]=(Int(...)) cannot by itself distinguish among infinitely many colorings of the same underlying tagged edge. The recursion carries λ along geometric arrows, but no proof rules out different paths assigning different colored edges to the same module [M]. Since Lemmas 7.1 and 7.2 use φ^{-1} and Theorem A is stated in terms of 'corresponding modules', this gap undermines the central claim.
  2. [Lemma 7.2] The same-tube case is not proved. After correctly noting that distinct colors give zero on both sides, the proof says that since modules in a stable tube are uniserial, dim_k Ext^1 can be calculated combinatorially, and then 'by construction (and visual inspection)' the intersection number between two admissible edges follows exactly the same pattern. This is not a proof of the claimed equality. What is needed is an explicit verification that the intersection numbers of admissible edges in each of the three types of regular tubes (rank 2, rank n−2, and rank 1) reproduce the extension dimensions dictated by the uniserial composition series; such a verification should include the exceptional tubes T_0, T_1, T_∞ and the homogeneous tubes. As written, the regular-regular case of Theorem A is left to inspection rather than demonstrated.
  3. [Lemma 7.1] The proof of the preprojective case has an unhandled subcase. The argument applies τ^{n+1} to both modules and asserts that if τ^{n+1}M2≠0 then the chain of equalities follows. If M2 is preinjective, τ^{n+1}M2 may be 0, and the proof does not explain why the equality Int(ρ^{n+1}(γ1),ρ^{n+1}(γ2)) = dim_k Hom(P(j),τ^{n+1}M2) is still valid when the right-hand side is interpreted with τ^{n+1}M2=0. In addition, the claim that 'by our assumption that M1 is to the left of M2, Ext^1(M1,M2)=0' needs a justification in terms of the Auslander-Reiten structure of the preprojective component; this is plausible but not automatic for arbitrary preprojective pairs. These steps are part of the proof of Theorem A and should be completed.
minor comments (5)
  1. [Lemma 7.1] In the final line of the proof, 'the last inequality follows from the Auslander-Reiten formulas' should read 'the last equality follows from the Auslander-Reiten formulas'.
  2. [Definition 5.4] In case (6), the condition 'ρ^1(γ)=γ' is better written as 'ρ(γ)=γ' for consistency with the notation introduced in Definition 4.14.
  3. [Remark 4.13] The sentence 'ϑγϑ is homotopic to γ' mixes the left and right poliwhirl notations without a definition of their composition; please clarify whether this is intended to be (ϑγ)ϑ or γϑ and spell out the homotopy.
  4. [Figure 1] Figure 1 is a schematic diagram of the Auslander-Reiten quiver but is not labeled with the components P(T), Q(T), and R(T); adding such labels would help the reader connect the figure to Definitions 3.7 and 5.2.
  5. [Theorem 5.1] The citation 'Proposition 2.10 of [9]' should be checked against the published version of Fomin-Shapiro-Thurston, since the numbering of propositions differs between the preprint and the journal version.

Circularity Check

3 steps flagged · score 6.0 of 10

Definition 6.1 stipulates the module–curve bijection, distinct-tube zero is fitted to known Ext vanishing, and the same-tube equality in Lemma 7.2 is asserted “by construction” rather than derived.

  1. self definitional [Definition 6.1, Section 6 (used in Lemmas 7.1–7.2 and Corollary 7.3)]
    "Define φ([M]) = (γ, κ, λ) where dim[M] = (Int((γ, κ, λ), i))_{i∈T} and (γ, κ, λ) also sits at the mouth of a stable tube. … We define φ on the remaining vertices of the Auslander-Reiten quiver recursively: if there is an arrow [M]→[N] in Γ(mod kQ_T), an arrow φ([M])→(γ, κ, λ) in Γ(E(T)), and dim [N] = (Int((γ, κ, λ), i))_{i∈T}, then define φ([N]) = (γ, κ, λ). … It should be clear from the constructions in the previous sections and the definition that φ is an isomorphism of quivers."

    The quiver isomorphism φ is not proved; it is stipulated by requiring dimension vectors to equal intersection vectors and by recursively assigning edges only when such an edge already exists. No proof is given that a matching edge exists for every module, that the matching edge is unique, or that different recursive paths cannot assign two different edges to the same module. Corollary 7.3 then invokes “the correspondence φ^{-1}” as if this equivalence had been established. Thus the central module-to-curve matching is an input to the construction, and any formula “for the corresponding modules” inherits that stipulated matching rather than deriving it.

  2. fitted input called prediction [Section 4.1 and Definition 4.7 (used in Lemma 7.2, first case)]
    "It is known that there are no nonzero homomorphisms between regular modules in distinct tubes. However, the geometric model we have laid out so far will not be able to pick up on this subtle detail. To account for this, we add another decoration to our admissible tagged edges so that edges in distinct stable tubes will not intersect. … Otherwise, if −∞ ≠ λ1 ≠ λ2 ≠ −∞, we set Int((γ1, κ1, λ1),(γ2, κ2, λ2)) = 0."

    The vanishing of the intersection number for curves of distinct colors is not computed from the geometry; it is put into Definition 4.7 because the module theory already says Ext vanishes between distinct tubes. The abstract and Section 4.1 state this motivation explicitly: the coloring is added “to prevent intersections” for that reason. Lemma 7.2 then “proves” the distinct-tube case by quoting both the stipulated geometric zero and the known homological zero. In that case the intersection-dimension formula is a restatement of the chosen convention together with an external module-theoretic fact, not an independent prediction of the model.

1 more flagged steps
  1. other [Lemma 7.2, Section 7 (same-tube case)]
    "Also, by construction (and visual inspection), the intersection number between two admissible edges in the same stable tube follows exactly the same pattern as their corresponding modules."

    This is the same-tube regular-regular case, which is the paper's novel non-τ-rigid content. The proof states the desired equality in words: the geometric intersection pattern is said to match the module Ext pattern “by construction (and visual inspection)”. The preceding sentences show that Ext in a stable tube can be computed combinatorially from uniserial structure, but they do not compute the intersection number. Asserting that the two patterns coincide is exactly the content of Theorem A for this case, so the conclusion is treated as an axiom of the model rather than derived from the geometric and homological definitions.

full rationale

The paper is not entirely circular: Lemma 7.1 contains a real homological chain using the Auslander-Reiten formulas and Hom(P(j), M) ≅ M_j, and the preprojective half of the formula has independent content. Also, no load-bearing self-citation or imported uniqueness theorem drives the argument. However, the central module–curve correspondence in Definition 6.1 is defined by the very dimension-vector/intersection-vector matching that the later lemmas reuse, with only an assertion that the resulting φ is an isomorphism. The distinct-color zero in Definition 4.7 is explicitly fitted to the known vanishing of Ext between different tubes, so that part of Lemma 7.2 reduces to a convention plus a citation. Most importantly, the same-tube regular-regular case—the paper's advertised contribution for non-τ-rigid modules—is concluded “by construction (and visual inspection)” rather than proved. These are partial construction-level reductions of the claimed intersection-dimension predictions, so the paper gets a 6 rather than a clean 0–2. The score is not raised by citation issues, which are absent here; it is raised because one or more of the promised predictions reduce to the model's own stipulations.

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

The central claim rests on standard representation-theoretic structure theorems and geometric combinatorics. The color decoration and the poliwhirl are new constructions; the color has external grounding through the tube classification, while the poliwhirl is internally defined. No numerical free parameters are fitted in the paper.

assumptions (5)
  • domain assumption Classification of regular modules of \tilde{D}_n: the regular component is a disjoint union of infinitely many stable tubes indexed by λ ∈ P^1(k), with ranks 1, 1, 2, 2, and n-2.
    Invoked in Section 3 and used to define the coloring and the regular edges in Definition 5.2. Cited to Simson-Skowroński [23].
  • domain assumption Hom-vanishing between components: Hom(Q(kQ), P(kQ)) = Hom(R(kQ), P(kQ)) = Hom(Q(kQ), R(kQ)) = 0.
    Theorem 3.13 is used to restrict the proof to the cases where M is regular and N is projective or regular. It is standard but not proved in the paper.
  • standard math Auslander-Reiten formulas and the invariance of Ext^1 under the AR translation for non-projective modules (Corollary 3.12).
    These are foundational results in representation theory, used throughout Section 7 to convert intersection numbers into dimensions of Hom and Ext spaces.
  • domain assumption Fomin-Shapiro-Thurston correspondence between triangulations of marked surfaces and quiver mutations, including the fact that an acyclic triangulation of the twice-punctured (n-2)-gon gives a quiver of type \tilde{D}_n.
    This geometric background underlies the entire model, including the definition of admissible tagged edges and the quiver Q_T. Cited to [9].
  • domain assumption Acyclicity of the triangulation T, so that Q_T is an acyclic quiver.
    The paper states 'We only consider acyclic triangulations of type \tilde{D}_n' after Definition 4.9. The entire construction depends on this restriction.
invented entities (2)
  • Color λ on admissible edges independent evidence
    purpose: Label stable tubes and set Int = 0 for edges of different colors, preventing intersections between modules in distinct tubes.
    The indexing by λ ∈ P^1(k) matches the existing classification of stable tubes in the representation theory of \tilde{D}_n, so the decoration has external support. The specific geometric rule 'Int=0 if -∞ ≠ λ1 ≠ λ2 ≠ -∞' is a paper-internal convention.
  • Poliwhirl operation (variants ϑγ, γϑ, ϑ^2γ)
    purpose: Model the Auslander-Reiten translation τ on admissible edges with endpoints in punctures, especially in stable tubes of rank 1 and 2.
    The operation is defined in Definition 4.12 and its properties are asserted in Remark 4.13 and Lemma 5.10. There is no external verification that it correctly models τ; it is a new combinatorial invention of the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A geometric model for the non-$\tau$-rigid modules of type $\widetilde{D}_n$." pith.science (2026). https://pith.science/paper/UWXR5CZR

@misc{pith2026250702218,
  author       = {Pith},
  title        = {Pith review of: A geometric model for the non-$\tau$-rigid modules of type $\widetildeD_n$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UWXR5CZR}},
  note         = {Machine review of arXiv:2507.02218}
}
abstract

We give a geometric model for the non-$\tau$-rigid modules over acyclic path algebras of type $\widetilde{D}_n$. Similar models have been provided for module categories over path algebras of types $A_n, D_n,$ and $\widetilde{A}_n$ as well as the $\tau$-rigid modules of type $\widetilde{D}_n$. A major draw of these geometric models is the "intersection-dimension formulas" they often come with. These formulas give an equality between the intersection number of the curves representing the modules in the geometric model and the dimension of the extension spaces between the two modules. This formula allows us to calculate the homological data between two modules combinatorially. Since there are infinitely many distinct homogeneous stable tubes in the regular component of the Auslander-Reiten quiver of type $\widetilde{D}_n$, all of which are disjoint, our geometric data requires an extra decoration on the admissible edges in our geometric model to prevent intersections between curves corresponding to modules in distinct stable tubes of the Auslander-Reiten quiver.

Figures

Figures reproduced from arXiv: 2507.02218 by the authors.

Figure 1
Figure 1. A diagram of the Auslander-Reiten quiver for modules of type Den Definition 3.7. Let A = kQ be an irreducible hereditary algebra. Then the Auslander-Reiten quiver Γ(mod A) is defined as follows: • The vertices of Γ(mod A) are the isomorphism classes [M] of indecomposable modules M in mod A. • There is an arrow [M] → [N] in Γ(mod A) if and only if there is an irreducible morphism M → N in mod A. Auslander-Reiten sequ… view at source ↗
Figure 2
Figure 2. Meshes of the Auslander-Reiten quiver of type Den (n > 4). We now introduce a fundamental result, the Auslander-Reiten formulas, and brief definitions of the operations that appear in them. For a more in-depth treatment of these topics, see [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Non-admissible curves cutting out once-punctured monogons. Remark 4.2. For us, S is always a disk, but this doesn’t have to be true in general. For any admissible tagged edge with one endpoint in P and the other in M, we will assume that γ(0) ∈ P. For a twice-punctured surface, label the two punctures P1 and P2. We will assume that all curves with both endpoints in distinct punctures have γ(0) = P1 and γ(1) = P2; th… view at source ↗
Figures from the paper (6 more)
Figure 4
Figure 4. Figure 4: Left column: no punctured intersections; Right column: punctured intersections 4.1. Colored Admissible Tagged Edges. There is a lot of subtlety that arises when studying the regular modules of a Euclidean path algebra. As we saw in Example 3.14, the regular modules of …
Figure 5
Figure 5. Figure 5: A triangulation of type De6 with along with QT. We now define the one-end shift operation [1] and the poliwhirl operation ϑ. These are the com￾binatorial moves that are in bijection with the “reverse” irreducible morphisms in the Auslander￾Reiten quiver. Definition 4.1…
Figure 6
Figure 6. Figure 6: An example of a one-end shift. (1) homotope γ(1) along γ0 to the other puncture. If γ(0), γ(1) ∈ P, then ϑγ is the left poliwhirl of γ obtained in the following manner: (1) let C be the closed loop of radius ε around γ(1) ∈ P (2) homotope γ(1) along γ0 toward the other…
Figure 7
Figure 7. Figure 7: The poliwhirl in action. Remark 4.15. Note that ρ preserves adjacency between admissible edges and the coloring of edges. Specifically, if (γ1, κ1, λ1) and (γ2, κ2, λ2) share any endpoints, so do ρ(γ1, κ1, λ1) and ρ(γ2, κ2, λ2). Any intersections (including self-inters…
Figure 8
Figure 8. Figure 8: The completion of a tagged edge. Definition 5.2. Fix a triangulation T of S. The projective edges in E × λ are defined to be P T E(T) := {(γ, κ, −∞) ∈ S | ρ 1 (γ, κ, −∞) ∈ T} ⊂ E × λ . The preprojective edges in E × λ are defined to be P(T) := {(γ, κ, −∞) ∈ S | ρ i (γ,…
Figure 9
Figure 9. Figure 9: The six classes of elementary moves left-to-right, top-to-bottom. Definition 5.4. Let S be a twice-punctured (n − 2)-gon, T be an acyclic triangulation of S, γ0 be as above, and (γ, κ, λ) ∈ E × λ \ P T E(T) be a non-projective admissible edge. An elementary move is a m…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 24 canonical work pages

  1. [1]

    1, Cambridge University Press, Cambridge, 2006

    Ibrahim Assem, Andrzej Skowronski, and Daniel Simson,Elements of the Representation Theory of Asso- ciative Algebras: Techniques of Representation Theory, London Mathematical Society Student Texts, vol. 1, Cambridge University Press, Cambridge, 2006

  2. [2]

    Smalø,Representation Theory of Artin Algebras, Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 1995

    Maurice Auslander, Idun Reiten, and Sverre O. Smalø,Representation Theory of Artin Algebras, Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 1995

  3. [3]

    Karin Baur and Hermund Andr´ e Torkildsen,A geometric realization of tame categories, February 2015, arXiv:1502.06489 [math]

  4. [4]

    1, 323–332 (en)

    Aslak Bakke Buan, Bethany Marsh, and Idun Reiten,Cluster-tilted algebras, Transactions of the American Mathematical Society359(2007), no. 1, 323–332 (en)

  5. [5]

    Marsh, and Idun Reiten,Cluster mutation via quiver representations, Com- mentarii Mathematici Helvetici83(2008), no

    Aslak Bakke Buan, Bethany R. Marsh, and Idun Reiten,Cluster mutation via quiver representations, Com- mentarii Mathematici Helvetici83(2008), no. 1, 143–177 (en)

  6. [6]

    2, 572–618, Publisher: Elsevier

    Aslak Bakke Buan, Robert Marsh, Markus Reineke, Idun Reiten, and Gordana Todorov,Tilting theory and cluster combinatorics, Advances in mathematics204(2006), no. 2, 572–618, Publisher: Elsevier

  7. [7]

    3, 1347–1364, Publisher: American Mathematical Society

    Philippe Caldero, Fr´ ed´ eric Chapton, and Ralf Schiffler,Quivers with Relations Arising from Clusters (An Case), Transactions of the American Mathematical Society358(2006), no. 3, 1347–1364, Publisher: American Mathematical Society

  8. [8]

    2, 457–469, Publisher: Editorial Committee of Tsukuba Journal of Mathematics

    Peter Dr¨ axler and Jos´ e Antonio de la Pe˜ na,On the Existence of Postprojective Components in the Auslander- Reiten Quiver of an Algebra, Tsukuba Journal of Mathematics20(1996), no. 2, 457–469, Publisher: Editorial Committee of Tsukuba Journal of Mathematics

Show all 26 references
  1. [9]

    Part I: Cluster complexes, Acta Mathematica201(2008), no

    Sergey Fomin, Michael Shapiro, and Dylan Thurston,Cluster algebras and triangulated surfaces. Part I: Cluster complexes, Acta Mathematica201(2008), no. 1, 83–146, Publisher: Institut Mittag-Leffler

  2. [10]

    2, 497–529

    Sergey Fomin and Andrei Zelevinsky,Cluster algebras I: foundations, Journal of the American Mathematical Society15(2002), no. 2, 497–529

  3. [11]

    1, 63–121, arXiv:math/0208229

    ,Cluster algebras II: Finite type classification, Inventiones mathematicae154(2003), no. 1, 63–121, arXiv:math/0208229

  4. [12]

    1, 71–103 (de)

    Peter Gabriel,Unzerlegbare Darstellungen I, manuscripta mathematica6(1972), no. 1, 71–103 (de). 24 BLAKE JACKSON

  5. [13]

    73, Springer, 1997 (en)

    Peter Gabriel and Andrei Roiter,Representations of Finite-Dimensional Algebras, Encyclopaedia of Mathe- matical Sciences, vol. 73, Springer, 1997 (en)

  6. [14]

    3, 589–632, Publisher: Springer

    Christof Geiß, Bernard Leclerc, and Jan Schr¨ oer,Rigid modules over preprojective algebras, Inventiones math- ematicae165(2006), no. 3, 589–632, Publisher: Springer

  7. [15]

    ,Rigid modules over preprojective algebras II: The Kac-Moody case, arXiv preprint math/0703039 (2007)

  8. [16]

    Ping He, Yu Zhou, and Bin Zhu,Mutation graph of support tau-tilting modules over a skew-gentle algebra, December 2022, arXiv:2212.10880 [math]

  9. [17]

    ,A geometric model for the module category of a skew-gentle algebra, April 2023, arXiv:2004.11136 [math]

  10. [18]

    Lucie Jacquet-Malo,A Geometric Realization of the m-cluster Categories of Type$${\tilde D} {n}$$, Frontiers of Mathematics (2025) (en)

  11. [19]

    4, 1023–1054 (en)

    Lisa Lamberti,Combinatorial model for the cluster categories of type E, Journal of Algebraic Combinatorics 41(2015), no. 4, 1023–1054 (en)

  12. [20]

    1099, Springer, Berlin, Heidelberg, 1984

    Claus Michael Ringel,Tame Algebras and Integral Quadratic Forms, Lecture Notes in Mathematics, vol. 1099, Springer, Berlin, Heidelberg, 1984

  13. [21]

    1, 1–21, Publisher: Springer

    Ralf Schiffler,A geometric model for cluster categories of type Dn, Journal of Algebraic Combinatorics27 (2008), no. 1, 1–21, Publisher: Springer

  14. [22]

    1, Springer, 2014

    ,Quiver Representations, CMS Books in Mathematics, vol. 1, Springer, 2014

  15. [23]

    2, Cambridge University Press, Cambridge, 2007

    Daniel Simson and Andrzej Skowro´ nski,Elements of the Representation Theory of Associative Algebras: Vol- ume 2: Tubes and Concealed Algebras of Euclidean type, London Mathematical Society Student Texts, vol. 2, Cambridge University Press, Cambridge, 2007

  16. [24]

    3, Cambridge University Press, Cambridge, 2007

    ,Elements of the Representation Theory of Associative Algebras: Volume 3: Representation-infinite Tilted Algebras, London Mathematical Society Student Texts, vol. 3, Cambridge University Press, Cambridge, 2007

  17. [25]

    6, 2541–2567, Publisher: Taylor & Francis eprint: https://doi.org/10.1080/00927872.2014.903403

    Hermund Andr´ e Torkildsen,A Geometric Realization of the m-cluster Category of Affine Type A, Communications in Algebra43(2015), no. 6, 2541–2567, Publisher: Taylor & Francis eprint: https://doi.org/10.1080/00927872.2014.903403

  18. [26]

    10, 2898–2915

    Yu Zhou and Bin Zhu,Cluster combinatorics of d-cluster categories, Journal of Algebra321(2009), no. 10, 2898–2915. Department of Mathematics, University of Connecticut, Storrs, CT 06269, U.S.A. Email address:blake.jackson@uconn.edu

Pith tools

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