[논문 리뷰] Braid group actions on derived categories of coherent sheaves

Paul Seidel, Richard Thomas|ArXiv.org|2000. 01. 07.

Algebraic Geometry and Number Theory인용 수 21

한 줄 요약

이 논문은 매끄러운 복소 사영 다양체의 코herent sheaf의 유도 범주에 대해 푸리에-무카이 변환을 통해 정의된 휘감김 함수를 이용하여 브레인 군 작용을 구성한다. 주요 결과는 다양체의 차원이 2 이상일 경우 이러한 브레인 군 작용이 항상 충실하다는 것이며, 이는 호모로지 미러 대칭과 크렙랑 해소와 관련된 브레인 군 대칭의 카테고리적 실현을 제공한다.

ABSTRACT

This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety $X$. The motivation for this is Kontsevich's homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when $\dim X \geq 2$, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities that lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKay correspondence and with exceptional sheaves on Fano manifolds are given. Moreover, the case of an elliptic curve is worked out in some detail.

연구 동기 및 목표

• 매끄러운 복소 사영 다양체에서 코herent sheaf의 유계 유도 범주에 대한 브레인 군 작용을 구성하는 것.
• 차원 ≥2에서 이러한 작용의 충실성을 확립하여 브레인 군 대칭의 카테고리적 실현을 제공하는 것.
• 크렙랑 해소와 특이점의 스무딩 사이의 미러 대칭 이중성에 따라 이러한 작용을 연결하는 것.
• 맥케이 대응과 팬오 다양체 위의 예외적 코herent sheaf와의 관계를 탐색하는 것.
• 구체적인 예로 타원 곡선의 경우를 상세히 분석하는 것.

제안 방법

• canonical pairing $ \eta: \boldsymbol{\rm E}^\vee \boxtimes \boldsymbol{\rm E} \to \mathcal{O}_\Delta $ 의 콘을 이용해 푸리에-무카이 변환으로서 휘감김 함수 $ T_{\boldsymbol{\rm E}} $ 를 정의한다.
• 유도 범주 $ D^b(X) $ 와 전이 함수와 호환되는 정확한 함자를 사용하여 자동동치를 정의한다.
• 유사형식이 dga $ \mathcal{A}_{m,n} $ 로 가는 준동형사상을 포함하는 복합을 통해 $ D^b(\mathfrak{S}') $ 에서 $ D(\mathcal{A}_{m,n}) $ 로의 함자 $ \Psi $ 를 구성한다.
• 호모로지 $ H^*(\mathrm{end}(E')) \cong A_{m,n} $ 의 동형을 활용하여 내림차순 대수와 아르틴 브레인 군 대수를 연결한다.
• 삼각 범주 공리와 정확한 삼각형을 포함하는 교환도형을 적용하여 $ T_{E_1}(E_1) \cong E_1[1-n] $ 과 같은 동형을 증명한다.
• 충실성 기준을 적용: 브레인 군 원소 $ g $ 가 모든 $ \mathcal{P}_i $ 를 고정하면 $ g $ 는 항등원이어야 하며, 이는 충실성을 증명한다.

실험 결과

연구 질문

• RQ1 매끄러운 사영 다양체의 코herent sheaf 유도 범주에 브레인 군 작용이 발생하는 조건은 무엇인가요?
• RQ2 왜 $ \dim X \geq 2 $ 일 때 $ D^b(X) $ 에서의 브레인 군 작용은 항상 충실한가요? 기하학적 또는 카테고리적 이유는 무엇인가요?
• RQ3 이러한 작용은 크렙랑 해소와 특이점의 스무딩 사이의 이중성에 따라 어떻게 미러 대칭과 관련이 있나요?
• RQ4 브레인 군 작용의 카테고리적 실현에서 내림차순 dga $ \mathrm{end}(E') $ 의 역할은 무엇인가요?
• RQ5 1차원에서의 비충실 작용은 dga $ A_{3,1} $ 의 비형식성으로 설명될 수 있을까요?

주요 결과

• 모든 매끄러운 복소 사영 다양체 $ X $ 에 대해 $ \dim X \geq 2 $ 이면, 휘감김 함수를 통해 구성된 $ D^b(X) $ 에서의 브레인 군 작용은 항상 충실하다.
• 휘감김 함수 $ T_{E_1} $ 는 $ T_{E_1}(E_1) \cong E_1[1-n] $ 을 만족하며, $ n \geq 2 $ 이므로 $ T_{E_1}^r(E_1) \not\cong E_1 $ 이다. 이는 $ r = 0 $ 이 아닐 경우 비자명한 동역학을 뜻한다.
• 만약 $ \mathrm{Hom}^*(E_{i+1}, E_i) $ 가 차수 $ d_i $ 에 놓여져 있으면, 내림차순 dga $ \mathrm{end}(E') $ 는 호모로지가 아르틴 브레인 군 대수 $ A_{m,n} $ 와 동형이다.
• 유도 범주 $ D^b(\mathfrak{S}') $ 는 $ D(\mathcal{A}_{m,n}) $ 와 동치이며, 휘감김 함수는 이 동치 아래에서 대응된다.
• 합성 $ R_{m,n}^g \circ \Psi \cong \Psi \circ R^g $ 가 성립하여, 브레인 군 작용이 이 동치와 호환됨을 보여준다.
• 1차원에서의 비충실 $ B_4 $-작용은 $ A_{3,1} $ 이 본질적으로 형식적이지 않음을 의미하며, 이는 마스시 곱 계산을 통해 증명된다.