Banach’s isometric-subspaces characterization of Hilbert space
Follow the latest progress by email.
If all n-dimensional subspaces of a real Banach space X are linearly isometric, must X be a Hilbert space for 2≤n<dim X? The remaining real cases involved odd-dimensional sections, particularly codimension one.
Why it matters and what counts as progress
Why it matters: Banach’s isometric-section question asks whether uniform finite-dimensional geometry forces a globally Hilbertian space.
What counts as progress: Resolve the remaining odd-dimensional cases by constructing compatible section isometries or find a non-Hilbert counterexample.
How the problem developed
- 1932 · Conjecture [1]
Stefan Banach Asked whether a Banach space whose subspaces of one fixed dimension are mutually isometric must be Hilbert.
- 1967 · Partial result [1]
Mikhail Gromov Solved the conjecture for even subspace dimensions, including real and complex spaces.
- 13 Aug 2026 · Reported claim [2]
Xinbao Lu and Kaiwen Yang Completed Banach’s conjecture for real spaces by handling every odd dimension.
- 18 Aug 2026 · Reported claim [3]
Antonio Acuaviva and Tomasz Kania Reported the complex-field result and a quaternionic counterpart.
AI contribution
A solution to Banach's isometric conjecture
For odd n≥3, Lu and Yang obtain a global Lipschitz family of exact hyperplane-section isometries after a positive-degree bundle pullback. Combined with their degree argument, this proves that a real Banach space whose n-dimensional subspaces are all linearly isometric is Hilbert when 2≤n<dim X.
Sources
Website timeline
Publication dates and editorial changes.