A.6. Geometry over the hybrid circle [018N]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
A.6. Geometry over the hybrid circle
Let now be a scheme of finite type over . We will associate to three kinds of analytic spaces.
First, since is obtained by gluing together finitely many affine schemes cut out by polynomials with coefficients holomorphic on and meromorphic at , we can associate to in a functorial way a complex analytic space over , which we call its holomorphic analytification.
Second, since is contained in , we may also consider the base change and its non-Archimedean analytification with respect to the non-Archimedean absolute value on .
Third, we denote by the analytification of as a scheme of finite type over the Banach ring , and call it the hybrid analytification of . In view of Proposition A.4, it comes with a continuous structure map
Recall further that is locally compact, Hausdorff if is separated, and compact if is proper over . The discussion above implies:
Lemma A.6.
We have canonical homeomorphisms
| (A.2) |
compatible with the projection to .
In §4 we give a topological description of .