A smooth real rotation-invariant potential is constant on every positive-radius circle, so its logarithmic-radius function is smooth on . Off the origin, . Since is smooth on the entire plane, this coefficient extends smoothly through the origin. A finite Taylor expansion, rather than a convergent series assumption, gives .
For a potential already smooth on all of , the associated form is a Kähler form exactly when the displayed two positivity conditions hold. The first gives a positive metric coefficient off the origin; the second is positivity of . The associated real metric is . Positivity away from the origin alone permits a degenerate metric at the origin.

Articles by others on the same topic (0)

There are currently no matching articles.