The Complex Banach Isometric Conjecture

Abstract

Banach asked whether a normed space must be Hilbert if, for one fixed dimension greater than one, all subspaces of that dimension are linearly isometric. We prove the complex case. By the codimension-one reduction, the essential finite-dimensional problem is to characterize a balanced convex body in a complex $(n+1)$-space whose complex hyperplane sections are all complex-linearly equivalent. We show that such a body is a Hermitian ellipsoid. The proof adapts the recent bundle--degree method of Lu and Yang for the real problem, with two features specific to the complex setting. After covariance normalization, write $G=\operatorname{Aut}{\mathbb C}(S)$ for the complex-linear symmetry group of a model section $S$. The exact section maps form a principal $G$-bundle over $S^{2n+1}$; reduction to $G^{\circ}$ places its obstruction in $π{2n}(G^{\circ})$, which is finite. Pulling back by a suitable positive-degree self-map trivializes this bundle and yields a global Lipschitz family of exact complex-linear section maps. Brouwer degree and a signed degree formula then imply that $p_S^{2n+2}$ and $p_S^{2n+4}$ are real homogeneous polynomials, where $p_S$ is the norm of a model section. Unique factorization forces $p_S^2$ to be quadratic, and phase invariance makes the resulting quadratic form Hermitian. The parallelogram identity then yields the general complex Banach-space statement.