[논문 리뷰] Quasimap Floer cohomology and varying symplectic quotients

Glen Matthew Wilson, Chris Woodward|arXiv (Cornell University)|2011. 05. 04.

Geometric and Algebraic Topology참고 문헌 15인용 수 5

한 줄 요약

이 논문은 특이점이나 비최소적 모멘트 다면체를 가진 토릭 오비폴드에 대해 대응하는 심플렉틱 몰입에서 이동 가능성 질문을 해결하기 위해 준사진 Floer 코homology를 도구로 도입한다. 특히, $ W_{\lambda,\delta} $의 보다 일반화된 변형 잠재력에서 임계점의 존재가 모멘트 섬유의 비이동 가능성(비이동성)을 암시함을 증명하여, 하이밀토니안 기하학에서 오랫동안 남아있던 수수께끼를 해결한다. 이는 특이 몰입에서의 비이동 궤도와 심플렉틱 타원체에서의 이동 가능성 문제를 포함한다.

ABSTRACT

We use quasimap Floer cohomology for varying symplectic quotients to resolve several puzzles regarding displaceability of toric moment fibers. For example, we (i) present a compact Hamiltonian torus action containing an {\em open} subset of non-displaceable orbits and a codimension four singular set, partly answering a question of McDuff, and (ii) determine displaceability for most of the moment fibers of a symplectic ellipsoid.

연구 동기 및 목표

• 특이점이나 비최소적 심플렉틱 몰입에서 토릭 모멘트 섬유의 이동 가능성에 대한 열린 질문들을 다루기 위해.
• 표준 Floer 코homology가 특이점이나 모멘트 다면체의 부적절한 부등식으로 인해 실패하는 경우에 Floer 이론적 방법을 확장하기 위해.
• 다양한 심플렉틱 몰입에서 비이동 라그랑주 토릭 기하를 탐지하기 위한 준사진 Floer 코homology를 사용한 체계적인 프레임워크를 제공하기 위해.
• 열린 포함, 몰입, 곱셈에 대한 심플렉틱 위상수학을 반영하는 준사진 미러 구축의 함의적 성질을 수립하기 위해.

제안 방법

• 논문은 첫 번째 코homology에서 정의된 보다 일반화된 변형 잠재력 $ W_{\lambda,\delta} $를 구성한다. 이는 $ \sum_{i=1}^{N} e^{\langle v_i, b \rangle - \delta_i} q^{l_i(\lambda)} $ 로 표현되며, 여기서 $ v_i $는 가중치이고 $ l_i(\lambda) $는 모멘트 다면체 위의 선형 함수이다.
• 논문은 전체 공간 $ Y $ 내의 $ G $-불변 헬름홀로직 디스크를 세는 준사진 Floer 코homology를 사용하여 몰입 $ X = Y//G $ 내에서 이동 가능성의 장벽을 정의한다.
• 형식적 면적의 거듭제곱 급수를 다루기 위해 보편 노비코프 필드 $ \Lambda $와 그 부분환 $ \Lambda_0 $를 활용하여 수렴성과 임계점 분석을 가능하게 한다.
• 미러 공간 $ X^\vee = \mathfrak{t}^\vee \times C(\mathfrak{t}_\mathbb{Z}, \overline{\mathbb{R}})_+ \times C(\mathfrak{t}_\mathbb{Z}, \Lambda_0) \times H^1(T, \Lambda_0) $ 를 정의하고, 이는 Landau-Ginzburg 모델을 일반화한 잠재력 $ W $ 를 갖는다.
• 특히 부분토르스 몰입에 대해 $ \pi_* $ 구조를 통해 코homology와 모멘트 다면체에 대한 역상 및 전이를 통해 함의적 성질를 수립한다.
• 토릭 오비폴드의 열린 덮개에 대해 이 프레임워크를 적용하며, 주요 통찰은 열린 부분집합에서의 비이동 섬유가 이미 콪팩티피케이션에 대한 정보를 담고 있다는 것이다.

실험 결과

연구 질문

• RQ1 준사진 Floer 코homology는 특이점이나 비면 정의 부등식을 가진 심플렉틱 몰입에서 모멘트 섬유의 비이동성을 탐지할 수 있는가?
• RQ2 보다 일반화된 잠재력 $ W_{\lambda,\delta} $ 에서 임계점이 존재하면, 이에 대응하는 라그랑주 토릭 섬유의 비이동성이 암시되는가?
• RQ3 토릭 오비폴드의 열린 포함, 교차, 몰입에 대해 모멘트 섬유의 이동 가능성 성질은 어떻게 변화하는가?
• RQ4 콤���트 토릭 오비폴드의 비이동 집합은 준사진 미러 구축을 통해 그 기본 열린 덮개로부터 복원될 수 있는가?
• RQ5 토릭 오비폴드의 비이동 집합은 그 열린 덮개 성분들의 비이동 집합의 교차와 동일한가?

주요 결과

• 논문은 보다 일반화된 잠재력 $ W_{\lambda,\delta} $ 가 어떤 $ \delta \in \Lambda_0^N $ 에 대해 임계점을 갖는다면, 모멘트 섬유 $ L_\lambda $ 는 심플렉틱 몰입 $ X $ 내에서 비이동임을 증명한다. 이는 이동 가능성에 대한 핵심 장벽을 해결한다.
• 부드러운 몰입에서만 비이동 섬유가 존재할 수 있다는 생각에 반박하는 반례를 제시한다. $ \mathbb{C}^2 $ 의 콤팩트 토릭 $ \mathbb{Z}_2 $-몰입이 특이점을 지닌다 해도 비이동 궤도를 포함하고 있음을 보여준다.
• 심플렉틱 타원체에 대해 이 방법은 대부분의 모멘트 섬유의 이동 가능성 여부를 결정하며, 토릭 심플렉틱 기하학에서 오랫동안 남아있던 수수께끼를 해결한다.
• 준사진 미러 구축은 함의적 성질을 갖는다: 열린 포함, 교차, 곱셈, 부분토르스 몰입을 모두 존중하며, $ (X/T_0)^\vee $ 는 $ \pi_* $ 를 통해 $ X^\vee $ 의 표준적 이미지를 포함한다.
• 비이동 집합 $ FND(X) $ 는 열린 포함 $ X_1 \to X_2 $ 에 대해 $ FND(X_1) \supset FND(X_2) $ 를 만족하고, $ FND(X_1 \cup X_2) \subset FND(X_1) \cap FND(X_2) $ 를 만족한다. 이는 덮개 하에서 심플렉틱 위상수학과의 호환성을 보여준다.
• 논문은 콤팩트 토릭 오비폴드의 비이동 집합이 항상 열린 덮개로부터 복원되지 않는다는 것을 보이며, 그러나 각 열린 집합이 이미 전역 비이동성에 대한 정보를 담고 있음을 보여, 미러 대칭 내에서 더 깊은 이중성의 존재를 암시한다.