{"id":"b74196e5-886f-454f-8b9b-cb9b916ff4bd","arxiv_id":"2411.14142","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"S-coherent rings are characterized via s-absolutely pure modules, s-pure quotients, and s-flatness of products of flat modules.","lead":"This paper defines s-pure exact sequences and s-absolutely pure modules, and uses them to give new characterizations of S-coherent rings. It matters to algebraists because it extends classical characterizations of coherent rings to the S-relative setting, giving new tools to identify S-coherent rings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.4's converse proof uses Lemma 2.5 backwards: it infers s-flatness of a pure submodule from s-flatness of the ambient module, but Lemma 2.5 only covers pure quotients.","rationale":"The reader's weakest assumption targeted the self-cited uniform five-lemma; my read agrees that the diagram chases rely on external results, but the sharpest defect I found is a directional misuse of Lemma 2.5 in the proof of Theorem 4.4. That step is not a mere typo: it is the only written justification that products of flat modules inherit s-flatness from the double-dual product, and the written lemma cannot support it. I do not claim the theorem is false; the missing closure statement may be true and provable. But because the proof as printed is invalid at a load-bearing point, the paper should remain conditional until the closure lemma is supplied or the argument replaced. This is independent support for the reader's CONDITIONAL verdict, though for a different and more specific reason.","tokens_in":13248,"tokens_out":31445,"duration_ms":293396,"concrete_test":"Prove or disprove: every pure submodule of an s-flat module is s-flat. Start from the exact Tor sequence 0→Tor_2(M,C)→Tor_1(M,A)→Tor_1(M,B)→Tor_1(M,C) for a pure exact 0→A→B→C→0 with B s-flat; the missing ingredient is uniform S-torsion of Tor_2(M,C). Test Example 2.4: can M=⊕R/x^iR, which is S-flat but not s-flat, be realized as a pure submodule of an s-flat module? If yes, Theorem 4.4(5)⇒(1) is false. If not, the missing closure lemma must be proved and stated, and the citation 'Lemma 2.5' corrected.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In the proof of Theorem 4.4, (5)⇒(1), the author shows that D = ∏_i Hom_R(Hom_R(F_i,I_1),I_2) is s-flat and then writes: 'Since ∏F_i is a pure submodule of D, we have ∏F_i is s-flat by Lemma 2.5.' Lemma 2.5 states exactly the opposite direction: an s-pure quotient of an s-flat module is s-flat. For 0→∏F_i→D→D/∏F_i→0, Lemma 2.5 would make the quotient s-flat, not the submodule. No proof of closure of s-flat modules under pure submodules is given, and it does not follow from the stated lemma: the Tor long exact sequence would require u-S-torsion of Tor_2(M,D/∏F_i), which is not supplied by s-flatness. Because this is the step that concludes all products of flat modules are s-flat, the converse direction of Theorem 4.4 is unproved as written. The same direction also leans on the self-cited uniform S-five-lemma [19, Theorem 1.2] and on [21, Theorem 2.2(4)] without checking their hypotheses.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the notions of s-pure exact sequences and s-absolutely pure modules for a commutative ring R with a multiplicative subset S, and uses them to give new characterizations of S-coherent rings. The main results are Theorem 4.2 (S-coherence iff products of flat modules are s-flat), Theorem 4.3 (S-coherence iff certain closure properties of s-absolutely pure modules hold), and Theorem 4.4 (S-coherence iff certain Hom modules are s-flat). The proofs are largely diagram-theoretic and rely on the author's earlier results, especially a 'uniform S-version of the five-lemma' [19, Theorem 1.2].","tokens_in":13523,"tokens_out":6098,"duration_ms":53148,"significance":"If the main theorems are correct, the paper generalizes classical characterizations of coherent rings due to Chase and Stenström to the S-relative setting, and the new notions of s-pure exact sequences and s-absolutely pure modules are natural additions to the toolkit of S-homological algebra. The paper contains several carefully written proofs, including the equivalence of the various characterizations of s-pure exact sequences in Theorem 2.2 and the characterization of s-absolutely pure modules in Theorem 3.2. However, the proof of the converse direction of Theorem 4.4 contains a significant gap, and the proof of Theorem 4.3 is compressed at a load-bearing point, so the manuscript needs substantial revision before its claims can be accepted.","major_comments":[{"comment":"The proof applies Lemma 2.5 in the wrong direction. After establishing that D = ∏ Hom_R(Hom_R(F_i,I_1),I_2) is s-flat, the text says: 'Since ∏F_i is a pure submodule of ∏ Hom_R(Hom_R(F_i,I_1),I_2), we have ∏F_i is s-flat by Lemma 2.5.' But Lemma 2.5 states that an s-pure quotient of an s-flat module is s-flat; it does not state that a pure submodule of an s-flat module is s-flat. For the exact sequence 0→∏F_i→D→D/∏F_i→0, Lemma 2.5 would apply to the quotient, not to the submodule. The paper gives no other argument for closure of s-flat modules under pure submodules; such a closure is not implied by the stated lemma, and the Tor long exact sequence would require uniform S-torsion of Tor_2(M,D/∏F_i), which is not supplied. Since this step is what yields s-flatness of products of flat modules, the converse direction of Theorem 4.4 is not proved as written.","section":"§4, Theorem 4.4, (5)⇒(1)"},{"comment":"The proofs of the forward directions of Theorems 4.2 and 4.4 are sketched rather than written out. In both cases, the text says that the conclusion follows from the 'uniform S-version of five-lemma' [19, Theorem 1.2] after chasing diagrams, but the lemma is neither stated nor verified against the hypotheses of the present situation. The paper also invokes [21, Theorem 2.2(4)] and [24, Theorem 7] without stating what these results give. Since these are self-citations of the author's own prior work, the reader cannot check the key diagram chase without consulting external sources. The paper should state the needed lemma and either reproduce the chase or give a precise reference with a verification that its hypotheses hold at the point of use.","section":"§4, Theorem 4.2 and Theorem 4.4, (1)⇒(2)"},{"comment":"The proof that every finitely generated ideal is S-finitely presented is too compressed at the point where a map to the direct limit is factored through a stage. After obtaining β: R → lim E(M_i) and factoring it as R → E(M_j), the text says: 'Since the composition I → R → E(M_j) → E(M_j)/M_j becomes to be 0 in the direct limit, we can assume I → R → E(M_j) can factor through some I → M_j.' This is not justified: a map being zero in the direct limit does not imply it is zero at the j-th stage, nor does it imply that the image of I under the factored map lands in M_j. The argument needs an explicit direct-limit chase, possibly after passing to a larger index and modifying β_j by an element of lim M_i. As written, the claimed factorization through M_j is unsupported, and this is the step that produces the u-S-epimorphism lim Hom_R(I,M_i) → Hom_R(I, lim M_i).","section":"§4, Theorem 4.3, (5)⇒(1)"},{"comment":"In the proof of (4)⇒(5), the line 'Note that ⊕M_i is absolutely pure, so is lim M_i by (2)' cites statement (2) of Theorem 4.3, which concerns s-pure quotients of s-absolutely pure modules. The direct limit is a pure quotient of the direct sum, so the relevant statement is (4) (or (3)), not (2). The fact that a direct sum of absolutely pure modules is absolutely pure is standard, but it should be stated or cited explicitly.","section":"§4, Theorem 4.3, (4)⇒(5)"}],"minor_comments":[{"comment":"In the sentence beginning 'Now assume that there exists b_j ∈ B', the phrase 'for any j = 1,...,m' should read 'for any i = 1,...,n', since it refers to the indices of the equations f(a_i) = Σ r_{ij} b_j.","section":"§2, Theorem 2.2, proof of (1)⇒(2)"},{"comment":"In the Introduction's summary of Theorem 4.4, the phrase 'if and only if if I is an injective cogenerator' contains a duplicated 'if'; this should be corrected.","section":"Introduction, Theorem 4.4 statement"},{"comment":"The notation in the chain '∏ Hom_R(Hom_R(F_i,I_1),I_2) ∼= Hom_R(⊕ Hom_R(F_i,I_1),I_2)' is confusing: the product on the left should be indexed explicitly (∏_i) or replaced by Hom_R(⊕_i Hom_R(F_i,I_1),I_2), and the isomorphism should be explained as the standard adjunction between Hom and direct sums.","section":"§4, Theorem 4.4, proof of (5)⇒(1)"},{"comment":"The paper repeatedly uses standard facts without citation or proof, including the purity of the double-dual evaluation map F → Hom_R(Hom_R(F,I_1),I_2) for an injective cogenerator I_2, and the isomorphism Hom_R(⊕M_i,I) ≅ ∏ Hom_R(M_i,I). These facts are standard, but given that they are load-bearing in Theorem 4.4, the author should state them explicitly to aid verification.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's main theorems are attractive and potentially useful, but the proof of Theorem 4.4 is not currently correct as written, and the proof of Theorem 4.3 is too compressed. The paper also depends heavily on the author's own prior results ([19], [21], [22], [24]), several of which are 'to appear' or arXiv preprints; the editor may wish to ensure those results are independently verified before publication. If the author can repair the Lemma 2.5 issue (for instance by proving closure of s-flat modules under pure submodules, or by a different argument) and expand the sketchy diagram chases, the paper would be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a genuinely new S-relative framework—s-pure exact sequences and s-absolutely pure modules—and the main equivalences in Theorems 4.2 and 4.3 look plausible. But the proof of Theorem 4.4 has a real gap. In (5)⇒(1) the author shows that D = Hom_R(Hom_R(⊕F_i,I1),I2) is s-flat, then infers that ∏F_i is s-flat because it is a pure submodule of D, citing Lemma 2.5. Lemma 2.5 only says an s-pure quotient of an s-flat module is s-flat; it says nothing about submodules. The needed closure under pure submodules is not proved and does not follow from the stated lemma. That step is load-bearing because it is what lets the author conclude that arbitrary products of flat modules are s-flat, which then yields S-coherence. So the converse direction of Theorem 4.4 is unproved as written. The gap may be fixable if s-flat modules are actually closed under pure submodules, but I am not convinced that is true with this definition, and it needs a standalone proof.\n\nWhat is good: the new definitions (s-pure, s-absolutely pure, s-flat) extend the classical notions naturally, and Example 2.4 shows s-flat is strictly stronger than the earlier S-flat. Theorem 4.3—S-coherence iff pure quotients of absolutely pure modules are s-absolutely pure, etc.—is a clean structural characterization that generalizes Stenström's theorem. The paper is written in the standard diagram-chasing style of the area and is honest about where earlier results are used.\n\nOther concerns: several load-bearing tools come from the author's own prior papers ([19, Theorem 1.2] and [21, Theorem 2.2(4)]) and are not reproved. That is acceptable practice, but it makes the reader trust those results. There are also typos and compressed five-lemma chases, but those are minor.\n\nWho this is for: people working on S-coherent and S-Noetherian rings will want to know these definitions. The paper deserves a serious referee, but a referee should focus on Theorem 4.4 and ask for either a proof that s-flat modules are closed under pure submodules or a revised argument. As written, I would not accept it without revision; if the gap is fixable, it could be a solid contribution.","headline":"S-pure framework is a genuinely new angle on S-coherent rings, but the converse of Theorem 4.4 uses Lemma 2.5 in the wrong direction and needs a real fix before acceptance.","tokens_in":14059,"tokens_out":10655,"would_cite":false,"duration_ms":89315,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16U20","13E05","16E50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a commutative ring with multiplicative subset S is S-coherent if and only if every s-pure quotient of an s-absolutely pure module—and every direct limit of absolutely pure modules—is again s-absolutely pure.","keywords":["s-pure exact sequence","s-absolutely pure module","S-coherent ring","S-flat module","uniformly S-torsion","absolutely pure module","direct limit","Chase theorem"],"falsifier":"Compute the connecting maps in the diagrams of Theorems 4.2 and 4.4 for a specific finitely presented module and a product of flat modules, and check whether the uniform $S$-version of the five-lemma yields a uniform $S$-isomorphism; a single failure of [19, Theorem 1.2] in this setting would invalidate the proofs, as would finding a non-$S$-coherent ring whose pure quotients of absolutely pure modules are all $s$-absolutely pure.","tokens_in":13054,"feed_emoji":"🧮","tokens_out":12303,"duration_ms":93419,"temperature":0.7,"pith_summary":"This paper introduces $s$-pure exact sequences and $s$-absolutely pure modules, uniformly $S$-torsion analogues of the classical pure exact sequences and absolutely pure (FP-injective) modules. The main theorem (Theorem 4.3) asserts that a commutative ring $R$ with multiplicative subset $S$ is $S$-coherent if and only if every $s$-pure quotient of an $s$-absolutely pure module is $s$-absolutely pure, if and only if every pure quotient of an absolutely pure module is $s$-absolutely pure, and if and only if every direct limit of absolutely pure modules is $s$-absolutely pure. This extends the classical characterization of coherent rings in terms of pure quotients of absolutely pure modules to the $S$-localized setting. The paper also proves that $R$ is $S$-coherent if and only if $\\mathrm{Hom}_R(E,I)$ is $s$-flat for every $s$-absolutely pure module $E$ and injective module $I$.","feed_headline":"Rings are S-coherent when pure quotients stay s-absolutely pure","feed_subtitle":"Generalizes the classical coherent-ring test: pure quotients of absolutely pure modules stay s-absolutely pure.","key_machinery":"The paper's central objects are $s$-pure exact sequences—short exact sequences $0\\to A\\to B\\to C\\to 0$ such that tensoring with any finitely presented module $M$ gives a u-$S$-exact sequence $0\\to M\\otimes A\\to M\\otimes B\\to M\\otimes C\\to 0$—and $s$-absolutely pure modules, meaning modules $E$ for which, given any finitely presented $N$, some $s\\in S$ annihilates $\\mathrm{Ext}^1_R(N,E)$. The load-bearing mechanism is Theorem 3.2, which shows that $E$ is $s$-absolutely pure exactly when every short exact sequence beginning with $E$ is $s$-pure, and Proposition 3.5, which shows that $s$-pure submodules of $s$-absolutely pure modules are $s$-absolutely pure. These transfer the classical pure-quotient argument to the $S$-localized setting, with the uniform $S$-version of the five-lemma [19, Theorem 1.2] making the diagram chases in Theorems 4.2 and 4.4 go through.","core_discovery":"The central discovery is that $S$-coherence of $R$ is equivalent to the $s$-absolutely pure class being closed under the quotient and limit operations that characterize classical coherence. Specifically, Theorem 4.3 proves that $R$ is $S$-coherent if and only if (i) any $s$-pure quotient of an $s$-absolutely pure module is $s$-absolutely pure, (ii) any pure quotient of an $s$-absolutely pure module is $s$-absolutely pure, (iii) any pure quotient of an absolutely pure module is $s$-absolutely pure, and (iv) any direct limit of absolutely pure modules is $s$-absolutely pure. Theorem 4.4 adds that $S$-coherence is equivalent to the $s$-flatness of $\\mathrm{Hom}_R(E,I)$ for $s$-absolutely pure $E$ and injective $I$, and to the $s$-flatness of $\\mathrm{Hom}_R(\\mathrm{Hom}_R(F,I_1),I_2)$ for $s$-flat $F$ and injective $I_1,I_2$. These results are proved using the uniform $S$-version of the five-lemma cited from [19, Theorem 1.2], together with pushout and direct-limit arguments.","pith_inferences":["Because the final equivalence in Theorem 4.4 hinges on the uniform $S$-version of the five-lemma from [19, Theorem 1.2], a fully self-contained proof of that lemma—or a proof that avoids it—would make the homological characterizations independent of the earlier paper's unstated generality conditions.","The characterization suggests measuring how far a non-$S$-coherent ring is from $S$-coherence by the size of the least $s$ that fails for pure quotients of absolutely pure modules; this would define an $S$-indexed invariant analogous to a relative FP-injective dimension.","The distinction between $s$-absolutely pure and uniformly $S$-absolutely pure modules indicates that the uniform analogue of these theorems would be strictly stronger; a natural test is whether the equivalences of Theorem 4.3 remain valid when 's-absolutely pure' is replaced by 'uniformly $S$-absolutely pure' throughout."],"forward_implications":["If $R$ is $S$-coherent, then every pure quotient of an absolutely pure module is $s$-absolutely pure; in particular, the classical pure-quotient test for coherent rings survives in the $S$-localized setting.","Conversely, verifying just the direct-limit closure for absolutely pure modules (item (5) of Theorem 4.3) is enough to conclude $R$ is $S$-coherent, giving a single-module-class test.","$S$-coherence is equivalent to the $s$-flatness of $\\mathrm{Hom}_R(E,I)$ for all $s$-absolutely pure modules $E$ and all injective modules $I$, and equivalently to the iterated Hom condition with $s$-flat modules and injectives.","When $S$ consists of units of $R$, $s$-pure sequences, $s$-absolutely pure modules, and $S$-coherence reduce to their classical counterparts, so the equivalences recover the known characterizations of coherent rings.","The failure of $s$-absolutely pure modules to be closed under products and direct sums (Example 3.7) shows the characterization cannot be simplified to a limit-closure statement for the class itself."],"supporting_citations":[{"why":"The classical result that a ring is coherent iff pure quotients of absolutely pure modules are absolutely pure; the theorem being S-localized.","marker":"[16, Theorem 3.2]"},{"why":"Introduces S-coherent rings and S-finitely presented modules, the property and modules the paper characterizes.","marker":"[5]"},{"why":"Gives the S-version of Chase's theorem (products of flat modules are S-flat iff S-coherent) used as Theorem 4.1.","marker":"[13, Theorem 4.4]"},{"why":"Supplies the uniform S-version of the five-lemma used in the diagram chases of Theorems 4.2 and 4.4.","marker":"[19, Theorem 1.2]"},{"why":"Provides the equivalence between S-finite and uniformly S-finitely presented modules used in Theorem 4.3 and in Lemma 3.3.","marker":"[21, Theorem 2.2(4)]"},{"why":"Proves that in an S-coherent ring, finitely generated submodules of S-finitely presented modules are S-finitely presented, used in Theorems 4.2 and 4.4.","marker":"[24, Theorem 7]"},{"why":"Standard module-theoretic diagram-chasing facts used throughout the proofs.","marker":"[17, Exercise 1.60]"},{"why":"Direct-limit factorization lemma used to show that a map from a finitely generated ideal factors through some M_j in the proof of Theorem 4.3 (5)⇒(1).","marker":"[9, Lemma 2.13]"}],"fun_headline_variants":["S-coherent rings: pure quotients of s-absolutely pure modules stay pure","New theorem: S-coherence iff s-absolutely pure class is closed under quotients","s-pure sequences expose S-coherent rings via module-theoretic test","S-coherent rings characterized by Hom-flatness of s-absolutely pure modules","Generalizing pure exactness: s-absolutely pure modules define S-coherence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the uniform $S$-version of the five-lemma stated in [19, Theorem 1.2] is valid in the full generality used here, since the diagram chases in Theorems 4.2 and 4.4 collapse without it.","fun_headline_variants_meta":{"raw":{"variants":["S-coherent rings: pure quotients of s-absolutely pure modules stay pure","New theorem: S-coherence iff s-absolutely pure class is closed under quotients","s-pure sequences expose S-coherent rings via module-theoretic test","S-coherent rings characterized by Hom-flatness of s-absolutely pure modules","Generalizing pure exactness: s-absolutely pure modules define S-coherence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000331,"raw_usage":{"total_tokens":1814,"prompt_tokens":884,"completion_tokens":930,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":822}},"tokens_in":500,"tokens_out":930,"duration_ms":8529,"temperature":1.0,"reasoning_tokens":822,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:29:35.511854+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the connecting maps in the diagrams of Theorems 4.2 and 4.4 for a specific finitely presented module and a product of flat modules, and check whether the uniform $S$-version of the five-lemma yields a uniform $S$-isomorphism; a single failure of [19, Theorem 1.2] in this setting would invalidate the proofs, as would finding a non-$S$-coherent ring whose pure quotients of absolutely pure modules are all $s$-absolutely pure.","supporting_citations":[{"cited_title":"Bennis, M","cited_arxiv_id":null,"evidence_quote":"Introduces S-coherent rings and S-finitely presented modules, the property and modules the paper characterizes."}],"review_version":1}