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?

– user64687
Nov 25, 2013 at 21:36
• lmgtfy.com/?q=p-adic+manifold Nov 25, 2013 at 23:17
• @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".
– user64687
Nov 26, 2013 at 9:54
• At least for me, if you click Martin Branderburg's link, this page is now the first search result :) Jun 30, 2020 at 14:50

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.
• 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. Aug 25, 2015 at 20:02
• 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. May 18, 2018 at 16:42