{"id":"48c1c1d5-a1b3-4b4b-b83e-193f9bb09337","arxiv_id":"2411.17308","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For any simply connected Chevalley group without SL2 factors, the elementary subgroup equals the whole group over Laurent polynomial rings over a special PID, such as the integers.","lead":"This paper proves that for a large class of rings, the quotient of a Chevalley group by its elementary subgroup is trivial over Laurent polynomial rings when the base ring is a special principal ideal domain such as the integers. It extends classical results of Suslin and Kopeiko from special linear and symplectic groups to all simply connected Chevalley groups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Injectivity for n=1 rests on the cited [St15, Cor 3.4]; the induction applies it to a Laurent ring, so the exact generality of that corollary is the pivotal point to verify.","rationale":"The reader's weakest assumption correctly identifies [St15, Cor 3.4] as the decisive imported injectivity input. I agree that this is the most load-bearing external step. However, I want to sharpen the reason it matters: the present paper does not state the hypotheses of [St15, Cor 3.4], and the proof of Theorem 1.3 invokes Lemma 2.5 on B=A[x2^±,...,xn^±], a ring that is not Dedekind even when A is. Thus the induction for n≥2 depends on [St15, Cor 3.4] being valid for arbitrary commutative rings B with the displayed K1 stability condition. If the corollary is exactly that, the argument is sound; if not, there is a concrete missing step. I found no internal inconsistency or circularity elsewhere: Proposition 2.1 is correct, the use of Popescu's theorem in Theorem 2.6 follows the cited framework, the factorization argument in Theorem 1.3 is sound up to a minor wording reversal, and the final reduction in Theorem 1.2 to a special PID via Kopeiko's lemma and Stein–Plotkin stability is coherent. The typography in Lemma 2.5 (K1^{G,B} instead of K1^G) is harmless. Since the concern is only about verifying the exact scope of a published citation, it does not change the reader's acceptance; a quick check of [St15, Cor 3.4] settles it.","tokens_in":7362,"tokens_out":29374,"duration_ms":280261,"concrete_test":"Pull the exact statement of [St15, Corollary 3.4] and compare it with Lemma 2.5. If it says: for any commutative ring B and any simply connected Chevalley group G of isotropic rank ≥2, the natural map K1^G(B[x^±]) → K1^G(B((x))) is injective provided K1^G(B)=K1^G(B[x]), then no gap exists. If it instead assumes B is Dedekind, regular, or a field, then the missing step is to justify the induction at B=A[x2^±,...,xn^±]; in that case recompute the map (1) with the actual target A((x1))[x2^±,...,xn^±] to see whether the induction can be rescued without Lemma 2.5.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.2) depends on Theorem 1.3, whose proof uses Lemma 2.5 both for the n=1 case and for the first step of the induction. Lemma 2.5 asserts that if K1^G(A)=K1^G(A[x]), then K1^G(A[x^±]) is isomorphic to K1^G(A((x))), but its proof does not re-derive the injectivity: it cites [St15, Cor 3.4] for that. In the induction step of Theorem 1.3, Lemma 2.5 is applied not to the Dedekind or geometrically regular ring A, but to B = A[x2^±,...,xn^±], a Laurent polynomial ring that is not Dedekind in general. If [St15, Cor 3.4] carries any additional hypothesis beyond the condition K1^G(B)=K1^G(B[x]) — for example regularity, Noetherianness, or being a Dedekind ring — then the displayed isomorphism (1) in the proof of Theorem 1.3 is unsupported, and the induction for n≥2 would reduce to the n=1 case without a proof. This is not a claim of circularity: the cited result is prior published work. It is a request to check that the black box has exactly the generality in which it is invoked. The other quoted inputs, such as Popescu's theorem and [St20], are also not restated, but the [St15, Cor 3.4] invocation is the specific injectivity point on which the whole induction pivots.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two theorems. Theorem 1.3 establishes that for A a Dedekind ring or a Noetherian ring geometrically regular over a Dedekind ring with perfect residue fields, and for a simply connected Chevalley–Demazure group scheme G of isotropic rank at least 2, the natural map K1^G(A[x_1^±1,...,x_n^±1]) → K1^G(A((x_1))...((x_n))) is injective for all n≥1 and an isomorphism for n=1. Theorem 1.2 derives from this that over a special PID D, K1^G(D[x_1^±1,...,x_n^±1,y_1,...,y_m]) is trivial. The proof combines an open-cell/Henselian-pair argument (Proposition 2.1), the polynomial-invariance theorem from [St20] (Theorem 2.6), a localization/Laurent-series induction built on Lemma 2.5, and Kopeiko's result that Laurent series over a special PID form a special PID.","tokens_in":7661,"tokens_out":15428,"duration_ms":134181,"significance":"This is a natural and substantial generalization of Suslin's and Kopeiko's theorems from SL_N and Sp_{2N} to all simply connected Chevalley groups of isotropic rank at least 2. The proof is short and conceptual: the genuinely new input is the injectivity statement Theorem 1.3, and the paper is honest about the external inputs it relies on, especially [St15, Corollary 3.4] and [St20]. If the cited injectivity result has exactly the stated generality, the deduction is clean and complete. The paper contains no fitted parameters or post-hoc assumptions; the ring hypotheses are exactly those needed for [St20] and Popescu desingularization. The central argument is therefore sound, and the published prior results are properly identified.","major_comments":[],"minor_comments":[{"comment":"In the proof of part (1), the sentence \"Since I is contained in the Jacobson radical of I\" should refer to the Jacobson radical of A, not of I.","section":"§2, Proposition 2.1"},{"comment":"The statement contains a duplicated word: \"Assume that either A is either a Dedekind ring\" should be \"Assume that either A is a Dedekind ring\".","section":"§2, Theorem 2.6"},{"comment":"The notation \"K^{G,B}_1\" in the proof appears to be a typo for \"K^G_1\"; the extra superscript B should be removed.","section":"§2, Lemma 2.5"},{"comment":"In the geometric regularity check, the tensor products written as \"k(p) ⊗_B B_q\" should be over D, not over B; the intended expression is k(p) ⊗_D B_q.","section":"§2, Lemma 2.7"},{"comment":"The induction applies Lemma 2.5 to the Laurent polynomial ring B = A[x_2^±1,...,x_n^±1], which is outside the Dedekind/geometrically-regular class. This is legitimate under the explicit hypothesis of Lemma 2.5 that B is any commutative ring with K1^G(B)=K1^G(B[x_1]). To remove any ambiguity about the pivotal induction step, the authors should add a sentence stating that [St15, Corollary 3.4] holds for arbitrary commutative rings satisfying this condition; this is a readability matter, not a mathematical flaw.","section":"§2, Lemma 2.5 and proof of Theorem 1.3"},{"comment":"The abstract contains several typos, including \"with out SL2-factors\" and \"res idue\"; these should be corrected in the final version.","section":"Abstract"}],"recommendation":"accept","confidential_remarks":"No concerns for the editor beyond the minor clarity points already listed. The paper is well within the scope of the journal and the result is publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper proves the expected generalization of Suslin's SL_n and Kopeiko's Sp_{2n} results to all simply connected Chevalley-Demazure groups of isotropic rank at least 2 over Laurent polynomial rings over special PIDs. The main theorem is Theorem 1.2; the engine is Theorem 1.3, an injectivity statement for the map from K1^G of a Laurent polynomial ring to K1^G of the iterated Laurent series ring. That injectivity is new for this generality, and the proof route through Henselian pairs and open cells is sensible. The paper is well-structured, the arguments are standard once the black boxes are accepted, and I found no fitted parameters or post-hoc exclusions.\n\nWhat deserves credit: the open-cell argument in Proposition 2.1 is elementary and clean, and the reduction from Theorem 1.2 to Theorem 1.3 plus Kopeiko's lemma is slick. The paper also does a good job stating exactly which prior results are being imported.\n\nThe soft spot is exactly where the stress test points. Lemma 2.5 asserts that for any commutative ring A with K1^G(A)=K1^G(A[x]), the map from K1^G(A[x^±]) to K1^G(A((x))) is an isomorphism. The proof cites [St15, Cor 3.4] for injectivity. In the induction step of Theorem 1.3, the lemma is applied to A[x2^±,...,xn^±], which is not Dedekind. If Cor 3.4 carries extra hypotheses—regularity, Noetherianness, or something else—the induction collapses to the n=1 case. I have not checked [St15] directly, so I can't say the black box is misused; but this is the single point a referee must verify. The paper would be stronger if it restated the corollary's hypotheses in Lemma 2.5.\n\nMinor issues: Proposition 2.1 says 'I is contained in the Jacobson radical of I', which should read 'of A'. Also the abstract says 'without SL2-factors', which is fine, but the body's treatment of isotropic rank 1 is a bit compressed.\n\nBottom line: this is a significant result for algebraic K-theory and the structure of Chevalley groups. It deserves a serious referee despite the heavy reliance on the author's prior work. If [St15, Cor 3.4] has the stated generality, the proof is solid. Send it to review.","headline":"Completes a Suslin-Kopeiko program for all simply connected Chevalley groups of isotropic rank at least 2, with a clean proof that hinges on one imported injectivity result worth checking.","tokens_in":8226,"tokens_out":2659,"would_cite":true,"duration_ms":20617,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20G35","19B99","20G15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Simply connected Chevalley groups of isotropic rank at least 2 are generated by elementary root subgroups over Laurent polynomial rings over special PIDs.","keywords":["Chevalley groups","Laurent polynomial rings","elementary subgroups","non-stable K1","special principal ideal domains","isotropic rank","Dedekind domains","geometrically regular rings"],"falsifier":"A direct falsifier would be a single element of $\\mathrm{SL}_3(\\mathbb{Z}[x_1^{\\pm 1},\\ldots,x_n^{\\pm 1}])$ that cannot be reduced to the identity by elementary row and column operations over that Laurent polynomial ring, since Theorem 1.2 predicts no such element exists. A more local falsifier: find a Dedekind domain $A$ with $K_1^G(A)=K_1^G(A[x])$ for which the one-variable map $K_1^G(A[x^{\\pm 1}]) \\to K_1^G(A((x)))$ fails to be injective; that would identify exactly the imported step on which the induction rests.","tokens_in":7132,"feed_emoji":"🧮","tokens_out":16501,"duration_ms":135613,"temperature":0.7,"pith_summary":"This paper proves a vanishing theorem for the non-abelian $K_1$ functor of Chevalley groups over Laurent polynomial rings. For any simply connected Chevalley–Demazure group scheme of isotropic rank at least 2 and any special principal ideal domain $D$, the paper proves that every element of $G(D[x_1^{\\pm 1},\\ldots,x_n^{\\pm 1}, y_1,\\ldots,y_m])$ is a product of elementary root unipotent elements. The engine is an injectivity result: over a Dedekind domain, or a Noetherian ring geometrically regular over a Dedekind domain with perfect residue fields, $K_1^G$ of a Laurent polynomial ring embeds into $K_1^G$ of the corresponding iterated Laurent series ring, and in one variable the map is an isomorphism. This generalizes the special-linear and symplectic cases to all simply connected Chevalley groups of rank at least 2, and shows that adjoining Laurent variables introduces no new elementary-unipotent obstructions.","feed_headline":"Laurent rings add no new K1 classes to Chevalley groups","feed_subtitle":"For special PIDs, every element of these groups is a product of elementary root unipotents.","key_machinery":"The central object is $K_1^G(R)=G(R)/E(R)$, where $E(R)$ is the elementary subgroup generated by the root unipotent elements $x_\\alpha(r)$. The proof combines a one-variable injectivity lemma with an induction on the number of Laurent variables. The one-variable lemma reduces injectivity to the homotopy-invariance statement $K_1^G(A)=K_1^G(A[x])$ and to an imported injectivity result for the map into $A((x))$; the polynomial homotopy invariance is supplied by an earlier theorem cited as Theorem 2.6. At each induction step, the ring $A((x_1))$ is shown to inherit the Dedekind or geometric-regularity hypotheses, so the same lemma applies to the remaining variables. Localization invariance lets the argument pass from polynomial to Laurent polynomial rings.","core_discovery":"The paper's central claim, Theorem 1.2, is that $K_1^G(D[x_1^{\\pm 1},\\ldots,x_n^{\\pm 1}, y_1,\\ldots,y_m]) = K_1^G(D) = 1$ whenever $D$ is a special PID (a principal ideal domain with $\\mathrm{SL}_2(D)=E_2(D)$, hence with $\\mathrm{SL}_n(D)=E_n(D)$ for all $n$) and $G$ is a simply connected Chevalley–Demazure group scheme of isotropic rank at least 2. The supporting theorem, Theorem 1.3, states that for $A$ either Dedekind or Noetherian and geometrically regular over a Dedekind ring with perfect residue fields, the natural map $K_1^G(A[x_1^{\\pm 1},\\ldots,x_n^{\\pm 1}]) \\to K_1^G(A((x_1))\\ldots((x_n)))$ is injective for every $n \\ge 1$ and bijective for $n=1$. The conclusion for special PIDs follows because the iterated Laurent series ring over $D$ is again a special PID, hence its $K_1^G$ group is trivial by a stability lemma; injectivity then forces the Laurent polynomial ring to have trivial $K_1^G$ as well.","pith_inferences":["Because the proof reduces the theorem to injectivity into iterated Laurent series plus triviality of the target, the same conclusion should hold for any base ring $R$ with $K_1^G(R)=1$ for which the one-variable injectivity lemma is available, even if $R$ is not a special PID.","The one-variable isomorphism suggests a computational route: for rings with non-trivial $K_1^G(A)$, the group $K_1^G(A[x^{\\pm 1}])$ can be studied inside the completed ring $A((x))$, potentially yielding explicit generators and membership tests.","The isotropic-rank-at-least-2 condition is likely essential as stated: the proof needs $E(R)$ to be normal, which fails for $\\mathrm{SL}_2$, and the known rank-one counterexamples sit exactly at that boundary.","A testable refinement would replace the special-PID hypothesis by the condition $K_1^G(D((x_1))\\ldots((x_n)))=1$ for the specific group $G$; the injectivity theorem would then yield elementary generation for Laurent polynomial rings even when $\\mathrm{SL}_2(D)$ is not elementary."],"forward_implications":["For $D=\\mathbb{Z}$ and more generally any special PID, every element of $G(D[x_1^{\\pm 1},\\ldots,x_n^{\\pm 1}, y_1,\\ldots,y_m])$ is a product of elementary root unipotents, so the quotient $G/E$ carries no nontrivial classes on these rings.","In one variable, $K_1^G(A[x^{\\pm 1}])$ is isomorphic to $K_1^G(A((x)))$ for Dedekind or geometrically regular $A$, so the Laurent extension does not enlarge $G/E$ at all.","The theorem covers every simply connected Chevalley group of isotropic rank at least 2: special linear groups of degree at least 3, symplectic, orthogonal, and exceptional groups, while explicitly excluding $\\mathrm{SL}_2$ factors.","Adding further ordinary polynomial variables preserves the vanishing: once a Laurent polynomial ring is elementary, adjoining $y_i$'s keeps it elementary.","The only input about the base ring is $K_1^G(D)=1$; the theorem propagates this triviality through all Laurent and polynomial extensions."],"supporting_citations":[{"why":"Supplies the one-variable injectivity $K_1^G(A[x^{\\pm 1}])$ to $K_1^G(A((x)))$ under $K_1^G(A)=K_1^G(A[x])$, the decisive step in Lemma 2.5.","marker":"[St15, Corollary 3.4]"},{"why":"Provides Theorems 1.1 and 1.5, the polynomial homotopy invariance $K_1^G(A)=K_1^G(A[x])$ under the ring hypotheses, and the stability lemma used in Theorem 1.2.","marker":"[St20]"},{"why":"Shows the iterated Laurent series ring over a special PID is again a special PID, making the target of the injectivity map trivial.","marker":"[Ko99, Lemma 4]"},{"why":"Supplies the definition and standard examples of special PIDs, the base rings to which Theorem 1.2 applies.","marker":"[Lam]"},{"why":"Stability results for $K_1$ and related functors used to derive Lemma 2.8, which lets $\\mathrm{SL}_2$ generation imply $G(R)=E(R)$ on one-dimensional Noetherian rings.","marker":"[Ste78, Plo]"},{"why":"Gives the special-linear case that the paper extends and the local-global principle for elementary subgroups used in the proof of Theorem 2.6.","marker":"[Su]"},{"why":"Provides localization invariance of $K_1^G$, used to pass from polynomial rings to Laurent polynomial rings in Theorems 1.2 and 1.3.","marker":"[St14, Lemma 4.6]"},{"why":"Supplies the smooth-desingularization result used to reduce geometrically regular rings to essentially smooth algebras in Theorem 2.6.","marker":"[Pop]"}],"fun_headline_variants":["Chevalley K1 vanishes over Laurent polynomial rings","Laurent rings keep Chevalley K1 at 1","No Chevalley K1 from Laurent polynomials","Laurent polynomial rings add no Chevalley K1","Chevalley groups: Laurent polynomials add no K1"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on an imported one-variable injectivity result: whenever $K_1^G(A)=K_1^G(A[x])$, the map $K_1^G(A[x^{\\pm 1}]) \\to K_1^G(A((x)))$ is injective, and this is cited from earlier work rather than proved here; the induction over several Laurent variables rests on it.","fun_headline_variants_meta":{"raw":{"variants":["Chevalley K1 vanishes over Laurent polynomial rings","Laurent rings keep Chevalley K1 at 1","No Chevalley K1 from Laurent polynomials","Laurent polynomial rings add no Chevalley K1","Chevalley groups: Laurent polynomials add no K1"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00053,"raw_usage":{"total_tokens":2637,"prompt_tokens":1111,"completion_tokens":1526,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":727,"completion_tokens_details":{"reasoning_tokens":1447}},"tokens_in":727,"tokens_out":1526,"duration_ms":12482,"temperature":1.0,"reasoning_tokens":1447,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:15:14.225592+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct falsifier would be a single element of $\\mathrm{SL}_3(\\mathbb{Z}[x_1^{\\pm 1},\\ldots,x_n^{\\pm 1}])$ that cannot be reduced to the identity by elementary row and column operations over that Laurent polynomial ring, since Theorem 1.2 predicts no such element exists. A more local falsifier: find a Dedekind domain $A$ with $K_1^G(A)=K_1^G(A[x])$ for which the one-variable map $K_1^G(A[x^{\\pm 1}]) \\to K_1^G(A((x)))$ fails to be injective; that would identify exactly the imported step on which the induction rests.","supporting_citations":[],"review_version":1}