[논문 리뷰] Some remarks on the group of derived autoequivalences

Fabrice Rosay|ArXiv.org|2009. 07. 22.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 대수적으로 닫힌 체 위의 매끄럽고 사영인 대상에 대해 유도 자등치환군의 중립 성분이 그 자동형군의 중립 성분과 그 피카르 군의 중립 성분의 반직접곱과 동형임을 증명한다. 이 구조적 결과를 바탕으로, 주어진 대상과 유도 등치인 매끄럽고 사영인 대상의 수가 많아야 가чёт 가능하다는 것을 증명하고, 유도 등치에서 커널의 유계성에 관한 추측을 제시한다.

ABSTRACT

We prove that the neutral component of the group of derived autoequivalences of a smooth projective variety is the semi-direct product of the neutral component of its Picard group and its group of automorphisms. We use this result to prove several results concerning pairs of derived equivalent varieties.

연구 동기 및 목표

• 매끄럽고 사영인 대상의 유한 차원 코herent sheaf의 유도 분류의 삼각 자등치환군의 중립 성분의 구조를 규명하는 것.
• 이 구조적 결과를 적용하여 유도 등치인 대상들의 유한성 성질을 이해하는 것.
• 유도 등치에서 푸리에-무카이 커널의 유계성에 관한 추측을 재구성하고 그에 대한 증거나를 제시하는 것.
• 주어진 대상과 유도 등치인 매끄럽고 사영인 대상의 수가 많아야 가чёт 가능하다는 것을 보이는 것.
• 유도 자등치환군의 연결 성분을 바탕으로 유도 등치인 대상들의 동형 조건을 설정하는 것.

제안 방법

• 완전한 커널을 가진 적분 변환을 통해 $ D(X) $의 정확한 자등치환을 매개하는 대수적 군 스킴 $\mathrm{Aut}^D_X$ 를 구성하는 것.
• 적분 변환의 복합 법칙을 이용해 이러한 커널의 모듈리 공간 위에 군 구조를 정의하는 것.
• Toën-Vaquié의 프레임워크를 적용하여 $\mathrm{Aut}^D_X$ 가 국소 대수적 군 스킴임을 보이는 것.
• 자등치환을 자기동형과 선다발의 튜닝으로 분해함으로써, 중립 성분 $ (\mathrm{Aut}^D_X)^0 $ 이 $ \mathrm{Aut}^\circ(X) \ltimes \mathrm{Pic}^\circ(X) $ 와 동형임을 증명하는 것.
• [17]의 유계성 기준(제3.11조)을 사용하여 커널의 코homological 유계성과 가위집합의 준콤팩트성 사이의 관계를 규명하는 것.
• Lemma 3.6 (Favero) 를 적용하여, 두 대상의 $\mathrm{Aut}^D$ 가 약한 선다발 튜닝을 포함하는 연결 성분이 서로 동형이라면, 그 대상들이 서로 동형임을 보이는 것.

실험 결과

연구 질문

• RQ1 매끄럽고 사영인 대상의 유도 자등치환군의 중립 성분의 구조는 무엇인가?
• RQ2 주어진 대상과 유도 등치인 매끄럽고 사영인 대상은 몇 개인가?
• RQ3 유도 등치인 두 대상이 서로 동형임을 보일 수 있는 조건은 무엇인가?
• RQ4 유도 등치에서 푸리에-무카이 변환의 커널은 코homological 차원에서 균일하게 유계여야 하는가?
• RQ5 코homological 유계성 기준에 기반한 유도 등치류의 유한성에 대한 추측적 기준은 존재하는가?

주요 결과

• 유도 자등치환군 $ \mathrm{Aut}^D(X)^0 $ 의 중립 성분은 $ \mathrm{Aut}^\circ(X) \ltimes \mathrm{Pic}^\circ(X) $ 와 동형이며, 여기서 작용은 선다발의 당김을 통해 이루어진다.
• 대수적으로 닫힌 체 위의 매끄럽고 사영인 대상에 대해, 주어진 대상과 유도 등치인 매끄럽고 사영인 대상은 많아야 가чёт 가능하다 (동형 사상에 대해 고려할 때).
• 두 매끄럽고 사영인 대상 $ Y $ 와 $ Z $ 는 $\mathrm{Aut}^D$ 의 약한 선다발 튜닝을 포함하는 연결 성분이 서로 동형이라면 서로 동형이다.
• 유도 등치의 커널 $ \mathcal{K}_i^\cdot $ 의 가족이 코homological 유계성의 의미에서 유계임은, 유도 등치류에 대한 유한성 조건과 동치이다.
• 코homological 차원 $ \dim \mathbb{H}^j(X, \mathcal{K}_i^\cdot \otimes \mathcal{L}^l) $ 가 $ l \in [0,d] $ 에 대해 $ d \leq 2\dim X $ 일 때 유계이면, 이러한 커널의 수가 유한하므로, 유도 등치인 대상의 수는 동형 사상에 대해 유한하다.
• 강한 생성자 $ \mathcal{L}^\oplus \cdots \oplus \mathcal{L}^{-d} $ 가 $ D^b_{qc}(X \times X) $ 에 존재하고 $ d \leq 2\dim X $ 라면, 유계성 기준의 적용이 보장된다.