ScalingStacks

Example 2.1 . [01Y0]

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.

(The Cone Space ℝn−2×C⁡(Sβ1)\mathds{R}^{n-2}\times C(S^{1}_{\beta})) The main result of this paper, Theorem 1.1, states that ℝn−2×C⁡(Sβ1)\mathds{R}^{n-2}\times C(S^{1}_{\beta}), with β<2​π\beta<2\pi, is not the noncollapsed Gromov-Hausdorff limit of a sequence of manifolds with bounded Ricci curvature. However, it is clear that this space is the Gromov-Hausdorff limit of a a sequence of noncollapsed manifolds with a uniform lower Ricci curvature bound. Indeed, by rounding off C⁡(Sβ1)C(S^{1}_{\beta}) we see that ℝn−2×C⁡(Sβ1)\mathds{R}^{n-2}\times C(S^{1}_{\beta}) can appear as a noncollapsed limit of manifolds with nonnegative sectional curvature.

In this example, let us just consider the two dimensional cone C⁡(Sβ1)C(S^{1}_{\beta}) with β<2​π\beta<2\pi. Regard Sβ1S^{1}_{\beta} as 0≤θ≤2​π0\leq\theta\leq 2\pi, with the end points identified. Then the Laplacian on Sβ1S^{1}_{\beta} is (2​πβ)2⋅∂2∂θ2(\frac{2\pi}{\beta})^{2}\cdot\frac{\partial^{2}}{\partial\theta^{2}}. The eigenfunctions are of the form ei​k​θe^{ik\theta}, where kk is an integer. Written in polar coordinates, a basis for the bounded harmonic functions on C⁡(Sβ1)C(S^{1}_{\beta}) is {r2​πβ​|k|⋅ei​k​θ}\{r^{\frac{2\pi}{\beta}|k|}\cdot e^{ik\theta}\}. In particular, we see from this that if β<2​π\beta<2\pi then |∇(r2​πβ​|k|⋅ei​k​θ)|→0|\nabla(r^{\frac{2\pi}{\beta}|k|}\cdot e^{ik\theta})|\to 0 as r→0r\to 0. As a consequence, every bounded harmonic function has vanishing gradient at the vertex, which is a set of positive (n−2)(n-2)-dimensional Hausdorff measure. By considering examples with more vertices, we can construct limit spaces where bounded harmonic functions hh must have vanishing gradient on bounded subsets sets of arbitrarily large, or even infinite, (n−2)(n-2)-dimensional Hausdorff measure. This set can even be taken to be dense.

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