Related papers: Construction of Arithmetic Teichmuller Spaces I
Since their inception perfectoid spaces have catalyzed a revolution in p-adic geometry. We redevelop the foundations of perfectoid spaces from the point of view of Berkovich Spaces, where the underlying topological space of an affinoid…
In this paper we construct the category of birational spaces as the category in which Temkin's relative Riemann-Zariski spaces are naturally included. Furthermore we develop an analogue of Raynaud's theory. We prove that the category of…
The paper is devoted to the study of geodesic orbit Riemannian spaces that could be characterize by the property that any geodesic is an orbit of a 1-parameter group of isometries. In particular, we discuss some important totally geodesic…
We construct a new Riemannian metric on Goldman space $\mathcal{B}(S)$, the space of the equivalence classes of convex projective structures on the surface $S$, and then prove the new metric, as well as the metric of Darvishzadeh and…
The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces…
We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local…
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3,…
We are interested in the geometry of the group $\mathcal{D}_q(M)$ of diffeomorphisms preserving a contact form $\theta$ on a manifold $M$. We define a Riemannian metric on $\mathcal{D}_q(M)$, compute the corresponding geodesic equation, and…
We compare some natural triangulations of the Teichm\"uller space of hyperbolic surfaces with geodesic boundary and of some bordifications. We adapt Scannell-Wolf's proof to show that grafting semi-infinite cylinders at the ends of…
In this paper we generalize a result in [1], showing that an arbitrary Riemannian symmetric space can be realized as a closed submanifold of a covering group of the Lie group defining the symmetric space. Some properties of the subgroups of…
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…
We study the set ${\mathcal P}_S$ consisting of all branched holomorphic projective structures on a compact Riemann surface $X$ of genus $g \geq 1$ and with a fixed branching divisor $S:= \sum_{i=1}^d n_i\cdot x_i$, where $x_i \in X$. Under…
The goal of this work is to give new quantitative results about the distribution of semi-arithmetic hyperbolic surfaces in the moduli space of closed hyperbolic surfaces. We show that two coverings of genus $g$ of a fixed arithmetic surface…
The paper develops the fundamentals of quaternionic holomorphic curve theory. The holomorphic functions in this theory are conformal maps from a Riemann surface into the 4-sphere, i.e., the quaternionic projective line. Basic results such…
The space of topological decompositions into triangulations of a surface has a natural graph structure where two triangulations share an edge if they are related by a so-called flip. This space is a sort of combinatorial Teichm\"uller space…
We develop a holomorphic equivalence between on one hand the space of pairs (stable bundle, flat connection on the bundle) and the "sheaf of holomorphic connections" (the sheaf of splittings of the one-jet sequence) for the determinant…
Let $\mathcal K$ be a complete quasivariety of completely regular universal topological algebras of continuous signature $\mathcal E$ (which means that $\mathcal K$ is closed under taking subalgebras, Cartesian products, and includes all…
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…
Building from ideas of hypercomplex analysis on the quaternionic unit ball, we introduce Hermitian, Riemannian and K\"ahler-like structures on the latter. These are built from the so-called regular M\"obius transformations. Such geometric…
We provide a new construction of Huber's universal compactification in the case of the structure morphism of a quasi-compact, separated rigid analytic space over a non-archimedean field. We make use of Raynaud's theory of formal models and…