3
$\begingroup$

Usually, Berkovich analytic spaces are derived from some Banach rings (or chains of Banach rings) over a completely normed field $k$ through Berkovich spectrum. But when the base field is the complex number $\Bbb{C}$, there is another way of getting analytic spaces, namely gluing open sets in $\Bbb{C}^n$ via biholomorphic transition maps. However, with the "gluing method" we get more spaces, for example a non-algebraic complex $2$-torus that admits no non-constant meromorphic functions and thus not the Berkovich spectrum of any $\Bbb{C}$-Banach rings.

What happens if we apply the "gluing method" to open sets of the $n$-dimensional Berkovich affine space $\Bbb{A}^n_k$? (For simplicity, only $k=\Bbb{C}_p$, the $p$-adic complex numbers with $p$-adic metric, are considered.) Do we also get compact "non-algebraic" analytic spaces, in the sense that the function field has a small transcendental degree over $k$, or it can not be realized as the underlying Berkovich space of any $k$-algebraic varieties?

Edit: As Wojowu comments, there do exist non-algebraic torus analogues for $\Bbb{C}_p$-Berkovich spaces. So I'm now asking for a simply connected example. (For $\Bbb{C}$-analytic spaces we have non-algebraic $K3$ surfaces.)

$\endgroup$
7
  • 3
    $\begingroup$ Yes, you can also get non-algebraic analytic tori by quotienting $(\mathbb G_m)^n$ by a discrete subgroup - when $n>1$, those are usually non-algebraic. $\endgroup$
    – Wojowu
    Commented Feb 28, 2023 at 19:31
  • $\begingroup$ @Wojowu I know now $\Bbb{G}_m=\mathrm{Spec}(k[x^{\pm 1}])$. But is it proved that $\Bbb{G}_m$ is locally modelled on $\Bbb{A}^1_k$? I lack references in this field. And also, the quotient of $(\Bbb{G}_m)^n$ by a discrete subgroup may not be locally modelled on $\Bbb{A}^n_k$, which to my knowledge is not homeomorphic to $(\Bbb{A}^1_k)^n$. $\endgroup$
    – Zerox
    Commented Feb 28, 2023 at 19:42
  • 3
    $\begingroup$ Depends what you mean with "locally modelled" - $\mathbb G_m$ is an open subspace of $\mathbb A_k^1$. The quotient by a discrete subgroup will be a Berkovich space, it can be covered by spaces isomorphic to annuli in $\mathbb A^n_k$, the construction being similar to the one for 1-dimesional tori. As for $(\mathbb A^1_k)^n$, you have to be careful what it means - here with powers I mean products in the category of Berkovich spaces, which is isomorphic to $\mathbb A^n_k$, but is not homeomorphic to $n$-fold product of underlying space, similarly to the case of schemes. $\endgroup$
    – Wojowu
    Commented Feb 28, 2023 at 20:50
  • 1
    $\begingroup$ $-1$ as the author didn’t bother to read the definition of a Berkovich space before asking the question. There exist nonalgebraic Berkovich K3 surfaces, take the rigid generic fiber of a random formal deformation of a K3 over C[[t]]. $\endgroup$ Commented Mar 1, 2023 at 6:09
  • 3
    $\begingroup$ @PiotrAchinger I think you did not look into my question: first I'm asking for examples on $\Bbb{C}_p$; second I see proof from nowhere that your generic fiber is locally homeomorphic to some standard Berkovich affine space and simply connected. I know algebraically they are $K3$ surfaces, but I was asking whether their topological properties are nice enough. $\endgroup$
    – Zerox
    Commented Mar 1, 2023 at 7:01

1 Answer 1

5
$\begingroup$

Indeed, every complex manifold is locally isomorphic to an open in $\mathbf{C}^n$. More generally, we define complex analytic spaces as those locally isomorphic to a locally ringed space of the form $(Z, i^{-1}\mathcal{O}_U/I)$ where $U$ is an open in $\mathbf{C}^n$, $I$ is the ideal in the sheaf $\mathcal{O}_U$ of holomorphic functions defined by finitely many sections $f_1, \ldots, f_r$, where $Z\subseteq U$ is the vanishing locus of the $f_i$, and $i\colon Z\to U$ is the closed embedding.

Following Berkovich, one can define analytic spaces over any Banach ring $A$ in basically the same way. We define $\mathbf{A}^n_A$ as the set of multiplicative real-valued seminorms on the polynomial ring $A[T_1, \ldots, T_n]$ which are bounded on $A$ by the given Banach norm. We give it the coarsest topology making the maps $|\cdot| \mapsto |f|$ ($f\in A$) continuous. We endow it with a structure sheaf $\mathcal{O}$ defined using a certain completion of rational functions (see Berkovich's first book of Lemanissier-Poineau for details). We can then define $A$-analytic spaces as in the previous paragraph.

For $A=\mathbf{C}$ with the Euclidean norm, we recover complex analytic spaces, while for $A$ being a non-Archimedean field, we recover the category of "boundaryless" (or "partially proper") Berkovich spaces. For more general $A$, the study of such spaces is very difficult (see the work of Poineau and Berger for the case $A=\mathbf{Z}$).

However, even for $A=\mathbf{C}_p$, it is not true that a smooth Berkovich space is locally isomorphic to an open in $\mathbf{A}^n$. For example, the Berkovich analytification of a smooth projective curve over $\mathbf{C}_p$ of positive genus and good reduction will not have this property: it will have a unique point (of "type 2") which does not admit the open disc as a neighborhood.

Turning to your question. It is indeed easy to produce "non-algebraic" Berkovich spaces over $\mathbf{C}_p$ by taking a smooth projective variety $X_0$ over $k=\overline{\mathbf{F}}_p$ with unobstructed deformations and $H^2(X_0, \mathcal{O}_{X_0})\neq 0$ and taking a "random" formal deformation $\mathfrak{X}$ of $X_0$ over a complete discrete valuation ring $W$ with residue field $k$, embedding $W$ into $\mathbf{C}_p$, and taking $X$ to be the Berkovich space associated to the rigid-analytic generic fiber of the formal scheme $\mathfrak{X}$. For a generic choice of the deformation, we will have ${\rm Pic}(X)=0$, so in particular $X$ will not be isomorphic to the analytification of any algebraic variety over $\mathbf{C}_p$. This applies to abelian varieties of dimension $>1$ and to K3 surfaces.

However, if $X_0$ is not rational, the $X$ resulting from the above construction will never have the property you imposed that it is locally isomorphic to an open subset of the affine space, because the generic point of $X_0$ will have a unique preimage in $X$ without such a neighborhood.

To achieve this, we need to be more clever. We pick $X_0$ to be semistable (or log smooth over the log point $\mathbf{N}\to k$) and maximally degenerate. Think of the product of several Tate curves. In this case, the generic fiber of a "random" smoothing over $W$ will still be nonalgebraic, but will admit a Tate-Raynaud uniformization by $(\mathbf{C}_p^*)^g$, and hence will have the property you wanted.

Finally, you asked for a simply connected example. Here are some indications how this could go. Consider the Dwork family of K3 surfaces over $\mathbf{Z}_p$ given by $$ p(x^4 + y^4 + z^4 + t^4) = xyzt $$ where $p>5$. This is projective alright. Consider a random smooth formal scheme $\mathfrak{X}$ over $\mathbf{Z}_p$ which is isomorphic to this one modulo $p^2$, and let $X$ be the associated Berkovich space over $\mathbf{C}_p$, a non-algebraic rigid-analytic K3 surface. After a suitable blowup (see Section 1 in Harris, Shepherd-Barron, Taylor "A family of Calabi-Yau varieties and potential automorphy"), the model $\mathfrak{X}$ is Zariski-locally isomorphic to $$ \mathfrak{U} = {\rm Spf}(\mathbf{Z}_p\langle x, y, z\rangle/(p-xyz)) $$ and hence every point of $X$ admits an open neighborhood (maybe in the weaker sense of an affinoid neighborhood) isomorphic to an open in the generic fiber $U$ of $\mathfrak{U}$. But $U$ itself embeds as an open into $(\mathbf{A}^2)^{\rm an}$, and we are done.

Postscriptum. Since you seem to be interested in the homotopy type of the Berkovich space $X$, in the above example it should be homotopy equivalent to $S^2$, as the dual complex of the special fiber is a $2$-sphere. I am sure that the people working on "non-Archimedean SYZ" (following the ideas of Konstevich and Soibelman, Gross and Siebert) have figured it all out in details.

$\endgroup$
1
  • $\begingroup$ I did not look carefully into section 5 of this note whose discussion about neighbourhood topology outside certain points (one for each irreducible component) inspired me to ask this question. Your explicit answer helps a lot! $\endgroup$
    – Zerox
    Commented Mar 1, 2023 at 17:31

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .