ScalingStacks

Conjecture 1 [03QJ]

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

Conjecture 1

If 𝒳m​e​r{\cal X}_{mer} has maximal degeneration at q=0q=0 then there is a limit (YΒ―,gYΒ―)(\overline{Y},g_{\overline{Y}}) of Xqn​e​wX_{q}^{new} in the Gromov-Hausdorff metric, such that:

a) (YΒ―,gYΒ―)(\overline{Y},g_{\overline{Y}}) is a compact metric space, which contains a smooth oriented Riemannian manifold (Y,gY)(Y,g_{Y}) of dimension nn as a dense open metric subspace. The Hausdorff dimension of Ys​i​n​g=YΒ―βˆ–YY^{sing}=\overline{Y}\setminus Y is less or equal than nβˆ’2n-2.

b) YY carries an integral affine structure. This means that it carries a torsion-free flat connection βˆ‡\nabla with the holonomy contained in S​L​(n,𝐙)SL(n,{{\bf Z}}).

c) The metric gYg_{Y} has a potential. This means that it is locally given in affine coordinates by a symmetric matrix (gi​j)=(βˆ‚2K/βˆ‚xiβ€‹βˆ‚xj)(g_{ij})=(\partial^{2}K/\partial x_{i}\partial x_{j}), where KK is a smooth function (defined modulo adding an affine function, i.e. the sum of a linear function and a constant).

d) In affine coordinates the metric volume element is constant, d​e​t​(gi​j)=d​e​t​(βˆ‚2K/βˆ‚xiβ€‹βˆ‚xj)=c​o​n​s​tdet(g_{ij})=det(\partial^{2}K/\partial x_{i}\partial x_{j})=const (real Monge-AmpΓ¨re equation).

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