Construction of Arithmetic Teichmuller Spaces I

In this paper after proving (in Section 2) the Berkovich analytic space analog of the familiar fact that there exist many non-isomorphic Riemann surfaces of the fixed topological type, I introduce the precise notion of Arithmetic Holomorphic Structures. This leads, for a fixed geometrically connected, smooth quasi-projective variety $X/E$ over a $p$-adic field, to the construction of a category which can be called Arithmetic Teichmuller Space of $X/E$. After establishing the properties of this local i.e. $p$-adic Arithmetic Teichmuller Space, I proceed to the global (adelic) construction, for a geometrically connected, smooth quasi-projective variety $X/L$ over a number field $L$, of the Adelic Arithmetic Teichmuller Space of $X/L$. A fixed number field itself has an Arithmetic Teichmuller Space--this is detailed in Constructions II(1/2) paper in this series of papers. All of these constructions extend the analogy between Number fields and Riemann surfaces and are inspired by (and directly related to) Shinichi Mochizuki's ideas on Inter-Universal Teichmuller Theory and his work on the abc-conjecture. But my approach is based on a completely different set of ideas.