Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Energy minimizing harmonic 2-spheres in metric spaces

Damaris Meier, Noa Vikman, Stefan Wenger

TL;DR

The paper develops a conceptually simple metric framework for the existence of harmonic 2-spheres in compact metric spaces that satisfy a local quadratic isoperimetric inequality. It proves that any continuous map from a closed surface into such a space admits an iterated decomposition into finitely many pieces, each carrying an energy minimizer, with the total energy decomposing as $e(\varphi_0)+\cdots+e(\varphi_k)=e(\varphi)$. This generalizes and strengthens the classical Sacks–Uhlenbeck results to metric-space targets, yielding Hölder regularity and infinitesimal quasiconformality for minimizers and establishing an energy identity. The approach provides a unified, PDE-free pathway to existence and regularity statements across broad classes of spaces, including compact Lipschitz manifolds, locally CAT spaces, and certain sub-Riemannian settings, with potential implications for understanding higher homotopy in non-smooth contexts.

Abstract

In their seminal 1981 article, Sacks-Uhlenbeck famously proved the existence of non-trivial harmonic 2-spheres in every closed Riemannian manifold with non-zero second homotopy group. Their arguments heavily rely on PDE techniques. The purpose of the present paper is to develop a conceptually simple metric approach to the existence of harmonic spheres. This allows us to generalize the Sacks-Uhlenbeck result to a large class of compact metric spaces.

Energy minimizing harmonic 2-spheres in metric spaces

TL;DR

The paper develops a conceptually simple metric framework for the existence of harmonic 2-spheres in compact metric spaces that satisfy a local quadratic isoperimetric inequality. It proves that any continuous map from a closed surface into such a space admits an iterated decomposition into finitely many pieces, each carrying an energy minimizer, with the total energy decomposing as . This generalizes and strengthens the classical Sacks–Uhlenbeck results to metric-space targets, yielding Hölder regularity and infinitesimal quasiconformality for minimizers and establishing an energy identity. The approach provides a unified, PDE-free pathway to existence and regularity statements across broad classes of spaces, including compact Lipschitz manifolds, locally CAT spaces, and certain sub-Riemannian settings, with potential implications for understanding higher homotopy in non-smooth contexts.

Abstract

In their seminal 1981 article, Sacks-Uhlenbeck famously proved the existence of non-trivial harmonic 2-spheres in every closed Riemannian manifold with non-zero second homotopy group. Their arguments heavily rely on PDE techniques. The purpose of the present paper is to develop a conceptually simple metric approach to the existence of harmonic spheres. This allows us to generalize the Sacks-Uhlenbeck result to a large class of compact metric spaces.

Paper Structure

This paper contains 18 sections, 27 theorems, 110 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Background
  3. Statements of main results
  4. Outline of Proofs
  5. Structure of article
  6. Preliminaries
  7. Notation
  8. Stereographic projections
  9. Polyhedral complexes and triangulations
  10. Sobolev maps to metric spaces
  11. General definitions of energy
  12. Constructing continuous Sobolev maps in a homotopy class
  13. Sobolev spheres of small area are null-homotopic
  14. Regularity of homotopic energy minimizing maps
  15. Minimizers in 1-homotopy classes and a proof of Corollary \ref{['cor:trivial-second-homotopy-group-intro']}
  16. ...and 3 more sections

Key Result

Theorem 1.3

Let $X$ be as above, and let $M$ be a closed surface, equipped with a Riemannian metric. Then every continuous map $\varphi\colon M\to X$ has an iterated decomposition satisfying and such that every $\varphi_i$ contains an energy minimizer in its homotopy class.

Figures (2)

  • Figure 1: Decomposition $\varphi_0$ and $\varphi_1$ of a map $\varphi\colon M\to X$.
  • Figure 2: Illustration of the space $X$ in \ref{['example:dumbbell']}

Theorems & Definitions (58)

  • Definition 1.1
  • Definition 1.2
  • Theorem 1.3
  • Corollary 1.4
  • Corollary 1.5
  • Theorem 1.6
  • Corollary 1.7
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • ...and 48 more