[논문 리뷰] Approximability for Lagrangian submanifolds

Giovanni Ambrosioni, Paul Biran외 1명|arXiv (Cornell University)|2026. 01. 18.

Homotopy and Cohomology in Algebraic Topology인용 수 0

한 줄 요약

논문은 메트릭 공간에 대한 범주형(메트릭) 근사가능성을 도입하고, 스펙트럼 메트릭으로 여러 Lagrangian 부분다양체 클래스가 삼각화된 지속 Fukaya-카테고리 설정에서 근사 가능하다는 것을 증명한다. 또한 이 공간들이 반드시 총제한(bound)될 필요가 없고 기하학적 결과를 도출한다.

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.

연구 동기 및 목표

• Metric spaces에 대한 범주적 메트릭 근사가능성 정의 및 이를 삼각화 지속 카테고리와 연관지음.
• Filtered/Fukaya-카테고리 도구를 사용하여 대칭 기하학의 핵심 Lagrangian 클래스에 대한 근사 가능성 확립.
• Persistence 기반의 Abouzaid의 분리 생성 원리와 Hochschild 이론을 발전시켜 근사 가능성 결과를 지원.
• 비총제한성 및 Gromov 너비와 복잡성에 대한 기하학적 결과 도출.
• 대칭성 강직성(symplectic rigidity)과 범주적 복잡성 개념 간 연결 프레임워크 제공

제안 방법

• 삼각 카테고리(D) 내에서 범주적으로 메트릭 ε-근사 가능 공간의 개념을 도입하고 형식화한다.
• Triangulated persistence categories(TPC)와 Fukaya 카테고리의 TPC 개량을 활용하여 ε-근사화 가족을 구현한다.
• Giroux의 Lefschetz 섬김 구성과 Morse 함수 기법을 적용하여 cotangent 번들에서 ε-근사화를 생성한다.
• Abouzaid의 분할 원리, Hochschild(공)동일성, 오픈-클로즈드 맵의 지속 버전을 개발한다.
• TPC-근사화 가족과 결부된 ε-복잡성 척도(cone-length, 가중 엔트로피)를 정의하고 활용한다.
• ε-근사가능성을 Gromov 너비 및 기하학적 밀도 결과와의 관계를 통해 컴팩시티와 지속성 논증으로 연결한다.

실험 결과

연구 질문

• RQ1 Symplectic 기하학과 관련된 메트릭 공간에 대한 견고한 범주적 메트릭 근사성의 정의는 무엇인가?
• RQ2 스펙트럼 메트릭 하에서 어떤 자연스러운 Lagrangian 클래스가 TPC(triangulated persistence category) 근사화가 가능한가?
• RQ3 지속 Fukaya 카테고리와 필터링된 A∞-카테고리를 어떻게 활용하여 근사 가능성을 증명할 수 있는가?
• RQ4 Lagrangian 공간의 근사 가능성의 기하학적 함의(예: 비총제한성, Gromov 너비의 한계)는 무엇인가?
• RQ5 Floer 이론 맥락에서 cone-length와 엔트로피와 같은 복잡도 측정과 근사 가능성의 연관성은 무엇인가?

주요 결과

• 유닛 cotangent 디스크 번들에 있는 닫힌, 정확한 Lagrangian은 TPC 근사 가능하다.
• S^2의 적도는 TPC 리트랙트 근사 가능하다.
• T^2에서의 비축약 Lagrangian은 TPC 리트랙트 근사 가능하다.
• Spectral metric을 갖는 Lagrangian 공간은 여러 자연스러운 경우에 총제한(bound)되지 않는다.
• 근사 가능성은 근사화 가족에 대한 Gromov 너비의 상한을 제시하고 Floer/지속 바코드 및 엔트로피 개념과의 연관성을 제공한다.
• 해당 프레임워크는 ε-근사화 가족을 통한 Lagrangian의 복잡도 측정 및 상한 제시 방법을 제공한다.