Global analytic geometry

Motivated by the well-known lack of archimedean information in algebraic geometry, we define, formalizing Ostrowski's classification of seminorms on Z, a new type of valuation of a ring that combines the notion of Krull valuation with that of a multiplicative seminorm. This definition partially restores the broken symmetry between archimedean and non-archimedean valuations artificially introduced in arithmetic geometry by the theory of schemes. This also allows us to define a notion of global analytic space that reconciles Berkovich's notion of analytic space of a (Banach) ring with Huber's notion of non-archimedean analytic spaces. After defining natural generalized valuation spectra and computing the spectrum of Z and Z[X], we define analytic spectra and sheaves of analytic functions on them.