## Does every smooth manifold of infinite topological type admit a complete Riemannian metric?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

To elaborate a bit, I should say that the question of the existence of a complete metric is only of interest in the case of manifolds of infinite topological type; if a manifold is compact, any metric is complete, and if a noncompact manifold has finite topological type(ie is diffeomorphic to the interior of a compact manifold with boundary,) one can contruct a complete metric on the manifold with boundary via a partition of unity, and then divide by the square of a defining function to get an complete asymptotically metric on the interior.

I have absolutely no intuition for how "wild" these manifolds can be. The only examples I can think of are infinite connected sums and quotients of negatively curved symmetric spaces by sufficiently complicated groups, but I'd imagine that one can construct some pathological examples by limiting arguments.

-

## 3 Answers

By Whitney embedding theorem any smooth manifold embeds into some Euclidean space as a closed subset. The induced metric is complete.

In fact, a good exercise is to show that any Riemannian metric is conformal to a complete metric.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

It's not my field, so I am really out on a limb here. Maybe someone can tell my why the following naïve idea wouldn't work: Make a Riemannian metric by partition of unity. For any point $p$ in the manifold, let $h(p)$ be the infimum of the lengths of all paths starting at $p$ which are not contained in any compact subset of the manifold. Now $h$ won't be smooth, so you need to smooth it without changing it substantially. Divide the metric by $h^2$.

-

The idea is right I think but your $h$ is unnecessary complicated; there are easier ways to find a proper smooth positive function on a manifold.  – Igor Belegradek Mar 20 2010 at 16:12
Yeah, but is it enough for it to be proper? It seems to me it has to have some relationship with the metric to insure that paths that stray outside of any compact will be infinitely long in the rescaled metric. – Harald Hanche-Olsen Mar 20 2010 at 16:44
Definition of $h$ uses "length", which gives relationship with the metric. I am not claiming $h$ is proper but it could be.  – Igor Belegradek Mar 20 2010 at 17:39

This is not an answer to your question. I just wanted to point out that there are plenty of examples of complete Einstein manifolds of infinite topological type. I am aware of the following two papers at least:

1. Complete Ricci-flat Kåhler manifolds of infinite topological type, by Anderson, Kronheimer and LeBrun

2. Continued fractions and Einstein manifolds of infinite topological type, by Calderbank and Singer

-

1
On a somewhat related note, Sha and Yang have shown the for $n$ and $m \geq 2$, the connect sum of $S^n\times S^m$ with itself an infinite number of times carries a metric of positive Ricci curvature. I don't think these metrics are Einstein, though. – Jason DeVito Mar 20 2010 at 17:02
Interesting. I don't work in this area, but Calderbank and Singer are friends and got to know about their results (and the earlier one I mentioned) through talking to them. – José Figueroa-O'Farrill Mar 20 2010 at 18:06
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9364257454872131, "perplexity_flag": "head"}