Pith. sign in

REVIEW 3 major objections 4 minor 50 references

The paper constructs a complete topological model for the derived category of the weighted projective line of type (2,2,2,2): indecomposable rigid objects are graded arcs on a sphere with four binaries, and Hom-space dimensions are oriented

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-04 01:06 UTC pith:2S76YGDA

load-bearing objection Hom = intersection is real; the automorphism-group part is sketched and will need a referee to push on details. the 3 major comments →

arxiv 2608.00163 v1 pith:2S76YGDA submitted 2026-07-31 math.RT

Topological model for derived category associated to sphere with four binaries

classification math.RT MSC 18G8016G2057K20
keywords sphere with four binariesweighted projective linederived categorycluster categoryoriented intersection numbertagged arcsmapping class grouptubular type (2,2,2,2)
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper aims to prove that the derived category of coherent sheaves on the weighted projective line of type (2,2,2,2) is faithfully captured by the topology of a graded sphere with four 'binaries'. The main claim is a bijection between indecomposable rigid objects and graded simple arcs, together with the sharp statement that dim Hom between two objects, in any degree, equals the oriented intersection number of their arcs. If true, this turns categorical computations into surface computations and shows that the category's automorphism group is exactly the binary mapping class group (for the special weight configuration), with an analogous tagged-arc model for the cluster category. A sympathetic reader would care because it closes the one exceptional surface case left open by earlier marked-surface models and makes the rigid part of this category entirely geometric.

Core claim

The central discovery is a geometric coding theorem: the bounded derived category of the weighted projective line of type (2,2,2,2) has the same 'rigid skeleton' as a graded sphere with four binaries. Theorem 4.11 gives a bijection eX from graded simple arcs to indecomposable rigid objects, and Theorem 4.15 sharpens it to an exact numerical translation: for every integer d, dim Hom_D(eX(eσ), eX(eγ)[d]) equals the oriented intersection number −→Int_d(eσ,eγ). For the cluster category C(CP^1_ω), the model forgets the binaries to punctures and tags: indecomposable rigid objects are tagged arcs on the four-punctured sphere, Hom-space dimensions are tagged intersection numbers, and in the weight c

What carries the argument

The machinery is the graded sphere with four binaries fS^2_h. A binary is a boundary component with one marked point whose Dehn twist squares to the identity in the mapping class group; replacing each puncture of S_{0,4} by a binary converts the four-punctured sphere (the quotient of a torus by a hyperelliptic involution) into a graded marked surface whose grading tracks shifts in the derived category. Arcs carry a grading index n and a winding function at the binary endpoints; the bijection κ: eA^◦(fS^2_h) → T A^×(S_{0,4})×Z sends this winding data to a tagged arc plus a shift. The main computational engine is the universal cover R^2 → S_{0,4}, the even continued-fraction expansion of every

Load-bearing premise

The automorphism-group theorems rest on the unstated extension assumption that the actions of automorphisms and tagged mappings on arcs, checked at slopes 0, 1, and ∞, propagate to all rational slopes through the Grothendieck-group decomposition v_p^x = v_{t(p)}^x + ⌊b(p)/2⌋h_0 + ⌊a(p)/2⌋h_∞ — plus the assumption that the hyperelliptic involutions admit grading-preserving lifts; if either fails, the group isomorphisms would not follow, although the bijection and Hom formula m

What would settle it

Compute, on the graded sphere with binaries, the oriented intersection number −→Int_0 between the braid-normalized arcs eα^-_0 and eα^+_1, and compare with the known dimension of Hom(E^1_0, E^1_1) from the Euler form of the positive Schur roots; any mismatch would refute Theorem 4.15. Also test the braid-twist shift formula B_0(eα^+_p[n]) = eα^+_{p/(1-p)}[n+1] for p>1 (e.g., p=2) in the universal cover; if the grading shift is not [n+1], the PSL(2,Z)-action on arcs is wrong.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The full set of indecomposable rigid objects of D^b(coh(CP^1_ω)) is in bijection with graded simple arcs on the graded sphere with four binaries; no extra data beyond an arc and its grading shift is needed.
  • Hom-space dimensions are computable from arc geometry: dim Hom(E,F[d]) = −→Int_d(eσ,eγ) for every integer d, and in the cluster category dim Hom_C(E_p^x,E_q^y[d]) = Int_d(α_{p,x},α_{q,y}).
  • For the weight configuration (0,1,∞,1/2), the automorphism group of the derived category is isomorphic to the binary mapping class group, and the automorphism group of the cluster category is isomorphic to the tagged mapping class group of the four-punctured sphere.
  • Cluster-tilting objects in C(CP^1_ω) correspond exactly to tagged triangulations of S_{0,4}, so each has 6 indecomposable summands, and every loop in the exchange graph decomposes into squares and pentagons.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A natural extrapolation, not pursued in the paper, is that the same graded-surface/binary machinery may model the other tubular weight types (3,3,3), (4,4,2), and (6,3,2); the obstacle would be finding the right marked surface whose braid group maps onto the tubular mutations.
  • Because the Hom-formula holds degree-wise, the paper effectively packages the entire graded Hom-complex into a single oriented intersection number; one could try to read higher structures (e.g., A_∞-products or spherical twists) directly from how arcs braid around the binaries.
  • The finite verification at slopes 0, 1, and ∞ plus the braid-twist recursion gives an algorithm for arbitrary rational slopes; a computational mismatch at any slope would localize the flaw to the braid-word identities rather than to the global bijection.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper constructs a topological model for the bounded derived category D^b(coh(CP^1_ω)) of the weighted projective line of type (2,2,2,2). It defines a graded sphere with four binaries and establishes a bijection between graded simple arcs and indecomposable rigid objects. The main formula identifies oriented intersection numbers with Hom-space dimensions. The paper then uses this model to give a tagged-arc realization of the cluster category C(CP^1_ω) on the four-punctured sphere, and, for the special weight parameter λ=1/2, proves compatibility with automorphism and mapping class groups. The proofs rely on the Barot–Geiss classification, even continued fractions, and explicit braid-twist identities.

Significance. If the results hold, they provide a complete topological description of rigid objects and their Hom-space dimensions for a tubular weighted projective line and its cluster category, filling the exceptional S_{0,4} case absent from earlier surface models. The explicit bijections, the intersection-number formula, and the exchange-graph corollary are valuable and concrete. However, the advertised automorphism-group realization currently depends on two unproved technical points: the existence of grading-preserving lifts of the hyperelliptic involutions and an asserted extension of the action from slopes 0,1,∞ to all slopes. These points are load-bearing for Theorems 4.22 and 5.7, though the Hom-formula and bijection may well be correct independently.

major comments (3)
  1. [§4.4, proof of Theorem 4.22] The step from slopes 0,1,∞ to arbitrary p is asserted rather than proved. After Eq. (4.16) is verified for p∈{0,1,∞}, the text states: 'First, for any g∈⟨ι̃1,ι̃2⟩⋉_conj D_h, suppose g(ς(α_{t(p),x},n)) = ς(α_{t(p),y},n). Then by Definition 4.7 and Proposition 4.10, we have g(ς(α_{p,x},n)) = ς(α_{p,y},n).' Neither Definition 4.7 nor Proposition 4.10 proves that g preserves the slope p; Proposition 4.10 is only a bijection with tagged arcs and does not establish equivariance. Similarly, the Grothendieck-group step 'if (ν,x)(E^x_{t(p)}[n]) = E^z_{t(p)}[n], then (ν,x)(E^x_p[n]) = E^z_p[n]' assumes without proof that the decomposition v^x_p = v^x_{t(p)} + ⌊b(p)/2⌋h_0 + ⌊a(p)/2⌋h_∞ is preserved by the action. These points are needed for the advertised automorphism-group isomorphism; please supply a full argument or a precise reference.
  2. [§4.2, Proposition 4.6] The proposition assumes that ι1 and ι2 admit grading-preserving lifts ι̃1, ι̃2 preserving the zero section of the grading cover. This is an unproved existence assumption, and it is essential for the split short exact sequence (4.5), Lemma 4.20, and the subsequent identification of the binary mapping class group. If such lifts do not exist, the automorphism-group theorems fail even though the bijection and Hom formula might hold. Please construct the lifts explicitly (or prove their existence) and state what exactly 'preserving the zero section' entails for the braid-twist calculations.
  3. [§5, Theorem 5.7] The proof of Theorem 5.7 is given by the sentence 'The strategy used in the proof of Theorem 4.22, with Br3 replaced by PSL(2,Z), gives the following result.' This is acceptable only after the gaps in Theorem 4.22 are repaired. Since the cluster-category automorphism group is a central advertised application, the proof should either be written out or reduced to a complete argument for Theorem 4.22.
minor comments (4)
  1. [§4.2, Table 3] The table displaying the values of κ is misaligned in the current typesetting: rows p1–p4 do not align with the 12 columns of tagged arcs. Please reformat so that each entry is unambiguous.
  2. [§2.5, Definitions 2.19–2.20] The notation D^k_h is used both for a subgroup generated by k-th powers of Dehn twists and for its orbit action on arcs. Please distinguish the subgroup from the action, e.g. by using a different symbol for the orbit.
  3. [§4.4, Proposition 4.21] The intermediate semidirect product ⋉_3 in the proof of Proposition 4.21 is introduced without motivation. Adding a sentence explaining how the multiplication formula arises from the conjugation action would improve readability.
  4. [References] The reference [Opp] appears in the bibliography but is not cited in the body of the paper.

Circularity Check

0 steps flagged

No significant circularity: the Hom-formula is a genuine geometric-algebraic cross-check, and the main external inputs ([BG], [LM]) are not self-referential.

full rationale

The central claim (Theorem 4.15) is that oriented intersection numbers of graded simple arcs compute dim Hom in D^b(coh(CP^1_omega)). The bijection eX in Theorem 4.11 is built from the external [BG] classification of indecomposable rigid sheaves by quaternion labels together with the geometric bijection kappa of Proposition 4.10. The oriented intersection numbers of Definitions 4.13-4.14 are defined in purely geometric terms: interior intersections ordered by slope, endpoint intersections via winding/tagging, and braid-twist orbit data. They are not set equal to Hom dimensions by construction. The proof computes the geometric count from Proposition 4.3 and the algebraic dimension from Proposition 3.4, then verifies equality case by case; the p=q case, the t(p)=t(q) case, and the t(p)!=t(q) case are nontrivial comparisons. Hence the Hom formula is a cross-check rather than a reduction to its inputs. Theorem 5.4 is obtained by translating Theorem 4.15 through the cluster-category orbit construction, so it inherits the same non-circular status. The automorphism-group theorems (4.22, 5.7) use [LM] for the algebraic automorphism group and [BG] for the bijection, both external; the paper's self-citations (QZZ, QZ, FQ) supply background technology (binaries, graded marked surfaces) but do not by themselves force the main formula. One caveat, located in the proof of Theorem 4.22: the compatibility verified for slopes 0,1,infinity is extended to all slopes with the assertion 'Then by Definition 4.7 and Proposition 4.10, we have g(ς(α_{p,x},n)) = ς(α_{p,y},n)' and an analogous Grothendieck-group step. This extension is terse and needs a fuller argument; it is a rigor gap in the automorphism-group compatibility, not a circularity, since no input is being relabeled as a prediction and the gap does not make the Hom-space formula definitional.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 3 invented entities

The central claims rely on [BG]'s classification, [QZZ]'s binary model, [LM]'s automorphism-group computation, and a technical extension assumption in Thm 4.22 that is not fully proven. No free parameters are fitted; the model's definitions are constructed, not tuned by optimization.

axioms (6)
  • domain assumption Classification of indecomposable rigid sheaves on CP^1_ω by positive real Schur roots (p,x)∈Q∞×H from Barot–Geiss.
    Used to define the bijections eX and X^c; the paper does not re-derive this classification.
  • standard math The bounded derived category D^b(cohX) is equivalent to the repetitive category ⊕_{n∈Z} cohX[n] for hereditary cohX (Prop 2.2).
    Allows every indecomposable rigid object to be written as E[n]; standard for hereditary categories.
  • domain assumption AutD^b(coh(CP^1_ω)) ≅ Br3 ⋉conj(Aut(CP^1_ω) ⋉2 Pic0) from Lenzing–Meltzer.
    Used as the algebraic input for the geometric description of the automorphism group in Theorem 4.22.
  • domain assumption Binaries satisfy D^2 = id and the binary mapping class group is the quotient by D_h^2 from Qiu–Zhang–Zhou.
    The surface model for S_{0,4} relies on this relation; imported from prior work.
  • ad hoc to paper The hyperelliptic involutions ι1, ι2 admit grading-preserving lifts ι̃1, ι̃2 acting trivially on the grading cover's zero section.
    Assumed in Proposition 4.6 to compute MCG(ẽS0,4); the paper states it as an assumption and uses it to split the exact sequence.
  • ad hoc to paper For the automorphism-group theorem, an action of MCG on the arcs for slopes 0,1,∞ determines the action on all slopes via v^x_p = v^x_{t(p)} + ... .
    The proof of Theorem 4.22 asserts this extension without a full argument; it is load-bearing for the automorphism-group isomorphism.
invented entities (3)
  • Graded sphere with four binaries fS2_h no independent evidence
    purpose: Topological model for D^b(coh(CP^1_ω))
    New construction obtained from S_{0,4} by replacing punctures with binaries; its defining relation D^2=id comes from [QZZ]; the predictive content is the Hom-dimension formula, verified internally.
  • Binary oriented intersection number −→Int_d no independent evidence
    purpose: Computes dim Hom between rigid objects in the derived category
    A new geometric invariant defined specifically so that Theorem 4.15 holds; no external corroboration beyond the internal proof.
  • Graded tagged arc eα_{p,x} no independent evidence
    purpose: Encodes indecomposable rigid objects with shift in the derived category model
    Defined via braid-twist lifts and tagging tables chosen to match [BG]'s classification; internal to the model.

pith-pipeline@v1.3.0-alltime-deepseek · 37991 in / 16634 out tokens · 170744 ms · 2026-08-04T01:06:29.361374+00:00 · methodology

0 comments
read the original abstract

We construct a geometric model for the derived category of the weighted projective line $\mathbb{CP}^1_{\omega}$ of type $(2,2,2,2)$, given by a graded sphere with four binaries. Precisely, we give a bijection between the set of indecomposable rigid objects and the set of certain arcs, such that the dimensions of $\operatorname{Hom}$-spaces are computed by oriented intersection numbers. As applications, we provide a geometric realization of the indecomposable rigid objects in the cluster category $\mathcal{C}(\mathbb{CP}^1_{\omega})$ via tagged arcs on the sphere with four punctures, where $\operatorname{Hom}$-space dimensions are expressed in terms of tagged intersection numbers. When the weighted points of $\mathbb{CP}^1_{\omega}$ are $(0,1,\infty,\frac{1}{2})$, both the correspondences are compatible with the natural actions of the automorphism groups and mapping class groups.

Figures

Figures reproduced from arXiv: 2608.00163 by Jianmin Chen, Li Fan, Yiting Zheng, Yu Qiu.

Figure 1
Figure 1. Figure 1: The four puzzle pieces and associated quiver in [FST] Haiden–Katzarkov–Kontsevich (HKK) [HKK] later realized the derived categories of graded gentle algebras as topological Fukaya categories of graded marked surfaces, where [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The braid twist by smoothing. Let σe and τe be graded simple arcs in S η with σe(0) = τe(0) = a. The arc Bσe(τe) is the extension τe ∧ σe of τe by σe with respect to the common starting point. This is the smoothing shown in [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The extension as smoothing out Lemma 2.17. Let S be the marked surface underlying S η . The forgetful map F : S η → S induces a group homomorphism F∗ : MCG(S η ) −→ MCG(S), [(f, fe)] 7−→ [f], and ker F∗ = ⟨[1]⟩ ∼= Z. Consequently, there is a short exact sequence 1 −→ Z ι −→ MCG(S η ) F∗ −−→ Im(F∗) −→ 1, (2.8) where ι(n) = [n]. Proof. The map F∗ is obtained by forgetting the lift fe. If [(f, fe)] ∈ ker F∗, … view at source ↗
Figure 4
Figure 4. Figure 4: The sphere with four punctures p1, p2, p3 and p4 To better describe the homotopy classes of simple arcs on S0,4, we first recall the classi￾fication of simple closed curves on T 2 . Fact 4.1. The covering p˜: R 2 → T 2 identifies π1(T 2 ) with Z 2 . Thus each nontrivial simple closed curve on T 2 is represented by a primitive vector (b, a) ∈ Z 2 , and after forgetting the orientation it is determined by th… view at source ↗
Figure 5
Figure 5. Figure 5: Binary oriented intersections from σe to γe [PITH_FULL_IMAGE:figures/full_fig_p023_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: All possible geometric configurations of the lifts γi and γj in the universal cover R 2 , they share an endpoint [PITH_FULL_IMAGE:figures/full_fig_p035_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: γi = γj (2) The lifts γi and γj are configured as in [PITH_FULL_IMAGE:figures/full_fig_p036_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Configuration as in [PITH_FULL_IMAGE:figures/full_fig_p036_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Configuration as in [PITH_FULL_IMAGE:figures/full_fig_p037_9.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

50 extracted references · 27 linked inside Pith

  1. [1]

    Assem, D

    I. Assem, D. Simson A. Skowro\'nski Elements of the representation theory of associative algebras. Vol. 2: Tubes and concealed algebras of Euclidean type London Mathematical Society Student Texts 71 Cambridge University Press, Cambridge 2007

  2. [2]

    M. Barot C. Geiss Tubular cluster algebras I: categorification Math. Z. 271 2012 1091 1115 (arXiv:0905.0028)

  3. [3]

    Barot, D

    M. Barot, D. Kussin H. Lenzing The cluster category of a canonical algebra Trans. Amer. Math. Soc. 362 2010 4313 4330 (arXiv:0801.4540)

  4. [4]

    A. B. Buan, O. Iyama, I. Reiten J. Scott Cluster structures for 2-Calabi-Yau categories and unipotent groups Compos. Math. 145 2009 1035 1079 (arXiv:math/0701557)

  5. [5]

    A. Buan, R. Marsh, M. Reineke, I. Reiten G. Todorov Tilting theory and cluster combinatorics Adv. Math. 204 2006 572 618 (arXiv:math/0402054)

  6. [6]

    Br\"ustle J

    T. Br\"ustle J. Zhang On the cluster category of a marked surface Algebra Number Theory 5 2011 529 566 (arXiv:1005.2422)

  7. [7]

    Br\"ustle Y

    T. Br\"ustle Y. Qiu Tagged mapping class groups: Auslander-Reiten translation Math. Z. 279 2015 1103 1120 (arXiv:1212.0007)

  8. [8]

    Bucher M

    E. Bucher M. Yakimov Recovering the topology of surfaces from cluster algebras Math. Z. 288 2018 565 594 (arXiv:1607.02131)

  9. [9]

    Crawley-Boevey Kac's theorem for weighted projective lines J

    W. Crawley-Boevey Kac's theorem for weighted projective lines J. Eur. Math. Soc. (JEMS) 12 2010 1331 1345 (arXiv:math/0512078)

  10. [10]

    J. Chen, Y. Lin, P. Liu S. Ruan Tilting objects on tubular weighted projective lines: a cluster tilting approach Sci. China Math. 64 2021 691 710 (arXiv:1303.1323)

  11. [11]

    J. Chen, X. Chen Z. Zhou Monadicity theorem and weighted projective lines of tubular type (arXiv:1408.0028)

  12. [12]

    Cerulli-Irelli D

    G. Cerulli-Irelli D. Labardini-Fragoso Quivers with potentials associated to triangulated surfaces, part III: Tagged triangulations and cluster monomials Compos. Math. 148 2012 1833 1866 (arXiv:1108.1774)

  13. [13]

    J. Dong F. Li Presentations of mapping class groups and an application to cluster algebras from surfaces J. Algebra 663 2025 882 912 (arXiv:2307.15227)

  14. [14]

    R. Dou, Y. Jiang J. Xiao The Hall algebra approach to Drinfeld's presentation of quantum loop algebras Adv. Math. 231 2012 2593 2625

  15. [15]

    B. Deng, S. Ruan J. Xiao Applications of mutations in the derived categories of weighted projective lines to Lie and quantum algebras Int. Math. Res. Not. 2020 2020 5814 5871 (arXiv:1711.08190)

  16. [16]

    Ebeling The Poincar\' e series of some special quasihomogeneous surface singularities Publ

    W. Ebeling The Poincar\' e series of some special quasihomogeneous surface singularities Publ. Res. Inst. Math. Sci. 39 2003 393 413

  17. [17]

    Ebeling D

    W. Ebeling D. Ploog McKay correspondence for the Poincar\' e series of Kleinian and Fuchsian singularities Math. Ann. 347 2010 689 702

  18. [18]

    Ebeling A

    W. Ebeling A. Takahashi Mirror symmetry between orbifold curves and cusp singularities with group action Int. Math. Res. Not. IMRN 2013 2013 2240 2270

  19. [19]

    Fan and Y

    L. Fan and Y. Qiu Topological model for q -deformed rational numbers and categorification Rev. Mat. Iberoam. 41 2025 1337 1366 (arXiv:2306.00063)

  20. [20]

    B. Farb D. Margalit A primer on mapping class groups Princeton Mathematical Series 49 Princeton University Press 2012

  21. [21]

    Fomin, M

    S. Fomin, M. Shapiro D. Thurston Cluster algebras and triangulated surfaces, part I: Cluster complexes Acta Math. 201 2008 83 146 (arXiv:math/0608367)

  22. [22]

    C. Fu S. Geng On cluster-tilting graphs for hereditary categories Adv. Math. 383 2021 (arXiv:1811.04735)

  23. [23]

    Geigle H

    W. Geigle H. Lenzing A class of weighted projective curves arising in representation theory of finite-dimensional algebras Lecture Notes in Math. 1273 Springer 1987 265 297

  24. [24]

    Haiden, L

    F. Haiden, L. Katzarkov M. Kontsevich Flat surfaces and stability structures Publ. Math. Inst. Hautes \' E tudes Sci. 126 2017 247 318 (arXiv:1409.8611)

  25. [25]

    Happel I

    D. Happel I. Reiten Hereditary categories with tilting object Math. Z. 232 1999 559 588

  26. [26]

    u bner Classification of indecomposable vector bundles on weighted curves Diplomarbeit, Universit \

    T. H \"u bner Classification of indecomposable vector bundles on weighted curves Diplomarbeit, Universit \"a t Paderborn 1989

  27. [27]

    u bner Exzeptionelle Vektorb \

    T. H \"u bner Exzeptionelle Vektorb \"u ndel und Reflektionen an Kippgarben \"u ber projektiven gewichteten Kurven Dissertation, Universit \"a t Paderborn 1996

  28. [28]

    Ikeda, Y

    A. Ikeda, Y. Qiu Y. Zhou Graded decorated marked surfaces: Calabi-Yau- X categories of gentle algebras (arXiv:2006.00009)

  29. [29]

    Keller On triangulated orbit categories Doc

    B. Keller On triangulated orbit categories Doc. Math. 10 2005 551 581 (arXiv:math/0503240)

  30. [30]

    Lenzing Wild canonical algebras and rings of automorphic forms Finite-dimensional algebras and related topics (Ottawa, ON, 1992), 191 212 NATO Adv

    H. Lenzing Wild canonical algebras and rings of automorphic forms Finite-dimensional algebras and related topics (Ottawa, ON, 1992), 191 212 NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 424 Kluwer Acad. Publ., Dordrecht 1994

  31. [31]

    Lenzing Representations of finite-dimensional algebras and singularity theory Trends in ring theory (Miskolc, 1996) 71 97 CMS Conf

    H. Lenzing Representations of finite-dimensional algebras and singularity theory Trends in ring theory (Miskolc, 1996) 71 97 CMS Conf. Proc., 22 Amer. Math. Soc., Providence, RI 1998

  32. [32]

    Lenzing Tubular and elliptic curves a unpublished note on joint work with H

    H. Lenzing Tubular and elliptic curves a unpublished note on joint work with H. Meltzer, Paderborn. 2004

  33. [33]

    Lenzing Rings of singularities Bull

    H. Lenzing Rings of singularities Bull. Iranian Math. Soc. 37 2011 235 271

  34. [34]

    Lenzing H

    H. Lenzing H. Meltzer The automorphism group of the derived category for a weighted projective line Comm. Algebra 28 2000 1685 1700

  35. [35]

    Lekili A

    Y. Lekili A. Polishchuk Derived equivalences of gentle algebras via Fukaya categories Math. Ann. 376 2020 187 225 (arXiv:1801.06370)

  36. [36]

    Lenzing I

    H. Lenzing I. Reiten Hereditary Noetherian categories of positive Euler characteristic Math. Z. 254 2006 133 171

  37. [37]

    Meltzer Tubular mutations Colloq

    H. Meltzer Tubular mutations Colloq. Math. 74 1997 267 274

  38. [38]

    Meltzer Exceptional vector bundles, tilting sheaves and tilting complexes for weighted projective lines Mem

    H. Meltzer Exceptional vector bundles, tilting sheaves and tilting complexes for weighted projective lines Mem. Amer. Math. Soc. 171 2004

  39. [39]

    Morier-Genoud and V

    S. Morier-Genoud and V. Ovsienko q -deformed rationals and q -continued fractions Forum of Mathematics, Sigma 8 2020 . (arXiv:1812.00170)

  40. [40]

    Opper Autoequivalences of Fukaya categories of surfaces and graded gentle algebras (arXiv:2510.11543)

    S. Opper Autoequivalences of Fukaya categories of surfaces and graded gentle algebras (arXiv:2510.11543)

  41. [41]

    Polishchuk Holomorphic bundles on 2-dimensional noncommutative toric orbifolds C

    A. Polishchuk Holomorphic bundles on 2-dimensional noncommutative toric orbifolds C. Consani, M. Marcolli (Eds.) Noncommutative Geometry and Number Theory Aspects Math., E37, Vieweg 2006 314 359 (arXiv:math/0410283)

  42. [42]

    Qiu Decorated marked surfaces: Spherical twists versus braid twists Math

    Y. Qiu Decorated marked surfaces: Spherical twists versus braid twists Math. Ann. 365 2016 595 633 (arXiv:1407.0806)

  43. [43]

    Qiu Decorated marked surfaces (part B): Topological realizations Math

    Y. Qiu Decorated marked surfaces (part B): Topological realizations Math. Z. 288 2018 39 53

  44. [44]

    Y. Qiu Y. Zhou Cluster categories for marked surfaces: punctured case Compos. Math. 153 2017 1779 1819 (arXiv:1311.0010)

  45. [45]

    Y. Qiu Y. Zhou Decorated marked surfaces II: Intersection numbers and dimensions of Homs Trans. Amer. Math. Soc. 372 2019 635 660 (arXiv:1411.4003)

  46. [46]

    Y. Qiu Y. Zhou Decorated marked surfaces with vortices: Cluster braid group vs. braid twist group (arXiv:2511.00438)

  47. [47]

    Y. Qiu, C. Zhang Y. Zhou Two geometric models for graded skew-gentle algebras (arXiv:2212.10369)

  48. [48]

    C. M. Ringel Tame algebras and integral quadratic forms Lecture Notes in Mathematics 1099 Springer-Verlag, Berlin 1984

  49. [49]

    I. G. S c erbak Algebras of automorphic forms with three generators Funkcional. Anal. i Prilo z en. 12 1978 93 94

  50. [50]

    Schiffmann Noncommutative projective curves and quantum loop algebras Duke Math

    O. Schiffmann Noncommutative projective curves and quantum loop algebras Duke Math. J. 121 2004 113 168 (arXiv:math/0205267)