ScalingStacks

Remark 4 [03QK]

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

Remark 4

1) Since the matrix (gi​j)(g_{ij}) defined by the metric gYg_{Y} is positive, the function KK is convex. In particular, there is locally well-defined Legendre transform of KK. This fact will be used later, when we will discuss the duality of Monge-Ampère manifolds.

2) It seems plausible that in the case when all XqX_{q} are simply-connected, and hk,0​(Xq)=0h^{k,0}(X_{q})=0 for 0<k<n0<k<n, the metric space Y¯\overline{Y} is a homological sphere of dimension nn. In all examples it is in fact homeomorphic to SnS^{n}.

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