[논문 리뷰] Mirror symmetry and actions of braid groups on derived categories

Richard Thomas|ArXiv.org|2000. 01. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 16

한 줄 요약

이 논문은 캘라비-야우 다양체 위의 코herent sheaf의 유도 범주에서 구형 대상들을 통해 브레인 군 작용이 자연스럽게 유도됨을 밝히며, 거기에 대응하는 심플렉틱 브레인 군 작용이 반사 이중성의 미러 쌍에서 라그랑주 구의 위에 존재함을 보여준다. 주요 기여는 차원 ≥2에서 이러한 작용의 충실성에 대한 증명으로, 이는 미러 대칭과 예외적 집합의 변형, 푸리에-무카이 변환과 연결된다.

ABSTRACT

Talk given at Harvard, January 1999, published in the Proceedings of the Harvard Winter School on mirror symmetry, vector bundles and lagrangian cycles, 1999, International Press. Surveys the joint work [ST, KS] with Paul Seidel and Mikhail Khovanov.

연구 동기 및 목표

• 유도 범주에서의 브레인 군 작용과 미러 쌍의 심플렉틱 자기동형사상 간의 연결을 통해 미러 대칭의 유도 범주적 대응을 수립하기 위해.
• 유도 범주에서 구형 대상에 의해 유도되는 브레인 군 작용이 차원 ≥2에서 충실함을 증명하기 위해.
• 간단한 사상들을 통해 팔란도 망원경에서의 예외적 집합과 캘라비-야우 3차원 다양체에서의 구형 대상 간의 관계를 명확히 하기 위해.
• 특이점과 해소의 맥락에서 복수의 번들의 변형과 그 미러 쌍을 이해하기 위한 유도 범주적 프레임워크를 제공하기 위해.

제안 방법

• 구형 대상과 관련된 푸리에-무카이 변환을 사용하여 유도 범주의 자동동형사상을 구성하기 위해.
• 유도 범주에서 Ext*(F,F) ≅ ℂ[0] ⊕ ℂ[N] 를 만족하는 대상을 구형 대상으로 정의하기 위해.
• 구형 대상 F에 관련된 티브 편의자 T_F를 사용하여 D^b(X) 위에 브레인 군 작용을 생성하기 위해.
• 브레인 군 작용의 충실성을 분석하기 위해 미분적 가환대수학 및 그 코homology 이론을 적용하기 위해.
• N ≥ 2 인 N-구형 대상의 A_n-체인에 대해 Ext*(F_i, F_j)의 계수화된 대수의 내재적 형식성(인트리닉 폼랄리티)을 증명하기 위해.
• 미러 대칭 추측을 통해 라그랑주 구의 위에 존재하는 심플렉틱 디엔 트위스트와 유도 자동동형사상을 연결하기 위해.

실험 결과

연구 질문

• RQ1 캘라비-야우 3차원 다양체에서의 구형 대상들로부터 어떤 방식으로 코herent sheaf의 유도 범주 위에 브레인 군 작용이 유도되는가?
• RQ2 유도 범주에서 구형 트위스트로 생성된 브레인 군 작용의 미러 쌍은 무엇인가?
• RQ3 캘라비-야우 다양체에서 팔란도 망원경으로의 사상이 예외적 대상들로부터 구형 대상을 유도하는 조건은 무엇인가?
• RQ4 차원 ≥2에서 유도 범주 위의 브레인 군 작용은 충실한가? 그리고 이러한 충실성을 보장하는 조건은 무엇인가?
• RQ5 팔란도 망원경에서의 예외적 집합의 변형은 반사 쌍의 캘라비-야우 다양체에서의 구형 트위스트와 어떻게 관련되는가?

주요 결과

• 브레인 군 작용 B_{n+1} 은 각 구형 대상이 티브 편의자 T_F 를 유도함으로써 D^b(X) 위에 구성된다.
• 구형 대상들이 A_n-체인을 이루고 차원 N ≥ 2 이면, D^b(X) 위의 브레인 군 B_{n+1} 작용은 충실하다.
• A_n-체인 내의 구형 대상 간의 Ext 군의 계수화된 대수는 내재적 형식성을 가지며, 이는 작용의 충실성을 보장한다.
• 정규 번들의 ω_Y 를 가진 팔란도 부분다양체 Y 를 캘라비-야우 다양체 X 안에 포함시키면, Y 위의 예외적 층의 편의화는 X 위의 구형 대상이 된다.
• 차원 1에서는 브레인 군 작용이 충실하지 않을 수 있다; 예를 들어, 타원곡선 위의 차수 0 선다발 L 이 순서 2를 가지면 (T_L^{-1}T_O)^2 ≅ id 가 성립한다.
• 라그랑주 구의 위에 존재하는 심플렉틱 디엔 트위스트의 미러 쌍은 코herent sheaf의 유도 범주 위의 구형 트위스트 편의자로 실현된다.