Poly and Raby's theorem splits in infinite dimensions

@misc{salas2026poly,
  title = {{Poly and Raby's theorem splits in infinite dimensions}},
  author = {David Salas},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.06595},
  eprint = {2610.06595},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.06595},
}

TY  - UNPB
TI  - Poly and Raby's theorem splits in infinite dimensions
AU  - David Salas
PY  - 2026
DA  - 2026/10/05
PB  - arXiv
DO  - 10.48550/arxiv.2610.06595
UR  - https://arxiv.org/abs/2610.06595
AB  - A classic result of Poly and Raby \cite{Poly-Raby:1984} states that, in finite-dimensional Euclidean spaces, 𝒞^k-smoothness (with k≥2) of the squared distance function near a point of a closed set characterizes smoothness of the set as a submanifold, with the same order of differentiability. In this work, we show that this characterization splits in infinite-dimensional Hilbert spaces: 𝒞^k-smoothness of the squared distance function characterizes weakly 𝒞^k-submanifolds, while 𝒞^k-submanifolds are characterized by this smoothness together with an additional pointwise equicontinuity condition on the highest-order derivative of the squared distance. The diffeomorphism of Poly and Raby, its associated graph representation, and the description of its inverse remain the common geometric basis of both characterizations. The development of this work was assisted by GPT-6 Astra.
ER  -