[논문 리뷰] Projective twists in A-infinity categories

Richard M. Harris|arXiv (Cornell University)|2011. 11. 02.

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

한 줄 요약

이 논문은 $A_\infty$-카테고리에서 $\mathbb{C}\mathbb{P}^n$-오브제クト의 개념을 도입하고, 유도된 카테고리 $D\mathcal{A}$ 위에서 자가동치를 유도하는 $A_\infty$-함수자 $\Phi_V$를 구성한다. 주요 결과는 $n=1$인 경우 $\Phi_V$가 $\tau_V^2 = \phi_V$와 세이델의 구면 토르스에 대한 결과를 통해 심플렉틱 프로젝티브 토르스 $\phi_V$에 대응한다는 증명이다.

ABSTRACT

Given a Lagrangian V \cong CP^n in a symplectic manifold (M,ω), there is an associated symplectomorphism ϕ_V of M. We define the notion of a CP^n-object in an A-infinity-category A and use this to construct algebraically an A-infinity-functor Φ_V and prove that it induces an autoequivalence of the derived category DA. We conjecture that Φ_V corresponds to the action of ϕ_V and prove this in the lowest dimension n=1. The construction is designed to be mirror to a construction of Huybrechts and Thomas.

연구 동기 및 목표

• $A_\infty$-카테고리 $\mathcal{A}$에서 $\mathbb{C}\mathbb{P}^n$-오브제クト를 정의하여, 심플렉틱 프로젝티브 토르스의 배경이 되는 대수적 구조를 일반화한다.
• 그러한 오브제クト로부터 파생되는 $A_\infty$-함수자 $\Phi_V$를 구성하여, 유도된 카테고리 $D\mathcal{A}$ 위에서 자가동치를 유도한다.
• $Lagrangian V \cong \mathbb{C}\mathbb{P}^n$와 관련된 심플렉틱 프로젝티브 토르스 $\phi_V$와 $\Phi_V$가 대응된다는 추측을 제기한다.
• $\tau_V^2 = \phi_V$ 관계와 기존의 구면 토르스에 대한 결과를 사용하여, 최소 차원 $n=1$에서 이 추측을 검증한다.
• $\Phi_V$가 푸카비 카테고리에서 기하학적 표현을 갖지 않을 수 있음을 보여주며, 대수적 구조가 잘 정의되어 있음에도 불구하고 그러한 표현이 존재하지 않을 수 있음을 보여준다.

제안 방법

• 삼각형 $A_\infty$-카테고리 $\mathcal{A}$에서 $\mathbb{C}\mathbb{P}^n$-오브제クト를 정의하기 위해, 그 코homology가 $H^*(\mathbb{C}\mathbb{P}^n; \mathbb{K})$와 일치하고 특정한 $A_\infty$-구조 조건을 만족시켜야 한다고 요구한다.
• $\mathbb{C}\mathbb{P}^n$-오브제クト의 $A_\infty$-구조를 이용하여, 허브레히트-토머스의 $\mathbb{P}^n$-오브제クト에 대한 구성 방식을 모델로 삼아 $A_\infty$-함수자 $\Phi_V$를 구성한다.
• $\Phi_V$가 유도된 카테고리 $D\mathcal{A}$ 위에서 자가동치를 유도함을 보이기 위해, 왜곡된 복합체를 통한 토르스 함수자와의 동형성을 증명한다.
• $Aut^c(M,\omega)/Ham(M,\omega)$에서의 관계 $\tau_V^2 = \phi_V$를 사용하여, 추측을 $\Phi_V$와 $T_V^2$가 $D\mathcal{F}(M,\omega)$ 위에서 동형인 함수자임을 확인하는 것으로 환원한다.
• $V \cong \mathbb{C}\mathbb{P}^1$의 비자명한 쌍방향 덮개에 의해 유도되는 이중 덮개 $\pi: \widetilde{M} \to M$에 沿해 푸카비 카테고리에 대한 당김 함수자를 적용하여, $\Phi_V$의 기하학적 실현 가능성 분석을 수행한다.
• 플로어 코hom로그리의 랭크와 랩드 푸카비 카테고리의 아이디포텐트 완비화를 사용하여, $\widetilde{V} \to \widetilde{V}[1] \to \pi^{-1}(Y)$의 당김이 덱 변환을 통해 유도된 오브제クト들의 직접 합과 동형이 될 수 없음을 보여, 실현 불가능성을 증명한다.

실험 결과

연구 질문

• RQ1 심플렉틱 프로젝티브 토르스 $\phi_V$는 $V \cong \mathbb{C}\mathbb{P}^n$인 라그랑주안에서 푸카비 카테고리에서 $A_\infty$-함수자를 통해 대수적으로 실현될 수 있는가?
• RQ2 $\mathbb{C}\mathbb{P}^n$-오브제クト로부터 구성된 $A_\infty$-함수자 $\Phi_V$는 유도된 카테고리 $D\mathcal{A}$ 위에서 자가동치를 유도하는가?
• RQ3 $n=1$인 경우, 대수적 $\Phi_V$는 심플렉틱 프로젝티브 토르스 $\phi_V$와 동치인가? 만약 그렇다면, 이는 기존의 구면 토르스에 대한 결과로부터 어떻게 유추되는가?
• RQ4 $\Phi_V$는 푸카비 카테고리에서 심플렉토모피즘의 이미지로서 기하학적으로 실현될 수 있는가, 아니면 어떤 경우에서는 기하학적 표현을 갖지 않을 수 있는가?
• RQ5 $A_\infty$-카테고리 $\mathcal{A}$에 어떤 조건이 성립하면 $\Phi_V$가 잘 정의되고 자가동치를 유도하는가?

주요 결과

• $\mathbb{C}\mathbb{P}^n$-오브제クト로부터 구성된 $A_\infty$-함수자 $\Phi_V$는 제4장에서 증명된 lin $D\mathcal{A}$ 위에서 자가동치를 유도한다.
• $n=1$인 경우, $\tau_V^2 = \phi_V$ 관계와 세이델의 구면 토르스에 대한 결과를 사용하여, $\Phi_V$가 심플렉틱 프로젝티브 토르스 $\phi_V$에 대응한다는 추측이 검증된다.
• 이중 덮개 $\pi: \widetilde{M} \to M$에 따른 $V \to V[1] \to Y$의 왜곡 복합체의 당김은 $\widetilde{V} \to \widetilde{V}[1] \to \pi^{-1}(Y)$가 되며, 이 복합체는 $\widetilde{V}$의 덱 변환을 통해 유도된 오브제クト들의 직접 합과 준동형이 아니다.
• 이는 $\widetilde{V} \to \widetilde{V}[1] \to \pi^{-1}(Y)$의 왜곡 복합체가 기하학적 라그랑주의 당김으로서 유도될 수 없음을 의미하므로, $\Phi_V$는 푸카비 카테고리에서 기하학적 표현을 갖지 않는다.
• 이 구성은 허브레히트와 토머스의 $\mathbb{P}^n$-오브제クト에 대한 연구를 모델로 하여, 대수적이고 심플렉틱적 토르스 함수자 간의 미러 대칭적 관계를 수립한다.
• 이 증거는 임의의 계수 체 $\mathbb{K}$에서 유효하며, 짝수 $n$인 경우를 포함하는 상대적으로 스핀 라그랑주에 대해서도 유지된다.