A Horrocks-type theorem for even orthogonal K₂
The celebrated Serre's problem on projective modules states that finitely generated projective modules over polynomial rings over fields are free. The general case was proved by D. Quillen and A. Suslin, independently in 1975/76. The proof is based on two main ingredients; \textit{viz.} Horrocks theorem, and local-global principle. Quillen, in his proof, introduced a localization technique. Shortly after the original proof, motivated by Quillen's idea, Suslin gave a matrix theoretic proof. He introduced the \(K_1\)-analogue of Horrocks theorem. The main result in this paper is the Horrocks theorem for unstable even dimensional orthogonal Steinberg groups, which generalizes earlier results of Tulenbaev, and Suslin-Kopeiko. They proved: Theorem 1 (Horrocks theorem for orthogonal \(K_2\)). Let \(A\) be a commutative ring in which \(2\) is invertible. Then for any \(l\ge 7\) the following commutative square is a pullback square in which all homomorphisms are injective: \[ \begin{tikzcd} KO_2(2l,A) \ar[r] \ar[d] & KO_2(2l, A[X]) \ar[d]\\ KO_2(2l, A[X^{-1}]) \ar[r] & KO_2(2l, A[X,X^{-1}]) \end{tikzcd} \] Moreover, the same assertion holds if one replaces the functor \(KO_2(2l, -)\) with \(K_2(D_l,-)\) or St\((D_l,-)\), where \(KO_2(2l, -)\) denotes the unstable orthogonal \(K_2\)-functor. The proof uses the theory of relative central extensions developed by J.-L. Loday, and Panin's stability theorem for orthogonal \(K\)-theory. The authors proved the theorem by proving its St\((D_l,-)\)-variant. The main key result is the injectivity theorem for Steinberg groups, which uses Bass' theorem for higher Grothendieck-Witt groups.
- \(A^1\)-representability of hermitian \(K\)-theory and Witt groups
- A local-global principle for symplectic \(\mathrm K_2\)
- A third look at weight diagrams
- An explicit KO‐degree map and applications
- Chevalley groups of polynomial rings over Dedekind domains
- Chevalley groups over commutative rings. I: Elementary calculations
- Clifford Algebras and Spinor Norms Over a Commutative Ring
- Cohomologie et groupe de Steinberg rélatifs
- Endlich präsentierte arithmetische Gruppen und \(K_2\) über Laurent- Polynomringen
- Generation of relative commutator subgroups in Chevalley groups. II.
- Generators, Relations and Coverings of Chevalley Groups Over Commutative Rings
- Hermitian \(K\)-theory, derived equivalences and Karoubi's fundamental theorem
- Homotopy invariance of non-stable \(K_{1}\)-functors
- scientific article; zbMATH DE number 3425828 (Why is no real title available?)
- scientific article; zbMATH DE number 4208351 (Why is no real title available?)
- scientific article; zbMATH DE number 3971050 (Why is no real title available?)
- scientific article; zbMATH DE number 3695464 (Why is no real title available?)
- scientific article; zbMATH DE number 3758599 (Why is no real title available?)
- scientific article; zbMATH DE number 3771865 (Why is no real title available?)
- scientific article; zbMATH DE number 3625617 (Why is no real title available?)
- scientific article; zbMATH DE number 2166983 (Why is no real title available?)
- scientific article; zbMATH DE number 5793093 (Why is no real title available?)
- Le théorème fondamental de la K-théorie hermitienne
- On centrality of \(\operatorname{K}_2\) for Chevalley groups of type \(\mathsf{E}_\ell\)
- On centrality of even orthogonal \(\mathrm{K}_2\)
- On normal subgroups of Chevalley groups over commutative rings
- On stably free modules over affine algebras
- On the powers of the fundamental ideal of a Witt ring
- ON THE STRUCTURE OF THE SPECIAL LINEAR GROUP OVER POLYNOMIAL RINGS
- Projective Modules Over an Extension of a Local Ring
- Projective modules over polynomial rings
- Quadratic modules and the orthogonal group over polynomial rings
- Stabilization theorem for the Milnor \(K_ 2-\)functor
- Steinberg groups as amalgams
- Sur les sous-groupes arithmétiques des groupes semi-simples déployés
- Surjective Stability in Dimension 0 for K 2 and Related Functors
- Symplectic \(K_ 2\) of Laurent polynomials, associated Kac-Moody groups and Witt rings
- The K-book. An introduction to algebraic K-theory
- Whitehead groups of chevalley groups over polynomial rings
- Commutators of relative and unrelative elementary unitary groups
- St. Petersburg school of linear groups. II: Early works by Suslin
- A presentation of relative unitary Steinberg groups
- Bounded generation of Steinberg groups over Dedekind rings of arithmetic type
- On the \({\mathbb{A}}^1\)-invariance of \(\mathrm{K}_2\) of Chevalley groups of simply-laced type
This page was built for publication: A Horrocks-type theorem for even orthogonal \(K_2\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q782492)
