ScalingStacks

Proposition 1.2 . [02YW]

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

Proposition 1.2.

Let y1,…,yny_{1},\ldots,y_{n} be local affine coordinates on BB with respect to the affine structure induced by ω\omega. Then locally there is a function KK on BB such that

g⁡(∂/∂yi,∂/∂yj)=∂2K/∂yi​∂yj.g(\partial/\partial y_{i},\partial/\partial y_{j})=\partial^{2}K/\partial y_{i}\partial y_{j}.

Furthermore, yˇi=∂K/∂yi\check{y}_{i}=\partial K/\partial y_{i} form a system of affine coordinates with respect to the affine structure induced by Im⁡Ω\operatorname{Im}\Omega, and if

Kˇ​(yˇ1,…,yˇn)=∑yˇi​yi−K⁡(y1,…,yn)\check{K}(\check{y}_{1},\ldots,\check{y}_{n})=\sum\check{y}_{i}y_{i}-K(y_{1},\ldots,y_{n})

is the Legendre transform of KK, then

yi=∂Kˇ/∂yˇiy_{i}=\partial\check{K}/\partial\check{y}_{i}

and

∂2Kˇ/∂yi​∂yj=g⁡(∂/∂yˇi,∂/∂yˇj).\partial^{2}\check{K}/\partial y_{i}\partial y_{j}=g(\partial/\partial\check{y}_{i},\partial/\partial\check{y}_{j}).

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