9
$\begingroup$

What is the topological dimension of a (locally analytic) $p$-adic manifold over a non Archimedean field $K$?

Is the topological dimension of $K^n$, $n$?

$\endgroup$
  • 1
    $\begingroup$ If you want topological dimension to be the "expected dimension", so the dimension of the $n$-dimensional affine space to be $n$, you can consider the Berkovich analytic space, which has much more points that $K^n$. This is one of the reasons these spaces were introduced. $\endgroup$ – Xarles Sep 3 '18 at 10:22
  • 1
    $\begingroup$ Just for the record, at least for discretely valued $K$, the spaces $K$ and $K^n$ are homeomorphic for any $n$. $\endgroup$ – SashaP Sep 3 '18 at 16:30
9
$\begingroup$

$p$-adic numbers are locally compact, Hausdorff and totally disconnected (see this nLab page), hence they are zero-dimensional. This means that---at least naively---topological dimension of $p$-adic manifolds doesn't work as you'd expect from real or complex manifolds. However, there are ways to do analytic geometry over the $p$-adic numbers, see e.g. this stackexchange question and the references on this nLab page.

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.