18
$\begingroup$

Is there anything resembling a manifold on the field of p-adic or complex p-adic fields?

If so is there a connection to algebraic geometry as rich as in the reals?

$\endgroup$
  • 9
    $\begingroup$ Excellent question! math.stanford.edu/~conrad/papers/aws.pdf $\endgroup$ – user64687 Nov 25 '13 at 21:36
  • 1
    $\begingroup$ lmgtfy.com/?q=p-adic+manifold $\endgroup$ – Martin Brandenburg Nov 25 '13 at 23:17
  • 9
    $\begingroup$ @MartinBrandenburg: but don't you see? M.SE has created a far superior search engine to g**gle, powered by a high-level programming language callled "Procrastinating Mathematician". $\endgroup$ – user64687 Nov 26 '13 at 9:54
25
$\begingroup$

Yes, there are. One source to learn about them is the second half of Serre's book Lie Algebras and Lie Groups, and another is Peter Schneider's recent book $p$-adic Lie Groups, which is very nice.

They are called locally $p$-adic analytic manifolds, or more generally, if $k$ is any non-Archimedean field, locally $k$-analytic manifolds. The definition is formally the same as a real or complex analytic manifold, but one uses the word "local" because, for non-Archimedean fields, functions given locally by power series do not need to be given globally by a power series. This is in contrast to rigid analytic spaces, which are more akin to schemes, and have as their coordinate rings certain "affinoid" algebras of convergent power series. Much of the theory for complex manifolds carries over to locally analytic manifolds (as is made clear in Serre's book), although of course there are some differences. For example, paracompact locally analytic manifolds are "strictly paracompact," meaning that every open cover admits a refinement by pairwise disjoint opens. But one has versions of the inverse and implicit function theorems, tangent bundles, Lie algebras for locally $k$-analytic groups, etc.. The notes mentioned in the comments are on various theories of non-Archimedean analytic spaces, which are somewhat more analogous to complex analytic spaces in general.

If $k$ is a non-Archimedean field and $X$ is a smooth, separated $k$-scheme of finite type, then $X(k)$, the set of $k$-rational points, has a canonical locally $k$-analytic structure, and $X\rightsquigarrow X(k)$ is functorial in $X$. This is the same as for schemes over $\mathbf{C}$. I'm not sure what other connections with algebraic geometry you're referring to.

$\endgroup$
  • 1
    $\begingroup$ is there some notion of orientation on such manifolds? $\endgroup$ – Eric Auld Aug 25 '15 at 9:45
  • 4
    $\begingroup$ Dear @EricAuld, Not that I've ever seen in the literature. Positive definiteness of bilinear forms doesn't really make sense because $p$-adic fields aren't ordered. Geometrically speaking, $p$-adic manifolds are kind of non-geometric because they're totally disconnected. $\endgroup$ – Keenan Kidwell Aug 25 '15 at 20:02
  • 1
    $\begingroup$ Strangely, nobody mentioned Berkovich spaces. $\endgroup$ – Alex M. May 18 '18 at 11:43
  • 1
    $\begingroup$ Dear @Alex M., Berkovich spaces and adic spaces are more analogous to schemes than they are to manifolds, and are not in any way specifically $p$-adic, which is why I didn't mention them. $\endgroup$ – Keenan Kidwell May 18 '18 at 16:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy