The idea is simple: we want to develop a theory of analytic manifolds and spaces over fields equipped with an arbitrary complete valuation. Of course, it is a standard fact that such a field must be either R, C, or a field with a nonarchimedean valuation, so what we really mean is that we want to develop a theory of nonarchimedean analytic spaces. Doing this näıvely (i.e., defining manifolds in...