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.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
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
Property / cites work
 
Property / cites work: Sur les groupes de Lie formels à un paramètre / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3979762 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on extensions of algebraic and formal groups. IV: Kummer-Artin-Schreier-Witt theory of degree \(p^2\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a Case of Extensions of Group Schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5602064 / rank
 
Normal rank

Latest revision as of 15:56, 4 June 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