Witt-Burnside functor attached to Z_p^2 and p-adic Lipschitz continuous functions

From MaRDI portal
Publication:2188704



Abstract: Dress and Siebeneicher gave a significant generalization of the construction of Witt vectors, by producing for any profinite group G, a ring-valued functor mathbfWG. This paper gives a concrete interpretation of the rings mathbfWmathbfZp2(k) where k is a field of characteristic p>0 in terms of rings of Lipschitz continuous functions on the p-adic upper half plane mathbfP1(mathbfQp). As a consequence we show that the Krull dimensions of the rings mathbfWmathbfZpd(k) are infinite for dgeq2 and we show the Teichm"uller representatives form an analogue of the van der Put basis for continuous functions on mathbfZp.


Let \(p\) be a prime number and denote by \(\mathbb{Z}_p\) the \(p\)-adic integers. It is known that for profinite groups \(G\) there is a ring valued functor \(\mathbf{W}_G\); in the special case \(G = \mathbb{Z}_p$, $\mathbf{W}_{\mathbb{Z}_p}(k)\) is the set of \(p\)-typical Witt vectors over a field \(k\). A topology, that the authors call the initial vanishing topology, is defined on \(\mathbf{W}_{\mathbb{Z}_p^d}(k)\), where \(k\) is a field of characteristic \(p\). For \(d=1\), this topology agrees with the topology defined by the maximal ideal in \(\mathbf{W}_{\mathbb{Z}_p}(k)\). However, it is shown in this paper that for \(d \geq 2\), the initial vanishing topology and the topology defined by the maximal ideal in \(\mathbf{W}_{\mathbb{Z}_p^d} (k)\) do not agree. Another result proved in this paper is: There is a homomorphism from from \[\mathbf{W}_{\mathbb{Z}_p^2}(k) \rightarrow \mathcal{C}(\mathbb{P}^1(\mathbb{Q}_p), \mathbf{W}_{\mathbb{Z}_p}(k)), \] where \(\mathcal{C}(\mathbb{P}^1(\mathbb{Q}_p), \mathbf{W}_{\mathbb{Z}_p}(k))\) is the ring of continuous functions from \(\mathbb{P}^1(\mathbb{Q}_p)\) to the \(p\)-typical Witt vectors \(\mathbf{W}_{\mathbb{Z}_p}(k)\). Using this result the authors are able to show that the Krull dimension of \(\mathbf{W}_{\mathbb{Z}_p^d}(k)\) is infinite for \(d \geq 2\).











This page was built for publication: Witt-Burnside functor attached to \(\boldsymbol{Z}_p^2\) and \(p\)-adic Lipschitz continuous functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2188704)