On the extensions of \(\widehat{\mathcal G}^{(\lambda)}\) by \(\widehat{\mathbf G}_a\) over a \({\mathbb{Z}}_{(p)}\)-algebra. (Q696215): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.3836/tjm/1244208940 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2088822799 / rank
 
Normal rank

Revision as of 23:16, 19 March 2024

scientific article
Language Label Description Also known as
English
On the extensions of \(\widehat{\mathcal G}^{(\lambda)}\) by \(\widehat{\mathbf G}_a\) over a \({\mathbb{Z}}_{(p)}\)-algebra.
scientific article

    Statements

    On the extensions of \(\widehat{\mathcal G}^{(\lambda)}\) by \(\widehat{\mathbf G}_a\) over a \({\mathbb{Z}}_{(p)}\)-algebra. (English)
    0 references
    0 references
    2002
    0 references
    Let \(A\) be a ring, \(\lambda \in A\), and let \(G_{a,A}\) and \(G_{m, A}\) (resp. \(\widehat{G}_{a, A}\) and \(\widehat{G}_{m,A}\)) denote the additive and multiplicative group schemes over \(A\) (resp. the additive and multiplicative formal group schemes over \(A\)). Let \({\mathcal G}^{(\lambda)}\) be the group scheme Spec\(A[T, (1+\lambda T)^{-1}]\) with multiplication \(1 \otimes T + T \otimes 1 + \lambda T \otimes T\) which gives a deformation from \(G_{a,A}\) to \(G_{m,A}\), and \(\widehat{\mathcal G}^{(\lambda)}\) the corresponding formal group scheme. This paper computes Hom(\({\mathcal G}^{(\lambda)}, G_{a,A})\) and \(H^2_0 ({\mathcal G}^{(\lambda)}, G_{a,A})\) (resp. Hom\((\widehat{\mathcal G}^{(\lambda)}, \widehat{G}_{a,A})\) and \(H^2_0(\widehat{\mathcal G}^{(\lambda)}, \widehat{G}_{a,A}))\) where \(H^2\) denotes Hochschild cohomology, and identifies these groups as the kernel and cokernel of a certain endomorphism of \(A^{({\mathbb N})}\) (resp. \(A^{\mathbb N}\)) if \(A\) is a \({\mathbb Z}_{(p)}\) algebra. Two proofs of this result are given, one elementary and computational, and the other using a generalization of the Artin-Hasse exponential series and some results of \textit{T. Sekiguchi} and \textit{N. Suwa} [Tôhoku Math. J. (2) 53, 203--240 (2001; Zbl 1073.14546)].
    0 references
    0 references
    formal group schemes
    0 references
    group scheme extensions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references