Functional analysis on two-dimensional local fields (Q389057): Difference between revisions

The author establishes an interesting connection between arithmetic geometry and non-Archi\-me\-dean functional analysis. The key point to get it is the following fact, which comes from the arithmetic-geometric context: for every two-dimensional local field \(F\) there exists a local field \(K\) and an embedding of fields \(K \hookrightarrow F\). This leads the author to the clever idea of studying the \(K\)-vector space structure associated to \(F\) via that embedding. Thus, he connects the topological theory of two-dimensional local fields with the theory of non-Archimedean locally convex spaces. One of the advantages of his idea is that certain submodules of \(F\) arise as the families of \(c\)-compact and compactoid submodules, so they have a property which is a convex version of compactness. Sections 1 and 2 contain a brief summary of the most important parts of the theory of non-Archimedean locally convex spaces and two-dimensional local fields, respectively. Sections 3--6 are devoted to the fields of power series \(K((t))\) and \(K\{ \{ t \}\}\), two crucial examples of two-dimensional local fields. In Section 3, the author proves that their higher topologies can be described in terms of families of non-Archimedean seminorms. This locally convex behaviour determines the topological properties of those fields. He studies separately the cases of equal and mixed characteristic, as they present a different behaviour. For instance, equal characteristic fields are shown to be inductive limits of Fréchet spaces, but this is false for the mixed characteristic case. Then he describes the nature of their bounded sets and gives a base for the associated von Neumann bornology (Section 4), he studies some relevant submodules of those fields including rings of integers and rank-2 rings of integers (Section 5) and he discusses some duality issues (Section 6). In Section 7, the author extends his above study of the fields \(K((t))\) and \(K\{ \{ t \}\}\) to a general characteristic zero two-dimensional local field \(K \hookrightarrow F\). It is remarkable that he can link the higher topology on \(F\) to the constructions on \(K((t))\) and \(K\{ \{ t \}\}\) that he performed in the preceding sections. As a by-product, he proves that the functional analytic properties in the equal characteristic case are the same as for \(K((t))\) and that in the mixed characteristic case they resemble those of \(K\{ \{ t \}\}\). In Sections 8 and 9, he shows how his previous results can be applied to Archimedean two-dimensional local fields and positive characteristic local fields, respectively. Finally, in Section 10, he outlines some directions which he considers interesting to investigate in order to apply and extend his current theory. I think that in this paper the author, motivated by his arithmetic-geometric interests, has opened a new branch of research in \(p\)-adic functional analysis and has laid the foundations for future works on the subject. I want to congratulate him on having done so.