arXiv subjects

Michio Amano

Publications and source records attributed to Michio Amano.

3 recordsLinked to original sources

arXiv2026

Cartier Duals of Two-Dimensional Kummer--Artin--Schreier--Witt Type Kernels

We study Cartier duality for the kernel of a two-dimensional Kummer--Artin--Schreier--Witt type homomorphism over a $\mathbb{Z}_{(p)}$-algebra. For the $l$-th such homomorphism between extensions of deformations of the additive group, we give, under a natural nilpotency condition, an explicit description of the Cartier dual of its kernel in terms of Witt vectors. More precisely, the Cartier dual is identified with the kernel of a homomorphism between quotient fppf sheaves of two-dimensional Witt vectors determined by the operators naturally associated with the Kummer--Artin--Schreier--Witt type homomorphism. The proof combines the Sekiguchi--Suwa descriptions of characters and Hochschild extensions in terms of deformed Artin--Hasse exponentials with an analysis of the formal completion and its behavior with respect to the fppf topology.

math.AG↗

arXiv2025

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

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

math.AG↗

arXiv2017

On the Cartier Duality of Certain Finite Group Schemes of order $p^n$, II

We explicitly describe the Cartier dual of the $l$-th Frobenius kernel $N_l$ of the deformation group scheme, which deforms the additive group scheme to the multiplicative group scheme. Then the Cartier dual of $N_l$ is given by a certain Frobenius type kernel of the Witt scheme. Here we assume that the base ring $A$ is a $Z_{(p)}/(p^n)$-algebra, where $p$ is a prime number. The obtained result generalizes a previous result by the author which assumes that $A$ is a ring of characteristic $p$.

math.AG↗