A remark on Banecki's theorem

数学の世界を、単なる数字の集まりとしてではなく、広大で目に見えない形の風景として想像してみてください。これらの形の中には、磨かれた大理石の球体のように滑らかで途切れのないものもあれば、ギザギザしていたり、裂けていたりするものもあります。代数幾何学と呼ばれる数学の一分野では、研究者たちは方程式を用いてこれらの形を研究しています。彼らが投げかける最も魅力的な問いの一つは、「連結性」と「柔軟性」についてです。ある形の上の任意の点から別の点へ、どこにも行き詰まることなく移動できるでしょうか？その形を特定のやり方で引き伸ばしたり曲げたりして、その表面全体を覆うことができるでしょうか？

これに答えるために、数学者たちは「スプレー（噴霧）」という概念を用います。スプレーを、特定の場所に接続された魔法の庭用ホースのようなものだと考えてみてください。もしスイッチを入れれば、それは水の流れ（数学的な経路）を放出し、近くにある形のあらゆる隅々にまで到達することができます。もし形が「ドミナント・スプレー（支配的なスプレー）」を持っているなら、それは驚くほど柔軟であることを意味します。つまり、どの出発点からも自由に、かつ滑らかにナビゲートできるのです。「グロモフ・エリプティシティ（グロモフの楕円性）」として知られるこの概念は、形の柔軟性に対する高度な承認印のようなものです。これからあなたが読む論文は、「有理多様体」と呼ばれる特定の種類の形を取り上げています。これらは、ある意味で、平らな平面へと破ることなく押し広げることができる、シンプルで伸縮自在なゴムで作られた形のようなものです。長い間、数学者たちは、もしこれらの形が「射影的（projective）」（特定の、整然とした閉じ方）であれば、それらは柔軟であることを知っていました。しかし、もしそれらが単に「完備（complete）」（閉じられてはいるが、より無秩序な閉じ方）であったとしたらどうでしょうか？それが、この論文が解き明かす謎です。

著者であるSh. Kalimanは、J. Baneckiという数学者による最近の発見を取り上げ、それに強力なアップグレードを与えています。Baneckiは、すべての滑らかな射影的有理多様体が柔軟（楕円的）であることをすでに証明していました。しかし、形のات世界は、単に整然とした射影的なものだけではありません。Kalimanの論文は、Baneckiの論理が、閉じ方がどれほど無秩序であっても、あらゆる滑らかな完備的有理多様体に対して実際に機能することを示しています。論文は、もし形が滑らかで、完備で、かつ有理的であれば、それは必ずグロモフ・エリプティシティを持つことを証明しています。言い換えれば、これらの形は、あの魔法の庭用ホースの数学的等価物を用いて、自由にナビゲートできるほど常に十分に柔軟なのです。

この結論に達するために、著者は単にBaneckiの手順を繰り返すのではありません。彼らは、道具箱に巧妙な新しい道具を追加します。彼らは、「チャウの補題（Chow lemma）」と呼ばれる古い規則の「洗練された」バージョンを使用しています。あなたが、直接研究するのが難しい、複雑に絡まった形を持っていると想像してください。この新しい規則は、あなたが関心を持っている領域において元の形と全く同じに見える、少し異なる、よりクリーンなバージョン（「射影的」なバージョン）を構築できると述べています。一度このクリーンなバージョンを手に入れれば、Baneckの既存の証明を用いて、それが柔軟であることを示すことができます。そして、「埋め込み（embeddings）」（これは、小さな柔軟なピースが大きなピースの中に完璧に収まるならば、大きなピースもその柔軟性を継承するということを示すようなものです）を用いたちょっとした数学的なトリックを用いることで、著者は元の無秩序な形もまた柔軟であることを証明します。

この論文はその結果に対して非常に確信を持っています。それは単に結果を示唆したりシミュレーションしたりするのではなく、厳密な数学的証明を提供しています。著者は、形が柔軟であるために「射影的」である必要があるという考えを明確に否定しており、「完備」という条件だけで十分であることを示しています。また、著者はこれが「退縮有理（retract rational）」（平らな空間から壊れることなく引き戻すことができる、という凝った言い方）な形に特に関連していることを明確にしています。すべての有理多様体はこの記述に当てはまるため、結論はすべての有理多様体に成立します。Baneckiの射影的な形に関する研究と、完備な形へのこの新しい「洗練された」架け橋を組み合わせることで、この論文は、かつてグロモフ自身が問いかけた疑問に答えています。すなわち、「すべての滑らかな完備的有理多様体は、確かにグロモフの意味において楕円的である」ということです。これは、数学の宇宙の柔軟性をマッピングする上での、小さくも重要な一歩であり、これらの特定の形が常にあらゆる角度から探索される準備ができていることを裏付けています。