{"id":"aaff1030-30d4-4748-ac2b-e15ebc9587aa","arxiv_id":"1908.05876","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The injective spectrum of a right noetherian ring is related to its Krull dimension through the critical dimension of indecomposable injectives, with explicit computations and counterexamples.","lead":"This paper studies the injective spectrum, a topological space built from indecomposable injective modules that generalizes the Zariski spectrum to noncommutative noetherian rings. It proves new links between this topology and Krull dimension, and computes the spectrum for key examples including the Heisenberg algebra and quantum plane.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the central dimension-specialisation claim does not depend on the sketched compactness lemma.","rationale":"The reader's conditional verdict rests on the concern that Lemma 1.2's compactness is needed for the main theorems. I traced the dependency graph: Lemma 1.2 appears only in Lemma 3.11, which is not used in Lemma 3.4, Corollary 3.5, or Corollary 3.6. The central claim about specialisation being governed by critical dimension follows from Lemma 2.1 and elementary properties of critical modules, and I could not find a gap in that argument. The only minor issue is a wording choice in the proof of Lemma 2.1(3), where a single generator is assumed; the stated generality of locally noetherian categories only guarantees a generating set. This is easily repaired and does not affect the right noetherian ring case, which is the paper's main focus. Therefore the reader's identified weakest assumption does not actually threaten the central claim, and I recommend keeping the existing conditional verdict rather than tightening it.","tokens_in":26294,"tokens_out":44549,"duration_ms":438080,"concrete_test":"Re-derive Corollary 3.6 without ever invoking Lemma 1.2, and verify that every step uses only Lemma 2.1, Lemma 3.2, and Proposition 3.1. As a separate check, rewrite the proof of Lemma 2.1(3) for a general locally noetherian category using a generating set of noetherian objects instead of a single generator; if the rewritten proof goes through, the generalisation to locally noetherian categories is also safe.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption, Lemma 1.2, is not load-bearing for the central claim. Lemma 3.4, Corollary 3.5, and Corollary 3.6 use only Lemma 2.1, Lemma 3.2, and Proposition 3.1; Lemma 1.2 is invoked only in Lemma 3.11, which is not used later. Re-checking Lemma 3.4: a cd(E)-critical subobject C gives E=E(C); specialisation gives (C,F)≠0; if C→F is not an embedding, its image is a proper quotient of a critical object with K<cd(E), so cd(F)≤K(image)<cd(E). Equality therefore forces an embedding, whence F=E(C)=E. The proof is sound. The only wrinkle is that Lemma 2.1(3) is written using a single noetherian generator G, which need not exist for an arbitrary locally noetherian category; using a noetherian object from a generating set repairs the argument, and for right noetherian rings R_R itself is a generator. Thus no load-bearing gap in the central claims was found.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops basic topological properties of the injective spectrum of a right noetherian ring and, more generally, of a locally noetherian Grothendieck category. The spectrum is the set of indecomposable injectives with the dual-Ziegler topology. The main results are: a specialisation criterion (Lemma 2.1), functoriality for flat epimorphisms and central quotients (Corollary 2.7 and Theorem 2.9), a link between specialisation and Gabriel-Rentschler critical dimension (Lemma 3.4), the T0 property and a bound on specialisation chains by the Krull dimension of a noetherian generator (Corollaries 3.5 and 3.6), and finiteness of points of maximal dimension (Theorem 3.14). The final sections give detailed computations for artinian rings, 1-critical rings, the Heisenberg enveloping algebra, and the quantum plane, the last providing counterexamples to natural conjectures.","tokens_in":26474,"tokens_out":22815,"duration_ms":214694,"significance":"The central contribution is the clean statement that specialisation in the injective spectrum is controlled by critical dimension: a non-trivial specialisation strictly lowers critical dimension, which yields T0-ness and a sharp upper bound on chains. If the claims hold, the injective spectrum becomes a useful dimension-sensitive invariant for noncommutative noetherian rings. The paper is explicit about the limits of the theory; the quantum plane example is a valuable falsification of the expectation that closed points are injective hulls of simples and that critical modules give irreducible basic closed sets. The proofs of the main dimension results are largely self-contained, and the examples are detailed, with the Heisenberg case giving a nearly complete picture of the topology. I found no load-bearing mathematical error, but several local proof details require attention.","major_comments":[],"minor_comments":[{"comment":"In the proof of (2⇒3), the phrase 'there is a noetherian generating object G' should be read carefully: for a general locally noetherian category there need not be a single noetherian generator. The argument is valid if G is taken from a generating set of noetherian objects, so please rephrase to remove the ambiguity. In (3⇒4), 'fix a generator G' is acceptable because a Grothendieck category has a generator, but the text should not suggest that this generator is noetherian.","section":"§2.1, Lemma 2.1"},{"comment":"The proof of Lemma 1.2 is only a sketch. Since Lemma 3.11 depends on the compactness of the basic open sets, please provide a complete proof or a precise chain of references rather than a sketch; as written this is an incompletely proved stated lemma, although it is not used in the main dimension results.","section":"§1.2, Lemma 1.2"},{"comment":"In the reduction to cyclic modules, the sentence 'if (mR,E)=0 for all E... then (M,E)=0' is not justified and is false in general. The needed claim [mR]≠∅ follows directly from the chosen φ with φ(m)≠0 and the fact that E(RR) is an indecomposable injective, so this passage should be corrected.","section":"§3.2, Theorem 3.15"},{"comment":"The strictness of the descending chain of closed sets (Mλ^(n)) is asserted but not demonstrated. It follows, for instance, because E(Mλ^(n)) lies in (Mλ^(n)) but not in (Mλ^(n+1)); please add a sentence making this explicit.","section":"§4.4, Quantum plane"},{"comment":"There are several typos and uncited references: the abstract has 'G rothendieck' and 'functoriali ty'; §4.3 refers to 'Lemma 2.9' where 'Theorem 2.9' is meant; and the bibliography contains entries that never appear in the text, including [2], [5], [8], [10], [13], [14], [19], [22], [23], [25], and [26]. Please cite or remove them.","section":"General editorial"}],"recommendation":"minor_revision","confidential_remarks":"I found no load-bearing mathematical error in the central dimension-specialisation results. The main requests are local: complete the proof of Lemma 1.2, fix the wording in Lemma 2.1 and Theorem 3.15, and clarify the strictness claim in §4.4. None of these should affect the validity of the main theorems, but they should be addressed before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read Gulliver's injective spectrum paper. Short version: the central dimension-specialisation story is real, and the main results survive scrutiny. The one lemma everyone will worry about, Lemma 1.2, is only sketched, but it does not carry the weight of the paper. I checked the dependence: Lemma 3.4 uses only Lemma 2.1, Lemma 3.2, and Proposition 3.1. The compactness of basic opens enters only in Lemma 3.11, which is not used later. So even if that Ziegler-spectrum compactness proof is left as a sketch, the core of Sections 3 and 4 stands.\n\nWhat's genuinely new: the specialisation criterion in Lemma 2.1, the monotonicity of critical dimension along specialisation with equality iff isomorphism (Lemma 3.4), and the finiteness of indecomposable injectives of maximal critical dimension (Theorem 3.14). The examples are the best part. The Heisenberg enveloping algebra gets a detailed picture: fibres over k, the plane at z=0, and a line of generics specialising across fibres. The quantum plane counterexamples are not decorative; they kill plausible conjectures, showing a closed point of critical dimension 1 with no simple submodule and a critical module whose hull is not generic in its own closed set. That is useful, concrete information.\n\nSoft spots, in proportion. Lemma 1.2 is under-proved, but as noted it is not needed for the central claims. Still, because the paper is foundational in spirit, the author should either give a full proof or explicitly flag Lemma 3.11 as dispensable. There is a small wrinkle in Lemma 2.1(3): the proof invokes a single noetherian generator, which need not exist in an arbitrary locally noetherian category. The argument repairs itself by taking a noetherian object from a generating set, and for the main setting of right noetherian rings, R_R itself is a generator, so no real harm. The quantum plane section is intricate and not machine-checked; I did not find an error, but a referee should go through those annihilator computations line by line.\n\nCitation pattern is clean. Pappacena's weak Zariski topology is explicitly distinguished, and the self-citation to the sequel is harmless. This is a solid PhD-derived paper. It is for noncommutative geometers and anyone who works with injective spectra or Krull dimension in module categories. It deserves a serious referee and, with attention to Lemma 1.2 and the quantum plane details, publication.\n\nMy recommendation: send it to peer review, and ask for a complete proof or explicit de-emphasis of Lemma 1.2, plus a careful check of Section 4.4.","headline":"A solid paper on injective spectra whose main claims hold up; the only sketched compactness lemma is not actually load-bearing, and the Heisenberg and quantum-plane examples are the real payoff.","tokens_in":26989,"tokens_out":1859,"would_cite":true,"duration_ms":18897,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16D50","16P60","18E10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that specialisation in the injective spectrum of a right noetherian ring is governed by critical dimension: if E specialises to F, then cd(E) ≥ cd(F), with equality exactly when E and F are isomorphic.","keywords":["injective spectrum","indecomposable injective modules","Ziegler topology","Krull dimension","critical dimension","right noetherian rings","noncommutative rings","specialisation"],"falsifier":"Exhibit a locally noetherian Grothendieck category, for instance the module category of a right noetherian ring, with indecomposable injectives $E,F$ such that $E\\leadsto F$ but $\\mathrm{cd}(E)<\\mathrm{cd}(F)$, or $E\\leadsto F$ with $\\mathrm{cd}(E)=\\mathrm{cd}(F)$ and $E\\not\\cong F$; either would refute Lemma 3.4. Alternatively, exhibit a finitely presented object $A$ for which the basic open set $(A)$ is not compact in the Ziegler topology, contradicting Lemma 1.2 and removing the support for Lemma 3.11.","tokens_in":26084,"feed_emoji":"📐","tokens_out":10470,"duration_ms":94363,"temperature":0.7,"pith_summary":"This paper develops the injective spectrum of a right noetherian ring: the topological space of indecomposable injective right modules, which for commutative noetherian rings reproduces the Zariski spectrum. The main claim is that specialisation in this space is governed by a numeric invariant, the critical dimension of an injective module: if E specialises to F then cd(E) ≥ cd(F), and equality holds exactly when E and F are isomorphic. From this it follows that the spectrum is T0 and that every chain of specialisations has length at most the Krull dimension of a noetherian generator. The paper also proves functoriality for certain ring maps and computes the spectrum for artinian rings, 1-critical rings, and the enveloping algebra of the Heisenberg algebra, while the quantum plane shows that the space can be non-noetherian with closed points that contain no simple submodule.","feed_headline":"Critical dimension controls specialisation in injective spectra","feed_subtitle":"For right noetherian rings, specialisation can only lower critical dimension, so chains are bounded by Krull dimension.","key_machinery":"The load-bearing mechanism is critical dimension, cd(E), defined as the minimum Krull dimension of a non-zero subobject of E; for an indecomposable injective it is well-defined and equals the common Krull dimension of all critical subobjects. Lemma 3.4 converts a topological specialisation $E\\leadsto F$ into the ordinal inequality cd(E) ≥ cd(F), with equality forcing E ≅ F, and this is what turns chains of specialisations into bounded ordinal chains. A second key ingredient is the compactness of basic open sets in the Ziegler topology (Lemma 1.2), which lets the paper pass from an infinite union of critical subquotients to a finite subcover when proving that every irreducible basic closed set is given by a single critical module.","core_discovery":"The central discovery is that the topology of the injective spectrum is a faithful, dimension-sensitive invariant: specialisation is monotone with respect to critical dimension, and no two distinct points can specialise to each other. Concretely, for indecomposable injectives E and F over a locally noetherian Grothendieck category, $E\\leadsto F$ exactly when every non-zero map from a finitely presented object to E yields one to F, equivalently when E embeds into a product of copies of F. In that situation, cd(E) ≥ cd(F), with equality precisely when E and F are isomorphic; here cd is the critical dimension, the minimum Krull dimension of a non-zero subobject of the injective. Specialisation chains therefore become strictly descending chains of ordinals, bounding their length by the Krull dimension of a noetherian generator, and the spectrum is T0. The paper uses this to show that right noetherian domains have irreducible spectra with generic point the injective hull of the right regular module, and it computes full spectra for artinian rings, for rings whose regular module is 1-critical, and for the Heisenberg enveloping algebra, while the quantum plane provides a counterexample to the naive picture.","pith_inferences":["If specialisation is as rigid as Lemma 3.4 says, the injective spectrum can serve as a dimension-theoretic invariant for noncommutative rings, with Krull dimension recoverable from the longest specialisation chain; a natural next test is whether the monotonicity survives in locally coherent categories, where the basic open sets may fail to be compact.","The Heisenberg computation suggests a geometric picture of a base line of central characters with a line of generic points over it; one testable extension is whether analogous rational-parameter families of simple modules in other enveloping algebras produce the same pattern of closures crossing fibres.","The quantum-plane example shows that the converse to the closed-point lemma fails exactly when the injective spectrum is not noetherian; a possible repair would be to replace ordinary irreducibility by a dimension-relative notion and ask whether a generic-point theorem returns."],"forward_implications":["For a right artinian ring, the injective spectrum is finite and discrete, matching Krull dimension 0.","For a right noetherian ring whose regular module is 1-critical, the spectrum consists of one generic point together with the closed points of simple modules, and every non-empty open set contains the generic point; this covers 1-dimensional noetherian domains.","Every specialisation chain in the spectrum has length at most d, where d is the Krull dimension of a noetherian generator; when the spectrum is sober this bounds its topological dimension by d.","A right noetherian domain has an irreducible spectrum whose generic point is the injective hull of $R_R$, and $R_R$ is critical.","For the Heisenberg enveloping algebra, the spectrum decomposes into closed fibres parameterised by the central character, with lines over each non-zero value, an affine plane at zero, and a line of generic points whose closures specialise across the fibres."],"supporting_citations":[{"why":"Provides the theorem that basic open sets in the full Ziegler spectrum are compact open, which underpins Lemma 1.2.","marker":"[28]"},{"why":"Identifies the paper's basic open sets as restrictions of Ziegler basic open sets, transferring compactness to the injective spectrum.","marker":"[21]"},{"why":"Supplies the criterion that a module is injective exactly when all consistent systems of equations are soluble, used to construct elements with prescribed annihilators in the examples.","marker":"[4]"},{"why":"Provides the standard facts on Krull dimension, critical objects, and critical composition series on which Section 3 is built.","marker":"[17]"},{"why":"Introduces the topology on indecomposable injective modules that the paper calls the Zariski topology.","marker":"[6]"},{"why":"Establishes the bijection between prime ideals and indecomposable injectives in the commutative noetherian case, the template for the injective spectrum.","marker":"[16]"},{"why":"Defines a 'weak Zariski' topology on the same points and clarifies that it refines but differs from the topology studied here.","marker":"[18]"},{"why":"Gives the fullness of restriction of scalars along flat ring epimorphisms used in Corollary 2.7.","marker":"[24]"}],"fun_headline_variants":["Injective spectra: specialisation lowers critical dimension","Critical dimension bounds injective spectrum chains","Specialisation chains bounded by Krull dimension in injective spectra","Injective spectra: specialisation is dimension-monotone","For right Noetherian rings, specialisation lowers critical dimension"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is Lemma 1.2, whose proof is only sketched: the basic open sets $(A)$ for finitely presented $A$ must be compact open in the Ziegler topology, and Lemma 3.11 needs this compactness to reduce an infinite union of critical subquotients to a finite subcover.","fun_headline_variants_meta":{"raw":{"variants":["Injective spectra: specialisation lowers critical dimension","Critical dimension bounds injective spectrum chains","Specialisation chains bounded by Krull dimension in injective spectra","Injective spectra: specialisation is dimension-monotone","For right Noetherian rings, specialisation lowers critical dimension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00094,"raw_usage":{"total_tokens":3987,"prompt_tokens":884,"completion_tokens":3103,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":3026}},"tokens_in":500,"tokens_out":3103,"duration_ms":20976,"temperature":1.0,"reasoning_tokens":3026,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:02:09.861655+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a locally noetherian Grothendieck category, for instance the module category of a right noetherian ring, with indecomposable injectives $E,F$ such that $E\\leadsto F$ but $\\mathrm{cd}(E)<\\mathrm{cd}(F)$, or $E\\leadsto F$ with $\\mathrm{cd}(E)=\\mathrm{cd}(F)$ and $E\\not\\cong F$; either would refute Lemma 3.4. Alternatively, exhibit a finitely presented object $A$ for which the basic open set $(A)$ is not compact in the Ziegler topology, contradicting Lemma 1.2 and removing the support for Lemma 3.11.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the theorem that basic open sets in the full Ziegler spectrum are compact open, which underpins Lemma 1.2."},{"cited_title":"McConnell and J.C","cited_arxiv_id":null,"evidence_quote":"Provides the standard facts on Krull dimension, critical objects, and critical composition series on which Section 3 is built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the fullness of restriction of scalars along flat ring epimorphisms used in Corollary 2.7."}],"review_version":1}