[論文レビュー] Approximability for Lagrangian submanifolds

Giovanni Ambrosioni, Paul Biran+1 more|arXiv (Cornell University)|Jan 18, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

本論文は計量空間に対する分類的（度量）近似性を導入し、スペクトル計量を用いたいくつかのリガンジアン部分多様体クラスが三角化 persists Fukaya-カテゴリ設定で近似可能であることを証明する。また、これらの空間は全有界でなく得られる幾何学的帰結も導出する。

ABSTRACT

This paper introduces a notion of categorical approximability for metric spaces that can be viewed as a categorification of approximability for metric groups, as defined by Turing in 1938. Approximability as introduced here is a property of metric spaces that is more general than precompactness. It is shown that several classes of Lagrangian submanifolds - closed Lagrangian submanifolds in a cotangent disk bundle; equators on the sphere; weakly exact Lagrangians on the torus-endowed with the spectral metric are approximable in this sense. Among other geometric applications, we show that there are such examples of spaces of Lagrangians that are approximable but are not precompact.

研究の動機と目的

• 計量空間に対する分類的メトリック近似性を定義し、それを三角化 persistence カテゴリと関連づける。
• シンプレクティック幾何学における主要なリガンジアンクラスの近似可能性を、フィルタ付き/Fukaya-カテゴリ的手法を用いて確立する。
• 近似可能性を支える persistence ベースの Abouzaid の分割生成原理と Hochschild 理論の派生を開発する。
• 非全体有界性などの幾何学的帰結を導出し、Gromov 幅と複雑さへの示唆を得る。
• シンプレクティック刚性を分類的複雑性概念と結ぶ枠組みを提供する。

提案手法

• 三角化カテゴリー内における分類的メトリック ε-近似可能空間の概念を導入・形式化する。
• 三角化 persistence カテゴリ（TPC）と Fukaya カテゴリの TPC 精緻化を用いて ε-近似族を実現する。
• Giroux の Lefschetz fibration 構成と Morse 関数 tech を用いて cotangent bundle における ε-近似を生成する。
• Abouzaid の分裂原理、 Hochschild（co）homology、開-閉写像の persistence 版を開発する。
• ε-複雑さ指標（cone-length、加重エントロピー）を ε-近似族に結びつけて定義・利用する。
• 近似可能性を compacity と persistence 論拠を介して Gromov 幅および幾何密度の結果と結びつける。

実験結果

リサーチクエスチョン

• RQ1 幾何学的シンプレクティック幾何学に関連するメトリック近似可能性の堅牢な分類的概念とは何か？
• RQ2 スペクトル計量の下でどの自然なリガンジアンクラスが TPC（三角化 persistence カテゴリ）近似可能性を満たすか？
• RQ3 persistence Fukaya カテゴリやフィルタ付き A∞-カテゴリをどのように活用して近似可能性を証明するか？
• RQ4 リガンジアンの空間に対する近似可能性の幾何学的影響（非全体有界性、Gromov 幅の上界など）はどうなるか？
• RQ5 Floer 理論的文脈における cone-length やエントロピーなどの複雑さ指標と近似可能性はどう結びつくか？

主な発見

• 単位 cotangent ディスク束における閉じた正確なリガンジアンは TPC 近似可能。
• S^2 の赤道は TPC レトラクt近似可能。
• T^2 上の非収束可能リガンジアンは TPC レトラクト近似可能。
• スペクトル計量を持つリガンジアン空間は、いくつかの自然な場合に全有界でない。
• 近似可能性は近似族に対する Gromov 幅の上界を与え、Floer/persistence バーコードおよびエントロピー概念と結びつく。
• この枠組みは ε-近似族を通じてリガンジアンの複雑さを測定・制限する方法を提供する。