On the extensions of G^() by G_a over a Z_(p)-algebra.

Formal groups, (p)-divisible groups (14L05) Group schemes (14L15) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40)

Review text

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)].

Recommendations

On non-commutative extensions of \(G_a\) by \(G_m\) over an \(\mathbb F_p\)-algebra
On the extensions of \(\widehat{W}_n\) by \(\widehat{\mathcal G}^{(\mu)}\) over a \(\mathbb Z_{(p)}\)-algebra
scientific article; zbMATH DE number 2103554
[[:Publication:2643502|On non-commutative extensions of \(\widehat{\mathbf G}_a\) by \(\widehatTemplate:\mathcal G^{(M)}\) over an \({\mathbb F}_p\)-algebra]]
scientific article; zbMATH DE number 1373489
A note on extensions of algebraic and formal groups. I
On the Cartier duality of certain finite group schemes of order \(p^n\). II
A note on extensions of algebraic and formal groups. III
Local flat duality of abelian varieties
A note on extensions of algebraic and formal groups. IV: Kummer-Artin-Schreier-Witt theory of degree p^2

Cites work

Cited in

(9)

This page was built for publication: On the extensions of \(\widehat{\mathcal G}^{(\lambda)}\) by \(\widehat{\mathbf G}_a\) over a \({\mathbb{Z}}_{(p)}\)-algebra.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q696215)