[Paper Review] Douady's conjecture on Banach analytic spaces

Vladimir Pestov|ArXiv.org|Jun 20, 1994

Advanced Banach Space Theory8 references4 citations

TL;DR

This paper proves Douady's conjecture (1972) that every complete metric space is homeomorphic—and in fact isometric—to the zero locus of an analytic map between two Banach spaces. The key contribution is a constructive isometric embedding of any complete metric space into a Banach space as the zero set of a real-analytic map, establishing a deep link between metric topology and infinite-dimensional analysis.

ABSTRACT

We show that, as conjectured by Adrien Douady back in 1972, every complete metric space is homeomorphic (moreover, isometric) to the locus of zeros of an analytic map between two Banach spaces. As a corollary, a paracompact topological space admits the structure of a Banach analytic space if and only if it is metrizable with a complete metric.

Motivation & Objective

• To resolve Adrien Douady's long-standing conjecture from 1972 concerning the representation of complete metric spaces as zero loci of analytic maps.
• To establish a constructive isometric embedding of any complete metric space into a Banach space via analytic maps.
• To characterize which paracompact topological spaces can carry the structure of a Banach analytic space.
• To clarify the relationship between metrizability with a complete metric and the existence of a Banach analytic structure.
• To provide a foundational result in infinite-dimensional complex geometry and functional analysis by realizing complete metric spaces as analytic varieties in Banach spaces.

Proposed method

• Construct an isometric embedding of a complete metric space into a Banach space using a suitable sequence of Lipschitz functions.
• Define a real-analytic map between two Banach spaces whose zero locus precisely recovers the image of the embedded metric space.
• Utilize the structure of the Banach space of bounded continuous functions with the uniform norm to define the target space of the analytic map.
• Apply a smoothing and approximation technique to ensure the analyticity of the constructed map while preserving the isometry.
• Use the completeness of the metric space to ensure convergence and well-definedness of the infinite series defining the map.
• Leverage the fact that the zero set of a real-analytic map between Banach spaces can carry a Banach analytic space structure.

Experimental results

Research questions

• RQ1 Can every complete metric space be realized as the zero locus of an analytic map between two Banach spaces?
• RQ2 Is it possible to construct such a realization in a way that preserves the metric structure isometrically?
• RQ3 What topological conditions on a paracompact space are necessary and sufficient for it to admit a Banach analytic space structure?
• RQ4 Does metrizability with a complete metric imply the existence of a Banach analytic structure?
• RQ5 Can the zero set of a real-analytic map between Banach spaces represent any complete metric space up to isometry?

Key findings

• Every complete metric space is isometrically embedded into a Banach space as the zero locus of a real-analytic map between two Banach spaces.
• The zero locus of the constructed analytic map is homeomorphic (and isometric) to the original complete metric space.
• A paracompact topological space admits a Banach analytic space structure if and only if it is metrizable with a complete metric.
• The proof constructs an explicit isometric embedding using a sequence of Lipschitz functions and a real-analytic perturbation.
• The result confirms Douady's conjecture in full, resolving a 22-year-old open problem in complex geometry and functional analysis.
• The construction demonstrates that the class of Banach analytic spaces includes all complete metric spaces, showing their broad representational power.