ScalingStacks

Conjecture 1 [03UF]

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 Xm​e​r{X}_{mer} has maximal degeneration at t=0t=0 then

d​i​a​m​(Xt,gXt)=(log⁡|t|)−1​exp⁡(O⁡(1))diam(X_{t},g_{X_{t}})=(\log|t|)^{-1}\exp(O(1))

and there is a limit (B,gB)(B,g_{B}) of Xtn​e​wX_{t}^{new} in the Gromov-Hausdorff metric as t→0t\to 0, such that:

a)

(B,gB)(B,g_{B}) is a compact metric space, which contains a smooth oriented Riemannian manifold (Bs​m,gBs​m)(B^{sm},g_{B^{sm}}) of dimension nn as a dense open metric subspace. The Hausdorff dimension of Bs​i​n​g=B∖Bs​mB^{sing}=B\setminus B^{sm} is less than or equal to n−2n-2.

b)

Bs​mB^{sm} carries a 𝐙{\bf Z}-affine structure.

c)

The metric gBs​mg_{B^{sm}} has a potential. This means that it is locally given in affine coordinates by a symmetric matrix (gi​j)=(∂2F/∂xi​∂xj)(g_{ij})=(\partial^{2}F/\partial x_{i}\partial x_{j}), where FF is a smooth function (defined modulo adding an affine function).

d)

In affine coordinates the metric volume element is constant, i.e.

det(gi​j)=det(∂2F/∂xi​∂xj)=c​o​n​s​t\det(g_{ij})=\det(\partial^{2}F/\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.