Abstract:Let $M$ be a multiplicative monoid with identity. Then I show that there is a universal one dimensional formal group law equipped with an action of $M$. If $M$ is $p$-perfect (i.e. $m\mapsto m^p$ is an isomorphism for some prime number $p$) then the universal $M$-formal group law comes equipped with a natural Frobenius endomorphism. There are a number of concrete applications of this result. If $K$ is a $p$-adic field and $\mathcal{O}=\mathcal{O}_K$ is the multiplicative monoid of the ring of integers of $K$, then there is a universal formal group (over a suitable (non-zero) ring) which is equipped with an action of the multiplicative monoid $\mathcal{O}$. Lubin-Tate formal groups arise from this universal monoid formal group law. This has applications to Mochizuki's anabelian ideas: if two p-adic fields have isomorphic absolute Galois groups then they have isomorphic multiplicative monoids $\mathcal{O}$ (but possibly non-isomorphic ring structures). The existence of the universal monoid formal group law for the monoid $\mathcal{O}$ implies that the additive structures of a ring can be interpolated into a universal algebraic family (while keeping the multiplicative structure of the ring fixed). Here is another important example covered by my result: let $R$ be a perfectoid ring and let $R^\flat$ be its tilt and the multiplicative monoid $R^\flat$ of $R^\flat$. Then there exists a universal monoid formal group law for this monoid which interpolates the additive structures of untilts with tilt $R^\flat$. Thus in some sense one has a unified approach to various phenomenon which are well-known in anabelian geometry and in perfectoid geometry. These results also provide a natural number field version of Fontaine's fundamental ring $A_{inf}$ of $p$-adic Hodge Theory (Remark~4.2.4).

Mekler's Construction and Murphy's Law for 2-Nilpotent Groups

Symplectic K-theory and a problem of Murthy

On a question of Blecher, Pisier, Shlyakhtenko

Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down

On the mathematical foundations of mutually unbiased bases

Murphy's Law for Algebraic Stacks

A universal characterization of noncommutative motives and secondary algebraic K-theory

Algebraization of Mochizuki's anabelian variation of ring structures, perfectoid geometry and formal groups

On a Generalized Mizuhara Construction

Constructing projective modules

Skolem-Noether for nilpotent products

Feasible combinatorial matrix theory

On the Passi and the Mal'cev functors

Contramodules for algebraic groups: the existence of mock projectives

Preprojective algebras, skew group algebras and Morita equivalences

A Silting Theorem

Models with second order properties, V: A General principle

Computing the 2-nilpotent multiplier of 2-generator p-groups of class 2

Obstructions to almost complex structures following Massey

Parametrised noncommutative motives and equivariant cubical descent in algebraic K-theory

Loday constructions of Tambara functors