{"id":"arxiv/2610.06595","url":"https://arxiv.org/abs/2610.06595","tags":["math.FA"],"score":0,"title":"Poly and Raby's theorem splits in infinite dimensions","domain":"math.FA","source":"arxiv","authors":["David Salas"],"reviews":0,"subject":"math.FA","summary":"A classic result of Poly and Raby \\cite{Poly-Raby:1984} states that, in finite-dimensional Euclidean spaces, $\\mathcal{C}^k$-smoothness (with $k\\geq2$) 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: $\\mathcal{C}^k$-smoothness of the squared distance function characterizes weakly $\\mathcal{C}^k$-submanifolds, while $\\mathcal{C}^k$-submanifolds are characterized by this smoothness together…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}