{"id":"12d995d8-fad9-4975-9234-3cadf857c66b","arxiv_id":"2501.06703","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Indecomposable sheaves on the weighted projective line (2,2,n) are bijectively drawn as skew-curves on a symmetric cylinder, with pseudo-triangulations corresponding exactly to tilting sheaves and flips to mutations.","lead":"This paper draws coherent sheaves on a weighted projective line of type (2,2,n) as curves on a cylinder with a symmetry. It shows maximal compatible collections of these curves match tilting sheaves, and flipping a curve matches tilting mutation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central bijection of Proposition 3.5 rests on an unproved compatibility statement imported from unpublished preprint [12]; without a proof of φ(σ(γ)) = σ_{1,2}(φ(γ)), the geometric model for coh-X(2,2,n) is not established.","rationale":"The reader's weakest_assumption already points to the unpublished status of [12] and the compatibility of σ with σ_{1,2}; I agree that this is the key soft spot. I focus here on the single most specific unproved assertion: the equality φ(σ(γ)) = σ_{1,2}(φ(γ)) stated in the proof of Proposition 3.5. The paper is transparent that this is implicit in [12, Theorem 1.1], but it gives no proof, no reference to a precise statement, and no illustrative computation beyond the n=4 example in Example 3.6. Since [12] is an unpublished same-group preprint, a chain of central results (bijection, tilting correspondence, flip-mutation compatibility, connectivity) stands on this hook. I do not see a contradiction inside the paper itself; the gap is a missing verification of a load-bearing premise. A direct small-n check would settle whether the premise is true in at least one nontrivial case, and the authors' expected remedy is to include the missing proof. The remaining case analyses in §5 are extensive but are all downstream of Proposition 3.5; if the bijection holds, they provide a plausible path to connectivity. Therefore I would keep the reader's CONDITIONAL verdict: the manuscript should not be accepted as complete until the compatibility claim and the equivariant intersection-to-Ext criterion are proved or independently verified.","tokens_in":28709,"tokens_out":5627,"duration_ms":50050,"concrete_test":"For a small fixed n (e.g., n = 3), enumerate all curves γ in Cb ∪ Cp on the cylinder. Using the explicit formula for φ from [12, Theorem 3.4] (for line bundles and finite-length sheaves) and the explicit G-action σ_{1,2} described in Appendix A, compute φ(σ(γ)) and σ_{1,2}(φ(γ)) for every γ and verify equality. A single mismatch disproves Proposition 3.5; if all match, the premise is confirmed for that case, and the authors should still supply a complete proof of the compatibility claim for general n before the central theorems are accepted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 3.5 is the cornerstone of the paper: it constructs the bijection ˆφ from skew-curves on (S,M,σ) to indecomposable sheaves on X(2,2,n). The proof uses two imports from the unpublished preprint [12]: (i) the bijection φ: C → ind(coh-Y) of [12, Theorem 3.4], and (ii) the statement that σ is compatible with σ_{1,2} in the sense φ(σ(γ)) = σ_{1,2}(φ(γ)) for all γ ∈ Cb ∪ Cp. The paper says this is 'implicit in the proof of [12, Theorem 1.1]' and gives no derivation. The equality is exactly what connects the geometric quotient construction in §3.2 to the algebraic equivariantization in Appendix A: when γ and σ(γ) are paired into a skew-curve, the corresponding indecomposable in coh-Y must be taken to its σ_{1,2}-image. If the compatibility fails, Table 1 is not a bijection, and Proposition 4.16, Corollary 4.17, and Theorem 5.11 collapse. A secondary but related reliance is Proposition 4.9, which applies [12, Theorem 3.10] as an intersection-to-Ext criterion after equivariantization; the paper does not show that criterion survives the G-action. These are not internal contradictions, but they are unverified premises on which the central claim depends.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a geometric-combinatorial model for the category of coherent sheaves on the weighted projective line of type (2,2,n). The model is a cylindrical surface with n marked points on each boundary, equipped with an order 2 self-homeomorphism. The authors construct a bijection between indecomposable sheaves and skew-curves, define compatibility and pseudo-triangulations, prove that pseudo-triangulations correspond to tilting sheaves, show that the flip of a skew-arc corresponds to tilting mutation, and use these tools to prove connectivity of the tilting graph. The main results are Proposition 3.5 (the bijection), Proposition 4.16 (pseudo-triangulations versus tilting sheaves), Corollary 4.17 (flip equals mutation), and Theorem 5.11 (connectivity of the tilting graph).","tokens_in":29054,"tokens_out":3549,"duration_ms":33638,"significance":"If the main claims hold, the paper provides a useful geometric model for a category that has been studied from an algebraic perspective, and it gives a new proof of the connectivity of the tilting graph. The paper is clearly written and contains explicit examples and tables. It also ships a substantial amount of technical machinery, including an appendix on equivariantization and an appendix on flips, and it makes a concrete new prediction: that flips of skew-arcs coincide with tilting mutations. The main weakness is the heavy reliance on the unpublished preprint [12] and on a compatibility statement that is asserted rather than proved; these points are load-bearing for the central bijection and the derived correspondences.","major_comments":[{"comment":"The proof of Proposition 3.5 asserts that the homeomorphism σ is compatible with the automorphism σ_{1,2} in the sense φ(σ(γ)) = σ_{1,2}(φ(γ)) for every curve γ ∈ C_b ∪ C_p, and states that this is 'implicit in the proof of [12, Theorem 1.1]'. This equality is load-bearing: it is exactly what matches the geometric quotient in §3.2 with the algebraic equivariantization in Appendix A, and without it Table 1 is not a bijection. The authors should either give a direct proof of this compatibility from the definition of φ, or state it as an explicit hypothesis with a precise reference to a specific statement in [12].","section":"Section 3.2, Proposition 3.5"},{"comment":"Proposition 4.9 applies [12, Theorem 3.10] as an intersection-to-Ext criterion after equivariantization. It is not shown that this criterion is compatible with the G-action or with the induction and forgetful functors used in the proof. In particular, the step where indecomposable direct summands of F∘Ind_2(φ̂(γ_i)) are said to correspond to curves in C(γ_i), and the inequality obtained from [14, Lemma 3.4], need justification. If the intersection–Ext criterion does not survive equivariantization, the geometric characterization of compatibility collapses for all skew-curves outside C_b,X.","section":"Section 4.2, Proposition 4.9"},{"comment":"Compatibility of skew-curves is defined directly as the vanishing of Ext^1 between the corresponding sheaves (Definition 4.3). Under this definition, Proposition 4.16 is to a large extent a reformulation of the definition of a tilting sheaf plus the bijection φ̂, rather than a geometric statement. The genuine geometric content must come from Proposition 4.9, but that proposition does not cover the loop-type skew-curves in C* (i.e. C_pw and C_sp). Thus, for the summands coming from C*, the paper does not provide a purely geometric criterion for compatibility; the 'pseudo-triangulation' description is only geometric for the curve-type skew-curves.","section":"Definition 4.3 and Proposition 4.16"},{"comment":"The proof of Proposition 4.15 asserts that the constructed set Γ_Λ is a triangulation and uses the formula |Γ_Λ| = 2n + 3|P_Λ|, but several cases (e.g. cases (3) and (4)) are dismissed as 'similar' or left to inspection. Likewise, Appendix B lists three types of flips but does not prove that every skew-arc in a pseudo-triangulation falls into exactly one of these types, nor that the described replacement always yields a new pseudo-triangulation. These steps are needed because the flip relation is used in Corollary 4.17 and Theorem 5.11.","section":"Proposition 4.15 and Appendix B"}],"minor_comments":[{"comment":"There is a typo in the abstract and again in the introduction: 'titling' should be 'tilting'.","section":"Abstract / Introduction"},{"comment":"The paper relies heavily on the unpublished preprint [12]; references [13], [14], and [16] are also recent preprints or papers. It would be helpful to mark these as such and to state explicitly which parts of the argument depend on [12].","section":"References"},{"comment":"In the row for C_σ_p, the index expression ~[D_{i-j-1,i}] is used, while the definition of C_σ_p earlier uses ~[D_{i,j}] with j-i ≥ 2; the relation between these two notations should be clarified.","section":"Table 1"},{"comment":"Several figures (e.g. Figures 1, 2 and the flip diagrams in Appendix B) are small and contain labels that are difficult to read; higher-resolution versions would improve the presentation.","section":"Figures"}],"recommendation":"major_revision","confidential_remarks":"The central results are conditional on the unpublished preprint [12] and on a compatibility statement that is asserted without proof. I would ask the authors to provide a self-contained proof of the compatibility φ(σ(γ)) = σ_{1,2}(φ(γ)) or to state it as an explicit assumption with a precise reference, and to clarify the status of Proposition 4.9 after equivariantization. This is a completeness concern, not a novelty concern; the geometric model is potentially useful and the connectivity proof is elegant if the missing technical steps are supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read this paper as an equivariant extension of the unpublished geometric model for X(n,n) in [12]. The new part is real: the skew-curve construction on the cylinder with the order-2 homeomorphism, the explicit Table 1, the pseudo-triangulation/tilting correspondence, the flip-mutation compatibility, and the geometric proof of connectedness of the tilting graph. If the model is correct, it gives a complete geometric picture for coh-X(2,2,n), and the L(2,2,n)-action description in Prop 3.7 is a nice bonus.\n\nThe soft spot is exactly where the reader's report puts it. Prop 3.5, the cornerstone, says the bijection φ between curves on the cylinder and indecomposables of coh-Y is compatible with σ and σ1,2: φ(σ(γ)) = σ1,2(φ(γ)). The proof says this is 'implicit in the proof of [12, Theorem 1.1]'. That's not good enough, especially since [12] is an unpublished same-group preprint. The equality is what connects the geometric quotient in §3.2 to the algebraic equivariantization in Appendix A. If it fails, Table 1 is not a bijection and everything downstream collapses. I agree with the stress-test note that this is the key unverified premise.\n\nProp 4.9 is the second soft spot. It applies [12, Theorem 3.10] as an intersection-to-Ext criterion after equivariantization, without showing the criterion survives the G-action. The proof is a sketch with inequalities and references to [14, Lemma 3.4]. The direction from vanishing Ext to I=0 is the one that needs the equivariant argument, and it isn't fully written out. Also, because compatibility in Def 4.3 is defined directly as vanishing Ext, Prop 4.16 is partly a relabeling; the actual geometry enters only through Prop 4.9. So the two gaps compound.\n\nLesser issues: several combinatorial connectivity proofs (Prop 5.7, Lemmas 5.8-5.10) lean on figures rather than formal flip sequences. These look correct, but they'd benefit from a few more words. Prop 5.4 says \"compare with [12, Prop 5.4], not difficult to check\" – again an import from the same unpublished source.\n\nNone of this is an internal contradiction. The paper is honest about its reliance on [12] and gives a substantial Appendix A to set up the equivariant equivalence. It's just not self-contained, and the missing pieces are load-bearing.\n\nFor a reader in this area, the paper is worth engaging with. I'd bring it to a reading group. I'd want the authors to either prove the compatibility statement directly or make the dependence on [12] precise enough to check. That's a major-revision request, not a reject. Send it out.","headline":"A useful equivariant geometric model for coh-X(2,2,n), but the central bijection rests on an unproved compatibility statement imported from an unpublished companion; needs that filled before it can be trusted.","tokens_in":29596,"tokens_out":3996,"would_cite":false,"duration_ms":38376,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14F06","18E10","05E10","16S99","57M50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes a bijection between indecomposable coherent sheaves on the weighted projective line of type $(2,2,n)$ and skew-curves on a cylinder with $n$ boundary-marked points, and shows pseudo-triangulations correspond to…","keywords":["weighted projective line","geometric model","skew-arc","pseudo-triangulation","tilting sheaf","tilting mutation","equivariantization","marked cylindrical surface"],"falsifier":"For a small $n$ such as $n=4$, enumerate all curves in $C_b\\cup C_p$ and all indecomposables in $\\operatorname{coh}\\mathbb{Y}$ and directly verify $\\varphi(\\sigma(\\gamma))=\\sigma_{1,2}(\\varphi(\\gamma))$; one mismatch would refute Proposition 3.5. Independently, compute $\\dim\\operatorname{Ext}^1_{\\mathbb{X}}(\\widehat\\varphi(\\widehat\\gamma_1),\\widehat\\varphi(\\widehat\\gamma_2))$ for every pair of skew-curves satisfying conditions (T1)-(T2) in Proposition 4.9, looking for a pair with total intersection $I=0$ and non-zero $\\operatorname{Ext}^1$: any such pair refutes the equivariant intersection-to-Ext transfer.","tokens_in":97,"feed_emoji":"🔄","tokens_out":7550,"duration_ms":124869,"temperature":0.7,"pith_summary":"The paper tries to establish a complete geometric-combinatorial dictionary for the category $\\operatorname{coh}\\mathbb{X}$ of coherent sheaves on the weighted projective line of type $(2,2,n)$. The dictionary is built on a cylindrical surface with $n$ marked points on each boundary, together with an order-2 self-homeomorphism $\\sigma$: indecomposable sheaves are claimed to correspond exactly to skew-curves on this surface, and tilting sheaves to pseudo-triangulations, with skew-arc flips matching tilting mutations. The construction proceeds by equivariantizing the known model for the $(n,n)$ weighted projective line under the automorphism that swaps its two special points. If the correspondence holds, the tilting graph of $\\operatorname{coh}\\mathbb{X}$ is connected, and tilting theory for this category has a concrete surface picture.","feed_headline":"A marked cylinder redraws tilting theory for (2,2,n) weighted lines","feed_subtitle":"Skew-curves match indecomposable sheaves, pseudo-triangulations match tilting sheaves, and flips match mutations.","key_machinery":"The central object is the marked cylinder $(S,M,\\sigma)$, where $S$ is a cylinder, $M$ has $n$ marked points on each boundary, and $\\sigma$ is the order-2 self-homeomorphism induced by reflection $(x,y)\\mapsto(-x,1-y)$ on the universal cover. A skew-curve is the equivariant data obtained from a curve in the $(n,n)$ model: a half of a $\\sigma$-fixed curve, an unordered pair $\\{\\gamma,\\sigma(\\gamma)\\}$, or a parameterized loop with a $\\pm$ label or paired with its inverse parameter. The key transfer identity is $\\varphi(\\sigma(\\gamma))=\\sigma_{1,2}(\\varphi(\\gamma))$, which makes the surface involution agree with the automorphism exchanging the two weighted points of the $(n,n)$ model; through it, Ext-vanishing is read off from intersection numbers according to the criterion of Proposition 4.9. A skew-arc is a skew-curve compatible with itself, and a pseudo-triangulation is a maximal set of distinct pairwise compatible skew-arcs; these are the combinatorial shadows of tilting sheaves.","core_discovery":"The central claim is Proposition 3.5: there is a bijection $\\widehat\\varphi:\\widehat C\\to\\operatorname{ind}(\\operatorname{coh}\\mathbb{X})$ sending each skew-curve to an indecomposable sheaf. Line bundles are the two halves of $\\sigma$-fixed boundary curves, extension bundles are pairs $\\{\\gamma,\\sigma(\\gamma)\\}$ from non-fixed curves, and the simple sheaves in the $\\tau$-period-2 tubes are the distinguished parameterized loops; the correspondence is made explicit in Table 1. Proposition 4.16 upgrades this to a one-to-one correspondence between pseudo-triangulations on $(S,M,\\sigma)$ and tilting sheaves, so each tilting sheaf has exactly $n+3$ indecomposable summands. Corollary 4.17 states that flipping a skew-arc in a pseudo-triangulation produces exactly the object one gets by tilting mutation of the corresponding sheaf, and Theorem 5.11 concludes that the tilting graph $G(T_{\\mathbb{X}})$ is connected. The whole dictionary rests on the equivariant relationship $\\operatorname{coh}\\mathbb{X}\\cong(\\operatorname{coh}\\mathbb{Y})^G$, where $\\mathbb{Y}$ is the weighted projective line of type $(n,n)$ and $G$ is the order-2 group exchanging its two weighted points.","pith_inferences":["Editorial inference: if the compatibility identity $\\varphi(\\sigma(\\gamma))=\\sigma_{1,2}(\\varphi(\\gamma))$ is checked directly for small $n$, the geometric model and the connectivity theorem would no longer depend on the unpublished base preprint [12].","Editorial inference: the same equivariantization template suggests analogous surface models for other weighted projective lines obtained as quotients by finite subgroups of the automorphism group, as long as the group action is compatible with the base model's curve bijection.","Editorial inference: the correspondence opens a counting route: the number of tilting sheaves on $\\mathbb{X}(2,2,n)$ should equal the number of pseudo-triangulations of $(S,M,\\sigma)$, a finite quantity that the flip graph could enumerate for each $n$; the paper does not compute these counts."],"forward_implications":["Tilting sheaves in $\\operatorname{coh}\\mathbb{X}(2,2,n)$ are classified by pseudo-triangulations, recovering the known classification of tilting bundles of type $(2,2,n)$ as the subclass with no loops.","Mutation at an indecomposable summand is the geometric flip of its skew-arc; hence every mutation has a unique inverse and the exchange graph of tilting sheaves is the flip graph of pseudo-triangulations.","Any two tilting sheaves are connected by a finite sequence of mutations because any two pseudo-triangulations of $(S,M,\\sigma)$ are connected by flips, as established in Theorem 5.11.","An almost complete tilting sheaf has exactly two complements, matching the fact that a skew-arc in a pseudo-triangulation has exactly one flip.","The $\\mathbb{Z}(\\vec{x}_1-\\vec{x}_2)$-stable tilting bundles form a connected subgraph that can be mutated to any other stable tilting bundle through explicit sequences of flips.","The correspondence gives a uniform bookkeeping device: whether a collection of sheaves is rigid and tilting can be read directly from the intersection pattern of the corresponding skew-curves."],"supporting_citations":[{"why":"Supplies the base geometric model for $\\operatorname{coh}\\mathbb{Y}$ of type $(n,n)$: the bijection $\\varphi$ from curves to indecomposable sheaves and the intersection-to-Ext criterion used throughout.","marker":"[12]"},{"why":"Provides the quotient $Y/G\\cong X$ identifying the type $(2,2,n)$ weighted projective line as the quotient under the order-2 automorphism.","marker":"[27]"},{"why":"Gives the equivalence $(\\operatorname{coh}\\mathbb{X})^{\\mathbb{Z}(\\vec{x}_1-\\vec{x}_2)}\\cong\\operatorname{coh}\\mathbb{Y}$ that carries the equivariantization argument in Appendix A.","marker":"[17]"},{"why":"Supplies the criterion that a rigid object with rank $\\operatorname{rank}K_0$ indecomposable summands is tilting, used to identify pseudo-triangulations with tilting sheaves.","marker":"[29]"},{"why":"Gives the equivariant Serre duality lemma used to control $\\operatorname{Ext}^1$ dimensions under induction and forgetful functors in Proposition 4.9.","marker":"[14]"},{"why":"Classifies tilting bundles on the same type $(2,2,n)$ weighted projective line, giving the comparison point that the pseudo-triangulation classification extends.","marker":"[11]"},{"why":"Provides the normal form $E_{O_X(-(i+1)\\vec{x}_3)}\\langle(k-1)\\vec{x}_3\\rangle$ for extension bundles and its shift behavior used in Proposition 3.7.","marker":"[16]"}],"fun_headline_variants":["Cylinder model turns tilting theory into surface triangulations","Skew-arcs and pseudo-triangulations: a new dictionary for sheaves","Flips of skew-arcs equal tilting mutations on weighted lines","Tilting graph proven connected via cylinder pseudo-triangulations","Marked cylinder shows tilting sheaves as pseudo-triangulations"],"cache_read_input_tokens":31616,"weakest_assumption_plain":"The load-bearing premise is that the unpublished base model [12] for type $(n,n)$ is correct, and in particular that $\\varphi(\\sigma(\\gamma))=\\sigma_{1,2}(\\varphi(\\gamma))$ and that the intersection-to-Ext criterion remains valid after equivariantization; if those fail, the bijection and both tilting theorems collapse.","fun_headline_variants_meta":{"raw":{"variants":["Cylinder model turns tilting theory into surface triangulations","Skew-arcs and pseudo-triangulations: a new dictionary for sheaves","Flips of skew-arcs equal tilting mutations on weighted lines","Tilting graph proven connected via cylinder pseudo-triangulations","Marked cylinder shows tilting sheaves as pseudo-triangulations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001926,"raw_usage":{"total_tokens":7556,"prompt_tokens":980,"completion_tokens":6576,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":596,"completion_tokens_details":{"reasoning_tokens":6482}},"tokens_in":596,"tokens_out":6576,"duration_ms":127043,"temperature":1.0,"reasoning_tokens":6482,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:55:15.350392+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a small $n$ such as $n=4$, enumerate all curves in $C_b\\cup C_p$ and all indecomposables in $\\operatorname{coh}\\mathbb{Y}$ and directly verify $\\varphi(\\sigma(\\gamma))=\\sigma_{1,2}(\\varphi(\\gamma))$; one mismatch would refute Proposition 3.5. Independently, compute $\\dim\\operatorname{Ext}^1_{\\mathbb{X}}(\\widehat\\varphi(\\widehat\\gamma_1),\\widehat\\varphi(\\widehat\\gamma_2))$ for every pair of skew-curves satisfying conditions (T1)-(T2) in Proposition 4.9, looking for a pair with total intersection $I=0$ and non-zero $\\operatorname{Ext}^1$: any such pair refutes the equivariant intersection-to-Ext transfer.","supporting_citations":[{"cited_title":"Geometric model for weighted projective lines of type $(p,q)$","cited_arxiv_id":"2310.04695","evidence_quote":"Supplies the base geometric model for $\\operatorname{coh}\\mathbb{Y}$ of type $(n,n)$: the bijection $\\varphi$ from curves to indecomposable sheaves and the intersection-to-Ext criterion used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the quotient $Y/G\\cong X$ identifying the type $(2,2,n)$ weighted projective line as the quotient under the order-2 automorphism."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the equivalence $(\\operatorname{coh}\\mathbb{X})^{\\mathbb{Z}(\\vec{x}_1-\\vec{x}_2)}\\cong\\operatorname{coh}\\mathbb{Y}$ that carries the equivariantization argument in Appendix A."},{"cited_title":"Lenzing and I","cited_arxiv_id":null,"evidence_quote":"Supplies the criterion that a rigid object with rank $\\operatorname{rank}K_0$ indecomposable summands is tilting, used to identify pseudo-triangulations with tilting sheaves."},{"cited_title":"A note on Serre duality and equivariantization","cited_arxiv_id":"1409.6864","evidence_quote":"Gives the equivariant Serre duality lemma used to control $\\operatorname{Ext}^1$ dimensions under induction and forgetful functors in Proposition 4.9."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classifies tilting bundles on the same type $(2,2,n)$ weighted projective line, giving the comparison point that the pseudo-triangulation classification extends."},{"cited_title":"Dong and S","cited_arxiv_id":null,"evidence_quote":"Provides the normal form $E_{O_X(-(i+1)\\vec{x}_3)}\\langle(k-1)\\vec{x}_3\\rangle$ for extension bundles and its shift behavior used in Proposition 3.7."}],"review_version":1}