ScalingStacks

5.2 Non-archimedean picture for the space B [03UL]

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

5.2 Non-archimedean picture for the space BB

Here we would like to formulate a conjecture which relates the Gromov-Hausdorff limit with non-archimedean geometry, thus giving a pure algebraic description of ๐™{\bf Z}-affine structure on Bsโ€‹mB^{sm}. Let ๐‚tmโ€‹eโ€‹rยฏ=โˆชmโ‰ฅ1๐‚t1/mmโ€‹eโ€‹r\overline{{{\bf C}}_{t}^{mer}}=\cup_{m\geq 1}{{\bf C}}_{t^{1/m}}^{mer} be the algebraic closure of ๐‚tmโ€‹eโ€‹r{{\bf C}}_{t}^{mer}. We denote by ฯ€mโ€‹eโ€‹r:Xโก(๐‚tmโ€‹eโ€‹rยฏ)โ†’B\pi_{mer}:X(\overline{{{\bf C}}_{t}^{mer}})\to B the map which associates the limiting point (in Gromov-Hausdorff metric) of points xโก(t1/m)โˆˆXt1/mโ€‹(๐‚)x(t^{1/m})\in X_{t^{1/m}}({{\bf C}}) as t1/mโ†’0t^{1/m}\to 0.

Let K=๐‚โก((t)){K}={{\bf C}}((t)) be the field of Laurent formal series. Then, by extending scalars we obtain an algebraic Calabi-Yau manifold X{X} over K{K}. We denote by Xaโ€‹n{X}^{an} the corresponding smooth K{K}-analytic space.

Conjecture 3

The map ฯ€mโ€‹eโ€‹r\pi_{mer} is well-defined and extends by continuity to the map ฯ€:Xaโ€‹nโ†’B\pi:{X}^{an}\to B. The set Bsโ€‹mB^{sm} (defined as the maximal open subset of BB on which the limiting metric is smooth) coincides with the set of ฯ€\pi-smooth points. Two ๐™{\bf Z}-affine structures on Bsโ€‹mB^{sm}, one coming from the collapse picture, another coming from non-archimedean picture, coinside with each other.

Also we make the following conjecture (or better a wish, because it is based on a very thin evidence):

Conjecture 4

Map ฯ€\pi is Stein.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.