On Conformal Flexibility of Completeness and Minimizing Geodesics on Hilbert Manifolds

Levin Maier

Abstract

This article is part of a broader programme investigating which features of finite-dimensional Riemannian geometry persist in infinite dimensions. The Hopf--Rinow theorem fails even for Hilbert manifolds: metric and geodesic completeness need not agree, and neither property guarantees a length-minimizing geodesic between prescribed endpoints. Despite this failure, our first main result shows that the conformal class of every smooth strong Riemannian metric on a smooth separable Hilbert manifold contains a smooth strong representative that is metrically and geodesically complete and such that every two points in the same connected component are joined by a length-minimizing geodesic. By contrast, our second main result establishes a local flexibility phenomenon for metric completeness that is inherently infinite-dimensional. Given any prescribed Hilbert-norm ball, a metrically complete strong metric admits a conformal deformation which is equal to one outside that ball, preserves geodesic completeness, and destroys metric completeness.

Disclosure

“m- ments and suggestions. The author acknowledges funding from the Deutsche Forschungs- gemeinschaft (DFG, German Research Foundation) through grants 281869850 (RTG 2229), 390900948 (EXC-2181/1), and 281071066 (TRR 191). The author used ChatGPT during the preparation of this article for proofreading, language refinement, and mathematical exploration. In particular, these discussions helped refine the presentation of the barrier–duality argument and the localized conformal constru”

PDF page 5
Classification
Rewriting existing author-written text
Multiplier
4
Verified

Structural counts

Pages 32 pdf
Theorems 7 source
Lemmas 7 source
Propositions 4 source
Corollaries 1 source
Definitions 1 source
Displayed equations 228 source
Bibliography entries 310 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file paper_new.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.