ScalingStacks

Definition 3.6 . [02GX]

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

Definition 3.6.

Let (M4,g)(M^{4},g) be an ALF gravitational instanton of cyclic type. By scaling assume that the length of the circle fibres at infinity is 11.

  1. (i)

    We say that MM is of type AkA_{k} for some k≥−1k\geq-1 if there exists a compact set K⊂MK\subset M, R>0R>0 and a diffeomorphism ϕ:Hk+1→M∖K\phi\colon\thinspace H^{k+1}\rightarrow M\setminus K such that

    |∇gk+1l(gk+1−ϕ∗​g)|gk+1=O⁡(r−3−l)|\nabla^{l}_{g_{k+1}}(g_{k+1}-\phi^{\ast}g)|_{g_{k+1}}=O(r^{-3-l})

    for every l≥0l\geq 0.

  2. (ii)

    We say that MM is of type DmD_{m} for some m≥0m\geq 0 if there exists a compact set K⊂MK\subset M, R>0R>0 and a double cover ϕ:H2​m−4→M∖K\phi\colon\thinspace H^{2m-4}\rightarrow M\setminus K such that the group ℤ2\mathbb{Z}_{2} of deck transformations is generated by the standard involution on H2​m−4H^{2m-4} and

    |∇g2​m−4l(g2​m−4−ϕ∗​g)|g2​m−4=O⁡(r−3−l)|\nabla^{l}_{g_{2m-4}}(g_{2m-4}-\phi^{\ast}g)|_{g_{2m-4}}=O(r^{-3-l})

    for every l≥0l\geq 0.

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