The completion of the set of Lagrangians and applications to dynamics -- Based on lectures by C. Viterbo

この論文は、2025 年 CIME 学校で C. Viterbo が行った講義に基づき、V. Humilière によって導入され C. Viterbo によって再考されたスペクトル距離に関するラグランジュ部分多様体の完備化の基本的性質（特に$\gamma$-サポートの概念）を確立し、Birkhoff 吸引子の一般化を含む共形シンプレクティック力学系への応用や他の応用・未解決問題について概説するものである。

要約

🎨 1. 物語の舞台：「歪まない空間」と「ゴム紐」

まず、この話の舞台は**「シンプレクティック多様体」という空間です。
これを「ゴムでできた特殊な布」**だと想像してください。

• この布は、引っ張ったり縮めたり（変形）することはできますが、「面積」や「体積」を潰したり増やしたりすることは絶対にできません（これが「シンプレクティック」な性質です）。
• この布の上に、「ラグランジュ部分多様体」という「ゴム紐」（または膜）を置きます。この紐は、布の性質に合わせて「面積をゼロに保ちながら」置かれる特別な紐です。

通常、数学者は「滑らかで、きれいなゴム紐」しか扱いませんでした。しかし、この論文は**「ボロボロになったゴム紐」や「無限に細かく折りたたまれたゴム紐」**まで含めて考えようとしています。

🔍 2. 新しい道具：「スペクトルメーター」と「完成された世界」

これまで、数学者たちは「ゴム紐」の距離を測るのに、**「スペクトルメーター」**という道具を使っていました。

• これは、ゴム紐の形を「音」や「光の波長」のように捉え、その**「固有の値（スペクトル）」**で距離を測る道具です。
• これまで、このメーターで測れるのは「きれいなゴム紐」だけでした。

しかし、著者たちは**「このメーターで測れる距離を使って、ゴム紐の世界を『完成（コンプリート）』させよう」**と考えました。

• アナロジー： 有理数（分数）の世界には「穴」があります（$\sqrt{2}$のような数は分数では表せません）。実数（小数）を作ることで、その穴を埋めて「連続した世界」を作りました。
• これと同じように、きれいなゴム紐の列を近づけ続けると、最後には**「滑らかではない、奇妙な形をした物体」**が現れます。
• この論文は、**「その『完成された世界』に、どんな物体が住んでいるのか」**を調査するものです。

👻 3. 正体不明の住人：「$\gamma$-サポート（$\gamma$-支持）」

完成された世界には、滑らかなゴム紐ではない、**「幽霊のような物体」**が現れます。

• これらは、形がボロボロで、どこまで行っても細かく分岐していたり、空間を埋め尽くしていたりするものです。
• しかし、これらは「何もない空間」ではありません。著者たちは、これらを**「$\gamma$-サポート（$\gamma$-サポート）」**と呼びました。
• イメージ： 風で舞う砂の粒子の集まり。個々の砂粒（滑らかな紐）は見えませんが、その集まりが作る「かたまり」の輪郭（サポート）だけは、特殊なメーターで検知できます。
• この論文の重要な発見は、**「この幽霊のようなかたまりは、実は『$\gamma$-コイソトロピック』という特別な性質を持っている」**ということです。
  • これはつまり、**「このかたまりを動かそうとすると、ある一定以上の『エネルギー』が必要になる」**という意味です。どんなに小さな力でも、このかたまりをずらすことはできません。これは、物理的な「剛体」のような性質を持っています。

🌪️ 4. 応用：「バークホフ・アトラクター（引き寄せられる中心）」

この新しい道具を使って、**「摩擦がある世界（コンフォーマル・シンプレクティック・ダイナミクス）」**の動きを分析しました。

• シチュエーション： 摩擦があるため、エネルギーが失われていく世界（例：振り子がゆっくりと止まっていく現象）。
• 古典的な問題： 摩擦がある場合、物体はどこに落ち着くのでしょうか？古典的な「アトラクター（引き寄せられる点や線）」の定義では、複雑すぎる形（「不可分連続体」と呼ばれる、糸が絡まり尽くしたような形）を正確に捉えきれませんでした。

新しい発見：
著者たちは、この「完成された世界」にある**「$\gamma$-サポート」こそが、本当の「バークホフ・アトラクター」**だと証明しました。

• イメージ： 摩擦のある部屋で、風船を放り投げると、最終的に壁の特定の場所にたどり着きます。その「たどり着く場所」は、単なる点ではなく、**「風が止まるための、複雑で分厚い『壁』のような構造」**だったのです。
• この論文は、**「その『壁』の正体が、実は『滑らかではないが、エネルギー的に安定した幽霊のような物体』である」**と突き止めました。
• さらに、2次元（円筒）の世界では、この新しいアトラクターが従来のものと一致すること、そして高次元の世界でもこの概念が使えることを示しました。

💡 5. まとめ：なぜこれが重要なのか？

この論文は、以下のようなことを教えてくれます。

1. 見えないものが見えるようになった： 数学的な「距離の概念」を拡張することで、これまで「存在しない」と思われていた、複雑怪奇な形の物体（$\gamma$-サポート）を定義し、研究できるようになりました。
2. 物理的な安定性の発見： これらの複雑な物体は、実は「動かすのにエネルギーが必要」という、非常に頑丈な性質を持っていることがわかりました。
3. 未来への扉： この新しい視点を使えば、摩擦がある物理現象（気象、経済モデル、量子力学など）において、**「最終的に何が起きるのか」**を、より深く、より正確に理解できるようになる可能性があります。

一言で言えば：
「きれいな図形しか扱えなかった数学が、『ボロボロで複雑な形』まで含めて捉える新しいメガネを手に入れたことで、『摩擦のある世界』の隠れた法則を解き明かすことに成功した」という物語です。

技術概要

1. 問題設定 (Problem)

シンプレクティック多様体 $(M, \omega)$ におけるラグランジュ部分多様体の空間は、ハミルトニアン微分同写像（Hamiltonian diffeomorphisms）の作用の下で研究されます。特に、余接束 $T^*N$ のゼロ切断にハミルトニアンの等長変形（Hamiltonian isotopy）で接続されるラグランジュ部分多様体の集合 $L_0(T^*N)$ は、スペクトル距離（spectral metric） $\gamma$ および $c$ によって距離空間を構成します。

しかし、この距離空間は完備（complete）ではありません。つまり、ラグランジュ部分多様体の列が距離収束しても、その極限が滑らかなラグランジュ部分多様体として存在するとは限りません。
V. Humilière はこの完備化 $\widehat{L}_0(T^*N)$ を導入しましたが、その極限要素の幾何学的な性質（特に、それがどのような集合に対応するか）は不明瞭でした。また、この完備化された空間を用いて、共形シンプレクティック（Conformally Symplectic, CS） な力学系（摩擦や減衰を含む系）におけるアトラクターをどのように定義・記述するかという問題も残されていました。

2. 手法と理論的枠組み (Methodology)

この論文では、以下の数学的ツールと概念を統合してアプローチしています。

• 生成関数と GFQI (Generating Functions Quadratic at Infinity):
  ラグランジュ部分多様体を記述するために、無限遠で二次型になる生成関数（GFQI）を使用します。これにより、ラグランジュ部分多様体の交点や位相的性質を、関数の臨界点の理論（Lusternik-Schnirelmann 理論）を通じて解析できます。
• スペクトル不変量 (Spectral Invariants):
  GFQI から導かれる臨界値（スペクトル不変量）$c(\alpha, L)$ を定義します。これらはハミルトニアン微分同写像に対して不変であり、ラグランジュ部分多様体間の距離 $\gamma$ や $c$ を定義する基礎となります。
• $\gamma$-サポート ($\gamma$-support) の導入:
  Humilière の完備化された空間 $\widehat{L}_0(T^*N)$ の要素（抽象的な極限点）に対して、幾何学的な「サポート」を定義します。
  • 点 $z$ が $\gamma$-サポートに含まれるとは、$z$ の任意の近傍で支えられたハミルトニアン微分同写像 $\phi$ に対して、$\gamma(L, \phi(L)) > 0$ となるものが存在する、という性質で定義されます。
  • これにより、完備化された要素が「どこに存在するか」を記述する幾何学的対象として $\gamma$-サポートを捉えます。
• $\gamma$-コイソトロピー ($\gamma$-coisotropy):
  従来のコイソトロピー部分多様体の概念を一般化し、$\gamma$-サポートが持つべき性質として「$\gamma$-コイソトロピー」を定義します。これは、小さな領域から集合を移動させるために必要な最小のエネルギー（$\gamma$-ノルム）が正であるという性質です。
• 共形シンプレクティック力学系への適用:
  共形比 $a \in (0, 1)$ を持つ写像 $\psi$ に対し、完備化された空間 $\widehat{L}_0(T^*N)$ 上で $\psi$ が縮小写像として作用することを利用し、バナッハの不動点定理によって不動点（極限ラグランジュ部分多様体）の存在を示します。

3. 主要な貢献と結果 (Key Contributions and Results)

A. 完備化空間と $\gamma$-サポートの性質

1. 完備化の定義:
   距離空間 $(L_0(T^*N), \gamma)$ と $(L_0(T^*N), c)$ の完備化 $\widehat{L}_0(T^*N)$ と $\widehat{L}_0(T^*N)$ を厳密に定義し、ハミルトニアン微分同写像群がこれら上で等長変換として作用することを示しました。
2. $\gamma$-サポートの存在と性質:
   • 完備化された任意の要素 $L$ に対して、その $\gamma$-サポート $\gamma\text{-supp}(L)$ が定義可能であることを示しました。
   • $\gamma$-サポートは $\gamma$-コイソトロピーであることを証明しました（Proposition 4.11）。これは、滑らかなコイソトロピー部分多様体の概念を、滑らかでない（あるいは分岐した）極限集合に拡張する重要な結果です。
   • $\gamma$-サポートは空集合ではなく、特に $L$ がコンパクトなサポートを持つ場合、そのハウスドルフ次元は $n$ 以上であることが示唆されます。
3. Peano ラグランジュ部分多様体:
   $\gamma$-サポートが通常の多様体よりも複雑な構造（例：$n$ 次元の立方体を含むなど）を持つ可能性を示し、そのサイズに関する未解決問題（Peano Lagrangians）を提起しました。

B. 一般化された Birkhoff アトラクター

1. 定義の拡張:
   円筒 $T^*S$ 上の古典的な Birkhoff アトラクターの概念を、高次元の余接束 $T^*N$ 上の共形シンプレクティック写像 $\psi$ に対して拡張しました。
   • $\psi$ の完備化空間上の不動点 $L_\infty$ を定義し、その $\gamma$-サポートを一般化された Birkhoff アトラクター $B_\infty(\psi) := \gamma\text{-supp}(L_\infty)$ と定義しました。
2. 古典的ケースとの一致:
   次元 $N=S^1$（円筒）の場合、この新しい定義 $B_\infty(\psi)$ が、従来の Birkhoff アトラクター $B(\psi)$ と一致することを証明しました（Theorem 5.10）。
3. 位相的・代数的性質:
   • $B_\infty(\psi)$ はコンパクト、閉集合、$\psi$-不変、かつ $\gamma$-コイソトロピーです。
   • 射影 $\pi: B_\infty(\psi) \to N$ によって誘導されるコホモロジー写像 $\pi^*: H^*(N) \to H^*(B_\infty(\psi))$ は単射であることを示しました（Theorem 5.11）。これは、アトラクターが基底多様体の位相的構造を「保持」していることを意味します。

C. その他の応用と考察

• Nearby Lagrangian 予想との関係:
  完備化された空間 $\widehat{DHam}(T^*N)$ における作用が推移的であることを示し、Nearby Lagrangian 予想の弱形式を証明しました。
• ハミルトン・ヤコビ方程式への応用:
  割引ハミルトン・ヤコビ方程式の粘性解のグラフが、一般化された Birkhoff アトラクターに含まれることを示唆しました。

4. 意義と将来性 (Significance)

この論文の意義は以下の点に集約されます。

1. 非滑らかな極限の幾何学的理解:
   ラグランジュ部分多様体の空間の完備化が単なる抽象的な数学的対象ではなく、$\gamma$-サポートという具体的な幾何学的実体（$\gamma$-コイソトロピー集合）を持つことを示しました。これにより、シンプレクティック位相幾何学の手法を、滑らかでない極限集合やカオス的な力学系のアトラクターに適用する道が開かれました。
2. 高次元力学系への新たな視点:
   2 次元（円筒）でよく知られていた Birkhoff アトラクターの理論を、高次元の共形シンプレクティック系へ一般化しました。これは、摩擦や減衰を含む物理系におけるアトラクターの構造を、シンプレクティック不変量を用いて記述する強力な枠組みを提供します。
3. 未解決問題の提示:
   $\gamma$-サポートのハウスドルフ次元の上限、その連結性、および同一のサポートを持つ異なるラグランジュ部分多様体の数など、多くの未解決問題を提起し、今後の研究の方向性を示唆しています。

総じて、この論文はシンプレクティック幾何学の「スペクトル理論」と「力学系」を結びつけ、完備化された空間の構造を解明することで、従来の手法では扱えなかった複雑な力学系のアトラクターを記述する新しいパラダイムを確立した点で画期的です。