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.
Source coverage notes 5 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Proposition 1.2 .
Let y 1 , … , y n y_{1},\ldots,y_{n} be local affine coordinates
on B B with respect to the affine structure induced by ω \omega .
Then locally there is a function K K on B B
such that
g ( ∂ / ∂ y i , ∂ / ∂ y j ) = ∂ 2 K / ∂ y i ∂ y j . g(\partial/\partial y_{i},\partial/\partial y_{j})=\partial^{2}K/\partial y_{i}\partial y_{j}.
Furthermore, y ˇ i = ∂ K / ∂ y i \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 y i − K ( y 1 , … , y n ) \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 K K , then
y i = ∂ K ˇ / ∂ y ˇ i y_{i}=\partial\check{K}/\partial\check{y}_{i}
and
∂ 2 K ˇ / ∂ y i ∂ y j = 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}).