On an analytic version of Lazard's isomorphism (Q2346702)

Let \(G\) be a locally \(K\)-analytic Lie group over a nonarchimedean field \(K\) of characteristic zero, with \(K\)-Lie algebra \({\mathfrak g}\). Let \(V\) be a locally analytic representation of \(G\). The main result of this paper, under the assumption that \(V\) is a barreled locally convex \(K\)-space (e.g., a Banach space), is a relationship between locally analytic group cohomology and Lie algebra cohomology: the colimit of \(H_{\text{an}}^*(G',V)\) over all open subgroups \(G' \subset G\) is isomorphic to \(H^*({\mathfrak g},V)\). This generalizes a seminal result of \textit{M. Lazard} [Publ. Math., Inst. Hautes Études. Sci. 26, 389--603 (1965; Zbl 0139.02302)] for \({\mathbb Q}_p\)-Lie groups over the \(p\)-adic field \({\mathbb Q}_p\). In work of \textit{A. Huber} et al. [Compos. Math. 147, No. 1, 235--262 (2011; Zbl 1268.20051)] and \textit{S. Lechner} [A comparison of locally analytic group cohomology and Lie algebra cohomology for \(p\)-adic Lie groups. An alternative approach to Lazard's isomorphism. Freiburg im Breisgau: Univ. Freiburg, Fakultät für Mathematik und Physik (Diss.). (2011; Zbl 1232.14027)], Lazard's isomorphism was extended to certain Lie groups over finite extensions of \({\mathbb Q}_p\). In the work under review, the author takes an approach paralleling the situation for real groups and uses a limited amount of functional analysis. The author first presents a topos-theoretic definition of the locally analytic group cohomology \(H^*_{\text{an}}(G,V)\) and shows that this can be identified with the cohomology of the complex of homogeneous analytic cochains with coefficients in \(V\). The connection to Lie algebra cohomology is provided by the de Rham complex \(\Omega^*(G,V)\) and the subcomplex of admissible forms. The method of proof not only gives the aforementioned isomorphism, but also allows the author to show that \(H^*_{\text{an}}(G,V)\) may be identified with the \(G\)-fixed points \(H^*({\mathfrak g},V)^G\). The author also gives an explicit map of complexes which induces the comparison map \(H^*_{\text{an}}(G,V) \to H^*({\mathfrak g},V)\) in cohomology. Further, using work of \textit{A. Huber} and \textit{G. Kings} [J. Inst. Math. Jussieu 10, No. 1, 149--190 (2011; Zbl 1243.11113)], it is shown that the comparison map in cohomology agrees with that of Lazard in the special case of \(K = {\mathbb Q}_p\) and \(V\) being finite-dimensional.