Isotropic reductive groups over discrete Hodge algebras

DOI10.1007/S40062-018-0221-7zbMATH Open1451.19003arXiv1712.04907OpenAlexW2885285829WikidataQ128953455 ScholiaQ128953455MaRDI QIDQ2002823FDOQ2002823

A. K. Stavrova

Publication date: 12 July 2019

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Abstract: Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain containing an infinite field k, then for any discrete Hodge algebra A=R[x_1,...,x_n]/I over R, the map H^1_Nis(A,G) -> H^1_Nis(R,G) induced by evaluation at x_1=...=x_n=0, is a bijection. If k has characteristic 0, then, moreover, the map H^1_et(A,G) -> H^1_et(R,G) has trivial kernel. We also prove that if k is perfect, G is defined over k, the isotropic rank of G is >=2, and A is square-free, then K_1^G(A)=K_1^G(R), where K_1^G(R)=G(R)/E(R) is the corresponding non-stable K_1-functor, also called the Whitehead group of G. The corresponging statements for G=GL_n were previously proved by Ton Vorst.

Full work available at URL: https://arxiv.org/abs/1712.04907

zbMATH Keywords

Stanley-Reisner ringreductive groupWhitehead groupsimple algebraic groupdiscrete Hodge algebraBass-Quillen conjectureMilnor square\(G\)-torsornon-stable \(K_1\)-functor

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Étale and other Grothendieck topologies and (co)homologies (14F20) Cohomology theory for linear algebraic groups (20G10) Classical groups (algebro-geometric aspects) (14L35) Linear algebraic groups over arbitrary fields (20G15) (K_1) of group rings and orders (19B28) Structure theory for linear algebraic groups (20G07) Grothendieck groups and (K_0) (19A99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polytopes, Rings, and K-Theory
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• \(\mathbb{A}^1\)-homotopy theory of schemes
• 𝔸¹-connectedness in reductive algebraic groups
• Introduction to Algebraic K-Theory. (AM-72)
• Algebraic and abstract simple groups
• Néron Models
• ON THE STRUCTURE OF THE SPECIAL LINEAR GROUP OVER POLYNOMIAL RINGS
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• Homotopy invariance of non-stable K₁-functors
• Schémas en groupes. II: Groupes de type multiplicatif, et structure des schémas en groupes généraux. Exposés VIII à XVIII. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3) dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
• Projective modules over polynomial rings
• \(\mathbb A^1\)-algebraic topology over a field
• Conducteur, descente et pincement
• Equivariant resolution, linearization, and Hilbert's fourteenth problem over arbitrary base schemes
• Some results about modules over discrete Hodge algebras
• The Serre problem for discrete Hodge algebras
• Elementary subgroups of isotropic reductive groups
• Principal homogeneous spaces under flasque tori; applications
• \(K\)-theory of affine toric varieties
• The 𝐾-theory of toric varieties
• A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields
• On Grothendieck–Serre’s conjecture concerning principal -bundles over reductive group schemes: I
• Locally trivial principal homogeneous spaces
• The elementary action on unimodular rows over a monoid ring
• Affine representability results in \(\mathbb A^1\)-homotopy theory. II: Principal bundles and homogeneous spaces
• Unimodular rows over monoid rings
• Principal Homogeneous Spaces Over Hensel Rings
• Projective modules over subrings of \(k[x,y]\) generated by monomials
• Quadratic spaces over discrete Hodge algebras
• The K-Theory of Toric Schemes Over Regular Rings of Mixed Characteristic

Cited In (4)

• Chevalley groups of polynomial rings over Dedekind domains
• Torsors of isotropic reductive groups over Laurent polynomials
• \(\mathbb{A}^1\)-invariance of non-stable \(K_1\)-functors in the equicharacteristic case
• Bessel \(F\)-isocrystals for reductive groups

This page was built for publication: Isotropic reductive groups over discrete Hodge algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2002823)