[논문 리뷰] Generating the Fukaya categories of Hamiltonian G-manifolds

J. D. Evans, Yankı Lekili|arXiv (Cornell University)|2015. 07. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 52인용 수 8

한 줄 요약

이 논문은 해밀토니안 $G$-작용이 단조 비가환 스ymmplectic 다양체 위에서 일어날 때, 자유 라그랑주 궤도가 단조 프وك야 카테고리의 합성합을 split-generate하는지 여부를 규명한다. 이는 $k$ 위의 단조 프وك야 카테고리의 합성합에서 비자명한 대상을 나타내는 경우에만 성립한다. 이 결과는 쿠이트드 플로어 이론과 코즐 듀얼리티를 통해 구성된 $T^*G$의 유도된 랩드 프وك야 카테고리에서 $X^{-} \times X$의 유도된 프وك야 카테고리로의 함자에 기반하며, 특성 2에서 토릭 판노 다양체와 그라스만리안에 응용된다.

ABSTRACT

Let $G$ be a compact Lie group and $\mathbf{k}$ be a field of characteristic $p \geq 0$ such that $H^* (G)$ does not have $p$-torsion. We show that a free Lagrangian orbit of a Hamiltonian $G$-action on a compact, monotone, symplectic manifold $X$ split-generates an idempotent summand of the monotone Fukaya category $\mathcal{F}(X; \mathbf{k})$ if and only if it represents a non-zero object of that summand (slightly more general results are also provided). Our result is based on: an explicit understanding of the wrapped Fukaya category $\mathcal{W}(T^*G; \mathbf{k})$ through Koszul twisted complexes involving the zero-section and a cotangent fibre; and a functor $D^b \mathcal{W}(T^*G; \mathbf{k}) o D^b\mathcal{F}(X^{-} imes X; \mathbf{k})$ canonically associated to the Hamiltonian $G$-action on $X$. We explore several examples which can be studied in a uniform manner including toric Fano varieties and certain Grassmannians.

연구 동기 및 목표

• 해밀토니안 $G$-작용 하에서 자유 라그랑주 궤도가 단조 프وك야 카테고리의 합성합을 split-generate하는 조건을 규명한다.
• 기하적 복합과 쿠이트드 형식을 사용하여 $D^b\mathcal{W}(T^*G;k)$에서 $D^b\mathcal{F}(X^{-}\times X;k)$로의 삼각형 $A_\infty$-함자를 구성한다.
• 이 함자에서 영점의 이미지가 $L \times L$과 동형임을 보여주며, $L = \mu^{-1}(0)$가 자유 라그랑주 궤도일 경우를 가정한다.
• 토릭 판노 다양체와 그라스만리안을 포함한 구체적 예제에 결과를 적용하여 명시적인 split-generators를 식별한다.
• 일부 특성 조건 하에서 양자 cohomology가 국소 환으로 분해됨을 보이며, 이는 프وك야 카테고리의 단일 합성합을 암시한다.

제안 방법

• 모멘트 맵을 통해 $v = \mu(gx)$, $y = gx$ 를 정의하는 라그랑주 대응 $C \subset (T^*G)^{-} \times X^{-} \times X$ 를 구성한다.
• 쿠이트드 형식과 기하적 복합 정리에 기반하여 삼각형 $A_\infty$-함자 $\mathfrak{C}: D^b\mathcal{W}(T^*G;k) \to D^b\mathcal{F}(X^{-} \times X;k)$ 를 정의한다.
• 코탄젠트 섬유 $T^*_1G$ 와 $C$ 의 복합이 $X^{-} \times X$ 내의 대각선 $\Delta$ 를 만족함을 보여, 함자가 생성자에서 정의될 수 있음을 보장한다.
• 코즐 트위스트 복합체를 $\mathcal{W}(T^*G;k)$ 내에서 사용하여 영점의 해석을 $H_*(\Omega G;k)$ 위에서의 해석으로 모델링하며, $\operatorname{char}(k)$ 가 $H^*(G;\mathbb{Z})$ 의 토파스에 의해 나누어지지 않을 경우 준위상동형을 활용한다.
• 랩드 프وك야 카테고리 $\mathcal{W}(T^*G;k)$ 가 $T^*_1G$ 에 의해 생성됨을 증명함으로써, 함자의 정의를 단일 객체로 축소한다.
• 함자를 영점 $G \subset T^*G$ 에 적용하여, $L = \mu^{-1}(0)$ 가 자유 궤도일 경우 그 이미지가 $L \times L$ 과 동형임을 보여준다.

실험 결과

연구 질문

• RQ1 자유 라그랑주 궤도 $L = \mu^{-1}(0)$ 가 단조 프وك야 카테고리 $\mathcal{F}(X;k)$ 의 합성합을 split-generate하는 조건은 무엇인가?
• RQ2 코즐 복합체와 $H_*(\Omega G;k)$ 위의 호환 대수학을 사용하여, 랩드 프وك야 카테고리 $\mathcal{W}(T^*G;k)$ 가 어떻게 명시적으로 기술될 수 있는가?
• RQ3 토릭 판노 다양체와 그라스만리안의 양자 cohomology $QH(X;k)$ 는 양성 특성에서 어떤 구조를 가지는가?
• RQ4 그라스만리안 $\operatorname{Gr}(n,2n)$ 의 양자 cohomology 가 언제 국소 환이 되는가? 이는 프وك야 카테고리의 단일 합성합을 암시한다.
• RQ5 프وك야 카테고리의 $A_\infty$-구조는 양자 cohomology 가 비단순화되어 있더라도, 그 환의 구조가 단순화되어 있지 않을 때 어떻게 반영되는가?

주요 결과

• 자유 라그랑주 궤도 $L = \mu^{-1}(0)$ 가 $\mathcal{F}(X;k)$ 의 합성합을 split-generate하는 것은 $\operatorname{char}(k)$ 가 $H^*(G;\mathbb{Z})$ 의 토파스를 나누지 않을 경우에만 성립한다.
• $\mathfrak{C}: D^b\mathcal{W}(T^*G;k) \to D^b\mathcal{F}(X^{-} \times X;k)$ 함자는 쿠이트드 플로어 이론과 기하적 복합에 의해 구성되며, $\mathfrak{C}(T^*_1G) \cong \Delta$ 를 만족한다.
• 영점 $G \subset T^*G$ 는 $\mathfrak{C}$ 에 의해 $L \times L$ 으로 매핑되며, $L$ 이 자유 궤도일 경우 $\mathfrak{C}(G) \cong L \times L$ 이다.
• $X = \operatorname{Gr}(2^s, 2^{s+1})$ 이고 $k$ 가 특성 2일 경우, $QH(X;k)$ 는 국소 환이며, 따라서 프وك야 카테고리에는 유일한 합성합만 존재한다.
• 특성 2에서, $U(2^s) \subset \operatorname{Gr}(2^s, 2^{s+1})$ 의 동차 라그랑주 다양체는 전체 프وك야 카테고리를 split-generate한다.
• $\mathbb{C}P^1; \mathbb{F}_2$ 의 양자 cohomology $QH(\mathbb{C}P^1; \mathbb{F}_2)$ 는 환으로서 비단순화되어 있지만, $A_\infty$-구조를 고려할 경우 단순화된 행동을 보이며, $\mu^4(H,H,H,H) = H$ 를 만족한다.