[Paper Review] Continued fractions and Einstein manifolds of infinite topological type

David M. J. Calderbank, Michael A. Singer|ArXiv.org|Aug 30, 2005

advanced mathematical theories9 references3 citations

TL;DR

This paper constructs complete self-dual Einstein metrics of negative scalar curvature on uncountably many noncompact 4-manifolds of infinite topological type, using modified continued fraction expansions of irrational numbers α ∈ (0,1). The construction leverages toric symmetry and extends finite continued fraction methods from rational α to irrational α, yielding metrics that are smooth, complete, and depend on the continued fraction coefficients e_j bounded between 3 and N.

ABSTRACT

We present a construction of complete self-dual Einstein metrics of negative scalar curvature on an uncountable family of manifolds of infinite topological type, which are enumerated by continued fraction expansions of irrational numbers. These manifolds may be regarded as limits of the resolutions of cyclic quotient singularities (governed by continued fraction expansions of rational numbers) on which we constructed complete self-dual Einstein metrics in previous work.

Motivation & Objective

• To extend the construction of complete self-dual Einstein (SDE) metrics from rational α to irrational α, resulting in manifolds of infinite topological type.
• To establish the existence of uncountably many non-diffeomorphic SDE 4-manifolds with negative scalar curvature.
• To prove smoothness and completeness of the constructed SDE metrics on the full manifold, extending from a dense open subset where the T²-action is free.
• To generalize the Gibbons–Hawking-type ansatz for hyperkähler metrics to the Einstein setting, using infinite continued fraction data.
• To provide a uniform bound on the continued fraction coefficients e_j ∈ [3,N] to ensure the existence of uncountably many non-diffeomorphic SDE manifolds.

Proposed method

• Associate to each irrational α ∈ (0,1) a modified continued fraction expansion with e_j ≥ 2, ensuring convergence and defining a sequence of embedded 2-spheres with specified intersection numbers.
• Construct a noncompact 4-manifold M_α with b₂(M_α) = ∞, generated by an infinite sequence of 2-spheres S_j satisfying S_j · S_j = e_j, S_j · S_{j+1} = -1, and S_j · S_k = 0 for |j−k| > 1.
• Define a T²-action on M_α that preserves the metric, ensuring toric symmetry and simplifying the metric ansatz.
• Construct a SDE metric g_α on a dense open subset U ⊂ M_α using a potential function derived from the continued fraction data and eigenfunctions of the hyperbolic Laplacian.
• Prove smooth extension of g_α to the full manifold by establishing uniform estimates on the metric components near the fixed-point sets of the T²-action.
• Use integral estimates involving the Poisson kernel k_y(x) and bump functions to control behavior near singular orbits, ensuring completeness and boundedness of the metric components.

Experimental results

Research questions

• RQ1 Can the construction of complete SDE metrics on 4-manifolds be extended from rational α to irrational α, resulting in manifolds of infinite topological type?
• RQ2 What conditions on the continued fraction coefficients e_j ensure the existence of uncountably many non-diffeomorphic SDE 4-manifolds?
• RQ3 How can the metric be smoothly extended from the dense open subset with free T²-action to the full manifold, especially near fixed-point sets?
• RQ4 What role does the hyperbolic Laplacian eigenfunction play in defining the metric potential for infinite continued fractions?
• RQ5 Under what conditions is the resulting SDE metric complete, and how do the bounds on e_j affect this completeness?

Key findings

• The construction yields uncountably many non-diffeomorphic complete self-dual Einstein 4-manifolds with negative scalar curvature, parameterized by irrational α ∈ (0,1).
• For any N ≥ 3, if the continued fraction coefficients satisfy 3 ≤ e_j ≤ N, the resulting metric g_α is complete and smooth on the entire manifold M_α.
• The metric g_α extends smoothly from the dense open subset where the T²-action is free, due to uniform estimates on the metric components near the fixed-point sets.
• The lower bound w(x,y) ≥ C(x+y)^{-1} on the metric potential near the origin ensures the metric does not degenerate, with C > 0 depending only on the bounds of e_j.
• The upper bound f(x,y) ≤ Ω√x for the potential function near the origin is uniform in direction, ensuring controlled growth and smoothness in all directions.
• The construction generalizes the finite-case method from [3] by showing that the infinite continued fraction limit of the potential function remains well-defined and smooth, using the hyperbolic Laplacian eigenfunction property.