Analytic p-adic Banach spaces and the fundamental lemma of Colmez and Fontaine

TL;DR

This paper introduces spectral Banach spaces and effective Banach-Colmez spaces to provide a new proof of the fundamental lemma in p-adic Hodge theory, relating semi-stable p-adic representations.

Contribution

It develops the category of spectral Banach spaces and proves the fundamental lemma through explicit solution counting, linking it to functions of dimension and height.

Findings

Spectral Banach spaces are introduced as a new framework.

The fundamental lemma is proven via explicit solution enumeration.

Existence of functions of dimension and height is established.

Abstract

This article gives a new proof of the fundamental lemma of the "weakly admissible implies admissible" theorem of Colmez-Fontaine that describes the semi-stable p-adic representations. To this end, we introduce the category of spectral Banach spaces, which are p-adic Banach spaces with a C_p-algebra of analytic functions, and the subcategory of effective Banach-Colmez spaces. The fundamental lemma states the surjectivity of certain analytic maps and describes their kernel. It is proven by an explicit count of solutions of the equations defining these maps. It is equivalent to the existence of functions of dimension and height of effective Banach-Colmez spaces.