Poly and Raby's theorem splits in infinite dimensions

David Salas

Home/Archive/arXiv

arXiv · 2610.06595

Poly and Raby's theorem splits in infinite dimensions

David Salas

View original source ↗Read source document ↗Export metadata ↓

Abstract

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 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.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

David Salas. 2026-10-05. Poly and Raby's theorem splits in infinite dimensions. https://arxiv.org/abs/2610.06595

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Finitely $C^\infty$-generated associative and Hopf algebras

We introduce finitely $C^\infty$-generated algebras, which can be treated as `algebras of functions' on non-commutative $C^\infty$-differentiable spaces. Our approach uses the category of projective limits of real Banach algebras of polynomial growth. We prove the existence of some universal constructions in this and some similar categories. By analogy with holomorphically finitely generated algebras of Pirkovskii, a finitely $C^\infty$-generated algebra is defined as a quotient of a finite-rank algebra of `free $C^\infty$-functions'. The latter notion was introduced by the author in a previous article, where a structure theorem for algebras of `free $C^\infty$-functions' was announced and proved in dimension at most $2$. Here this theorem is proved in full generality. The central result asserts that the projective tensor product of a finite tuple of finitely $C^\infty$-generated algebras is finitely $C^\infty$-generated. In particular, this makes it natural to consider finitely $C^\infty$-generated topological Hopf algebras. Furthermore, a construction called `envelope' provides a functor from the category of affine real Hopf algebras to the category of finitely $C^\infty$-generated Hopf algebras.

math.FA↗

arXiv2026

Composition-differentiation operators on Hardy-Hilbert space of Dirichlet series

In this paper, we establish a compactness criterion for the composition-differentiation operator $D_Φ$ on the Hardy space $\mathcal{H}^2$ of Dirichlet series in terms of a boundary decay condition for its mean counting function. Via a comparison-type principle, we show that this boundary decay is equivalent to a corresponding decay condition for the Green's function, which we further analyze through harmonic measure. We provide explicit mapping properties of the symbol $Φ$ that generate a bounded composition-differentiation operator $D_Φ$ and obtain precise norm estimates for $D_Φ$ when $Φ$ is an affine symbol with a single-prime in the class $\mathcal{G}_0$. Furthermore, we establish explicit upper and lower bounds for the approximation numbers of $D_Φ$ on $\mathcal{H}^2$ motivated by the work of Queffélec and Seip [J. Funct. Anal., 2015]. Finally, we investigate spectral and operator-theoretic properties of $D_Φ$ for symbols in $\mathcal{G}_0$.

math.FA↗

arXiv2026

Sobolev spaces in infinite dimensions

The classical theory of Sobolev spaces in finite dimensions is well established. Because infinite-dimensional spaces possess inherent analytical and topological complexities, developing a theory of Sobolev spaces for functions of infinitely many variables---rather than merely extending the classical finite-dimensional theory---is far from routine and has led to long-standing open problems. In this paper, we establish such a theory and systematically determine the extent to which these classical results can be carried over to this setting. By carefully adapting the tools introduced in our recent works, we establish a series of infinite-dimensional counterparts of the classical theorems and, in the process, reveal new phenomena with no finite-dimensional analogue. The methods and concepts developed here, together with the results obtained, furnish a robust framework for further study of Sobolev spaces and related problems in infinite-dimensional analysis.

math.FA↗