First post of the year, so let me wish all of you a happy new year!
Almost two years ago, Antoine Ducros and I released a preprint about differential forms and currents on Berkovich spaces. We then embarked in revising it thoroughly; unfortunately, we had to correct a lot of inaccuracies, some of them a bit daunting. We made a lot of progress and we now have a much clearer picture in mind. Fortunately, all of the main ideas remain the same.
A funny thing emerged, which I want to explain in this blog.
One of our mottos was to define sheaves of differential forms, or of currents. Those differential forms were defined in two steps : by definition, they are locally given by tropical geometry, so we defined a presheaf of tropical forms, and passed at once to the associated sheaf. What we observed recently is that it is worth spending some time to study the presheaf of tropical forms.
Also, Grothendieck topologies play such an important rôle in analytic geometry over non-archimedean fields; this is obvious for classical rigid spaces, but they are also important in Berkovich geometry, in particular if you want to care about possibly non-good spaces for which points may not have a neighborhood isomorphic to an affinoid space. So it was natural to sheafify the presheaf of tropical forms for the G-topology, giving rise to a G-sheaf of G-forms.
Now, every differential form of maximal degree $\omega$ on a Berkovich space $X$ gives rise to a measure on the topological space underlying $X$. Our proof of this is a bit complicated, and was made more complicated by the fact that we first tried to define the integral $\int_X \omega$, and then defined $\int_X f\omega$ for every smooth function $f$, and then got $\int_X f\omega$ for every continuous function with compact support $f$ by approximation, using a version of the Stone-Weierstrass theorem in our context.
In the new approach, we directly concentrate on the measure that we want to construct. For G-forms, this requires to glue measures defined locally for the G-topology. As it comes out (we finished to write down the required lemmas today), this is quite nice.
Since Berkovich spaces are locally compact, we may restrict ourselves to classical measure theory on locally compact spaces. However, we may not make any metrizability assumption, nor any countability assumption, since the most basic Berkovich spaces lack those properties. Assume that the ground non-archimedean field $k$ is the field $\mathbf C((t))$ of Laurent series over the field $\mathbf C$ of complex numbers. Then the projective line $\mathrm P^1$ over $k$ is not metrizable, and the complement of its ``Gauss point'' $\gamma$ has uncountably many connected components (in bijection with the projective line over $\mathbf C$). Similarly, the complement of the Gauss point in the projective plane $\mathrm P^2$ over $k$ is connected, but is not countable at infinity, hence not paracompact.
As always, there are two points of view on measure theory: Borel measures (countably additive set functions on the $\sigma$-algebra of Borel sets) and Radon measures (linear forms on the vector space of continuous compactly supported functions). By the theorem of Riesz, they are basically equivalent: locally finite, compact inner regular Borel measures are in canonical bijection with Radon measures. Unfortunately, basic litterature is not very nice on that topic; for example, Rudin's book constructs an outer regular Borel measure which may not be inner regular, while for us, the behavior on compact sets is really the relevant one.
Secondly, we need to glue Radon measures defined on the members of a G-cover of our Berkovich space $X$. This is possible because Radon measures on a locally compact topological space naturally form a sheaf for a natural Grothendieck topology!
Let $X$ be a locally compact topological space and let us consider the category of locally compact subspaces, with injections as morphisms. Radon measures can be restricted to a locally compact subspace, hence form a presheaf on that category.
Let us decree that a family $(A_i)_{i\in I}$ of locally compact subspaces of a locally compact subspace $U$ is a B-cover (B is for Borel) if for every point $x\in U$, there exists a finite subset $J$ of $I$ such that $x\in A_i$ for every $i\in J$ and such that $\bigcup_{i\in J}A_i$ is a neighborhood of $x$. B-covers form a G-topology on the category of locally compact subsets, for which Radon measures form a sheaf! In other words, given Radon measures $\mu_i$ on members $A_i$ of a B-cover of $X$ such that the restrictions to $A_i\cap A_j$ of $\mu_i$ and $\mu_j$ coincide, for all $i,j$, then there exists a unique Radon measure on $X$ whose restriction to $A_i$ equals $\mu_i$, for every $i$.
This said, the proof (once written down carefully) is not a big surprise, nor specially difficult, but I found it nice to get a natural instance of sheaf for a Grothendieck topology within classical analysis.
