A solution to Banach's isometric conjecture

Kaiwen Yang; Xinbao Lu

A solution to Banach's isometric conjecture

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read If all n-dimensional subspaces of a real Banach space are isometric for one fixed n, the whole space is a Hilbert space.

desk verdict This paper credibly proves the odd-dimensional cases of Banach's isometric conjecture, completing the real case; the new positive-degree pullback mechanism is the key, and I found no fatal flaw. read the letter →

arxiv 2608.13536 v1 pith:LMSXOP37 submitted 2026-08-13 math.FA math.DGmath.MG

Xinbao Lu , Kaiwen Yang This is my paper · ORCID

classification math.FAmath.DGmath.MG MSC 46C1552A2155R1055M25

keywords Banach'sconjectureconvexbodyprincipalbundleBrouwerdegreeisometricsubspacesellipsoidLipschitzsectionhomogeneouspolynomial

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves Banach's 1932 isometric conjecture for real Banach spaces in full generality: if a real Banach space X has all n-dimensional linear subspaces isometric for some fixed n with 2 <= n < dim X, then X is a Hilbert space. Earlier work covered all even n and several odd n, and this paper settles every remaining odd n, completing the real case. The proof recasts the problem in convex geometry: an origin-symmetric convex body in $R^{{n+1}}$ all of whose central hyperplane sections are linearly equivalent must be an ellipsoid. The new mechanism is a bundle-theoretic construction of a global Lipschitz family of exact section isometries, followed by a Brouwer-degree argument that forces the model section's gauge to be a quadratic form.

What carries the argument

The central object is the principal bundle P over S^n whose fiber over u is the set of linear maps A with A(E) = u^perp and A(S) = K cap u^perp, with structure group Aut(S). Because n is odd, the reduced bundle's class in the homotopy group pi_{n-1}(Aut(S)^circ) is finite; pulling back by a positive-degree map phi kills this class. A Lipschitz regularization theorem for topologically trivial principal bundles with Lipschitz atlases turns the resulting continuous section into a global Lipschitz family A_z of exact section-isometries. For each nonzero y, the map z maps to A_z y / |A_z y| has degree deg phi, and the signed degree formula shows $p_S^{{n+1+2k}}$ lies in R[E] for every k >= 0. Unique factorization applied to the k = 0 and k = 1 identities Q^a = $P^{{a+1}}$ gives P | Q and hence $p_S^{2}$ = Q/P is a positive-definite quadratic form.

What would settle it

Compute the linear-equivalence classes of central hyperplane sections of the unit ball of $l_p^{{n+1}}$ for odd n >= 3 and p != 2; the theorem asserts that not all sections are equivalent, so exhibiting a p != 2 for which they are all equivalent would disprove Theorem 1.3. Alternatively, search for a topologically trivial principal bundle with a compact structure group and a Lipschitz atlas that admits no global Lipschitz section, which would falsify Theorem 3.9.

Watch

Extended reading notes

Core claim

The central claim is that the conjecture is true for every odd n: a real Banach space in which all n-dimensional linear subspaces are isometric for a single fixed n is necessarily a Hilbert space. The proof reduces to the codimension-one hyperplane theorem: an origin-symmetric convex body in $R^{{n+1}}$ all of whose central hyperplane sections are linearly equivalent must be an ellipsoid. The new step constructs, from the bundle of exact isometries between sections, a Lipschitz family A_z of linear maps indexed by a positive-degree self-map of the sphere, with A_z(E) = $\varphi$(z)^perp and A_z(S) = K cap $\varphi$(z)^perp. A degree calculation then shows that $p_S^{{n+1+2k}}$ is a homogeneous polynomial for every k >= 0; the cases k = 0 and k = 1 combine with unique factorization to force $p_S^{2}$ to be a quadratic form, so S is an ellipsoid and the ambient norm is inner-product.

Load-bearing premise

The load-bearing premise is the Lipschitz regularization theorem: any topologically trivial principal bundle with a Lipschitz atlas admits a global section that is simultaneously exact and Lipschitz; if that theorem fails in this setting, the global family A_z and the degree argument collapse.

Editorial extensions

If this is right

The real Banach isometric conjecture now stands as a theorem: no exceptional odd dimensions remain.
The convex-geometric form follows: an origin-symmetric convex body in R^N whose n-dimensional central sections are linearly equivalent must be an ellipsoid for every 2 <= n < N.
Any real Banach space satisfying the isometry hypothesis satisfies the parallelogram identity on every two-dimensional subspace, so the norm is induced by an inner product.
The proof isolates exactly where parity matters: oddness makes n-1 a positive even integer, so the relevant homotopy group is finite, and it makes n+1 and n+3 consecutive powers of p_S^2 in the final algebraic step.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Inference: the Lipschitz regularization theorem is stated for compact subgroups of O(q) and may transfer to other geometric problems where a topologically trivial bundle of isometries must be trivialized without losing regularity.
Inference: the same bundle-degree strategy might adapt to the remaining complex odd-dimensional cases if the relevant homotopy groups have torsion in the right degrees; the paper does not pursue this.
Inference: since only the first two polynomial identities are used, the argument suggests that a single higher moment identity might already encode enough rigidity to force the model body to be an ellipsoid.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

The short version: this paper proves Banach's isometric conjecture for every odd n, which together with Gromov's even-n result closes the real case. I read the main chain carefully and think the argument holds. The genuinely new move is the positive-degree pullback: after reducing to the identity component of the automorphism group, the bundle class lives in a finite homotopy group (because n-1 is even), so a self-map of suitable degree kills the obstruction. The authors then produce a global Lipschitz family of exact section isometries and use a Brouwer-degree identity to force the moment powers p_S^{n+1+2k} to be polynomials. The final UFD step is clean and gives p_S^2 quadratic.

I checked the delicate Section 3 that the reader flagged. Lemma 3.2 is valid: the orbit is a compact embedded submanifold, so the inverse of the orbit map is locally Lipschitz for the ambient distance. The associated-bundle argument in Theorem 3.9 looks suspicious at first, because the map p -> [p,I] seems to depend on a trivialization, but it is actually well-defined and injective on fibers; the image is the orbit of I under left multiplication by G, and the equivariant retraction pulls it back correctly. I did not find a circular step or a fitted parameter. The proof is self-contained for odd n; the even-n case is only used in assembling the final theorem.

Weak spots are mostly expository. Section 3 is dense, and the Lipschitz regularization pipeline (Lemmas 3.7, 3.8, 3.9) has several compressed arguments that a referee will want spelled out. The AI disclosure makes that section the obvious place for extra scrutiny, but the mathematics there is coherent. The degree computation in Lemma 4.4 is sound; the homogeneity of the source integral follows because A(x) is homogeneous of degree one and its derivative depends linearly on y. The citations to Gromov, Bor et al., Ivanov et al., and the classical bundle and degree references are appropriate; I see no missing reference that would affect the proof.

Who should read this: functional analysts and convex geometers working on Banach's problem or on geometric classification of sections. It deserves a serious referee. If the proof survives line-by-line checking of Section 3, it is a major result. I would send it to peer review rather than desk-reject, and I would cite it.

Referee Report

0 major / 5 minor

Summary. The paper proves Banach's isometric conjecture for odd n in real Banach spaces: if all n-dimensional subspaces of a real Banach space X are linearly isometric for some fixed 2 ≤ n < dim X, then X is a Hilbert space. Combined with Gromov's even-dimensional result, this completes the real case. The proof reduces to the codimension-one convex-geometric setting, fixes a model section S, and builds a Lipschitz principal Aut(S)-bundle of exact linear maps from S to each central hyperplane section. After reducing the structure group to the identity component, the bundle class is an element of the finite group π_{n-1}(Aut(S)^∘), which is killed by pullback along a positive-degree self-map of S^n. A Lipschitz regularization theorem (Theorem 3.9) converts the resulting continuous trivializing section into a global Lipschitz family A_z of exact section isometries. A Brouwer degree argument then shows that, for the Minkowski functional p_S, the functions p_S^{n+1+2k} are homogeneous polynomials for every k≥0; the first two cases combine with unique factorization to force p_S^2 to be a quadratic form, so S and hence every section is an ellipsoid, yielding the theorem.

Significance. This is a landmark result: it resolves the remaining odd-dimensional cases of a famous problem from Banach's 1932 monograph, bringing the real case to a close after Gromov's even-dimensional theorem and several partial odd-n results. The proof is original in combining finite-moment detection of the symmetry group, principal-bundle topology over S^n, a positive-degree pullback trick to annihilate a finite-order obstruction, and a degree-theoretic polynomial rigidity argument. The argument is self-contained for odd n and has no free parameters; the key identities (4.1), (4.4), and Lemma 4.4 are explicit and checkable. The bundle-regularization pipeline (Lemmas 3.7–3.9 and Theorem 3.10) is the most delicate part, and the exposition would benefit from a few added details, but I found no mathematical gap.

minor comments (5)

[§4, Lemma 4.4] The statement that 'Lemma 2.1, applied in dimension n+1, gives vol_{n+1}(r∂K)=0' is imprecise: Lemma 2.1 gives the Lipschitz regularity of ρ_K, and the boundary has measure zero because r∂K is the image of S^n under the Lipschitz map θ ↦ rρ_K(θ)θ. Please make this implication explicit.
[§3.1, Lemma 3.2] The inverse Θ^{-1} is stated to be locally Lipschitz, but its use in Lemma 3.4 (Step 1) requires a uniform Lipschitz constant for the composition u ↦ [Q_u]. This follows from compactness of the orbit and a Lebesgue-number argument, but the manuscript should state this explicitly.
[§3.3, Theorem 3.9] After defining s = ι^{-1} ∘ Q ∘ σ, the proof should explicitly verify that s is a Lipschitz section in the sense of Definition 3.3, i.e., that its coordinate maps in the Lipschitz atlas are globally Lipschitz. This is a local check in each chart and is not written out.
[§3.3, Lemma 3.8] The equivariant tubular neighborhood is asserted with a citation to a nonequivariant theorem; since the left action of G on W=End(R^q) is by isometries, a G-invariant neighborhood can be obtained, but a sentence explaining this would help the reader.
[§4, Lemma 4.4] The McShane extension should be applied to F_y defined on the closed ball B^{n+1} (where it is Lipschitz by Lemma 4.2) rather than only on Ω, so that the extension agrees with F_y on S^n and the boundary image lies in r∂K.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the odd-n core derives polynomial rigidity from a Lipschitz bundle and a degree argument, with no fitted parameters or load-bearing self-citations.

full rationale

I walked the derivation chain from the hypothesis that all n-dimensional sections are linearly equivalent, through the construction of the Lipschitz principal bundle (Lemma 3.4), the finite-order annihilation of the bundle class (Lemma 3.6), the Lipschitz globalization (Theorem 3.9 and Theorem 3.10), and the degree-theoretic derivation of polynomiality (Lemma 4.4). No step defines its conclusion in terms of the target. The integer d is chosen only to annihilate a finite homotopy class, and it cancels from the polynomial identity through the constant c_k = d ∫_K |u|^{2k} du, so the polynomiality of p_S^{n+1+2k} is not a fitted input. The algebraic conclusion that p_S^2 is quadratic follows from the first two identities of Lemma 4.4 via unique factorization, independently of d. The only external benchmarks invoked are standard theorems (Rademacher, Brouwer degree, Jordan–von Neumann, Serre finiteness, smooth manifold facts) and Gromov's even-n theorem, which is used only to assemble the final theorem for even dimensions and is not needed for the odd-n core. The paper contains no load-bearing self-citation: none of the cited works are by the present authors. The proof of the central claim is self-contained and, on inspection, does not reduce by construction to its own inputs.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

No parameter is fitted to data. The integer d in Theorem 3.10 is a positive multiple of the order of a finite homotopy class; it enters only as a nonzero scaling factor c_k = d times the integral over K and does not influence the polynomiality conclusion. All invoked results are standard background mathematics, and no new objects beyond the constructed bundles and maps are postulated.

assumptions (8)

standard math Serre finiteness: even-degree homotopy groups of compact simply connected Lie groups are finite, as cited in Lemma 2.3.
Used to conclude that pi_{n-1}(G^0) is finite when n is odd, enabling the positive-degree pullback to kill the bundle class.
standard math Classification of principal H-bundles over spheres: isomorphism classes correspond to pi_q(BH) approximately pi_{q-1}(H), cited as Equation (2.4).
Identifies the topological obstruction alpha of the isometry bundle and the effect of pullback by a degree-d map.
standard math Signed degree (area) formula for Lipschitz maps, stated as Lemma 2.8.
Converts the topological degree of F_y into the integral identity P_k(y) = c_k p_S(y)^{n+1+2k}.
standard math Rademacher's theorem and the McShane extension theorem.
Provide differentiability almost everywhere and a Lipschitz extension of F_y, both needed for the degree formula.
standard math Jordan-von Neumann theorem: a norm satisfying the parallelogram identity is induced by an inner product.
Used in the final step to pass from ellipsoidal hyperplane sections to K being an ellipsoid.
standard math Unique factorization in the polynomial ring R[y1,...,yn].
Used in Lemma 4.5 to infer P divides Q from the identity Q^a = P^{a+1}.
standard math Stone-Weierstrass and uniqueness of finite Radon measures determined by their moments.
Used in Lemma 3.1 to show that the finite moment tuple M(S) detects the exact symmetry group G.
standard math Closed subgroup theorem and tubular neighborhood theorem for compact Lie groups.
Used in Lemma 3.2 and Lemma 3.8 to obtain the orbit manifold structure and the equivariant Lipschitz retraction q.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A solution to Banach's isometric conjecture." pith.science (2026). https://pith.science/paper/LMSXOP37

@misc{pith2026260813536,
  author       = {Pith},
  title        = {Pith review of: A solution to Banach's isometric conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LMSXOP37}},
  note         = {Machine review of arXiv:2608.13536}
}

abstract

Banach asked in 1932 whether a real Banach space $X$ whose $n$-dimensional subspaces, for some fixed $1<n<\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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

Auerbach, S

H. Auerbach, S. Mazur, S. Ulam, Sur une propriété caractéristique de l’ellipsoïde, Monatsh. Math. Phys. 42(1) (1935) 45–48. 1

work page 1935
[2]

Atiyah, I

M. Atiyah, I. G. Macdonald, Introduction to commutative algebra, Addison–Wesley, Reading, MA, 1969. 8

work page 1969
[3]

Banach, Théorie des opérations linéaires, Monografie Matematyczne, vol

S. Banach, Théorie des opérations linéaires, Monografie Matematyczne, vol. 1, Warszawa, 1932. 1

work page 1932
[4]

Bhatia, Positive definite matrices, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, 2007

R. Bhatia, Positive definite matrices, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, 2007. 5

work page 2007
[5]

Borel, F

A. Borel, F. Hirzebruch, Characteristic classes and homogeneous spaces, I, Amer. J. Math. 80(2) (1958) 458–538. 6

work page 1958
[6]

G. Bor, L. Hernández-Lamoneda, V. Jiménez-Desantiago, L. Montejano, On the isometric conjecture of Banach, Geom. Topol. 25(5) (2021) 2621–2642. 2

work page 2021
[7]

Bracho, L

J. Bracho, L. Montejano, On the complex Banach conjecture, J. Convex Anal. 28(4) (2021) 1211–1222. 2

work page 2021
[8]

Dummit, R

D. Dummit, R. Foote, Abstract algebra, 3rd ed., John Wiley & Sons, Hoboken, NJ, 2004. 18

work page 2004

Show all 21 references

[9]

Dvoretzky, A theorem on convex bodies and applications to Banach spaces, Proc

A. Dvoretzky, A theorem on convex bodies and applications to Banach spaces, Proc. Natl. Acad. Sci. USA 45 (1959) 223–226. 1

1959
[10]

Evans, R

L. Evans, R. Gariepy, Measure theory and fine properties of functions, revised ed., CRC Press, Boca Raton,
[11]

Fonseca, W

I. Fonseca, W. Gangbo, Degree theory in analysis and applications, Oxford Lecture Series in Mathematics and its Applications, vol. 2, Clarendon Press, Oxford, 1995. 6, 7

1995
[12]

Gromov, A geometrical conjecture of Banach, Math

M. Gromov, A geometrical conjecture of Banach, Math. USSR-Izv. 1(5) (1967) 1055–1064. 1, 2, 19

1967
[13]

Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002

A. Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. 6

2002
[14]

Husemoller, Fibre bundles, 3rd ed., Graduate Texts in Mathematics, vol

D. Husemoller, Fibre bundles, 3rd ed., Graduate Texts in Mathematics, vol. 20, Springer-Verlag, New York,
[15]

Ivanov, D

S. Ivanov, D. Mamaev, A. Nordskova, Banach’s isometric subspace problem in dimension four, Invent. Math. 233(3) (2023) 1393–1425. 2

2023
[16]

Jordan, J

P. Jordan, J. von Neumann, On inner products in linear, metric spaces, Ann. of Math. (2) 36(3) (1935) 719–723. 19

1935
[17]

Lee, Introduction to smooth manifolds, 2nd ed., Graduate Texts in Mathematics, vol

J. Lee, Introduction to smooth manifolds, 2nd ed., Graduate Texts in Mathematics, vol. 218, Springer, New York, 2013. 8, 10, 12 20

2013
[18]

Milman, A new proof of A

V. Milman, A new proof of A. Dvoretzky’s theorem on cross-sections of convex bodies, Funct. Anal. Appl. 5 (1971) 288–295. 1

1971
[19]

McShane, Extension of range of functions, Bull

E. McShane, Extension of range of functions, Bull. Amer. Math. Soc. 40(12) (1934) 837–842. 17

1934
[20]

Rudin, Principles of mathematical analysis, 3rd ed., McGraw–Hill, New York, 1976

W. Rudin, Principles of mathematical analysis, 3rd ed., McGraw–Hill, New York, 1976. 8

1976
[21]

Serre, Groupes d’homotopie et classes de groupes abéliens, Ann

J. Serre, Groupes d’homotopie et classes de groupes abéliens, Ann. of Math. (2) 58(2) (1953) 258–294. 6 21

1953

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Auerbach, S

H. Auerbach, S. Mazur, S. Ulam, Sur une propriété caractéristique de l’ellipsoïde, Monatsh. Math. Phys. 42(1) (1935) 45–48. 1

work page 1935

[2] [2]

Atiyah, I

M. Atiyah, I. G. Macdonald, Introduction to commutative algebra, Addison–Wesley, Reading, MA, 1969. 8

work page 1969

[3] [3]

Banach, Théorie des opérations linéaires, Monografie Matematyczne, vol

S. Banach, Théorie des opérations linéaires, Monografie Matematyczne, vol. 1, Warszawa, 1932. 1

work page 1932

[4] [4]

Bhatia, Positive definite matrices, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, 2007

R. Bhatia, Positive definite matrices, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, 2007. 5

work page 2007

[5] [5]

Borel, F

A. Borel, F. Hirzebruch, Characteristic classes and homogeneous spaces, I, Amer. J. Math. 80(2) (1958) 458–538. 6

work page 1958

[6] [6]

G. Bor, L. Hernández-Lamoneda, V. Jiménez-Desantiago, L. Montejano, On the isometric conjecture of Banach, Geom. Topol. 25(5) (2021) 2621–2642. 2

work page 2021

[7] [7]

Bracho, L

J. Bracho, L. Montejano, On the complex Banach conjecture, J. Convex Anal. 28(4) (2021) 1211–1222. 2

work page 2021

[8] [8]

Dummit, R

D. Dummit, R. Foote, Abstract algebra, 3rd ed., John Wiley & Sons, Hoboken, NJ, 2004. 18

work page 2004