Isotropic reductive groups over discrete Hodge algebras
From MaRDI portal
(Redirected from Isotropic reductive groups over discrete Hodge algebras)
\(G\)-torsorBass-Quillen conjecturediscrete Hodge algebraMilnor squarenon-stable \(K_1\)-functorreductive groupsimple algebraic groupStanley-Reisner ringWhitehead group
Projective and free modules and ideals in commutative rings (13C10) Étale and other Grothendieck topologies and (co)homologies (14F20) Classical groups (algebro-geometric aspects) (14L35) Grothendieck groups and (K_0) (19A99) (K_1) of group rings and orders (19B28) Structure theory for linear algebraic groups (20G07) Cohomology theory for linear algebraic groups (20G10) Linear algebraic groups over arbitrary fields (20G15)
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.
Recommendations
- Torsors of isotropic reductive groups over Laurent polynomials
- On the congruence kernel of isotropic groups over rings
- Homotopy invariance of non-stable \(K_{1}\)-functors
- \(\mathbb{A}^1\)-invariance of non-stable \(K_1\)-functors in the equicharacteristic case
- On \(\mathbb{A}^1\)-fundamental groups of isotropic reductive groups
Cites work
- \(\mathbb A^1\)-algebraic topology over a field
- \(\mathbb {A}^1\)-connectedness in reductive algebraic groups
- \(\mathbb{A}^1\)-homotopy theory of schemes
- \(K\)-theory of affine toric varieties
- A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields
- Affine representability results in \(\mathbb A^1\)-homotopy theory. II: Principal bundles and homogeneous spaces
- Algebraic and abstract simple groups
- Conducteur, descente et pincement
- Elementary subgroups of isotropic reductive groups.
- Equivariant resolution, linearization, and Hilbert's fourteenth problem over arbitrary base schemes
- Homotopy invariance of non-stable \(K_{1}\)-functors
- scientific article; zbMATH DE number 1673451 (Why is no real title available?)
- scientific article; zbMATH DE number 4208349 (Why is no real title available?)
- scientific article; zbMATH DE number 3981316 (Why is no real title available?)
- scientific article; zbMATH DE number 4067062 (Why is no real title available?)
- scientific article; zbMATH DE number 3674235 (Why is no real title available?)
- scientific article; zbMATH DE number 66429 (Why is no real title available?)
- scientific article; zbMATH DE number 3597046 (Why is no real title available?)
- scientific article; zbMATH DE number 3306470 (Why is no real title available?)
- Introduction to Algebraic K-Theory. (AM-72)
- Locally trivial principal homogeneous spaces
- Néron Models
- On Grothendieck-Serre's conjecture concerning principal G-bundles over reductive group schemes: I
- ON THE STRUCTURE OF THE SPECIAL LINEAR GROUP OVER POLYNOMIAL RINGS
- Polytopes, Rings, and K-Theory
- Principal Homogeneous Spaces Over Hensel Rings
- Principal homogeneous spaces under flasque tori; applications
- Projective modules over polynomial rings
- Projective modules over subrings of \(k[x,y]\) generated by monomials
- Quadratic spaces over discrete Hodge algebras
- 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. Rev
- Some results about modules over discrete Hodge algebras
- Sur les sous-groupes arithmétiques des groupes semi-simples déployés
- The \(K\)-theory of toric schemes over regular rings of mixed characteristic
- The elementary action on unimodular rows over a monoid ring
- The Kneser-Tits problem.
- The Serre problem for discrete Hodge algebras
- The 𝐾-theory of toric varieties
- Unimodular rows over monoid rings
- Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
Cited in
(7)- On \(\mathbb{A}^1\)-fundamental groups of isotropic reductive groups
- 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
- Chevalley groups of polynomial rings over Dedekind domains
- Homotopy invariance of non-stable \(K_{1}\)-functors
- The Bass-Quillen conjecture for torsors over valuation rings
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)
