[논문 리뷰] Quilted Floer trajectories with constant components

Katrin Wehrheim, Chris Woodward|arXiv (Cornell University)|2011. 01. 19.

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

한 줄 요약

이 논문은 일정 성분을 가진 쿠illet Floer 궤적에 대한 횡단성 증명을 완성하기 위해 일반적인 분할 해밀턴 편향을 도입하여 이러한 궤적의 모듈리 공간의 정칙성을 보장한다. 일반적인 분할 거의 복소構조와 해밀턴 편향을 선택할 경우, 어떤 인덱스이든 상관없이 일정 성분을 포함하는 쿠illet Floer 궤적의 모듈리 공간은 매끄럽고 기대하는 차원을 가지며, 이는 일부 성분이 일정일 경우에도 성립한다.

ABSTRACT

We fill a gap in the proof of the transversality result for quilted Floer trajectories in arXiv:0905.1370 by addressing trajectories for which some but not all components are constant. Namely we show that for generic sets of split Hamiltonian perturbations and split almost complex structures, the moduli spaces of parametrized quilted Floer trajectories of a given index are smooth of expected dimension. An additional benefit of the generic split Hamiltonian perturbations is that they perturb the given cyclic Lagrangian correspondence such that any geometric composition of its factors is transverse and hence immersed.

연구 동기 및 목표

• 논문 [6]에서 쿠illet Floer 궤적에 대한 횡단성 증명의 간극을 메우기 위해, 일부 성분만 일정한 궤적에 대해 전개한다.
• 일반적인 분할 편향 데이터를 사용할 경우, 이러한 궤적의 모듈리 공간이 매끄럽고 기대하는 차원을 가짐을 확립한다.
• 일반적인 분할 해밀턴 편향이 라그랑주 상응관계의 기하적 합성에 대한 횡단성을 보장함을 보인다.
• 쿠illet 궤적에서 일정 성분이 국소화된 기하적 합성과 대응함을 보이며, 이를 통해 귀납적 정칙성 증명을 가능하게 한다.
• 정칙 거의 복소構조의 집합이 분할 거의 복소構조 공간에서 Comeagre임을 증명하여 일반적인 정칙성을 보장한다.

제안 방법

• 분할 해밀턴 편향 공간 $\mathcal{H}_{t}(\underline{\delta})$ 내에서 기하적 합성의 횡단성과 임베딩을 보장하는 조건을 만족하는 밀도가 높고 열린 부분집합을 도입한다.
• 일정 성분을 포함하는 궤적에 대해 선형화된 코시-리만 연산자 $D_{\underline{u}}\overline{\partial}_{\underline{J}}$ 를 분석하며, 라그랑주 봉합 조건을 갖는 $-J$-홀로모르픽 섹션을 통해 코코어널을 집중적으로 고려한다.
• 일정 성분의 경우 문제를 일정 스트립을 가로지르는 국소화된 기하적 합성으로 환원하여, 인접한 비일정 성분이 일정 성분의 접선공간에서 등방성 경계 조건을 유도함을 다룬다.
• 등방성 부분공간 $\Lambda_j(s)$ 와 $\Lambda_j'(s)$ 가 $s$ 에 따라 변동함을 이용하여, 관련된 연산자 $\partial_s + A$ 가 비자명한 핵을 갖지 않을 경우에만 $J$-홀로모르픽 섹션 $\eta_j$ 가 0이 되어야 함을 보이며, 이는 일반적인 선택에서 피할 수 있음을 보인다.
• 선형화된 연산자를 비일정 성분의 연산자와 일정 성분 간의 결합 연산자의 직합으로 분해하고, 귀납적 방법과 단계적 정칙성 전달을 통해 전순성(-surjectivity)을 증명한다.
• 타우브스의 교차 논증을 적용하여 $\mathcal{C}^\ell$-정칙성에서 $\mathcal{C}^\infty$-정칙성으로 확장하며, 컴actness와 붙임을 이용해 정칙성이 $\mathcal{C}^1$-극한에서 보존됨을 보이고, 정칙 $\underline{J}$ 의 집합이 Comeagre임을 증명한다.

실험 결과

연구 질문

• RQ1 분할 편향 데이터 하에서 일부 성분만 일정한 쿠illet Floer 궤적에 대해 횡단성이 확립될 수 있는가?
• RQ2 일반적인 분할 해밀턴 편향이 라그랑주 상응관계의 모든 기하적 합성이 횡단적이며 따라서 임베딩임을 보장하는가?
• RQ3 일정 성분을 포함하는 쿠illet Floer 궤적의 모듈리 공간은 국소화된 기하적 합성을 통해 더 낮은 차원의 쿠illet 문제로 환원될 수 있는가?
• RQ4 모든 관련 선형화된 연산자가 전순임을 보장하는 분할 거의 복소構조의 집합이 $\mathcal{C}^\infty$-위상에서 Comeagre인가?
• RQ5 컴actness와 붙임 논증을 통해 정규성 결과를 $\mathcal{C}^\ell$ 에서 $\mathcal{C}^\infty$ 로 확장할 수 있는가?

주요 결과

• 일반적인 분할 해밀턴 편향 $\mathcal{H}_{t}(\underline{\delta})$ 에서, 주어진 인덱스를 가진 쿠illet Floer 궤적의 모듈리 공간은 매끄럽고 기대하는 차원을 가진다.
• 모든 궤적 $\underline{u}$ 에 대해 선형화된 연산자 $D_{\underline{u}}\overline{\partial}_{\underline{J}}$ 가 전순임을 보장하는 분할 거의 복소構조 $\underline{J}$ 의 집합은 $\mathcal{J}_{t}(\underline{\delta})$ 에서 Comeagre이다.
• 일반적인 분할 해밀턴 편향은 순환 라그랑주 상응관계의 인자들 간 모든 기하적 합성이 횡단적이며 따라서 임베딩됨을 보장한다.
• 일정 성분을 포함하는 궤적은 국소화된 기하적 합성을 통한 더 짧은 순환 일반화된 라그랑주 상응관계에 대한 쿠illet Floer 궤적을 유도한다.
• 일반적인 $\underline{J}$ 를 선택할 경우, 선형화된 연산자 $D_{\underline{u}}\overline{\partial}_{\underline{J}}$ 는 인덱스가 $k_0$ 이하인 모든 해 $\underline{u}$ 에 대해 전순이며, 연산자를 분해하고 단계적 전순성 증명을 통해 이를 보였다.
• 컴actness와 붙임 논증을 통해 정규성 결과는 $\mathcal{C}^\ell$ 에서 $\mathcal{C}^\infty$ 로 확장되며, 정칙 $\underline{J}$ 의 집합이 가산 개의 열린 밀집 집합의 교집합임을 보였다.