On the extensions of \(\widehat{W}_n\) by \(\widehat{\mathcal G}^{(\mu)}\) over a \(\mathbb Z_{(p)}\)-algebra
type: Item
instance of: scholarly article
title: On the extensions of \(\widehat{W}_n\) by \(\widehat{\mathcal G}^{(\mu)}\) over a \(\mathbb Z_{(p)}\)-algebra
zbMATH Open document ID: 1094.14033
author: Yasuhiro Niitsuma
published in: Tsukuba Journal of Mathematics
publication date: 2006-04-06T00:00:00Z
review text: Let \(p\) be prime, and let \(A\) be an algebra over the localized ring \(\mathbb{ Z}_{( p) }.\) Let \(W,\) \(W_{n},\,G_{a},\) and \(G_{m}\) (resp. \( \widehat{W},\,\widehat{W}_{n},\,\widehat{G}_{a},\) \(\widehat{G}_{m}\) ) be the group scheme of Witt vectors, the group schemes of Witt vectors of length \(n\), the additive group scheme, and the multiplicative group scheme (resp. the corresponding formal group schemes) over \(\mathbb{Z}\). The map \( W( A) \rightarrow W( A) \) given by multiplication by \( F^{n}\) provides us with a way of computing both \(\text{Hom}_{A}( \widehat{W}_{n,A},\widehat{G}_{m,A}) \) and \(H_{0}^{2}( \widehat{W} _{n,A},\widehat{G}_{m,A}) \) -- these are isomorphic to the kernel and cokernel of this map. Of course, this enables us to compute \(\text{Ext}_{A}^{1}( \widehat{W}_{n,A}, \widehat{G}_{m,A}) \). By reversing the roles of the group schemes (in the map) and the formal group schemes (in the cohomology groups) we can also compute \(\text{Ext}_{A}^{1}( W_{n,A},G_{m,A}) .\) These results are given in [\textit{T. Sekiguchi} and \textit{N. Suwa}, Tohoku Math. J. 49, 241--257 (1997; Zbl 0887.14019)]. These isomorphisms are obtained using deformations of the Artin-Hasse exponential series. Let \(\mu \in A,\) and define \(\mathcal{G}_{A}^{( \mu) }=\text{Spec}A[ T,T/( 1+\mu T)] \) with the Hopf algebra having coalgebra structure given by \(\Delta (T) =T\otimes 1+1\otimes T+\mu T\otimes T\). It can be readily seen that \(\mathcal{G} _{A}^{( 0) }=G_{a,A}\) and \(\mathcal{G}_{A}^{( 1) }\cong G_{m,A}\) and hence \(\mathcal{G}\) is a deformation between these two groups. The corresponding formal group scheme is denoted \(\widehat{\mathcal{G }}.\) In this work, the author studies \(\text{Ext}_{A}^{1}( W_{n,A},\mathcal{G} _{A}^{( \mu ) }) \) and \(( \widehat{W}_{n,A},\widehat{ \mathcal{G}}_{A}^{( \mu) }) .\) To accomplish this, the Witt vectors are replaced with the ``variants of Witt vectors''. The construction of the variant vectors are similar to …
reviewed by: Alan Koch
Mathematics Subject Classification ID: 14L05
Mathematics Subject Classification ID: 13K05
Mathematics Subject Classification ID: 20G10
zbMATH DE Number: 5017534
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.21099/tkbjm/1496164965
OpenAlex ID: W365841820
DOI: 10.21099/TKBJM/1496164965
description: scientific article; zbMATH DE number 5017534