A non-Archimedean analogue of Teichmüller space and its tropicalization

In this article we use techniques from tropical and logarithmic geometry to construct a non-Archimedean analogue of Teichmüller space$$\overline{{{\mathcal {T}}}}_g$$ T ¯ g whose points are pairs consisting of a stable projective curve over a non-Archimedean field and a Teichmüller marking of the topological fundamental group of its Berkovich analytification. This construction is closely related to and inspired by the classical construction of a non-Archimedean Schottky space for Mumford curves by Gerritzen and Herrlich. We argue that the skeleton of non-Archimedean Teichmüller space is precisely the tropical Teichmüller space introduced by Chan–Melo–Viviani as a simplicial completion of Culler–Vogtmann Outer space. As a consequence, Outer space turns out to be a strong deformation retract of the locus of smooth Mumford curves in $$\overline{{\mathcal {T}}}_g$$ T ¯ g .

Representations of the fundamental group and the torsor of deformations. Global aspects

This chapter continues the construction and study of the p-adic Simpson correspondence and presents the global aspects of the theory of representations of the fundamental group and the torsor of deformations. After fixing the notation and general conventions, the chapter develops preliminaries and then introduces the results and complements on the notion of locally irreducible schemes. It also fixes the logarithmic geometry setting of the constructions and considers a number of results on the Koszul complex. Finally, it develops the formalism of additive categories up to isogeny and describes the inverse systems of a Faltings ringed topos, with a particular focus on the notion of adic modules and the finiteness conditions adapted to this setting. The chapter rounds up the discussion with sections on Higgs–Tate algebras and Dolbeault modules.

Representations of the fundamental group and the torsor of deformations. Local study

This chapter focuses on representations of the fundamental group and the torsor of deformations. It considers the case of an affine scheme of a particular type, qualified also as small by Faltings. It introduces the notion of Dolbeault generalized representation and the companion notion of solvable Higgs module, and then constructs a natural equivalence between these two categories. It proves that this approach generalizes simultaneously Faltings' construction for small generalized representations and Hyodo's theory of p-adic variations of Hodge–Tate structures. The discussion covers the relevant notation and conventions, results on continuous cohomology of profinite groups, objects with group actions, logarithmic geometry lexicon, Faltings' almost purity theorem, Faltings extension, Galois cohomology, Fontaine p-adic infinitesimal thickenings, Higgs–Tate torsors and algebras, Dolbeault representations, and small representations. The chapter also describes the descent of small representations and applications and concludes with an analysis of Hodge–Tate representations.

DERIVED LOGARITHMIC GEOMETRY I

In order to develop the foundations of derived logarithmic geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log-étale maps, and use them to define derived log stacks.