{"id":"3b88e528-07dd-4068-a580-a12effb9bea8","arxiv_id":"1908.06546","paper_version":3,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For n-slice algebras satisfying Iyama's (n,n)-condition, the τn-closures in the module category and the νn-closure in the derived category are realized as truncations of the stable n-translation quiver Z|n−1Qop,⊥.","lead":"This mathematics paper generalizes the classical ZQ quiver construction to higher representation theory, and it proves conditions under which certain module categories and derived categories are realized as bound path categories of truncations of these generalized quivers. The paper matters because it gives a uniform quiver-theoretic description of higher Auslander-Reiten theory for a class of algebras called n-slice algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central theorems are conditional on τ-maturity, Iyama's (n,n)-condition, and Conditions 6.2; the paper leaves open whether any n>1 n-slice algebra satisfies them, so the advertised scope is unsupported.","rationale":"The reader's conditional verdict is appropriate. I agree with the identified weakest assumption: the main theorems are genuinely conditional, and the conditions are not discharged for any non-classical example. The paper's own remarks explicitly leave open whether n-slice algebras always satisfy Iyama's condition, whether the relevant subquivers are τ-mature, and when a strongly Koszul n-slice algebra is n-representation-infinite. The n=1 recovery in Section 5.1 and the explicit n=2 construction in Section 3.2 are useful, but they do not verify the hypotheses. I found no obvious internal unsoundness in the core induction of Lemma 5.5 or in the application of Proposition 4.2; the issue is scope, not contradiction. The abstract overstates the results by omitting the hypotheses, so the reader's CONDITIONAL verdict remains correct, with no change needed.","tokens_in":27607,"tokens_out":8042,"duration_ms":85859,"concrete_test":"Take the explicit n=2 example from Section 3.2: the Auslander algebra Γ of the path algebra of A4 with linear orientation. Compute a minimal injective resolution of Γ and check whether the injective hull Γ→I0 has projective dimension at most 1, i.e. whether Iyama's (2,2)-condition holds. Then compute Q(M±) and test τ-maturity using the criterion after Proposition 2.4. If either condition fails, Theorem 5.10 still has no checked n=2 instance; if both hold, the concern is reduced to identifying further examples and a complementary check would be to run the same verification for the n-cubic pyramid algebras of [12] at n=3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proofs of Theorems 5.10 and 6.5 are internally coherent under their stated hypotheses: Theorem 5.10 follows from Lemma 5.8 and Theorem 5.9, and Theorem 6.5 follows from Lemma 6.3 and Proposition 4.2. The load-bearing gap is applicability. The abstract and introduction present the conclusion as a property of arbitrary n-slice algebras, but Theorem 5.10 requires the algebra to satisfy Iyama's (n,n)-condition and the components to be τ-mature, while Theorem 6.5 requires one of Conditions 6.2, which include Hom-isomorphism hypotheses beyond τ-maturity and n-rigidity. The paper itself flags the gap: the Remark after Theorem 5.10 asks when M± are τ-mature and whether every n-slice algebra satisfies Iyama's condition, and Section 6 ends by asking when a strongly Koszul n-slice algebra is n-representation-infinite. For n=1 the classical path algebra example is verified; for n>1, apart from algebras covered by [12], no concrete instance satisfying all hypotheses is exhibited. Thus the central claim, as advertised, is not established for any non-classical example, even though the conditional theorems may be true.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces n-slice quivers and n-slice algebras, together with the stable n-translation quiver Z|_{n-1}Q, as higher-dimensional analogues of the classical translation quiver ZQ. Its main technical tool is Proposition 4.2, a recognition criterion for when a Hom-finite Krull-Schmidt category is equivalent to the bound path category of a convex full subquiver of a dual stable n-translation quiver. Using this criterion, the paper claims that for an n-slice algebra Γ satisfying Iyama's (n,n)-condition, the τ_n-closures M+(Γ) and M−(Γ) have Auslander-Reiten quivers that are truncations of Z|_{n-1}Q^{op,⊥}, provided the relevant subquivers are τ-mature (Theorem 5.10). Under additional Hom-isomorphism hypotheses, Conditions 6.2, it further claims that the ν_n-closure U(Γ) in the derived category has Auslander-Reiten quiver Z|_{n-1}Q^{op,⊥} (Theorem 6.5).","tokens_in":27764,"tokens_out":17823,"duration_ms":176570,"significance":"If the hypotheses can be verified in new cases, the paper would provide a uniform higher-representation-theoretic analogue of the classical description of preprojective and preinjective components and of derived-category components via ZQ. The definitions of n-slice algebras and the explicit comparison functors Θ± and Θ are original, and Proposition 4.2 is a potentially useful general criterion. The paper is also honest in flagging the open questions about τ-maturity and Iyama's condition after Theorem 5.10. However, the main theorems are substantially more conditional than the abstract and introduction suggest, and no n>1 example satisfying all hypotheses is actually exhibited in the paper.","major_comments":[{"comment":"The central theorems are more conditional than the abstract and introduction advertise. Theorem 5.10 only applies to n-slice algebras that satisfy Iyama's (n,n)-condition and whose components M± are τ-mature, and Theorem 6.5 additionally requires one of the Hom-isomorphism Conditions 6.2. The Remark after Theorem 5.10 explicitly leaves open when τ-maturity holds for finite q and whether every n-slice algebra satisfies Iyama's condition, while Section 6 closes with the same kind of open question for n-representation-infinite algebras. The only fully verified example is the classical n=1 path algebra (Section 5.1); Section 3.2 shows that the Auslander algebra of a representation-directed algebra is a 2-slice algebra but does not verify Iyama's condition or τ-maturity. I ask the author to either prove the missing hypotheses in a nontrivial family, exhibit an n>1 example satisfying all hypotheses, or explicitly re-scope the abstract and introduction to the conditional statements.","section":"Abstract, Theorem 5.10, Remark after Theorem 5.10, Theorem 6.5, Conditions 6.2"},{"comment":"Condition (iv) is stated as a one-way preservation statement: a sink/source sequence in C is sent to one in G(C). In the proof, however, the sink sequence (10) in G is used to conclude the existence of the sink sequence (11) in C ('So by condition (iv)...'), which is the converse direction. Since F is not yet known to be an equivalence on the full category C, this implication requires proof, or the hypothesis should be 'if and only if' with the converse verified. This is load-bearing because Proposition 4.2 is the engine behind Theorems 5.6, 5.10, and 6.4/6.5.","section":"§4, Proposition 4.2, condition (iv) and proof around Eqs. (10)–(12)"}],"minor_comments":[{"comment":"The definition of τ-maturity is given as 'satisfies the condition in Corollary 2.3'; it would be clearer to state the condition explicitly, including the range of indices i for which the condition must hold.","section":"Section 2, Corollary 2.3 and the definition of τ-maturity"},{"comment":"In the paragraph before (10), the index is introduced as τ^{1−s}u, but the displayed sequence uses τ^{1−r}u; the exponent in (10) appears to be inconsistent with the preceding notation.","section":"§4, proof of Proposition 4.2, displayed sequence (10)"},{"comment":"The phrase 'M− have n-almost split sequence' should be 'M− has n-almost split sequences'; similar grammatical issues occur in Theorem 5.9 and Theorem 6.5 ('is satisfies').","section":"Section 5, Theorem 5.6"},{"comment":"The closing question asks when a strongly Koszul n-slice algebra is 'n-representation-finite'; given the surrounding discussion of Corollary 6.6, this should presumably read 'n-representation-infinite'.","section":"Section 6, final sentence"},{"comment":"Reference [5] spells the second author as 'Ginsberg'; the standard spelling is 'Ginzburg'. In reference [24], 'Lecture Note' should be 'Lecture Notes'.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper depends heavily on the author's earlier work [9], [10], [11], and the only n>1 context mentioned is the author's joint paper [12]; please confirm those references are all accepted or published. The proof gap in Proposition 4.2 identified above should be addressed before acceptance; if the converse of condition (iv) cannot be established, the main structural theorem may need to be reformulated. The lack of any n>1 example satisfying the hypotheses of Theorems 5.10 and 6.5 is the main scientific risk and should be a central point of the revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things first. This paper is a serious attempt to generalize the classical ZQ picture to higher Auslander-Reiten theory, and it proves genuinely new statements: under Iyama's (n,n)-condition plus τ-maturity, the AR quivers of τn-closures of an n-slice algebra are truncations of Z|n−1Qop,⊥, and under stronger Hypotheses 6.2 the νn-closure has AR quiver Z|n−1Qop,⊥. Second, the abstract oversells the reach. The theorems are conditional on τ-maturity, Iyama's condition, and Conditions 6.2, and the paper itself asks whether any n>1 algebra satisfies them. So the main claims are well-formed but not established in the advertised generality.\n\nWhat is genuinely good: Proposition 4.2 is a useful recognition theorem for categories equivalent to bound path categories of truncations, and the inductive proof of Lemma 5.5 is detailed. The n=1 case recovers the classical preprojective/preinjective picture cleanly. The authors also flag the open questions honestly, and the heavy reliance on their earlier papers is not deceptive; those are prior results in the same program, used as lemmas.\n\nSoft spots, in proportion. The biggest one is existential: no theorem here shows that the hypotheses are ever satisfied outside the classical n=1 case and the n-cubic pyramid algebras of [12]. τ-maturity is automatic when q=∞, but not in general; whether every n-slice algebra satisfies Iyama's (n,n)-condition is left open. Conditions 6.2 are stated without any discussion of how to check them. That is a real gap between what the abstract promises and what the theorems deliver. The proof of Lemma 5.5 also has a few compressed passages, especially around the exact sequences (16)–(20) and the passage from source sequence to sink sequence by [18, Prop. 3.3]; a referee should inspect that step carefully. Minor: the notation Q+, Q−, G± is easy to confuse, and the open questions should be moved from the remark after Theorem 5.10 into the introduction.\n\nThe stress-test note is mostly fair. The central claims are not false, but they are conditional, and the abstract should say so prominently.\n\nWho is this for? Specialists in higher AR theory and Koszul duality. It deserves a serious referee, not a desk reject. I would send it to an expert and expect major revision: make the hypotheses explicit in the abstract, discuss examples, and expand the compressed proof of Lemma 5.5.","headline":"New and plausible conditional results on higher ZQ-type constructions, but the advertised scope outruns the hypotheses; worth a serious referee.","tokens_in":28462,"tokens_out":2481,"would_cite":true,"duration_ms":28714,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16G70","16E35","16S37"],"pacs":[],"model":"deepseek-v4-flash","headline":"For n-slice algebras satisfying the $(n,n)$-condition, the higher preprojective and preinjective components are truncations of the stable $n$-translation quiver $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$; strong Koszulness gives the derived-category…","keywords":["higher representation theory","n-translation quiver","n-slice algebra","Auslander-Reiten quiver","tau_n-closure","nu_n-closure","derived category","Koszul algebra"],"falsifier":"Compute the Auslander-Reiten quiver of the $\\nu_n$-closure for a concrete strongly Koszul acyclic $n$-slice algebra satisfying Conditions 6.2, for instance one of the $n$-cubic pyramid algebras of Section 5.1: if it contains a cycle, a non-locally-finite pattern, or a vertex whose arrow multiplicities differ from the corresponding vertex of $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$, then Theorem 6.5 is false; separately, for a finite-$q$ example test $\\tau$-maturity by checking whether some vertex $i$ in $Q(M_-)$ has both $\\tau i$ and its dual-translation preimage in the truncation.","tokens_in":27287,"feed_emoji":"🔄","tokens_out":13451,"duration_ms":116395,"temperature":0.7,"pith_summary":"Classical representation theory records the preprojective and preinjective components of a path algebra as truncations of a single infinite quiver, the translation quiver $\\mathbb{Z}Q$. This paper proposes a higher-dimensional version: for an $n$-slice algebra $\\Gamma$, the same role is played by the stable $n$-translation quiver $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$, built from the bound quiver $Q^{op}$ of $\\Gamma$ by a returning-arrow construction. The central claim is that, when $\\Gamma$ satisfies the $(n,n)$-condition and the relevant closure is $\\tau$-mature, the Auslander-Reiten quivers of the $\\tau_n$-closures of the injectives and projectives are truncations of this quiver; under a stronger Koszul hypothesis the $\\nu_n$-closure in the derived category has exactly this quiver as its Auslander-Reiten quiver. A sympathetic reader should care because this turns a whole family of higher homological categories into a single explicit combinatorial pattern, the way $\\mathbb{Z}Q$ organizes the module category of a path algebra.","feed_headline":"Proved: higher preprojective components truncate a ZQ-type quiver","feed_subtitle":"For n-slice algebras, higher components and the derived closure all match one infinite quiver pattern.","key_machinery":"The load-bearing object is the stable $n$-translation quiver $\\mathbb{Z}|_{n-1}Q$, an infinite bound quiver built from an $n$-properly-graded quiver $Q$ by keeping the original arrows in each copy $\\mathbb{Z}\\times Q_1$ and adding a returning arrow $\\beta_p\\colon t(p)\\to s(p)$ for each maximal bound path $p$ in a chosen basis, with relations forcing an $n$-translation $\\tau(i,m)=(i,m-1)$. Its quadratic dual $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$ is the quiver used in the theorems. The other essential piece is the $\\tau$-hammock, a generalized mesh that lists, for each vertex $i$, the positions and multiplicities of the indecomposable projectives appearing in the Koszul complex ending at $\\Gamma e_i$; hammocks are what produce the $n$-almost split sequences in the closure categories. Proposition 4.2 supplies the recognition criterion: if a Hom-finite Krull-Schmidt category carries a correspondence to such a quiver, respects the induced order, and sends sink and source sequences to those of the quiver category, then it is equivalent to the bound path category of a truncation. The paper also introduces $n$-slice quivers and algebras as quadratic duals of complete $\\tau$-slices, so that $Q^{op,\\perp}$ sits inside $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$ as the zero slice.","core_discovery":"The central discovery is that the higher analogues of the preprojective and preinjective components of an $n$-slice algebra $\\Gamma$ --- the $\\tau_n$-closures $M_+(\\Gamma) = \\operatorname{add}\\{\\tau_n^t D\\Gamma \\mid t \\ge 0\\}$ and $M_-(\\Gamma) = \\operatorname{add}\\{\\tau_n^{-t} \\Gamma \\mid t \\ge 0\\}$ --- are governed by one infinite quiver. Theorem 5.10 states that if $\\Gamma$ satisfies the $(n,n)$-condition and these closures are $\\tau$-mature, then their Auslander-Reiten quivers are truncations of the bound quiver $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$. Theorem 6.5 states that for a strongly Koszul acyclic $n$-slice algebra satisfying one of the listed Conditions 6.2, the $\\nu_n$-closure $U(\\Gamma)$ in the derived category has Auslander-Reiten quiver exactly $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$. For $n=1$ these statements recover the classical description of the Auslander-Reiten quiver of a path algebra as truncations of $\\mathbb{Z}Q$. The arguments build an explicit equivalence sending $\\tau_n^{-t}\\Gamma e_u$ to $\\Gamma e_{\\tau^{-t}u}$, so the translation structure of $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$ literally becomes the higher Auslander-Reiten translation of the closures.","pith_inferences":["If the open question about $\\tau$-maturity has a positive answer for finite $q$, Theorem 5.10 would apply to the $n$-cubic pyramid algebras discussed in Section 5.1 and would yield a concrete family of higher representation-infinite algebras with fully transparent Auslander-Reiten quivers.","The equivalences $\\Theta_\\pm$ commute with the respective translations, which suggests the equivalence between $M_\\pm(\\Gamma)$ and the bound path category may lift to a stable equivalence or even a derived equivalence; the paper does not pursue this.","The recognition criterion in Proposition 4.2 is stated for arbitrary Hom-finite Krull-Schmidt categories, so it may be reusable beyond $n$-slice algebras, for instance to recognize categories arising in cluster theory as bound path categories of translation quivers.","A practical check on the smallest finite-$q$ example (the two-dimensional case of Section 3.2) would be to compute the hammocks and test $\\tau$-maturity of $Q(M_-)$ directly; this would either produce the first non-trivial instance of the paper's theorem or expose the obstruction."],"forward_implications":["For every $n$-slice algebra satisfying the $(n,n)$-condition whose closures are $\\tau$-mature, the higher preprojective and preinjective components have Auslander-Reiten quivers that are truncations of $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$, hence acyclic, locally finite, and explicitly computable from the bound quiver $Q^{op}$.","For strongly Koszul acyclic $n$-slice algebras satisfying Conditions 6.2, the $\\nu_n$-closure in the derived category has Auslander-Reiten quiver equal to the whole infinite quiver $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$, extending the classical description of the derived category of a path algebra.","In the $n$-representation-infinite case (Corollary 6.6), the closure $U(\\Gamma)$ is equivalent to the bound path category on $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$ and has $n$-almost split sequences; the paper leaves open when strongly Koszul $n$-slice algebras are $n$-representation-infinite.","The $n=1$ instance of the construction recovers the classical fact that the preprojective and preinjective components of a path algebra are truncations of $\\mathbb{Z}Q$, with mesh relations supplied by the quadratic dual of the returning-arrow quiver.","Proposition 4.2 is a general recognition principle: any Hom-finite Krull-Schmidt category whose indecomposables correspond to a $\\tau$-mature truncation, with matching sink and source sequences, is equivalent to the bound path category of that truncation."],"supporting_citations":[{"why":"Supplies the higher Auslander-Reiten definitions, $\\tau_n$-closures, the $(n,n)$-condition, and the cone/cylinder construction that this paper generalizes.","marker":"[20]"},{"why":"Introduces $n$-translation algebras, $\\tau$-hammocks, Koszul complexes, and the $\\mathbb{Z}|_{n-1}Q$ construction used throughout.","marker":"[10]"},{"why":"Establishes the duality between trivial extensions and higher preprojective algebras that characterizes $n$-slice algebras.","marker":"[11]"},{"why":"Provides the results on $n$-representation-infinite algebras used in Lemma 6.1 and Corollary 6.6.","marker":"[15]"},{"why":"Supplies the higher Auslander-Reiten theory of $\\tau_n$ and $n$-rigidity invoked in Lemmas 5.5 and 5.8.","marker":"[18]"},{"why":"Introduces complete $\\tau$-slices and the stable $n$-translation quiver structure underlying the $\\mathbb{Z}|_{n-1}Q$ construction.","marker":"[9]"},{"why":"Provides the worked example class of $n$-cubic pyramid algebras where finite-$q$ $\\tau$-mature subquivers are found.","marker":"[12]"}],"fun_headline_variants":["n-slice algebras: higher components truncate ZQ-type quiver","Stable n-translation quivers govern higher preprojective components","Truncated ZQ quiver describes n-preprojective and derived closure","Higher AR quivers of n-slice algebras match ZQ truncations","Derived closure of n-slice algebras: one infinite quiver pattern"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorems apply only when the relevant closure quivers are $\\tau$-mature, and for finite $q$ the paper does not prove $\\tau$-maturity for any $n$-slice algebra satisfying the $(n,n)$-condition; it also leaves open whether typical $n$-slice algebras satisfy the $(n,n)$-condition at all.","fun_headline_variants_meta":{"raw":{"variants":["n-slice algebras: higher components truncate ZQ-type quiver","Stable n-translation quivers govern higher preprojective components","Truncated ZQ quiver describes n-preprojective and derived closure","Higher AR quivers of n-slice algebras match ZQ truncations","Derived closure of n-slice algebras: one infinite quiver pattern"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00074,"raw_usage":{"total_tokens":3385,"prompt_tokens":1108,"completion_tokens":2277,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":724,"completion_tokens_details":{"reasoning_tokens":2181}},"tokens_in":724,"tokens_out":2277,"duration_ms":16806,"temperature":1.0,"reasoning_tokens":2181,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:40:23.673340+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Auslander-Reiten quiver of the $\\nu_n$-closure for a concrete strongly Koszul acyclic $n$-slice algebra satisfying Conditions 6.2, for instance one of the $n$-cubic pyramid algebras of Section 5.1: if it contains a cycle, a non-locally-finite pattern, or a vertex whose arrow multiplicities differ from the corresponding vertex of $\\mathbb{Z}|_{n-1}Q^{op,\\perp}$, then Theorem 6.5 is false; separately, for a finite-$q$ example test $\\tau$-maturity by checking whether some vertex $i$ in $Q(M_-)$ has both $\\tau i$ and its dual-translation preimage in the truncation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the higher Auslander-Reiten definitions, $\\tau_n$-closures, the $(n,n)$-condition, and the cone/cylinder construction that this paper generalizes."},{"cited_title":"Y.: On n-translation algebras","cited_arxiv_id":null,"evidence_quote":"Introduces $n$-translation algebras, $\\tau$-hammocks, Koszul complexes, and the $\\mathbb{Z}|_{n-1}Q$ construction used throughout."},{"cited_title":"Y.: On Trivial extensions and higher preproject ive algebras, J","cited_arxiv_id":null,"evidence_quote":"Establishes the duality between trivial extensions and higher preprojective algebras that characterizes $n$-slice algebras."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the results on $n$-representation-infinite algebras used in Lemma 6.1 and Corollary 6.6."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the higher Auslander-Reiten theory of $\\tau_n$ and $n$-rigidity invoked in Lemmas 5.5 and 5.8."},{"cited_title":"Y.: Coverings and Truncations of Graded Self-inj ective Algebras, J","cited_arxiv_id":null,"evidence_quote":"Introduces complete $\\tau$-slices and the stable $n$-translation quiver structure underlying the $\\mathbb{Z}|_{n-1}Q$ construction."},{"cited_title":"Y., Luo, D.: On n-cubic Pyramid Algebras","cited_arxiv_id":null,"evidence_quote":"Provides the worked example class of $n$-cubic pyramid algebras where finite-$q$ $\\tau$-mature subquivers are found."}],"review_version":1}