Analyticity and tautness of smooth Dupin hypersurfaces
Abstract
We prove that a smooth immersed Euclidean submanifold is locally Nash if it satisfies the Dupin condition on the regular part of its unit normal bundle. This condition is equivalent to the Morse-Bott property of all squared distance functions and, for compact connected embedded submanifolds, to tautness over ℤ2. No local finiteness assumption on the regular locus, or regularity assumption on its complement, is required. We also prove that, in each fixed Euclidean space, every compact connected smooth taut submanifold can be joined to one of finitely many representatives by a Nash isotopy through taut embedded submanifolds. In each fixed intrinsic dimension, we also obtain only finitely many diffeomorphism types admitting taut embeddings in Euclidean spaces. We first treat hypersurfaces by combining a dimension-dependent degree bound on proper Dupin pieces with a continuation argument using finite jets and resultants. An analytic Hessian criterion then gives the Morse-Bott property, and small tubes extend the conclusions to arbitrary codimension. The degree bound also provides uniform semialgebraic complexity. Together with the semialgebraicity of tautness in parameter families and Nash triviality, this yields the finiteness and deformation results. Classical classification theorems give further topological restrictions.
Related
- A convexity theorem for proper Dupin hypersurfaces in spheres
- Prime points on smooth hypersurfaces
- Retraction of the complement of smooth projective hypersurfaces to an n-dimensional Δ-complex
- Higher-order tangent lines to smooth hypersurfaces
- Area-minimizing submanifolds are not generically smooth, except for geodesics, minimal surfaces, and minimal hypersurfaces
BibTeX
@misc{wiesendorf2026analyticity,
title = {{Analyticity and tautness of smooth Dupin hypersurfaces}},
author = {Stephan Wiesendorf},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.04679},
eprint = {2610.04679},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.04679},
}
RIS
TY - UNPB
TI - Analyticity and tautness of smooth Dupin hypersurfaces
AU - Stephan Wiesendorf
PY - 2026
DA - 2026/10/11
PB - arXiv
DO - 10.48550/arxiv.2610.04679
UR - https://arxiv.org/abs/2610.04679
AB - We prove that a smooth immersed Euclidean submanifold is locally Nash if it satisfies the Dupin condition on the regular part of its unit normal bundle. This condition is equivalent to the Morse-Bott property of all squared distance functions and, for compact connected embedded submanifolds, to tautness over ℤ_2. No local finiteness assumption on the regular locus, or regularity assumption on its complement, is required. We also prove that, in each fixed Euclidean space, every compact connected smooth taut submanifold can be joined to one of finitely many representatives by a Nash isotopy through taut embedded submanifolds. In each fixed intrinsic dimension, we also obtain only finitely many diffeomorphism types admitting taut embeddings in Euclidean spaces. We first treat hypersurfaces by combining a dimension-dependent degree bound on proper Dupin pieces with a continuation argument using finite jets and resultants. An analytic Hessian criterion then gives the Morse-Bott property, and small tubes extend the conclusions to arbitrary codimension. The degree bound also provides uniform semialgebraic complexity. Together with the semialgebraicity of tautness in parameter families and Nash triviality, this yields the finiteness and deformation results. Classical classification theorems give further topological restrictions.
ER -