Year: 2025
Type: article
Abstract: We show that for any purely 2-unrectifiable metric space $M$, for example the Heisenberg group $\HH^1$ equipped with the \cc metric, every homotopy class $[\gamma]$ of Lipschitz paths contains a length minimizing representative $\core{\gamma}$ that is unique up to reparametrization. The length minimizer $\core{\gamma}$ is the core of the homotopy class $[\gamma]$ in the sense that the image of $\core{\gamma}$ is a subset of the image of any path contained in $[\gamma]$. Furthermore, the existence of length minimizers guarantees that only the trivial class in the first Lipschitz homotopy group of $M$ with a base point can be represented by a loop within each neighborhood of the base point. The results detailed here are used in \n{Perry (Preprint,~2024)} to define and prove properties of a universal Lipschitz path space over $\HH^1$.
Source: Mathematical Reports
Author: Daniel Perry
Institution: Augustana University
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: bronze
Funder: National Science Foundation
OpenAlex ID: W4410891874