Title:Mochizuki's anabelian variation of ring structures and formal groups

Abstract:I show that there is a universal formal group (over a suitable (non-zero) ring) which is equipped with an action of the multiplicative monoid $\mathcal{O}^\triangleright$ of non-zero elements of the ring of integers of a $p$-adic field. Lubin-Tate formal groups also arise from this universal formal group. If two $p$-adic fields have isomorphic multiplicative monoids $\mathcal{O}^\triangleright$ then the additive structure of one arises from that of the other by means of this universal formal group law (in a suitable manner). In particular if two $p$-adic fields have isomorphic absolute Galois groups then it is well-known that the two respective monoids $\mathcal{O}^\triangleright$ are isomorphic and so this construction can be applied to such $p$-adic fields. In this sense this universal formal group law provides a single additive structure which binds together $p$-adic fields whose absolute Galois groups are isomorphic (this anabelian variation of ring structure is studied and used extensively by Shinichi Mochizuki). In particular one obtains a universal (additive) expression for any non-zero $p$-adic integer (in a given $p$-adic field) which is independent of the ring structure of the $p$-adic field (this is also inspired by Mochizuki's results). These ideas extend to geometric situations: for a smooth curve $X/K$ there is a universal $K(X)^*$-formal group (here $K(X)^*$ is the monoid of non-zero meromorphic functions on a smooth curve $X/K$ over a $p$-adic field $K$, which binds together all the additive structures on $K(X)^*\cup \{0\}$ compatibly with the universal additive structure on $K^*\cup\{0\}$ and hence a non-zero meromorphic function on $X$ is given by a universal additive expression which is independent of the ring structure of $K(X)^*\cup\{0\}$ (this is also inspired by Mochizuki's results on Theta functions). Also see Theorem 7.6.