ScalingStacks

6.2.1 Motivation for NA geometry

The above strategy contains many problems:

  • •

    As discussed in section 5.6, it is unknown how to directly formulate the real MA equation on S​k​(X)Sk(X), nor do we know the precise class of convex functions needed for such formulations.

  • •

    The essential skeleton is a simplicial complex, and XtX_{t} is a complex manifold. These are conceptually very different objects, and we need a topology to unify both sides.

  • •

    Pluripotential theoretic arguments require the global positivity (i.e. psh property) of Kähler potentials (cf. Remark 6). Thus when we graft the real MA solution from S​k​(X)Sk(X) to XtX_{t}, we must guarantee the global positivity. The difficulty lies in the non-generic regions where the complex structure on XtX_{t} is highly singular.

These problems point naturally towards NA geometry:

  • •

    The NA MA-real MA comparison property is a natural way to produce solutions.

  • •

    The hybrid topology is a natural topology to compare XtX_{t} with XKa​nX_{K}^{an}, which contains the essential skeleton.

  • •

    The notion of semipositive metric is built into NA geometry.

003J

Remark 15. A byproduct of the non-archimedean approach, is that the limit of Calabi-Yau local potentials is in fact independent of subsequence, since the non-archimedean analogue of the Calabi-Yau metric is known to be unique.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.