Chevalley groups over Laurent polynomial rings

Anastasia Stavrova

Chevalley groups over Laurent polynomial rings

T0 review · 0 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Simply connected Chevalley groups of isotropic rank at least 2 are generated by elementary root subgroups over Laurent polynomial rings over special PIDs.

desk verdict 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. read the letter →

arxiv 2411.17308 v1 pith:53AIADCM submitted 2024-11-26 math.GR math.KT

Anastasia Stavrova This is my paper · ORCID

classification math.GRmath.KT MSC 20G3519B9920G15

keywords ChevalleygroupsLaurentpolynomialringselementarysubgroupsnon-stableK1specialprincipalidealdomainsisotropicrankDedekindgeometricallyregular

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

What 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.

The 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.

Minor 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.

Bottom 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.

Referee Report

0 major / 6 minor

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.

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.

minor comments (6)

[§2, Proposition 2.1] 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.
[§2, Theorem 2.6] 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".
[§2, Lemma 2.5] 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.
[§2, Lemma 2.7] 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.
[§2, Lemma 2.5 and proof of Theorem 1.3] 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.
[Abstract] The abstract contains several typos, including "with out SL2-factors" and "res idue"; these should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are proved from stated prior results, none of which is the target theorem or derived from it.

full rationale

The derivation chain is not circular. Theorem 1.3 is proved by reducing the n=1 case to Lemma 2.5, whose injectivity half is quoted from [St15, Corollary 3.4] after the hypothesis K1^G(A)=K1^G(A[x]) is supplied by Theorem 2.6 (from [St20]) — a published result with independent hypotheses. The induction applies Lemma 2.5 to B=A[x2^{±1},...,xn^{±1}] only after verifying the same hypothesis K1^G(B[x1])=K1^G(B) via localization from Theorem 2.6 and [St14, Lemma 4.6]; no step assumes the conclusion being proved. Theorem 1.2 then uses the injectivity of Theorem 1.3 together with Lemma 1.1 ([Ko99]) and Lemma 2.8 ([St20, Lemma 3.1]) to conclude K1^G=1 on the iterated Laurent series ring. All load-bearing citations are to published, independently grounded results; none is the target theorem, and none is derived from it. The only caveat noted by a skeptical reader — that [St15, Corollary 3.4] must have exactly the generality in which Lemma 2.5 invokes it — is a correctness check on the cited black box, not a circularity.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

No free parameters or invented entities: this is a proof-based paper. The central claim rests on a chain of published theorems, several by the same author, which are independent of the target result.

assumptions (9)

standard math For a simply connected Chevalley-Demazure group scheme G, the open cell UB*T*UB- is a principal open subscheme and T(A) is contained in E(A).
Used in Proposition 2.1(1) to show elements in the kernel of reduction lie in E(A); attributed to [Che].
standard math For a Henselian pair (A,I), the reduction map G(A) to G(A/I) is surjective.
Used in Proposition 2.1(2) and Corollary 2.3; cited to [Gru].
standard math Popescu's Neron desingularization theorem: a geometrically regular algebra over a Dedekind ring is a filtered direct limit of smooth algebras.
Used in Theorem 2.6 to reduce to essentially smooth algebras over D_p; cited to [Pop] and [Sw].
domain assumption The generalized Quillen-Suslin local-global principle: to prove K1^G(A)=K1^G(A[x]) it suffices to check all maximal localizations.
Used in Theorem 2.6 to reduce K1^G(A)=K1^G(A[x]) to local rings; cited to [Su], [SuKo], [PSt], [Ste13].
domain assumption Prior theorem [St20, Theorems 1.1 and 1.5]: K1^G(A)=K1^G(A[x1,...,xn]) for A Dedekind or geometrically regular over a Dedekind ring with perfect residue fields.
This prior theorem is the base for Theorem 2.6 and the starting point of the induction in Theorem 1.3.
domain assumption Prior theorem [St15, Corollary 3.4]: injectivity of K1^G(A[x^{±1}]) to K1^G(A((x))) when K1^G(A)=K1^G(A[x]).
Decisive step in Lemma 2.5; carries the main technical content of the proof of Theorem 1.3.
domain assumption Prior theorem [St22, Corollary 4.4]: G(A((x))) = G(A[x^{±1}])G(A[[x]]).
Used in Theorem 2.4 to obtain surjectivity of the map to K1^G(A((x))).
domain assumption Prior lemma [Ko99, Lemma 4]: if D is a special PID, then D((x)) is a special PID.
Used in the proof of Theorem 1.2 to ensure the iterated Laurent series ring has SL2(D')=E2(D').
domain assumption Stability theorem from Stein and Plotkin as stated in [St20, Lemma 3.1]: if R is Noetherian of Krull dimension at most 1 and SL2(R)=E2(R), then G(R)=E(R) for any simply connected Chevalley-Demazure group scheme G.
Used at the end of Theorem 1.2 to conclude K1^G(D((x1))...((xn)))=1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Chevalley groups over Laurent polynomial rings." pith.science (2026). https://pith.science/paper/53AIADCM

@misc{pith2026241117308,
  author       = {Pith},
  title        = {Pith review of: Chevalley groups over Laurent polynomial rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/53AIADCM}},
  note         = {Machine review of arXiv:2411.17308}
}

abstract

Let $G$ be a simply connected Chevalley--Demazure group scheme without $SL_2$-factors. For any unital commutative ring $R$, we denote by $E(R)$ the standard elementary subgroup of $G(R)$, that is, the subgroup generated by the elementary root unipotent elements. We prove that the map $$ G(R[x_1^{\pm 1},\ldots,x_n^{\pm 1}])/E(R[x_1^{\pm 1},\ldots,x_n^{\pm 1}])\to G\bigl(R((x_1))\ldots((x_n))\bigr)/E\bigl(R((x_1))\ldots((x_n))\bigr) $$ is injective for any $n\ge 1$, if $R$ is either a Dedekind domain or a Noetherian ring that is geometrically regular over a Dedekind domain with perfect residue fields. For $n=1$ this map is also an isomorphism. As a consequence, we show that if $D$ is a PID such that $SL_2(D)=E_2(D)$ (e.g. $D=\mathbb{Z}$), then $G(D[x_1^{\pm 1},\ldots,x_n^{\pm 1}])=E(D[x_1^{\pm 1},\ldots,x_n^{\pm 1}])$. This extends earlier results for special linear and symplectic groups due to A. A. Suslin and V. I. Kopeiko.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

[1]

Abe, Whitehead groups of Chevalley groups over polynomial rings, Comm

E. Abe, Whitehead groups of Chevalley groups over polynomial rings, Comm. Algebra 11 (1983), 1271--1307

work page 1983
[2]

Chevalley, Sur certains groupes simples, Tohoku Math

C. Chevalley, Sur certains groupes simples, Tohoku Math. J. 7 (1955), 14--66

1955
[3]

Algebra 90 (1984), 208--216

Huah Chu, On the GE_2 of graded rings, J. Algebra 90 (1984), 208--216

work page 1984
[4]

Demazure, A

M. Demazure, A. Grothendieck, Sch\'emas en groupes, Lecture Notes in Mathematics, vol. 151--153, Springer-Verlag, Berlin-Heidelberg-New York, 1970

work page 1970
[5]

Gille, A

P. Gille, A. Stavrova, R -equivalence on group schemes and non-stable K^1 -functors, arXiv:2107.01950 http://arxiv.org/abs/2107.01950, 46 pp

work page arXiv
[6]

Gruson, Une propri\'et\'e des couples hens\'eliens, Colloque d'Alg\`ebre Commutative (Rennes, 1972), Exp

L. Gruson, Une propri\'et\'e des couples hens\'eliens, Colloque d'Alg\`ebre Commutative (Rennes, 1972), Exp. No. 10, 13 pp; Publ. S\'em. Math. Univ. Rennes, 1972

work page 1972
[7]

V. I. Kopeiko, On the structure of the special linear groups over Laurent polynomial rings. (Russian. English summary) Fundam. Prikl. Mat., 1:4 (1995), 1111--1114

work page 1995
[8]

V. I. Kopeiko, Symplectic groups over Laurent polynomial rings and patching diagrams. (Russian. English summary) Fundam. Prikl. Mat. 5, No. 3, 943-945 (1999)

work page 1999

Show all 23 references

[9]

T. Y. Lam, Serre's problem on projective modules, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2006

2006
[10]

Matsumoto, Sur les sous-groupes arithm\'etiques des groupes semi-simples d\'eploy\'es, Ann

H. Matsumoto, Sur les sous-groupes arithm\'etiques des groupes semi-simples d\'eploy\'es, Ann. Sci. de l'\'E.N.S. 4^e s\'erie, tome 2, n. 1 (1969), 1--62

1969
[11]

Petrov, A

V. Petrov, A. Stavrova, Elementary subgroups of isotropic reductive groups, St. Petersburg Math. J. 20 (2009), 625--644

2009
[12]

E. B. Plotkin, Surjective stabilization of the K_1 -functor for some exceptional C hevalley groups , Journal of Soviet Mathematics 64 (1993), no. 1, 751--766

1993
[13]

Popescu, Letter to the Editor: General N\'eron desingularization and approximation, Nagoya Math

D. Popescu, Letter to the Editor: General N\'eron desingularization and approximation, Nagoya Math. J. 118 (1990), 45--53

1990
[14]

Stavrova, Homotopy invariance of non-stable K_1 -functors, J

A. Stavrova, Homotopy invariance of non-stable K_1 -functors, J. K-Theory 13 (2014), 199--248

2014
[15]

Stavrova, Non-stable K_1 -functors of multiloop groups, Canad

A. Stavrova, Non-stable K_1 -functors of multiloop groups, Canad. J. Math. 68 (2016), 150--178

2016
[16]

Stavrova, Chevalley groups of polynomial rings over Dedekind domains, J

A. Stavrova, Chevalley groups of polynomial rings over Dedekind domains, J. Group Theory 23 (2020), 121--132

2020
[17]

Stavrova, A ^1 -invariance of non-stable K_1 -functors in the equicharacteristic case , Indag

A. Stavrova, A ^1 -invariance of non-stable K_1 -functors in the equicharacteristic case , Indag. Math. 33 (2022), no. 2, 322--333

2022
[18]

M. R. Stein, Stability theorems for K_ 1 , K_ 2 and related functors modeled on C hevalley groups , Japan. J. Math. (N.S.) 4 (1978), no. 1, 77--108

1978
[19]

Stepanov, Elementary calculus in C hevalley groups over rings , J

A. Stepanov, Elementary calculus in C hevalley groups over rings , J. Prime Res. Math. 9 (2013), 79--95

2013
[20]

A. A. Suslin, On the structure of the special linear group over polynomial rings, Math. USSR Izv. 11 (1977), 221--238

1977
[21]

Suslin, V.I

A.A. Suslin, V.I. Kopeiko, Quadratic modules and the orthogonal group over polynomial rings, J. of Soviet Math. 20 (1982), 2665--2691

1982
[22]

R. G. Swan, N\'eron-Popescu desingularization, in Algebra and Geometry (Taipei, 1995), Lect. Alg. Geom. 2 (1998), 135--198. Int. Press, Cambridge, MA

1998
[23]

Taddei, Normalit\'e des groupes \'el\'ementaires dans les groupes de C hevalley sur un anneau , Contemp

G. Taddei, Normalit\'e des groupes \'el\'ementaires dans les groupes de C hevalley sur un anneau , Contemp. Math 55 (1986), 693--710

1986

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

Abe, Whitehead groups of Chevalley groups over polynomial rings, Comm

E. Abe, Whitehead groups of Chevalley groups over polynomial rings, Comm. Algebra 11 (1983), 1271--1307

work page 1983

[2] [2]

Chevalley, Sur certains groupes simples, Tohoku Math

C. Chevalley, Sur certains groupes simples, Tohoku Math. J. 7 (1955), 14--66

1955

[3] [3]

Algebra 90 (1984), 208--216

Huah Chu, On the GE_2 of graded rings, J. Algebra 90 (1984), 208--216

work page 1984

[4] [4]

Demazure, A

M. Demazure, A. Grothendieck, Sch\'emas en groupes, Lecture Notes in Mathematics, vol. 151--153, Springer-Verlag, Berlin-Heidelberg-New York, 1970

work page 1970

[5] [5]

Gille, A

P. Gille, A. Stavrova, R -equivalence on group schemes and non-stable K^1 -functors, arXiv:2107.01950 http://arxiv.org/abs/2107.01950, 46 pp

work page arXiv

[6] [6]

Gruson, Une propri\'et\'e des couples hens\'eliens, Colloque d'Alg\`ebre Commutative (Rennes, 1972), Exp

L. Gruson, Une propri\'et\'e des couples hens\'eliens, Colloque d'Alg\`ebre Commutative (Rennes, 1972), Exp. No. 10, 13 pp; Publ. S\'em. Math. Univ. Rennes, 1972

work page 1972

[7] [7]

V. I. Kopeiko, On the structure of the special linear groups over Laurent polynomial rings. (Russian. English summary) Fundam. Prikl. Mat., 1:4 (1995), 1111--1114

work page 1995

[8] [8]

V. I. Kopeiko, Symplectic groups over Laurent polynomial rings and patching diagrams. (Russian. English summary) Fundam. Prikl. Mat. 5, No. 3, 943-945 (1999)

work page 1999