ScalingStacks

Example 2.1 . [03GD]

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

Example 2.1.

Let U=ℝ3U=\mathbb{R}^{3}. If V=σV=\sigma (a positive constant), then (𝔐,g)(\mathfrak{M},g) is a flat product ℝ3×S1\mathbb{R}^{3}\times S^{1}. If V=12​rV=\frac{1}{2r}, then (𝔐,g)(\mathfrak{M},g) is flat Euclidean space ℝ4\mathbb{R}^{4} and the map π\pi is exactly the Hopf fibration. If Vσ=σ+12​rV_{\sigma}=\sigma+\frac{1}{2r} then (𝔐,g)(\mathfrak{M},g) is the Taub-NUT space. This is again diffeomorphic to ℝ4\mathbb{R}^{4} but has cubic volume growth and is asymptotic to an S1S^{1} fibration over ℝ3∖K\mathbb{R}^{3}\setminus K at infinity where the length of the S1S^{1} fibers approaches a positive constant. Notice that as σ\sigma varies, these metrics are isometric up to dilation. This is most easily seen using the above intrinsic description. We take the metric g1g_{1} constructed using V1=1+12​rV_{1}=1+\frac{1}{2r} and rescale gσ=σ−1​g1g_{\sigma}=\sigma^{-1}g_{1}. Then the length of the S1S^{1} orbits becomes (σV1)−1/2(\sigma V_{1})^{-1/2} and the hyperkähler moment map becomes πσ=σ−1​π\pi_{\sigma}=\sigma^{-1}\pi. Thus, gσg_{\sigma} can be written in Gibbons-Hawking form with potential σ​V1=σ+12​rσ\sigma V_{1}=\sigma+\frac{1}{2r_{\sigma}}. See Lemma 7.9 for more details.

By taking multiple poles, we similarly obtain other hyperkähler manifolds which are asymptotic to quotients of either ℝ4\mathbb{R}^{4} or Taub-NUT space by cyclic groups. These are usually referred to in the literature as ALE and ALF spaces of Ak−1A_{k-1} type. In particular, see [Min11] for a complete theory of ALF-Ak−1A_{k-1} spaces.

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