p-Adic Lie Groups

Manifolds over complete nonarchimedean fields together with notions like tangent spaces and vector fields form a convenient geometric language to express the basic formalism of p-adic analysis.