バナッハの「等距離」予想が実数の場合で完結:奇数次元の未解決例を解決
簡単にいうと、ある次元 n のすべての部分空間が互いに線形で等距離(等長)ならば、その元の空間はヒルベルト空間(内積で測られる特別な空間)である、という1932年のバナッハの問いに対し、本論文は実数係数の立場で残されていた奇数 n のすべての場合を解決しました。これにより、偶数 n でのグロモフの結果と合わせて、実数の場合の問題が完全に解決されたと述べられています。著者は呂欣宝(Xinbao Lu)と楊開文(Kaiwen Yang)です。論文は位相的な主束の道具とブラウワー次数(Brouwer degree)理論を組み合わせて証明を構成しています。
バナッハの問題の中身は次の通りです。実数あるいは複素数のバナッハ空間 X に対して、ある固定の整数 n(1<n<dim X)について X のすべての n 次元線形部分空間が互いに線形等距離であれば、X は必ずヒルベルト空間か、というものです。ヒルベルト空間ならばノルムは内積から来るので多くの計算や幾何が単純化します。これまでに n=2 や偶数 n の場合、さらにいくつかの奇数次元の例で正の答えが知られていましたが、一般の奇数 n の場合は未解決でした。本稿はその最後の山を乗り越えます。有限次元の言葉に言い換えると、原点対称な凸体のすべての中心的な n 次元断面が互いに線形同型ならば、その凸体は楕円体(すなわち内積に対応する単位球)である、という主張です。
研究者たちは議論を高次元から「コーディメンジョン1(余次元1)」の場合に還元し、さらにモデルとなる断面 S を固定して考えます。S から各断面への正確な線形写像全体は主束(principal bundle)をなします。ここでの主束の構造群を縮小すると、その束の分類クラスは位相的なホモトピー群 π_{n-1} の元として現れます。奇数 n の場合、そのホモトピー群が有限であるため(本文で示される理由による)、適切な自己写像 φ: S^n → S^n(球から球への写像)で束のクラスを打ち消すことができます。これにより、局所的にしか存在しなかった「断面の正確な等長写像」の全体を球上で一つの連続な(さらにリプシッツの)族 A_z にグローバル化できます(論文の定理 3.10 に対応する構成)。
次にブラウワー次数の考え方を使って代数的な情報を引き出します。任意の非零ベクトル y について、正確性(exactness)は A_z y が凸体の境界のあるスケール倍の点に乗ることを意味します。また A_z y が φ(z) に直交する点であるとき、z ↦ A_z y / |A_z y| は球から球への写像になり、その次数は deg φ に一致します。球写像の次数についての符号付き積分公式(signed degree formula)を使うと、モデル断面 S に関するモーメント(平均的な二次・高次テンソルに相当する量)について多項式的な同一性が得られます。これらの恒等式を j=0 および j=1 の場合に用いると、S に対応するノルムが二次形式(つまり二次多項式)であることが示され、したがって S は楕円体となります。これが凸体 K が楕円体であること、そして元のバナッハ空間がヒルベルト空間であることを結論づけます。
この結果の意義は明白です。長く残されたバナッハの等距離予想の実数版が、位相と次数理論を巧妙に組み合わせることで完全に解決された点です。注意点として、今回の主張は実数係数のバナッハ空間に関するものであり、複素係数の場合や証明の詳細は従来の別の扱いが必要です。また証明は主束やホモトピー、次数の扱いなど高度な位相的議論に依るため技術的です。論文中では過去の部分的解決や関連結果(グロモフの偶数次元の場合やいくつかの奇数次元の既知の事例)とも照合しており、有限次元や無限次元の既知の結果との関係も整理されています。