analysis / Functional analysis

Banach's isometric conjecture

Banach asked in 1932 whether a real Banach space $X$ whose $n$-dimensional subspaces, for some fixed $1 < n < \operatorname{dim}X$, are all isometric must be a Hilbert space. Gromov proved the conjecture for even n, and subsequent work settled several odd-dimensional cases. We prove the conjecture for every odd n, including all previously unresolved cases. Together with Gromov’s even-dimensional result, this completes Banach’s isometric conjecture in the real case. The proof combines bundle topology with Brouwer degree theory.

40Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisAug 13, 2026Significance 40/100Registry: unreviewed

Banach's isometric conjecture

Prior state unknownproved

The paper proves the previously unresolved odd-dimensional real cases of Banach's isometric conjecture. Combined with Gromov's earlier theorem for even dimensions and previous results, this completes the conjecture for real Banach spaces.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Banach asked in 1932 whether a real Banach space $X$ whose $n$-dimensional subspaces, for some fixed $1 < n < \operatorname{dim}X$, are all isometric must be a Hilbert space. Gromov proved the conjecture for even n, and subsequent work settled several odd-dimensional cases. We prove the conjecture for every odd n, including all previously unresolved cases. Together with Gromov’s even-dimensional result, this completes Banach’s isometric conjecture in the real case. The proof combines bundle topology with Brouwer degree theory.

The paper proves the previously unresolved odd-dimensional real cases of Banach's isometric conjecture. Combined with Gromov's earlier theorem for even dimensions and previous results, this completes the conjecture for real Banach spaces.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

Banach's isometric conjecture — Mathematical Frontier Network