Showing 1–9 of 9 results for author: Sinchuk, S

On the $\mathbb{A}^1$-invariance of $\mathrm{K}_2$ of Chevalley groups of simply-laced type

Authors: Sergei Sinchuk

Abstract: In this paper we study the $\mathbb{A}^1$-invariance of the unstable functor $\mathrm{K}_2(Φ, R)$ in the case when $Φ$ is an irreducible root system of type $\mathsf{ADE}$ containing $\mathsf{A}_4$ and not of type $\mathsf{E}_8$. We show that in the geometric case, i. e. when $R$ is a regular ring containing a field $k$ one has $\mathrm{K}_2(Φ, R[t]) = \mathrm{K}_2(Φ, R)$, which allows one to inte… ▽ More In this paper we study the $\mathbb{A}^1$-invariance of the unstable functor $\mathrm{K}_2(Φ, R)$ in the case when $Φ$ is an irreducible root system of type $\mathsf{ADE}$ containing $\mathsf{A}_4$ and not of type $\mathsf{E}_8$. We show that in the geometric case, i. e. when $R$ is a regular ring containing a field $k$ one has $\mathrm{K}_2(Φ, R[t]) = \mathrm{K}_2(Φ, R)$, which allows one to interpret the unstable $\mathrm{K}_2$ groups as $\mathbb{A}^1$-fundamental groups of Chevalley--Demazure group schemes in the $\mathbb{A}^1$-homotopy category. We also prove a variant of "early stability" theorem which allows one to find a generating set of $\mathrm{K}_2(Φ, A[X_1, \ldots X_n])$ in the case when $A$ is a Dedekind domain. △ Less

Submitted 9 December, 2024; originally announced December 2024.

MSC Class: 19C20

Journal ref: European Journal of Mathematics 11, 14 (2025)

On the $\mathbb{A}^1$-invariance of $\mathrm{K}_2$ modeled on linear and even orthogonal groups

Authors: Andrei Lavrenov, Sergey Sinchuk, Egor Voronetsky

Abstract: Let $k$ be an arbitrary field. In this paper we show that in the linear case ($Φ=\mathsf{A}_\ell$, $\ell \geq 4$) and even orthogonal case ($Φ= \mathsf{D}_\ell$, $\ell\geq 7$, $\mathrm{char}(k)\neq 2$) the unstable functor $\mathrm{K}_2(Φ, -)$ possesses the $\mathbb{A}^1$-invariance property in the geometric case, i. e. $\mathrm{K}_2(Φ, R[t]) = \mathrm{K}_2(Φ, R)$ for a regular ring $R$ containing… ▽ More Let $k$ be an arbitrary field. In this paper we show that in the linear case ($Φ=\mathsf{A}_\ell$, $\ell \geq 4$) and even orthogonal case ($Φ= \mathsf{D}_\ell$, $\ell\geq 7$, $\mathrm{char}(k)\neq 2$) the unstable functor $\mathrm{K}_2(Φ, -)$ possesses the $\mathbb{A}^1$-invariance property in the geometric case, i. e. $\mathrm{K}_2(Φ, R[t]) = \mathrm{K}_2(Φ, R)$ for a regular ring $R$ containing $k$. As a consequence, the unstable $\mathrm{K}_2$ groups can be represented in the unstable $\mathbb{A}^1$-homotopy category $\mathscr{H}_\bullet(k)$ as fundamental groups of the simply-connected Chevalley--Demazure group schemes $\mathrm{G}(Φ,-)$. Our invariance result can be considered as the $\mathrm{K}_2$-analogue of the geometric case of Bass--Quillen conjecture. We also show for a semilocal regular $k$-algebra $A$ that $\mathrm{K}_2(Φ, A)$ embeds as a subgroup into $\mathrm{K}^\mathrm{M}_2(\mathrm{Frac}\,A)$. △ Less

Submitted 8 November, 2022; v1 submitted 21 October, 2021; originally announced October 2021.

Report number: MR4681305 MSC Class: 19C09; 20G35; 20H05

Journal ref: International Mathematics Research Notices, (2023) issue 24, 21906-21942

Centrality of $\mathrm K_2$ for Chevalley groups: a pro-group approach

Authors: Andrei Lavrenov, Sergey Sinchuk, Egor Voronetsky

Abstract: We prove the centrality of $\mathrm{K}_2 (\mathsf{F}_4, \,R)$ for an arbitrary commutative ring $R$. This completes the proof of the centrality of $\mathrm K_2(Φ,\, R)$ for any root system $Φ$ of rank $\geq 3$. Our proof uses only elementary localization techniques reformulated in terms of pro-groups. Another new result of the paper is the construction of a crossed module on the canonical homomorp… ▽ More We prove the centrality of $\mathrm{K}_2 (\mathsf{F}_4, \,R)$ for an arbitrary commutative ring $R$. This completes the proof of the centrality of $\mathrm K_2(Φ,\, R)$ for any root system $Φ$ of rank $\geq 3$. Our proof uses only elementary localization techniques reformulated in terms of pro-groups. Another new result of the paper is the construction of a crossed module on the canonical homomorphism $\mathrm{St}(Φ, R) \to \mathrm{G}_\mathrm{sc}(Φ, R)$, which has not been known previouly for exceptional $Φ$. △ Less

Submitted 31 October, 2021; v1 submitted 8 September, 2020; originally announced September 2020.

Report number: MR4803423 MSC Class: 19C09; 20G35; 20H05

Journal ref: Israel J. Math. 262 (2024), no. 1, 97-142

A Horrocks-type theorem for even orthogonal $K_2$

Authors: Andrei Lavrenov, Sergey Sinchuk

Abstract: We prove the Horrocks theorem for unstable even-dimensional orthogonal Steinberg groups. The Horrocks theorem for Steinberg groups is one of the principal ingredients needed for the proof of the $\mathrm{K}_2$-analogue of Serre's problem, whose positive solution is currently known only in the linear case. We prove the Horrocks theorem for unstable even-dimensional orthogonal Steinberg groups. The Horrocks theorem for Steinberg groups is one of the principal ingredients needed for the proof of the $\mathrm{K}_2$-analogue of Serre's problem, whose positive solution is currently known only in the linear case. △ Less

Submitted 22 February, 2023; v1 submitted 5 September, 2019; originally announced September 2019.

MSC Class: 19C20

Journal ref: Doc. Math. 25 (2020), pp. 767--809

Parametrized symmetric groups and the second homology of a group

Authors: Sergey Sinchuk

Abstract: We introduce the notion of a symmetric group parametrized by elements of a group. We show that this group is an extension of a certain subgroup of the wreath product $G \wr S_n$ by $\mathrm{H}_2(G, \mathbb{Z})$. We also discuss the motivation behind this construction. We introduce the notion of a symmetric group parametrized by elements of a group. We show that this group is an extension of a certain subgroup of the wreath product $G \wr S_n$ by $\mathrm{H}_2(G, \mathbb{Z})$. We also discuss the motivation behind this construction. △ Less

Submitted 30 November, 2019; v1 submitted 30 May, 2017; originally announced May 2017.

MSC Class: 20F05 20B30 20E06 20J06 20F55 55Q05

Journal ref: St. Petersburg Math. J. 32 (2021), 1067-1080

On centrality of even orthogonal $\mathrm K_2$

Authors: Andrei Lavrenov, Sergey Sinchuk

Abstract: We give a short uniform proof of centrality of $\mathrm K_2(Φ,\,R)$ for all simply-laced root systems $Φ$ of rank $\geq3$. We give a short uniform proof of centrality of $\mathrm K_2(Φ,\,R)$ for all simply-laced root systems $Φ$ of rank $\geq3$. △ Less

Submitted 28 December, 2016; v1 submitted 1 June, 2016; originally announced June 2016.

MSC Class: 19C09

Journal ref: J. Pure Appl. Algebra 221 (2017), pp. 1134-1145

Decompositions of congruence subgroups of Chevalley groups

Authors: Sergey Sinchuk, Andrei Smolensky

Abstract: We formulate and prove relative versions of several classical decompositions known in the theory of Chevalley groups over commutative rings. As an application we obtain upper estimates for the width of principal congruence subgroups in terms of several families of generators. Some of our results are new even in the absolute case and were previously studied only for groups over finite fields. We formulate and prove relative versions of several classical decompositions known in the theory of Chevalley groups over commutative rings. As an application we obtain upper estimates for the width of principal congruence subgroups in terms of several families of generators. Some of our results are new even in the absolute case and were previously studied only for groups over finite fields. △ Less

Submitted 29 September, 2018; v1 submitted 9 November, 2015; originally announced November 2015.

MSC Class: 20G35; 20G40; 19B14

Journal ref: Int. J. Algebra Comput. 28, (06 2018), pp. 935--958

On centrality of $K_2$ for Chevalley groups of type $E_l$

Authors: Sergey Sinchuk

Abstract: For a root system $Φ$ of type $E_l$ and arbitrary commutative ring $R$ we show that the group $K_2(Φ, R)$ is contained in the centre of the Steinberg group $St(Φ, R)$. In course of the proof we also demonstrate an analogue of Quillen---Suslin local-global principle for $K_2(Φ, R)$. For a root system $Φ$ of type $E_l$ and arbitrary commutative ring $R$ we show that the group $K_2(Φ, R)$ is contained in the centre of the Steinberg group $St(Φ, R)$. In course of the proof we also demonstrate an analogue of Quillen---Suslin local-global principle for $K_2(Φ, R)$. △ Less

Submitted 13 October, 2016; v1 submitted 9 February, 2015; originally announced February 2015.

MSC Class: 19C09; 20G35

Journal ref: J. Pure Appl. Algebra 220 (2016), pp. 857-875

Improved stability for odd-dimensional orthogonal group

Authors: Sergey Sinchuk

Abstract: We compute the kernel of the stabilization map for $K_1$-functors modeled on split Chevalley groups of types $B_l, C_l, E_l$ one step below the stable range. For the groups of type $B_l$ this implies early injective stability for $K_1(B_l, R)$ over a certain class of rings. We compute the kernel of the stabilization map for $K_1$-functors modeled on split Chevalley groups of types $B_l, C_l, E_l$ one step below the stable range. For the groups of type $B_l$ this implies early injective stability for $K_1(B_l, R)$ over a certain class of rings. △ Less

Submitted 12 December, 2013; originally announced December 2013.

Journal ref: Improved Stability for the Odd-Dimensional Orthogonal Group, J. Math. Sci., 199, (3 2014), 343-349