$L^p$ cohomology and Hodge decomposition for ALE manifolds

あなたは、無限に広がる平坦な平原の上に立っていると想像してください。それはあらゆる方向に永遠に続く、数学では「ユークリッド空間」と呼ばれるものです。これは、私たちの基本的な幾何学の授業の舞台となります。しかし、もし足元の地面が完全に平らではなかったらどうでしょう？ もし遠く離れた場所で、風景が平坦な平原をいくつか貼り合わせたような形になり、そこにいくつかのねじれや曲がり角があったとしたら？ これは「多様体（マニフォールド）」と呼ばれる世界の姿です。多様体とは、近くで見れば平らに見えるものの、遠くでは複雑に曲がったり繋がったりしている形状のことです。

これらの形状を理解するために、数学者は「形式（フォーム）」と呼ばれる道具を使います。形式とは、その形状の上の面積、体積、あるいは流れなどを測定する方法だと考えてください。時として、これらの形式はうねったり変化したりすることもありますが、「調和的（ハーモニック）」な形式と呼ばれる特別なものがあり、それらは完璧にバランスが取れており、全く変化しません。これらは、形状そのもののユニークな「指紋」として機能します。長い間、数学者たちは、非常に特定された標準的な方法（$L^2$と呼ばれます）で測定すれば、これらの指紋を数えることができることを知っていました。しかし、もし測定方法を変えたらどうなるでしょうか？ もしゲームのルールを変えたらどうなるのでしょうか？ 本論文は、まさにその問いを掘り下げ、測定方法を変えたときに、これらの数学的な指紋がどのように振る舞うのか、特に遠方で平坦な平原のように見える形状において、その性質を調査しています。

形を変えるパズル

この論文の著者であるバティスト・デヴィヴェールとクラウス・クロンケは、「ALE多様体（漸近的に局所ユークリッド的な多様体）」と呼ばれる特定の種類の形状を研究しています。ALE多様体は、有限の島のようなものだと想像してください。そこから遠くへ旅を進めていくと、次第に平坦で無限の平原に似た姿になっていきます。しかし、単一の平原とは異なり、この形状には、無限へと続く出口（エンド）が複数存在する場合があります。まるで、複数の車線を持つ高速道路が異なる方向へと分岐していくようなイメージです。

彼らが取り組んでいる大きな問いは、「$L^p$コホモロジー」についてです。平易な言葉で言えば、「コホモロジー」とは、形状にある穴やループを数える方法です。「$L^p$」の部分は、形式の大きさを測るために使用される特定の数学的な「定規」を指します。長い間、数学者には完璧な定規（$L^2$）があり、それが美しい結果を与え、これらの調和的形式の数を明確に示してきました。しかし、他の定規（$p$が2ではない$L^p$）を用いた場合、景色はぼやけてしまいました。これらの特別な形式の数が、使用する定規によって変わるのか、それとも変わらないのかは不明でした。

発見：カウントが一定であるとき（そして跳ね上がる時）

この論文は、驚くべき精密な結果を証明しています。すなわち、これらの調和的形式の数は、通常は変わりませんが、時には跳ね上がります。

以下に、彼らの発見の内訳を示します。

1. 安定領域： ほとんどの種類の形式（具体的には、$n$を全次元数としたとき、1次元または$(n-1)$次元ではないもの）については、調和的形式のカウントは使用される定規に依存しません。標準的な定規を使おうと、異なる定規を使おうと、指紋の数は一定です。これは、湖にある島の数を数えるようなものです。衛星を使って数えようと、ボートを使って数えようと、島の数は変わりません。

2. 跳ね上がる領域： 問題が発生するのは、1次の形式（流れのようなもの）と$(n-1)$次の形式（カットのようなもの）です。ここで、カウントは二つの要素、つまり使用する定規（$p$）と、形状が持つ「出口（エンド）」の数（$N$）に依存します。

   • 形状に一つの出口（無限への出口が一つ）しかない場合、カウントは安定領域と同様に安定しています。
   • 形状に二つ以上の出口がある場合、カウントは定規に基づいて変化します。
     • 「標準的な」定規（$p$が$n/(n-1)$から$n$の間にある場合）を使用すると、カウントは標準的な$L^2$のカウントと同じになります。
     • しかし、「重い」定規（$p \ge n$の場合）を使用すると、調和的形式の数は減少します。具体的には、これらの形式の空間の次元は、正確に $N - 1$ だけ減少します。

アナロジー： 3つの出口（エンド）を持つ形状を想像してください。標準的なカウントでは、5つの特別な形式が存在するとします。もし「重い」定規に切り替えると、カウントは $5 - (3 - 1) = 3$ に減少します。論文は、新しい、より厳しい測定ルールに適合しないために、それらの形式のうち正確に2つがリストから「消えてしまう」のだと証明しています。

ホッジ分解：分解すること

この論文は、ホッジ分解と呼ばれる関連する問題にも取り組んでいます。複雑な形状（形式）を、以下の3つの成分の混合物と考えてください。

1. 完全部分（Exact parts）： 源泉から来るもの（蛇口から流れる水のようなもの）。
2. 余完全部分（Co-exact parts）： 渦巻くもの（渦潮のようなもの）。
3. 調和部分（Harmonic parts）： バランスの取れた定常状態（穏やかな湖のようなもの）。

ホッジ分解定理は、あらゆる形状をこれら3つの明確な成分に常に分離できることを示しています。標準的な定規（$L^2$）においては、これはあらゆる完備な形状において完璧に機能します。しかし、他の定規（$L^p$）については、この分離が時として失敗することを著者らは発見しました。

彼らは、この分離がいつ機能し、いつ失敗するかを正確に突き止めました。

• ほとんどの次元と定規のタイプにおいては、完璧に機能します。
• 「跳ね上がる領域」（1次および$(n-1)$次）において、定規が重すぎる（$p \ge n$）かつ複数の出口がある場合に、分離は失敗します。
• 解決策： 完全な分離が失敗する場合、代わりに機能する「修正された」バージョンが存在することを発見しました。完全な調和的形式のセットを分離する代わりに、わずかに小さなセットを分離します。この修正された分解は、依然として形状を分解する有効な方法ですが、単に「穏やかな湖」という成分の定義が異なるだけです。

なぜこれが重要なのか

この研究は、長い間未解決であったパズルを解いたという点で重要です。以前は、数学者たちは標準的な定規についてはこれらの形式を数える方法を知っていましたが、そのカウントが形状の根本的な性質なのか、それとも単に使用している特定の定規による副産物なのかを知りませんでした。

著者らは、ほとんどの場合において、そのカウントは確かに根本的な性質であることを証明しました。しかし、複数の出口を持つ形状における1次形式および$(n-1)$次形式については、カウントはどのように測定するかによって敏感に変化します。彼らは単に推測したのではなく、「重み付きソボレフ空間」（無限遠へ向かうにつれて事象がどれほど速く減衰するかを測る方法）や「フレドム特性」（方程式が解を持つことを保証する方法）といった高度なツールを用いて、厳密な数学的証明を行いました。

また、彼らの手法は従来の手法よりも直接的であることを示しました。他の研究者たちは、「リースの変換（Riesz transforms）」（複雑な種類の数学的操作）を見ることでこの問題を解決しようと試みましたが、著者らは、より複雑な中間ステップに頼ることなく、形式に関する結果を直接証明する方法を見出しました。実際、彼らの形式に関する結果は、リースの変換に関する新しい事実を証明することを可能にしており、これら二つの問題が深く結びついていることを示しています。

結論

簡単に言えば、デヴィヴェールとクロンケは、複雑で無限の形状における「定常状態」を数えるためのルールを明らかにしました。彼らは、カウントは通常は安定しているものの、特定のシナリオにおいては、その数を見るための「レンズ」に依存するということを示しました。もし形状に複数の出口があり、特定の種類のレンズを通して見た場合、それらの定常状態の一部は見えなくなります。この発見は、これらの形状の幾何学を明らかにするだけでなく、以前は分析がはるかに困難であった関連する数学的操作を理解するための、より単純な新しい方法を提供します。

この論文は、一つの扉をわずかに開けたままにしています。彼らは、これらの結果を2次元の形状（平面のようなもの）に対して証明することはできなかったと明記しています。彼らは、これらの知見を2次元の形状に拡張することは、将来の数学者たちのための未解決問題であると述べています。しかし、3次元以上のすべての形状において、 $L^p$ コホモロジーの謎は今、解明されました。