{"id":"e58ccff7-eb03-466b-bdd1-b80e43ceeb14","arxiv_id":"2607.17497","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A two-sided Noetherian ring is n-Gorenstein exactly when every indecomposable injective module I satisfies occ(I) ≥ min{n, fdim I}; applied to Nakayama algebras, this settles the Klász–Kleinau–Marczinzik conjecture that odd-grade simple modules are regular.","lead":"This paper proves a new homological criterion for n-Gorenstein rings, then uses it to show that the syzygy filtration of a Nakayama algebra reduces its Gorenstein degree by two, settling a recent conjecture about odd-degree Ext modules of simple modules. The approach converts a ring-theoretic condition into a checkable inequality between two invariants of indecomposable injective modules.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.1(2) rests on an unproved claim that Ω^{2r}(S) is a simple object of the r-th iterated syzygy filtration category; if this fails, odd Ext modules need not be simple and the conjecture settlement collapses.","rationale":"The reader's weakest-assumption analysis focused on Remark 4.1, the transfer of [22] to Artin algebras satisfying (N1)-(N2). That is a genuine external dependency, and if it fails, Theorems 4.12/4.14 and the general Artin-algebra version of Theorem 5.1 would be overgeneralized. However, the conjecture settlement is explicitly stated for split basic algebras over a field, so the transfer issue may not affect the headline application if splitness is assumed. By contrast, the assertion that Ω^{2r}(S) is simple in E_r appears in the proof of Theorem 5.1(2) even in the split case and is not justified by a proof or a precise citation. It is an internal gap in the argument as written. I verified that most other technical steps (Lemmas 2.1-2.2, Theorem 3.3, Lemma 4.2 modulo [22], Proposition 4.4, Lemma 5.2, and Corollary 5.5 modulo the homothety argument) are internally sound or are clear consequences of stated results. The concrete computational test would settle whether the simplicity assertion actually holds in the nontrivial cases where odd Ext is nonzero. Until then, CONDITIONAL is the appropriate verdict: no demonstrated error, but a load-bearing claim requires discharge.","tokens_in":15230,"tokens_out":30749,"duration_ms":284992,"concrete_test":"Using QPA (GAP) or a comparable computational tool, implement the syzygy filtration construction for a family of split Auslander-Gorenstein Nakayama algebras (e.g., the algebras in Example 4.3 or the classification of such algebras). For every simple module S with pdim_A S = 2r+1 (odd), compute T = Ω^{2r}(S), construct the iterated syzygy filtered algebras ε^i(A) and the associated categories E_i ≅ mod ε^i(A), and check whether T is a simple object of E_r. Also verify that DTrT is simple. Run this for all algebras up to, say, rank 12. If any T is not simple in E_r, Theorem 5.1(2) is false; if all pass, the assertion gains computational support.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 5.1(2) reduces the desired simplicity of Ext^n_A(S,A) to showing that T = Ω^{2r}(S) (with n = 2r+1) is a simple A-module. The crucial step is the sentence: “By the construction of iterated syzygy filtration, T is a simple object of E_r.” No proof or specific citation is given for this assertion. It requires that for a simple S with pdim_A S = 2r+1, the syzygy Ω^2(S) is a base module ∇(S) (hence simple in E), and then inductively that the second syzygy of a simple object of E_i with projective dimension ≠ 1 is a base module of E_{i+1}. While this is plausible from the machinery of [22], it is a nontrivial iterated statement that is neither stated as a lemma in this paper nor explicitly cited from [22]. If the assertion fails, T need not be simple, DTrT need not be simple, and Theorem 5.1(2) — the zero-or-simple structure of odd Ext — is unsupported. Since Corollary 5.4 and the conjecture settlement depend directly on Theorem 5.1(2), this is the most load-bearing internal gap in the argument. The reader correctly flagged this as a second fragile point, but I view it as the single most immediate threat to the headline claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a Serre-type condition (G_n) for two-sided Noetherian rings, expressed in terms of occurrence degrees and flat dimensions of indecomposable injectives, and proves in Theorem 3.3 that it is equivalent to the ring being n-Gorenstein. For Artin algebras this becomes a criterion relating grades of simple modules to projective dimensions of their injective envelopes. The paper then applies this criterion to Nakayama algebras using syzygy filtration, proving a reduction theorem (Theorem 4.12): A is n-Gorenstein iff A is 2-Gorenstein and ε(A) is (n−2)-Gorenstein. From this, the author derives preservation and reflection of the Auslander–Gorenstein property under syzygy filtration. The main application is Theorem 5.1, which asserts that over an Auslander–Gorenstein Nakayama algebra every odd Ext module Ext^n_A(S,A) is either zero or a simple A^op-module, and is nonzero exactly when pdim_A S = n. Together with a result of Klász–Kleinau–Marczinzik (Lemma 5.3), this gives Corollary 5.4 that simple modules of odd grade are regular, settling a recent conjecture.","tokens_in":15377,"tokens_out":10062,"duration_ms":91841,"significance":"If fully correct, the paper provides a clean and broadly applicable characterization of n-Gorenstein rings and a powerful reduction mechanism for Nakayama algebras. Theorem 3.3 is elegant and its proof is self-contained; the reduction Theorem 4.12 and the selfinjective-dimension formula in Theorem 4.14 are substantial original results. The final theorem on odd Ext modules is striking and would indeed settle the Klász–Kleinau–Marczinzik conjecture, as well as give a multiplicity-free statement for odd terms of the minimal injective coresolution. The exposition is clear, and the core homological steps in Sections 2–3 and the induction in Theorem 5.1(1) are carefully argued. However, two load-bearing points—the extension of the syzygy-filtration machinery to Artin algebras, and the simplicity assertion in the proof of Theorem 5.1(2)—are not adequately supported in the manuscript.","major_comments":[{"comment":"In the final paragraph of the proof, after writing n=2r+1 and T=Ω^{2r}(S), the paper states: 'By the construction of iterated syzygy filtration, T is a simple object of E_r.' No proof or precise citation is given. This assertion is not immediate: it requires an inductive proof that the second syzygy of a simple object of E_i, when its projective dimension is not 1, is a base module (hence a simple object) of E_{i+1}. The subsequent iteration of Lemma 5.2 depends entirely on this. Since part (2) is the basis for Corollaries 5.4 and 5.5, the proposed settlement of the conjecture is unsupported unless this statement is proved.","section":"§5, proof of Theorem 5.1(2)"},{"comment":"The paper extends the syzygy-filtration results of [22] from finite-dimensional split algebras over an algebraically closed field to all basic Artin Nakayama algebras satisfying (N1)–(N2), with only the two-sentence justification in Remark 4.1. This is load-bearing: Lemma 4.2 (E is exact abelian, equivalent to mod ε(A), with Ext^E_* ≅ Ext^A_* and pdim_E = pdim_A), Proposition 4.4, Corollary 4.10, and Theorems 4.12–5.1 all rely on those results. The author should either prove the needed statements for Artin algebras or supply a precise theorem from [22] stated at that level of generality. As written, the validity of Sections 4–5 depends on an unverified assumption.","section":"Remark 4.1 and §4"}],"minor_comments":[{"comment":"The proof asserts that for a Nakayama algebra the homothety homomorphism f: Δ_S → End_{A^op}(E) is an isomorphism. This is not obvious from simplicity of E alone, since a simple module can have dimension greater than one over its endomorphism ring. A justification or reference is needed for the multiplicity formula μ_n(S)=1.","section":"Corollary 5.5"},{"comment":"It would help to state explicitly how (G_n) relates to the inequality established in Theorem 2.4: for module-finite algebras, the condition is only nontrivial in the direction not already guaranteed, which would clarify the formulation.","section":"Definition 3.1 / Remark 3.1"},{"comment":"Small typographical and notation issues: in the proof of Theorem 5.1(2), 'DTrT' should be 'DTr T'; in Corollary 4.13 the notation ε^i(A) might be typeset consistently. These do not affect the mathematics.","section":"Miscellaneous notation"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a real result, not a publicity job. The (G_n) criterion (Theorem 3.3) is short, correct, and useful, and the Nakayama application gives a clean reduction formula plus the odd-Ext zero-or-simple theorem, which does settle the Klász–Kleinau–Marczinzik conjecture when paired with their Proposition 5.2. I checked the core arguments the reader listed, and they hold. The paper is also honest about what is known: it credits the commutative case to Reiten–Fossum, presents Corollary 3.8 as a new proof of [14, Theorem 3.3], and flags the two-sentence generality transfer in Remark 4.1.\n\nTwo things to discharge before I would treat the full generality as gospel. First, Remark 4.1: the syzygy-filtration machinery from [22] was stated for algebras over an algebraically closed field; the paper says the proofs only use uniseriality and mutually isomorphic endomorphism rings of simples. That is likely true, but it is load-bearing for every theorem in Sections 4 and 5, and it is asserted rather than proved. A referee should ask for a proof or a restriction to split/algebraically closed settings. Second, Theorem 5.1(2) contains the line \"T is a simple object of E_r\" with no proof and no specific citation. The stress-test note is right that this is the most immediate internal gap. It is probably true by induction from the base-module construction, but the paper needs to spell it out or point to the exact statement in [22]. Also, the headline settlement depends on [13, Proposition 5.2], which is unpublished and not reproduced; transparent, but the reader should weigh a two-paper dependency.\n\nNone of these are demonstrated flaws. The mathematics I fully checked is correct, the literature is cited squarely, and the paper does not overclaim. It is worth a serious referee: I would send it out and ask the referee to focus on Section 5 and Remark 4.1 rather than on the criterion itself. I would cite this if I worked on Nakayama algebras; for a reading group I would probably wait until the loose ends are patched, but it is close.","headline":"A genuinely useful Serre-type criterion and a strong Nakayama application; the main claims look right, but the Artin-algebra transfer and one iterated-syzygy step need tightening.","tokens_in":16143,"tokens_out":2075,"would_cite":true,"duration_ms":19720,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16E10","16G20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that n-Gorenstein rings are detected by when indecomposable injectives first appear versus their flat dimension, then shows that in Auslander-Gorenstein Nakayama algebras every odd Ext group of a simple module is either zer","keywords":["n-Gorenstein rings","Auslander-Gorenstein rings","Serre-type criterion","Nakayama algebras","syzygy filtration","occurrence degree","flat dimension","grade of simple modules"],"falsifier":"Compute the odd-degree terms of the minimal injective coresolution of a small Auslander-Gorenstein Nakayama algebra (for instance from a Kupisch series): if any indecomposable injective appears in an odd degree with multiplicity greater than one, or appears in a degree not equal to the projective dimension of its simple module, then Theorem 5.1 and its multiplicity-free corollary are false.","tokens_in":14874,"feed_emoji":"","tokens_out":9111,"duration_ms":80478,"temperature":0.7,"pith_summary":"The paper's central claim is a Serre-type recognition theorem: a two-sided Noetherian ring is n-Gorenstein—meaning the first n terms of a minimal injective coresolution have flat dimension bounded by their degree—exactly when every indecomposable injective module appears in that coresolution no earlier than the smaller of n and its flat dimension. For Artin algebras this becomes a comparison between the grade of each simple module and the projective dimension of its injective envelope. The paper then applies the criterion to Nakayama algebras (Artin algebras whose indecomposable modules are uniserial) through syzygy filtration, proving that n-Gorensteinness reduces to 2-Gorensteinness plus (n−2)-Gorensteinness of a smaller algebra ε(A). Iterating, the Auslander-Gorenstein property is preserved and reflected, and selfinjective dimension drops by two. The payoff is structural: for an Auslander-Gorenstein Nakayama algebra, odd Ext groups Ext^n(S,A) are nonzero exactly when the projective dimension of S is n, and in that case they are simple right modules—so simple modules of odd grade are regular and odd terms of the minimal injective coresolution are multiplicity-free.","feed_headline":"Odd Ext modules over Nakayama algebras are zero or simple","feed_subtitle":"A Serre-type test detects n-Gorenstein rings, and syzygy filtration settles odd-grade regularity for Nakayama algebras.","key_machinery":"The carrying mechanism is the syzygy-filtration category. For a Nakayama algebra A, one selects base modules ∇(S) attached to simple modules S with pdim S ≠ 1; these modules form a semibrick, and their filtration category E is an exact abelian subcategory of mod A that is equivalent to the module category of the syzygy-filtered algebra ε(A) = End_A^op(⊕ P), itself a Nakayama algebra of smaller rank. The identity doing the work is that the embedding E → mod A preserves projective covers, projective dimension, and all Ext groups: pdim_E X = pdim_A X and Ext^n_E ≅ Ext^n_A. Since the second syzygy of any module lies in E, an n-degree Ext computation over A becomes an (n−2)-degree computation ove","core_discovery":"The paper's central claim is an if-and-only-if criterion: a two-sided Noetherian ring R is n-Gorenstein precisely when occ_R(I) ≥ min{n, fdim_R I} for every indecomposable injective R-module I, where occ_R(I) is the first degree at which I appears in a minimal injective coresolution of R and fdim_R I its flat dimension. For Artin algebras this becomes: grade_A S ≥ min{n, pdim_A I(S)} for every simple S, with equality when grade_A S < n. The Nakayama application is a reduction formula: for n ≥ 2, A is n-Gorenstein iff A is 2-Gorenstein and ε(A) is (n−2)-Gorenstein, where ε(A) is the syzygy-filtered algebra. Hence A is Auslander-Gorenstein iff it is 2-Gorenstein and ε(A) is Auslander-Gorenstei","pith_inferences":["The inequality occ_R(I) ≤ fdim_R I, proven here for module-finite algebras over a commutative Noetherian ring, is left open for arbitrary two-sided Noetherian rings; if it held generally, the (G_n) criterion would give a fully general Serre-type characterization of n-Gorenstein rings.","The reduction formula suggests a practical algorithm: from a Kupisch series, iterate ε until a selfinjective algebra is reached; checking 2-Gorenstein at each step would decide Auslander-Gorensteinness without computing injective resolutions.","The odd/even asymmetry in Theorem 5.1 leaves a natural open direction: test whether even-degree Ext groups or even-degree injective-coresolution terms satisfy any bounded-multiplicity or simplicity statement under stronger hypotheses, for instance higher selfinjective dimension.","Because the proof of Theorem 5.1(2) works by showing the relevant higher transpose is simple, one could ask whether the conjunction of grade/projective-dimension equality with simplicity of the Ext module characterizes Auslander-Gorenstein among 2-Gorenstein Nakayama algebras."],"forward_implications":["n-Gorensteinness of any two-sided Noetherian ring is equivalent to a check on first-occurrence degrees and flat dimensions of indecomposable injectives; no injective coresolution needs to be written out.","For Nakayama algebras, n-Gorensteinness is equivalent to 2-Gorensteinness of every iterated syzygy-filtered algebra up to ⌊n/2⌋, giving a finite reduction procedure.","The Auslander-Gorenstein property is preserved by syzygy filtration and, among 2-Gorenstein Nakayama algebras, is reflected by it; when it holds, the selfinjective dimension drops by two each step.","In an Auslander-Gorenstein Nakayama algebra, an odd Ext group Ext^n_A(S,A) vanishes unless pdim_A S = n, and when nonzero it is a simple right module; simple modules of odd grade are therefore regular.","The odd-degree terms of the minimal injective coresolution of an Auslander-Gorenstein Nakayama algebra are multiplicity-free: each injective envelope of a simple appears in degree n exactly when pdim S = n, and with multiplicity one."],"fun_headline_variants":["Serre-type criterion detects n-Gorenstein rings","Syzygy filtration cracks Nakayama odd-grade conjecture","Odd grade simple modules regular in Nakayama algebras","2-Gorenstein plus syzygy filter gives Auslander-Gorenstein","New iff test for n-Gorenstein via injective flat dimension"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The whole Nakayama argument rests on the assumption that the syzygy-filtration machinery from the author's earlier paper, originally proved for finite-dimensional algebras over an algebraically closed field, transfers unchanged to basic Artin Nakayama algebras satisfying (N1)–(N2); the only given justification is that the proofs rely solely on uniseriality and on mutual isomorphism of the endomorphism rings of simple modules.","fun_headline_variants_meta":{"raw":{"variants":["Serre-type criterion detects n-Gorenstein rings","Syzygy filtration cracks Nakayama odd-grade conjecture","Odd grade simple modules regular in Nakayama algebras","2-Gorenstein plus syzygy filter gives Auslander-Gorenstein","New iff test for n-Gorenstein via injective flat dimension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000276,"raw_usage":{"total_tokens":1475,"prompt_tokens":729,"completion_tokens":746,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":663}},"tokens_in":473,"tokens_out":746,"duration_ms":6678,"temperature":1.0,"reasoning_tokens":663,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T04:14:19.454332+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the odd-degree terms of the minimal injective coresolution of a small Auslander-Gorenstein Nakayama algebra (for instance from a Kupisch series): if any indecomposable injective appears in an odd degree with multiplicity greater than one, or appears in a degree not equal to the projective dimension of its simple module, then Theorem 5.1 and its multiplicity-free corollary are false.","supporting_citations":[],"review_version":2}