Nowhere Locally Metric-Minimising Saddle Surfaces
Abstract
We study the relation between the saddle property and local metric minimality for smooth surfaces in Euclidean spaces. Anton Petrunin and Stephan Stadler proved that every smooth strictly saddle surface in ℝ3 is locally metric-minimising and expressed the expectation that this phenomenon fails in ℝ4. We confirm this expectation and prove a stronger density result: Every smooth strictly saddle embedding of a closed disc into ℝ4 can be approximated arbitrarily closely in the C∞-topology by smooth strictly saddle embeddings that are nowhere locally metric-minimising. In particular, nowhere locally metric-minimising saddle embeddings exist in ℝd for every d ≥ 4. The main ingredient is the construction of non-trivial infinitesimal isometric deformations of saddle immersions in ℝ4 supported in arbitrarily small discs. We also provide an explicit twisted quadratic surface that is saddle in a neighbourhood of the origin but fails to be locally metric-minimising there, by deriving a necessary condition for metric minimality.
Related
- Horizon saddle connections and Veech groups of infinite-type dilation surfaces
- Locally recoverable codes from elliptic surfaces with availability and hierarchical locality
- Lower curvature bounds on metric surfaces via the Bishop--Gromov inequality
- Infinitesimally Euclidean metric surfaces
- The triangular metric on projective surfaces
BibTeX
@misc{kohlmeier2026nowhere,
title = {{Nowhere Locally Metric-Minimising Saddle Surfaces}},
author = {Stefan Christian Kohlmeier},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10908},
eprint = {2610.10908},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10908},
}
RIS
TY - UNPB
TI - Nowhere Locally Metric-Minimising Saddle Surfaces
AU - Stefan Christian Kohlmeier
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.10908
UR - https://arxiv.org/abs/2610.10908
AB - We study the relation between the saddle property and local metric minimality for smooth surfaces in Euclidean spaces. Anton Petrunin and Stephan Stadler proved that every smooth strictly saddle surface in ℝ^3 is locally metric-minimising and expressed the expectation that this phenomenon fails in ℝ^4. We confirm this expectation and prove a stronger density result: Every smooth strictly saddle embedding of a closed disc into ℝ^4 can be approximated arbitrarily closely in the C^∞-topology by smooth strictly saddle embeddings that are nowhere locally metric-minimising. In particular, nowhere locally metric-minimising saddle embeddings exist in ℝ^d for every d ≥ 4. The main ingredient is the construction of non-trivial infinitesimal isometric deformations of saddle immersions in ℝ^4 supported in arbitrarily small discs. We also provide an explicit twisted quadratic surface that is saddle in a neighbourhood of the origin but fails to be locally metric-minimising there, by deriving a necessary condition for metric minimality.
ER -