[논문 리뷰] Equivariant split generation and mirror symmetry of special isogenous tori

Weiwei Wu|arXiv (Cornell University)|2015. 01. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 39인용 수 3

한 줄 요약

이 논문은 자유 유한군 작용을 갖는 심플렉틱 다양체에 대해 Fukaya 카테고리에서 등변(split) 생성을 확립하며, 비분할 심플렉틱 형식을 갖는 특수 이소지스 토르스에 대한 새로운 호모로지 미러 대칭의 케이스를 가능하게 한다. 유도된 Fukaya 카테고리가 이러한 토르스의 완전한 불변량임을 증명하며, Abouzaid-Smith의 결과를 $G$-등변 프레임워크와 미러 함수자 감소를 통해 일반화한다.

ABSTRACT

We prove a version of equivariant split generation of Fukaya category when a symplectic manifold admits a free action of a finite group $G$. Combining this with some generalizations of Seidel's algebraic frameworks from Seidel's book, we obtain new cases of homological mirror symmetry for some symplectic tori with non-split symplectic forms, which we call extit{special isogenous tori}. This extends the work of Abouzaid-Smith. We also show that derived Fukaya categories are complete invariants of special isogenous tori.

연구 동기 및 목표

• 자유 유한군 작용 하에서 Fukaya 카테고리에 대한 등변(split) 생성 기준을 개발하기 위해.
• 비분할 심플렉틱 형식을 갖는 심플렉틱 토르스로의 호모로지 미러 대칭을 확장하기 위해.
• 유도된 Fukaya 카테고리가 특수 이소지스 토르스의 완전한 불변량임을 확립하기 위해.
• G-작용이 존재하는 상황에서 Seidel의 대수적 프레임워크를 미러 함수자로 일반화하기 위해.
• 미러 토르스의 유도 동치가 그들의 심플렉틱 형식의 심플렉틱 동형사상과 정확히 일치함을 증명하기 위해.

제안 방법

• 침습적 Fukaya 카테고리의 기술적 대체로 등변 Fukaya 카테고리 $\mathcal{F}uk(X)^G$ 를 도입하기 위해.
• Abouzaid의 생성 기준에 대한 $G$-등변 판본을 증명하기 위해: 만약 $\mathcal{B} \subset \mathcal{F}uk(X)$ 가 대각선을 해결한다면, $G \cdot \mathcal{B}$ 는 $\mathcal{F}uk(X)^G$ 를 등변(split) 생성한다.
• Floer 이론적 전이 사상들을 사용하여 $\mathcal{T}: \mathcal{F}uk(\overline{X}) \to \mathcal{F}uk(X)^G$ 의 완전 충실한 전이 함수자 $\mathcal{T}$ 를 구성하기 위해.
• 완전 충실성을 유지하는 고정점 카테고리 $\mathfrak{m}^{fix}$ 로 미러 함수자 $\mathfrak{m}: D^\pi \mathcal{F}uk(X) \to D^b Coh(X^\vee)$ 를 감소시키기 위해.
• 심플렉틱 형식과 미러 토르스의 유도 카테고리 간의 관계를 $GL(2n,\mathbb{Z})$ 내의 격자 및 행렬 동치를 통해 연결하기 위해.
• 행렬 $\begin{pmatrix} 0 & Q_B^T \\ -Q_B & 0 \end{pmatrix}$ 가 $GL(2n,\mathbb{Z})$ 에서 $\begin{pmatrix} 0 & Q_A^T \\ -Q_A & 0 \end{pmatrix}$ 와 동치일 때이고, 뿐만 아니라 그 경우에만 해당 미러 토르스들이 유도 동치임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 유한군 몫에 의한 작용 하에서 등변(split) 생성 집합의 이미지는 여전히 몫 다양체의 Fukaya 카테고리를 등변(split) 생성하는가?
• RQ2 등변(split) 생성은 비분할 심플렉틱 형식을 갖는 심플렉틱 토르스로의 호모로지 미러 대칭을 확장하는 데 사용될 수 있는가?
• RQ3 유도된 Fukaya 카테고리는 특수 이소지스 토르스의 완전한 불변량인가?
• RQ4 심플렉틱 측면의 $G$-작용이 미러 함수자를 고정점 카테고리로 감소시키는 방식은 어떻게 되는가?
• RQ5 두 특수 이소지스 토르스가 격자 자료에 대해 선형적으로 심플렉틱 동형사상일 조건은 무엇인가?

주요 결과

• 등변(split) 생성 기준이 성립한다: 만약 $\mathcal{B} \subset \mathcal{F}uk(X)$ 가 대각선을 해결한다면, $G \cdot \mathcal{B}$ 는 $\mathcal{F}uk(X)^G$ 를 등변(split) 생성한다.
• 완전 충실한 전이 함수자 $\mathcal{T}: \mathcal{F}uk(\overline{X}) \to \mathcal{F}uk(X)^G$ 가 존재하며, 이는 몫에서 등변 카테고리로의 전환을 가능하게 한다.
• 만약 $\mathcal{B}$ 가 대각선을 해결하고 $\pi(L)$ 가 모든 $L \in \mathcal{B}$ 에 대해 임bed된다면, $\pi(\mathcal{B})$ 는 $\mathcal{F}uk(\overline{X})$ 를 등변(split) 생성한다.
• 유도된 Fukaya 카테고리 $D^\pi \mathcal{F}uk(X/G)$ 는 특수 이소지스 토르스의 완전한 불변량이다.
• 두 특수 이소지스 토르스 $T(\bar{\alpha})_l$ 과 $T(\bar{\alpha}')_{l'}$ 는 선형적으로 심플렉틱 동형사상이 될 때이고, 뿐만 아니라 그 경우에만 그들의 유도 카테고리가 동치이다.
• 심플렉틱 형식 행렬 $\Omega_l^{\bar{\alpha}}$ 와 $\Omega_{l'}^{\bar{\alpha}'}$ 는 $GL(2n,\mathbb{Z})$ 에서 동치일 때이고, 뿐만 아니라 그 경우에만 해당 미러 토르스들이 유도 동치이다.