Marco Maculan and Jérôme Poineau investigated the notion of Stein space in the p-adic (and more generally non-archimedean) setting. In this context, the basic definition is due to R. Kiehl and requires exhausting the space by affinoid spaces. In complex geometry, on the other hand, the definition is usually given in more topological terms through the notions of holomorphic separability and convexity. Finally, in the applications, one is especially interested in the vanishing of the cohomology of coherent sheaves, and this can also be taken as a definition. Marco Maculan and Jérôme Poineau first managed to prove that those three definitions actually give rise to the same notion in the case of spaces with no boundary. In a next step, they extended the theory (and Kiehl's definition) to handle the case of spaces with boundary.
Velibor Bojkovic and Jérôme Poineau focused on the case of p-adic analytic curves. In this setting, Michael Temkin recently proved deep results on the structure of morphisms. Jérôme Poineau and Velibor Bojkovic used them in order to relate in a precise way, by means of an explicit formula, the ramification invariants of a morphism of p-adic curves to the radii of convergence of the associated differential equation. This was previously known only in the case of a tame morphism (where the result is trivial) and of the Frobenius morphism. They also derive a general formula computing the Laplacian of the height of the Newton polygon of a p-adic differential equation, a conjectured formula whose proof in the general case was still missing.
Pablo Cubides Kovacsics and Jérôme Poineau also studied non-Archimedean analytic curves, but from a model-theoretic point of view, following the lead of Ehud Hrushovski and François Loeser. They focused on the case of curves and provided an alternative approach to endow the analytification of an algebraic curve with a definable structure. Their method allowed them to deal with analytic morphisms, which were not covered by the previous instances of the theory. Along the way, they gave definable versions of several usual notions of Berkovich analytic geometry: branch emanating from a point, residue curve at a point of type 2, etc. In addition, they derived a complete description of the definable subsets of analytic curves.
In the setting of global analytic geometry, i.e. for Berkovich spaces over Z, Thibaud Lemanissier and Jérôme Poineau managed to get a result of cohomological vanishing for higher-dimensional spaces. More precisely, they proved that open and closed Berkovich disks over Z have no higher coherent cohomology. This is a first step towards developing a full-fledged theory of Stein spaces in this context. Thibaud Lemanissier and Jérôme Poineau then derived results for rings of convergent arithmetic power series. The latter, roughly speaking series with coefficients in Z with positive radii of convergence, were introduced by David Harbater in a series of work related to the inverse Galois problem and he had proven several results about them in the case of one variable. Using cohomological techniques, Thibaud Lemanissier and Jérôme Poineau proved the noetherianity of rings of convergent arithmetic power series with an arbitrary number of variables.
In complex geometry, any Riemann surface of genus g admits a so-called Schottky uniformization, i.e. a uniformization by the complex projective line with 2g disks removed and whose group is the free group on g generators. David Mumford showed that this theory may partially be extended to a non-archimedean setting. Jérôme Poineau and Daniele Turchetti managed to give a uniform construction generalizing the previous ones. More precisely, they defined a universal Schottky space S as a Berkovich spaces over Z (an open subset of the affine space of dimension 3g-3 over Z). To each point of this space, one may naturally associate a Riemann surface if the point is archimedean or a Mumford curve if it is not. This gives rise to a projective curve over S, called the universal Mumford curve, which admits a global uniformization.
Vlerë Mehmeti introduced Berkovich spaces in the study of local-global principles over function fields of p-adic curves. General techniques to deal with this kind of problems were developed a few years ago by David Harbater, Julia Hartmann and Daniel Krashen and relied heavily on models of curves. By working directly on the generic fiber, Vlerë Mehmeti managed to strengthen their results and extend them to compact non-necessarily projective analytic curves and to non-necessarily discretely valued fields. As a corollary, she reproves that quadratic forms over p-adic fields in at least 9 variables have non-trivial zeroes.
