A structure and representations of diffeomorphism groups of non-Archimedean manifolds (Q1881612)

Let \textbf{F} be an infinite field of character 0 with a non-Archimedean valuation and let \(M\) be a \(C(t)\)-manifold on a locally convex \textbf{F}-convex space, where \(1\leq t\leq\infty\) or \(t=an\), analytic. The author considers the structure of the group Diff\((t,M)\) of \(C(t)\)-diffeomorphisms of \(M\), and related groups. For example it is shown that the group is a simple and perfect Lie group.