[논문 리뷰] Symplectic fixed points and Lagrangian intersections on weighted projective spaces

Guangcun Lu|ArXiv.org|2006. 01. 12.

Geometric Analysis and Curvature Flows참고 문헌 4인용 수 3

한 줄 요약

이 논문은 가중 프로젝티브 공간 ${\mathbb{C}P}^{n}({\bf q})$에서 해밀턴 고정점과 라그랑주 교차에 대해 아르놀트 추측을 증명한다. 가중치 $q_i$가 모두 홀수일 경우, 심플렉틱 오비폴드에 적응된 플로어 homology 기법을 사용하여, ${\mathbb{C}P}^{n}({\bf q})$에서의 해밀턴 사상과 ${\mathbb{C}P}^{n}({\bf q})$와 그 실 프로젝티브 대응체 ${\mathbb{R}P}^{n}({\bf q})$ 사이의 라그랑주 교차에 대해 추측이 성립함을 보인다.

ABSTRACT

In this note we observe that Arnold conjecture for the Hamiltonian maps still holds on weighted projective spaces $\CP^n({\bf q})$, and that Arnold conjecture for the Lagrange intersections for $(\CP^n({\bf q}), \RP^n({\bf q}))$ is also true if each weight $q_i\in {\bf q}=\{q_1,..., q_{n+1}\}$ is odd.

연구 동기 및 목표

• 해밀턴 고정점에 대한 아르놀트 추측을 심플렉틱 오비폴드, 특히 가중 프로젝티브 공간 ${\mathbb{C}P}^{n}({\bf q})$로 확장한다.
• 쌍 $({\mathbb{C}P}^{n}({\bf q}), {\mathbb{R}P}^{n}({\bf q}))$에 대해 라그랑주 교차의 아르놀트 추측이 심플렉틱 오비폴드에서 성립하는지 조사한다.
• 이 오비폴드 설정에서 라그랑주 교차에 대해 아르놀트 추측이 유지되는 가중치 $q_i$에 대한 조건을 규명한다.
• 고립된 특이점을 가진 심플렉틱 오비폴드에 대해 플로어 호몰로지 방법을 적응시킨다.

제안 방법

• 심플렉틱 축소를 통해 $S^{2n+1}({\bf q})$ 위의 순간 맵 $K_{{\bf q}}$를 통해 표준 오비폴드 심플렉틱 형식 $\omega_{\rm FS}^{{\bf q}}$를 정의한다.
• 원형 해밀턴 작용 $A^{{\bf q}}_s$와 그 순간 맵 $K_{{\bf q}}$를 적용하여 오비폴드 구조 ${\mathbb{C}P}^{n}({\bf q}) \cong K_{{\bf q}}^{-1}(1/2)/S^1$를 유도한다.
• 값이 ${\mathbb{C}}^{n+1}$인 $L^2$-루프들의 힐버트 공간 $X$ 위에 기능적 $J_H$를 정의하고, 구면 $S({\bf q}) = \{u \in X \mid \mathcal{K}_{{\bf q}}(u) = 1\}$에 제약을 둔다. 여기서 $\mathcal{K}_{{\bf q}}(u) = \int_0^1 K_{{\bf q}}(u(t)) dt$이다.
• 모든 $q_i$가 홀수일 경우 자유인 ${\mathbb{Z}}_2$-작용을 루프 공간에 도입하여 $P({\bf q}) = S({\bf q}) / {\mathbb{Z}}_2$가 힐버트 다양체가 되도록 한다.
• $J_H$의 유한차원 근사 $P_m({\bf q})$에 제한된 기능적에 대해 팔라이스-스무스 조건 $(PS)^*$를 적용하며, 이들은 $\mathbb{R}P^{(2m+1)(n+1)-1}$과 미분형임을 보장하여 임계 수열의 컴팩턴스를 확보한다.
• 연산자 $A = -i d/dt$의 스펙트럼 분해를 $L^2([0,1], {\mathbb{C}}^{n+1})$ 위에서 정의하여 힐버트 공간 $X$를 정의하고, $J_H$를 양성, 영성, 음성 부분으로 분해한다.

실험 결과

연구 질문

• RQ1 가중 프로젝티브 공간 ${\mathbb{C}P}^{n}({\bf q})$에서 심플렉틱 오비폴드로 간주할 때, 해밀턴 고정점에 대한 아르놀트 추측이 성립하는가?
• RQ2 가중치 $q_i$에 대해 어떤 조건에서 $L = {\mathbb{R}P}^{n}({\bf q})$에 대해 ${\mathbb{C}P}^{n}({\bf q})$ 내에서 라그랑주 교차 $L \cap \phi(L)$에 대한 아르놀트 추측이 성립하는가?
• RQ3 고립된 특이점을 가진 심플렉틱 오비폴드 설정에서 플로어 호몰로지 방법을 적용하여 아르놀트 추측을 증명할 수 있는가?
• RQ4 ${\mathbb{Z}}_2$-작용이 모든 가중치 $q_i$가 홀수일 경우 루프 공간에서 자유인가? 그리고 이는 기능적 $J_H$에 대해 타당한 몫 다양체 구조를 허용하는가?
• RQ5 $J_H$가 유한차원 근사 $P_m({\bf q})$ 위에서 팔라이스-스무스 조건을 만족하는가? 이를 통해 임계점의 존재를 보장할 수 있는가?

주요 결과

• 모든 가중치 튜플 ${\bf q}$에 대해 가중 프로젝티브 공간 ${\mathbb{C}P}^{n}({\bf q})$에서 해밀턴 고정점에 대한 아르놀트 추측이 성립하며, 하한은 $\sharp{\rm Fix}(\phi) \geq CL({\mathbb{C}P}^{n}({\bf q}))+1$이다.
• 모든 가중치 $q_i$가 홀수일 경우에만 쌍 $({\mathbb{C}P}^{n}({\bf q}), {\mathbb{R}P}^{n}({\bf q}))$에 대해 라그랑주 교차의 아르놀트 추측이 성립한다.
• 모든 $q_i$가 홀수일 경우, 루프 공간 위의 ${\mathbb{Z}}_2$-작용은 자유이며, 이는 몫 $P({\bf q})$가 매끄러운 힐버트 다양체임을 보장한다. 이는 기능적 해석 설정에 필수적이다.
• $J_H$는 필터링 $P_1({\bf q}) \subset P_2({\bf q}) \subset \cdots$에 대해 $(PS)^*$ 조건을 만족하며, 기울기가 소멸하는 유계 수열이 수렴하는 부분수열을 가짐을 보장한다.
• $J_H|_{S({\bf q})}$의 임계점은 해밀턴 흐름의 1-주기 궤도와 대응되며, 그 수는 코homology의 cuplength $CL({\mathbb{C}P}^{n}({\bf q});{\mathbb{Z}})$에 1을 더한 값보다 크거나 같다.
• ${\mathbb{C}P}^{n}({\bf q})$의 베텔리 수와 cuplength는 코homology 환의 구조를 통해 계산된다: $H^{2k}({\mathbb{C}P}^{n}({\bf q});{\mathbb{Z}}) \cong {\mathbb{Z}}$ ($0 \leq k \leq n$), 곱셈은 $\gamma_k \gamma_j = \frac{l_k^{{\bf q}} l_j^{{\bf q}}}{l_{k+j}^{{\bf q}}} \gamma_{k+j}$ ($k+j \leq n$)이고, 그렇지 않으면 0이다.