English

On the injectivity of certain homomorphisms between extensions of $\hat{\mathcal{G}}^{(\lambda)}$ by $\hat{\mathbb{G}}_m$ over a $\mathbb{Z}_{(p)}$-algebra

Algebraic Geometry 2025-07-10 v2

Abstract

Let G^(λ)\widehat{\mathcal{G}}^{(\lambda)} be a formal group scheme which deforms G^a\widehat{\mathbb{G}}_a to G^m\widehat{\mathbb{G}}_m. And let ψ(l):G^(λ)G^(λpl)\psi^{(l)}:\widehat{\mathcal{G}}^{(\lambda)}\rightarrow\widehat{\mathcal{G}}^{(\lambda^{p^l})} be the ll-th Frobenius-type homomorphism determined by λ\lambda. We show that the homomorphism (ψ(l)):H02(G^(λpl),G^m)H02(G^(λ),G^m)(\psi^{(l)})^\ast:H^2_0(\widehat{\mathcal{G}}^{(\lambda^{p^l})},\widehat{\mathbb{G}}_m)\rightarrow H^2_0(\widehat{\mathcal{G}}^{(\lambda)},\widehat{\mathbb{G}}_m) induced by ψ(l)\psi^{(l)} is injective over a Z(p)\mathbb{Z}_{(p)}-algebra under a suitable restriction on λ\lambda. In this situation, the Cartier dual of Ker(ψ(l))\mathrm{Ker}(\psi^{(l)}), which is a finite group scheme of order plp^l, is described over a Z/(pn)\mathbb{Z}/(p^n)-algebra.

Keywords

Cite

@article{arxiv.2405.11278,
  title  = {On the injectivity of certain homomorphisms between extensions of $\hat{\mathcal{G}}^{(\lambda)}$ by $\hat{\mathbb{G}}_m$ over a $\mathbb{Z}_{(p)}$-algebra},
  author = {Michio Amano},
  journal= {arXiv preprint arXiv:2405.11278},
  year   = {2025}
}

Comments

16 pages