On non-commutative extensions of \(G_a\) by \(G_m\) over an \(\mathbb F_p\)-algebra
type: Item
instance of: scholarly article
title: On non-commutative extensions of \(G_a\) by \(G_m\) over an \(\mathbb F_p\)-algebra
zbMATH Open document ID: 1094.14032
author: Yuki Haraguchi
published in: Tsukuba Journal of Mathematics
publication date: 2006-04-06T00:00:00Z
review text: Let \(A\) be a ring of characteristic \(p\). Let \(G_{a}\) and \(G_{m}\) be the additive and mulitplicative group schemes respectively, and let \(\widehat{G} _{a}\) and \(\widehat{G}_{m}\) be the corresponding formal group schemes. The second symmetric Hochschild cohomology groups \(H_{0}^{2}(G_{a,A},G_{m,A}) \) and \(H_{0}^{2}(\widehat{G}_{a,A},\widehat{G} _{m,A}) \) are easily computed -- they arise as the cokernel of the Frobenius map on \(\widehat{W}(A) \) and \(W(A) \) respectively. These groups describe the commutative extensions of the first (formal) group scheme by the second. Using the Artin-Hasse exponential series, the author describes the non-commutative extensions of \(\widehat{G} _{a}\) by \(\widehat{G}_{m}.\) Specifically, the factor groups \(H^{2}(\widehat{G}_{a,A},\widehat{G}_{m,A}) /H_{0}^{2}(\widehat{G} _{a,A},\widehat{G}_{m,A})\) and \(H^{2}(G_{a,A},G_{m,A}) /H_{0}^{2}(G_{a,A},G_{m,A})\) are computed, which completely determines the classification since \(H^{2}(-,-)\) gives the central extensions of the first group by the second. Let \(E_{p}(T)\) denote the Artin-Hasse exponential series. For an infinite vector \(\mathbf{U}=(U_{r}), r\geq 0\) we let \(E_{p}(\mathbf{U};T) =\prod E_{p}(U_{r}T^{p^{r}}).\) The statement of the main theorem states that if \(K\) (resp. \(\widehat{K}\)) is the kernel of \(F\) on \(W(A)\) (resp. \(\widehat{W}(A)\)) then the map \((\mathbf{a}_{r})_{r\geq 1}\mapsto \prod_{r\geq 1}E_{p}(\mathbf{a}_{r};XY^{p^{r}})\) induces isomorphisms \[ \bigoplus_{i\in \mathbb{N}}K\to H^{2}(G_{a,A},G_{m,A}) /H_{0}^{2}(G_{a,A},G_{m,A}) \] and \[ \prod_{i\in \mathbb{N}}\widehat{K}\to H^{2}(\widehat{G}_{a,A},\widehat{G}_{m,A}) /H_{0}^{2}(\widehat{G}_{a,A},\widehat{G} _{m,A}). \]
reviewed by: Alan Koch
Mathematics Subject Classification ID: 14L05
Mathematics Subject Classification ID: 13K05
Mathematics Subject Classification ID: 20G10
zbMATH DE Number: 5017533
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.21099/tkbjm/1496164964
OpenAlex ID: W588966815
DOI: 10.21099/TKBJM/1496164964
description: scientific article; zbMATH DE number 5017533