[논문 리뷰] Geometry of generating functions and Lagrangian spectral invariants

Yong‐Geun Oh|arXiv (Cornell University)|2012. 06. 21.

Geometric and Algebraic Topology참고 문헌 28인용 수 7

한 줄 요약

이 논문은 코타angent 번들의 해밀토니안 동역학에서 라그랑주 스펙트럼 불변량의 $C^0$-연속성을 확립하며, 흐름이 항등원에 가까워질수록 $ρ^{\text{lag}}(H;1) - ρ^{\text{lag}}(H;[\text{pt}]^\#)$의 차이가 0이 되도록 한다. 이는 흐름이 내부가 비어 있지 않은 닫힌 부분집합에서 멀리 떨어져 있을 경우에 성립한다. 또한 기본 위상 함수 $f_H$의 특이점을 다루기 위해 새로운 '클리프월 수리' 구조를 도입하여, 라그랑주 플로어 homology를 통해 스펙트럼 불변량을 미세지오메트리와 연결한다.

ABSTRACT

Partially motivated by the study of topological Hamiltonian dynamics, we prove various $C^0$-aspects of the Lagrangian spectral invariants and the basic phase functions $f_H$, that is, a natural graph selector constructed by Lagrangian Floer homology of $H$ (relative to the zero section $o_N$). In particular, we prove that $$ γ^{lag}(ϕ_H^1(o_N)): = ρ^{lag}(H;1) - ρ^{lag}(H;[pt]^\#) o 0 $$ as $ϕ_H^1 o id$, \emph{provided} $H$'s satisfy $\supp X_H \subset D^R(T^*N) \setminus o_B$ for some $R > 0$ and a closed subset $B \subset N$ with nonempty interior. We also study the relationship between $f_H$ and $ρ^{lag}(H;1)$ and prove a structure theorem of the micro-support of the singular locus $\Sing(σ_H)$ of the function $f_H$. Based on this structure theorem and a classification theorem of generic Lagrangian singularity in $\dim N = 2$ obtained by Arnold's school, we define the notion of cliff-wall surgery when $\dim N = 2$: the surgery replaces a multi-valued Lagrangian graph $ϕ_H^1(o_N)$ by a piecewise-smooth Lagrangian cycle that is canonically constructed out of the single valued branch $Σ_H: = \Graph df_H \subset ϕ_H^1(o_N)$ defined on an open dense subset of $N \setminus \Sing(σ_H)$ of codimension 1.

연구 동기 및 목표

• 코타angent 번들에서 해밀토니안 역학의 맥락에서 라그랑주 스펙트럼 불변량의 $C^0$-연속성을 확립하는 것.
• 해밀토니안 동역학에 의해 영점 단면이 이동할 때 관련된 기본 위상 함수 $f_H$의 기하학을 분석하는 것.
• 차원 2에서 다중값 라그랑주 그래프를 단일값 분지 $\operatorname{Graph} df_H$에서 구성된 자연스러운 조각별로 미끄러진 라그랑주 사이클로 변환하는 새로운 수리 연산—'클리프월 수리'—를 정의하고 연구하는 것.
• 비교 정리에 의해 스펙트럼 불변량 $\rho^{\text{lag}}(H;1)$ 이 해밀토니안 흐름의 $C^0$-노름과 관련지어지는 정도를 규명하는 것.

제안 방법

• 라그랑주 플로어 homology를 사용하여 $T^*N$ 내 라그랑주 부분다양체에 대해 스펙트럼 불변량 $\rho^{\text{lag}}(H;\alpha)$를 정의한다.
• 생성 함수를 통한 그래프 선택자로서 기본 위상 함수 $f_H$를 구성하여 영점 단면의 이미지 $\phi_H^1(o_N)$를 코딩한다.
• 파면 $\sigma_H$의 특이점 집합 $\operatorname{Sing}(\sigma_H)$의 미세지지집합을 분석하고, 그의 미세지지집합에 대한 구조 정리를 증명한다.
• 차원 2에서 다중값 부분을 $N \setminus \operatorname{Sing}(\sigma_H)$ 상의 단일값 분지 $\operatorname{Graph} df_H$에서 구성된 표준적인 조각별로 미끄러진 라그랑주 사이클로 대체함으로써 '클리프월 수리'를 정의한다.
• 삼각 부등식과 $L^{(1,\infty)}$-근사 기법을 적용하여 편미분에 의한 스펙트럼 불변량의 제어를 수행한다.
• $C^0$-거리와 진동도 추정을 사용하여 주요 연속성 결과를 증명한다: $\rho^{\text{lag}}(H;1) - \rho^{\text{lag}}(H;[\text{pt}]^\#) \leq 2 \cdot \frac{\operatorname{osc} f}{C_{(f;B,T)}} \cdot \operatorname{osc}_{C^0}(\phi_H^1; o_N)$.

실험 결과

연구 질문

• RQ1 코타angent 번들 $T^*N$ 내 영점 단면의 $C^0$-소형 해밀토니안 동역학에서 라그랑주 스펙트럼 불변량 $\rho^{\text{lag}}(H;1) - \rho^{\text{lag}}(H;[\text{pt}]^\#)$는 어떻게 행동하는가?
• RQ2 기본 위상 함수 $f_H$의 특이점 집합 $\operatorname{Sing}(\sigma_H)$의 기하학적 구조는 무엇이며, 이는 라그랑주 이미지 $\phi_H^1(o_N)$의 위상수학과 어떻게 관련되는가?
• RQ3 차원 $\dim N = 2$일 때, 다중값 라그랑주 그래프에 대해 자연스러운 수리 연산을 정의할 수 있는가? 이는 잘 정의된 라그랑주 사이클을 회복할 수 있는가?
• RQ4 특히 흐름이 $N$의 비자명한 부분집합에서 멀리 떨어져 있을 경우, 스펙트럼 불변량은 $C^0$-노름에 얼마나 잘 제어될 수 있는가?
• RQ5 스펙트럼 불변량 $\rho^{\text{lag}}(H;\alpha)$는 해밀토니안의 복합 및 변형에 대해 어떻게 행동하는가?

주요 결과

• 흐름이 항등원으로 수렴할 때, $\phi_H^1 \to \text{id}$를 만족하고, $\operatorname{supp} X_H \subset D^R(T^*N) \setminus o_B$ 를 만족하는 어떤 $R > 0$ 과 내부가 비어 있지 않은 닫힌 부분집합 $B \subset N$ 가 존재할 경우, 스펙트럼 불변량의 차이 $\rho^{\text{lag}}(H;1) - \rho^{\text{lag}}(H;[\text{pt}]^\#)$ 는 0으로 수렴한다.
• 스펙트럼 불변량 $\rho^{\text{lag}}(H;1)$ 는 $\rho^{\text{lag}}(H\#(f\circ\pi);1) + 2\operatorname{osc} f$ 보다 작거나 같으며, 여기서 $f$ 는 $B$ 에 지지된 함수이다.
• 모든 $H$ 가 지지 조건을 만족할 경우, 부등식 $\rho^{\text{lag}}(H;1) - \rho^{\text{lag}}(H;[\text{pt}]^\#) \leq 2 \cdot \frac{\operatorname{osc} f}{C_{(f;B,T)}} \cdot \operatorname{osc}_{C^0}(\phi_H^1; o_N)$ 이 성립한다.
• 특이점 집합 $\operatorname{Sing}(\sigma_H)$ 의 미세지지집합에 대한 구조 정리가 확립되어, 차원 2에서 '클리프월 수리'의 정의가 가능해졌다.
• 클리프월 수리는 $N \setminus \operatorname{Sing}(\sigma_H)$ 상의 단일값 그래프 $\operatorname{Graph} df_H$ 에서 구성된 자연스러운 조각별로 미끄러진 라그랑주 사이클을 만들며, 이는 $\phi_H^1(o_N)$ 의 다중값 부분을 대체한다.
• 스펙트럼 불변량의 $C^0$-연속성은 $L^{(1,\infty)}$-위상에서의 근사와 라그랑주 플로어 homology 내 삼각 부등식의 응용을 통해 증명되었다.