{"id":"e7c90e22-3634-4e09-8d19-5af0ca82c93d","arxiv_id":"2608.13175","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"g-vector fans and picture categories are extended to 0-Auslander extriangulated categories, unifying tau-cluster morphism categories and earlier picture categories.","lead":"The authors define g-vector fans and picture categories for 0-Auslander extriangulated categories, a broad class of algebraic settings with a projective silting object. The paper shows these picture categories unify earlier tau-cluster morphism categories and dg picture categories, and adds a bijection between thick subcategories and tau-perpendicular subcategories.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 1.14 proves only the weaker add(U)-approximation claim, while Theorem 3.9's diagram (3.l) needs the stated add(U+)-approximation.","rationale":"The paper is coherent and the main construction is credible. The single most load-bearing weak point is indeed in Lemma 1.14, as the reader guessed, but the precise issue is more specific: the proof of the left add(U+)-approximation claim only establishes left add(U)-approximation. The argument relies on E(U0,U) = 0, which U being presilting gives, but the target needed later is add(U+). This matters because Theorem 3.9(6) constructs a morphism x' in diagram (3.r) by lifting along alpha_1 as a left add(U+)-approximation; without that stronger property, the commutativity square is not justified. The concern is localized and repairable: U0 is also in add(U+), and U+ is silting, so E(U0,U+) = 0, and the same exact-sequence argument with U+ in place of U supplies the missing epimorphism. Since the repair is immediate and no counterexample is suggested by the surrounding theory, the overall verdict need not change, but the proof of Lemma 1.14 should be amended in a final version.","tokens_in":51606,"tokens_out":21839,"duration_ms":198647,"concrete_test":"Re-derive Lemma 1.14 using the exact sequence C(X0,U+) -> C(T0,U+) -> E(U0,U+), and check that U0 is in add(U+) and that E(U0,U+) = 0 because U+ is silting. If both hold, the omitted epimorphism to Hom(T0,U+) follows and the add(U+)-approximation claim is justified. Then re-verify the construction of x' in diagram (3.r) with this repaired lemma; if the square is obtained, the concern is settled and the proof of Theorem 3.9(6) goes through.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central bijection Theorem 3.9, and hence Theorem 0.1(1), depends on the commuting diagram (3.l). Its proof uses Lemma 1.14 to obtain E-triangles Ti -> Yi -> U'_i with U'_i in add(U) and alpha_i a left add(U+)-approximation, and then constructs x' in (3.r) by lifting alpha_0 circ x along alpha_1 using precisely this add(U+)-approximation property. However, the proof of Lemma 1.14 verifies the approximation by writing C(X0,U) -> C(T0,U) -> E(U0,U) = 0 and concluding that the displayed map is an epimorphism. This only shows that maps from T0 to U factor through alpha; it does not show that maps to N or V_U factor, even though add(U+) = add(U oplus N oplus V_U). Thus the lemma's stated assertion is under-proved as written. The gap is not obviously fatal: because U0 lies in add(U) subseteq add(U+) and U+ is silting, one has E(U0,U+) = 0, so replacing U by U+ in the same exact-sequence argument would yield the stronger property. But the paper does not supply this step, and the later diagram chase in Theorem 3.9(6) inherits the missing justification.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a general framework of g-vector fans and picture categories for Hom-finite Krull–Schmidt 0-Auslander extriangulated k-categories with a basic projective silting object (Setting 1.11). It defines the fan F_g(C) via indices relative to T, proves in Theorem 2.5 that it is a rational simplicial fan whose maximal cones correspond to silting objects, introduces the thick partition P_thick, and defines the picture category W(C) as the category of the resulting partitioned fan. The central bijection Theorem 3.9 identifies thick subcategories of C generated by presilting objects containing all projective-injective objects with τ-perpendicular subcategories of mod(Λ), where Λ = End_C(T)/[N]. This is then used to prove Theorem 0.1: W(C) recovers the τ-cluster morphism category when C = K^{[-1,0]}(proj Λ), is compatible with reduction when C is reduced, and agrees with Børve's dg picture category under an exact dg enhancement. Section 4 introduces morphisms of partitioned fans, shows that they induce functors on picture categories, recovers several known functoriality results, and proves Theorem 4.13 reducing the existence of faithful group functors for W(C) to the corresponding property for W(Λ).","tokens_in":106,"tokens_out":16663,"duration_ms":638038,"significance":"Should the results stand, this is a substantive unification: a single partitioned-fan construction simultaneously explains τ-cluster morphism categories, previous dg picture categories, and the reduction functors between them, and it extends these notions to all 0-Auslander extriangulated categories satisfying Setting 1.11. The manuscript is commendably explicit about its definitions and imports, and the main equivalences are proven from the fan partition rather than assumed; there are no fitted parameters or definitionally circular steps. The main technical risk is the under-proved approximation claim in Lemma 1.14, which is load-bearing for Theorem 3.9(6) and hence for Theorem 0.1(1); because a short repair is available, the central claims are plausible. A second, more local gap occurs in the proof of full faithfulness in Proposition 3.11, which supports Theorem 0.1(3).","major_comments":[{"comment":"The proof of Lemma 1.14 does not establish the stated add(U^+)-approximation property. The displayed exact sequence C(X_0,U) → C(T_0,U) → E(U_0,U) = 0 only shows that morphisms from T_0 to U factor through α; it says nothing about morphisms from T_0 to N or to V_U, although add(U^+) = add(U ⊕ N ⊕ V_U). This is not merely cosmetic: the construction of x′ in diagram (3.r) in the proof of Theorem 3.9(6) uses that α_1 is a left add(U^+)-approximation in order to lift α_0 ∘ x, and Theorem 0.1(1) inherits this dependence. The gap is repairable: since U_0 ∈ add(U) and U^+ is silting, E(U_0, U^+) = 0, so the same long-exact-sequence argument with U replaced by U^+ gives the stronger property; the manuscript should supply this step explicitly.","section":"Lemma 1.14"},{"comment":"The proof of full faithfulness in Proposition 3.11 is not complete. After fixing representatives U and V, the authors assert that the domain of the Hom-set map (3.x) can be interpreted as the subset of presilt_U(H^0A) consisting of objects V′ with thick(V′) = thick(V), while the codomain can be interpreted as the subset consisting of V′ for which the dg localisations L_U A → L_{V′}(L_U A) and L_U A → L_V(L_U A) are equivalent, and then state that the map 'can be taken to be the identity map'. This identification is the crux of full faithfulness and is not demonstrated. The paper should either prove that the two conditions coincide or cite the precise statement from [Bør24, §5–6] that yields this correspondence; as written, the proof of Theorem 0.1(3) is not fully established.","section":"Proposition 3.11"}],"minor_comments":[{"comment":"In the final paragraph of the proof, the text says 'We are left with proving that they are not strongly-convex'; this should read 'are strongly convex'.","section":"Theorem 2.5 proof"},{"comment":"In the proof of part (2), the displayed formula TC(Y) = ⋂_{Y∈Y} WC({Y}) is formally wrong: it should be TC(Y) = ⋂_{Y∈Y} TC({Y}). The surrounding sentences also use WC({Y}) where TC({Y}) is clearly intended.","section":"Theorem 3.9(2) proof"},{"comment":"The notation thk_U C is used in diagram (3.l) and the surrounding text but is never defined; please define it explicitly, e.g., as the poset of thick subcategories of C containing U.","section":"Theorem 3.9(6) proof"},{"comment":"The phrase 'finite lattice' is ambiguous; in Definition 1.24 a lattice is a free abelian group, so Definition 3.1 should say 'free abelian group of finite rank'.","section":"Definition 3.1"},{"comment":"The displayed diagram (1.k) is very hard to read because the rows and columns are not visibly aligned in the text; redrawing it with explicit arrows and labelled rows/columns would substantially improve the presentation.","section":"Lemma 1.14, diagram (1.k)"},{"comment":"The sentence explaining why C(P_i) ∼ C(ΣP_i) is unclear; please spell out the relevant E-triangles (for instance, the conflations exhibiting P_i and ΣP_i as mutually linked) or point to the corresponding cones in Figure 1.","section":"Example 3.7(1)"}],"recommendation":"major_revision","confidential_remarks":"The skeptic's objection about Lemma 1.14 does land: the stated add(U^+)-approximation is not proved, and the missing step is load-bearing for Theorem 3.9 and Theorem 0.1(1). However, the gap is local and admits a straightforward repair, so this is not a reason to reject. The additional concern about Proposition 3.11 is also local and can be addressed by a more explicit proof or a precise citation. Both issues are within the manuscript's scope to fix."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the paper. The genuinely new content is Theorem 3.9, the bijection between thick subcategories generated by presilting objects containing the projective-injectives and tau-perpendicular subcategories of End(T)/[N]. It is new even for the two-term silting category K[-1,0](proj Λ), and it is what carries the paper. The g-vector fan and thick partition are largely an application of the second author's partitioned-fan framework to known 0-Auslander machinery, but the package is effective: Theorem 0.1 really does unify the tau-cluster morphism category with the dg picture category, and the morphisms of partitioned fans in Section 4 organize several known functorial relationships in a sensible way. The reader's overall assessment is fair: this is a serious, mostly sound paper.\n\nThe one real soft spot is Lemma 1.14. The lemma says that for T0 in add(T) there is an E-triangle T0 -> X0 -> U0 with U0 in add(U) and alpha a left add(U+)-approximation. The proof only runs the exact-sequence argument for U: it shows C(X0,U) -> C(T0,U) -> E(U0,U) = 0, which proves a left add(U)-approximation. It does not say anything about maps from T0 to N or V_U, so the stated add(U+) property is under-proved as written. The gap is not fatal. Since U0 lies in add(U) and U+ is silting, E(U0,U+) = 0, so replacing U by U+ in the same sequence gives the stronger claim. The paper does not supply that sentence, and Theorem 3.9(6) later uses the stronger form to build the commuting diagram in (3.r). A referee should ask for the step to be written out; it is a one-line repair.\n\nBeyond that, the paper leans heavily on [Kai25]—readers need that paper available—and there are a few typos in proof passages. I found nothing else load-bearing, and the citation pattern looks normal for the area; the authors cite their own prior work where it actually is the source of the machinery.\n\nSend it to peer review. The result deserves referee time, and the Lemma 1.14 issue is a routine fix rather than a structural problem.","headline":"Solid unification of picture-category constructions via g-vector fans, with a genuinely new thick/tau-perpendicular bijection; one lemma is under-proved but easily repaired.","tokens_in":52397,"tokens_out":3530,"would_cite":true,"duration_ms":29382,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E10","16G20","52A20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every Hom-finite Krull–Schmidt 0-Auslander extriangulated category with a projective silting object carries a g-vector fan whose partitioned-fan category is the common object behind the τ-cluster morphism category and all earlier…","keywords":["0-Auslander extriangulated category","g-vector fan","picture category","tau-cluster morphism category","tau-perpendicular subcategory","silting object","partitioned fan"],"falsifier":"One concrete check would be to find a Hom-finite Krull–Schmidt $0$-Auslander extriangulated category satisfying Setting 1.11 in which two g-vector cones $\\mathcal{C}(R)$ and $\\mathcal{C}(S)$ intersect in a cone strictly larger than $\\mathcal{C}(U)$, where $U$ is the largest common direct summand of $R$ and $S$; this would falsify Theorem 2.5 and the fan structure. A more targeted test is to look for an indecomposable $T_0$ and presilting $U$ for which no triangle as in Lemma 1.14 exists, since the commutativity of diagram (3.l) and the resulting $\\tau$-perpendicular bijection would break.","tokens_in":51372,"feed_emoji":"📐","tokens_out":12725,"duration_ms":98123,"temperature":0.7,"pith_summary":"The paper sets out to show that g-vector fans are not special to algebras but exist for every Hom-finite Krull–Schmidt $0$-Auslander extriangulated $k$-category with a projective silting object: the cones spanned by g-vectors of presilting objects form a rational simplicial fan whose maximal cones are silting objects. It then puts an admissible partition on this fan, identifying cones whose presilting objects generate the same thick subcategory, and defines the picture category $\\mathcal{W}(\\mathcal{C})$ as the category of this partitioned fan. The payoff is a unification: the $\\tau$-cluster morphism category of any finite-dimensional algebra, the earlier dg-theoretic picture category, and the picture category of a reduced $0$-Auslander category are all instances of the same construction. A careful reader would care because mutation-theoretic data that used to be organised separately in $\\tau$-tilting, silting, and cluster theory is now controlled by one convex-geometric object, with the category-level equivalences resting on a bijection between thick subcategories and $\\tau$-perpendicular subcategories.","feed_headline":"One g-vector fan governs every picture category","feed_subtitle":"For every 0-Auslander extriangulated category, the same partitioned fan underlies all known picture categories.","key_machinery":"The central object is the g-vector fan $\\mathcal{F}_g(\\mathcal{C})$: for a presilting object $X$ with indecomposable summands $X_i$, one forms the cone spanned by the g-vectors $g_{X_i}=\\mathrm{ind}_T(X_i)\\otimes 1$ in $K_0(\\mathrm{add}\\,T)_{\\mathbb{R}}$, where $\\mathrm{ind}_T$ is the index of an object obtained from a resolution by the projective silting object $T$. The paper proves these cones satisfy the intersection property, so they form a rational simplicial fan. The second load-bearing object is the thick partition $P_{\\mathrm{thick}}$, which identifies two cones exactly when their presilting objects generate the same thick subcategory; the shifted silting-completion triangle (Lemma 1.14) provides the left approximations by the completion of a presilting object $U$ needed to prove admissibility and to make the reduction diagrams commute. The picture category $\\mathcal{W}(\\mathcal{C})$ is then the category of the partitioned fan $(\\mathcal{F}_g(\\mathcal{C}),P_{\\mathrm{thick}})$, with morphisms given by equivalence classes of cone inclusions under orthogonal projection, and Theorem 3.9 renders the comparison with $\\tau$-perpendicular subcategories explicit.","core_discovery":"For $\\mathcal{C}$ in Setting 1.11, the collection $\\mathcal{F}_g(\\mathcal{C})$ of cones $\\mathcal{C}(X)$ spanned by g-vectors of indecomposable summands of presilting objects is a rational simplicial polyhedral fan in the real Grothendieck group $K_0(\\mathrm{add}\\,T)_{\\mathbb{R}}$, and its maximal cones are exactly the silting objects. The paper's central discovery is that the relation '$\\mathrm{thick}(U)=\\mathrm{thick}(V)$' is an admissible partition of this fan, so the category of the partitioned fan is well defined; this is the picture category $\\mathcal{W}(\\mathcal{C})$. Theorem 0.1 then asserts that $\\mathcal{W}(K[-1,0](\\mathrm{proj}\\,\\Lambda))$ is equivalent to the $\\tau$-cluster morphism category of $\\Lambda$, that $\\mathcal{W}(\\mathcal{C})\\simeq \\mathcal{W}(K[-1,0](\\mathrm{proj}\\,\\mathrm{End}_{\\mathcal{C}}(T)))$ whenever $\\mathcal{C}$ has no nonzero projective-injective objects, and that $\\mathcal{W}(\\mathcal{C})$ agrees with the earlier dg picture category when an exact dg enhancement exists. The load-bearing comparison is Theorem 3.9, an inclusion-reversing bijection between thick subcategories generated by presilting objects that contain all projective-injective objects and $\\tau$-perpendicular subcategories of $\\mathrm{mod}(\\Lambda)$, together with a theory of morphisms of partitioned fans that turns such maps into functors between picture categories.","pith_inferences":["One consequence the authors leave implicit is that $\\mathcal{W}(\\mathcal{C})$ can be studied for 0-Auslander categories that admit no exact dg enhancement, since the definition uses only the fan and the thick partition; such examples would test whether the dg picture category was the right level of generality.","Because any linear map of Grothendieck groups that preserves cone inclusions and thick-equivalence induces a functor, there may be functors between picture categories that do not come from extriangulated functors; constructing one would show the fan-theoretic category is strictly more flexible than the categorical one.","A natural test of the partition's canonicity is whether $P_{\\mathrm{thick}}$ is the coarsest admissible partition whose category is cubical; if so, $\\mathcal{W}(\\mathcal{C})$ would be an intrinsic invariant of $\\mathcal{F}_g(\\mathcal{C})$ rather than a chosen structure.","The bijection with $\\tau$-perpendicular subcategories suggests that lattice-theoretic invariants of wide subcategories of $\\mathrm{mod}(\\Lambda)$ can be read off from the face poset of $\\mathcal{F}_g(\\mathcal{C})$; computing examples beyond the A2 cases in the paper would clarify which numerical invariants transfer."],"forward_implications":["For a finite-dimensional algebra $\\Lambda$, the $\\tau$-cluster morphism category $\\mathcal{T}(\\Lambda)$ is exactly the category of the partitioned g-vector fan of $K[-1,0](\\mathrm{proj}\\,\\Lambda)$, so cubical structure, rank, and the fact that every morphism is monic and epic are consequences of the fan.","If $\\mathcal{C}$ is reduced, $\\mathcal{W}(\\mathcal{C})\\simeq \\mathcal{W}(\\Lambda)$ for $\\Lambda=\\mathrm{End}_{\\mathcal{C}}(T)$; picture categories of reduced 0-Auslander categories are thus determined by finite-dimensional algebras.","Thick subcategories generated by presilting objects containing all projective-injective objects are in inclusion-reversing bijection with $\\tau$-perpendicular wide subcategories of $\\mathrm{mod}(\\Lambda)$, making silting reduction and $\\tau$-tilting reduction the same operation.","Morphisms of partitioned fans induce functors between picture categories, with injectivity on cones giving faithful functors and surjectivity giving dense functors; this reproduces the known faithful functor for base field extensions, for factor algebras, and for subcategory inclusions.","$\\mathcal{W}(\\mathcal{C})$ admits a faithful group functor if and only if $\\mathcal{W}(\\Lambda)$ does, so existing results on classifying spaces and $K(\\pi,1)$ questions for algebras transfer to the whole setting."],"supporting_citations":[{"why":"This supplies the extriangulated axioms and realization framework in which every construction takes place.","marker":"[NP19]"},{"why":"This establishes 0-Auslander extriangulated categories, the index map, silting objects, and the completions on which the fan construction and Lemma 1.14 rest.","marker":"[GNP23]"},{"why":"This supplies $\\tau$-tilting theory and the bijection between support $\\tau$-tilting pairs and two-term silting objects used in Proposition 1.16 and Theorem 3.9.","marker":"[AIR14]"},{"why":"This provides the g-vector fan and injectivity of the index for finite-dimensional algebras, the special case that Proposition 2.12 and Lemma 2.4 extend.","marker":"[DIJ19]"},{"why":"This defines admissible partitions and the category of a partitioned fan, which is the definition of $\\mathcal{W}(\\mathcal{C})$.","marker":"[Kai25]"},{"why":"This defines the earlier dg-theoretic picture category and silting reduction that Theorem 0.1(3) must match.","marker":"[Bør24]"},{"why":"This introduces $\\tau$-tilting reduction and $\\tau$-perpendicular categories, the module-side objects in the Theorem 3.9 bijection.","marker":"[Jas15]"},{"why":"This puts the $\\tau$-cluster morphism category in geometric terms; the paper's Theorem 3.9 and Proposition 3.10 recover and extend this perspective.","marker":"[STTW26]"},{"why":"This describes $\\tau$-perpendicular wide subcategories and the $\\tau$-cluster morphism category, which appear as subcategory inclusions recovered by Lemma 4.10.","marker":"[BH23]"}],"fun_headline_variants":["One fan, all picture categories","A single fan splits into all picture categories","Same fan underlies every picture category","Unified picture categories via one g-vector fan"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is Lemma 1.14, which says that for every presilting object $U$, every indecomposable summand of the projective silting object can be placed in an extriangulated triangle $T_0\\to X_0\\to U_0$ with $U_0$ in $\\mathrm{add}(U)$ and the first map a left approximation by the silting completion of $U$; if this lemma fails, the $\\tau$-perpendicular bijection and the main equivalences of Theorem 0.1(1) do not follow from the given proof.","fun_headline_variants_meta":{"raw":{"variants":["One fan, all picture categories","A single fan splits into all picture categories","Same fan underlies every picture category","Unified picture categories via one g-vector fan"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000743,"raw_usage":{"total_tokens":3370,"prompt_tokens":1053,"completion_tokens":2317,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":669,"completion_tokens_details":{"reasoning_tokens":2263}},"tokens_in":669,"tokens_out":2317,"duration_ms":16269,"temperature":1.0,"reasoning_tokens":2263,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:03:38.428001+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete check would be to find a Hom-finite Krull–Schmidt $0$-Auslander extriangulated category satisfying Setting 1.11 in which two g-vector cones $\\mathcal{C}(R)$ and $\\mathcal{C}(S)$ intersect in a cone strictly larger than $\\mathcal{C}(U)$, where $U$ is the largest common direct summand of $R$ and $S$; this would falsify Theorem 2.5 and the fan structure. A more targeted test is to look for an indecomposable $T_0$ and presilting $U$ for which no triangle as in Lemma 1.14 exists, since the commutativity of diagram (3.l) and the resulting $\\tau$-perpendicular bijection would break.","supporting_citations":[],"review_version":1}