Graded $p$-polar rings and their abelian-group valued functors

TL;DR

This paper introduces graded p-polar rings, extending ungraded concepts, and demonstrates that key affine p-adic and formal group functors, including Witt vectors, factor through these rings, revealing new structural insights.

Contribution

It defines graded p-polar rings and proves that important group functors factor through them, extending the understanding of p-adic and formal groups in algebra.

Findings

The free affine p-adic group scheme functor factors through p-polar k-algebras.

The free formal group functor also factors through p-polar k-algebras.

The functor of p-typical Witt vectors is free on the p-polar affine line.

Abstract

As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the free affine $p$-adic group scheme functor, as well as the free formal group functor, defined on $k$-algebras for a perfect field $k$ of characteristic $p$, factors through $p$-polar $k$-algebras. It follows that the same is true for any affine $p$-adic or formal group functor, in particular for the functor of $p$-typical Witt vectors. As an application, we show that the latter is free on the $p$-polar affine line.