[논문 리뷰] On the existence of Fourier-Mukai kernels

Alice Rizzardo|arXiv (Cornell University)|2012. 10. 04.

Algebraic structures and combinatorial models참고 문헌 5인용 수 6

한 줄 요약

이 논문은 매끄럽고 사영인 대상의 기약 코herent sheaf의 유도 범주 사이의 정확한 함자에 대해, 가령의 Fourier-Mukai 커널의 코homology 층을 계산하는 방법을 수립한다. 만약 그러한 함자가 Fourier-Mukai 변환이라고 동치이면, 이 층들은 커널의 코homology와 일치함을 증명한다. 더 나아가, 곡선의 경우에선 커널의 코homology 층이 한 차수에 농축되어 있고 점에 지지되어 있을 때, 명시적인 동치를 구성한다.

ABSTRACT

A theorem by Orlov states that any equivalence between the bounded derived categories of coherent sheaves of two smooth projective varieties, X and Y, is isomorphic to a Fourier-Mukai transform with kernel in the bounded derived category of coherent sheaves of the product XxY. In the case of an exact functor which is not necessarily fully faithful, we compute some sheaves that play the role of the cohomology sheaves of the kernel, and that are isomorphic to the latter whenever an isomorphism to a Fourier-Mukai transform exists. We then exhibit a class of functors that are not full or faithful and still satisfy the above result.

연구 동기 및 목표

• 매끄럽고 사영인 대상의 기약 코herent sheaf의 유도 범주 사이의 정확한 함자가 Fourier-Mukai 변환과 동치일 필요 조건을 규명하는 것.
• 가능한 커널이 존재할 경우 그에 상응하는 $X \times Y$ 위의 층을 계산하는 것.
• 만약 $X$가 매끄럽고 사영인 곡선이라면 Fourier-Mukai 커널의 존재에 대한 구조적 기준을 제공하는 것.
• 함자의 국소적으로 자유인 층에 대한 작용으로부터 커널의 코homology 층을 명시적으로 계산할 수 있음을 보이는 것.
• 완전 충실하지 않거나 충실하지 않은 경우에도 함자가 Fourier-Mukai 변환과 동치일 수 있는 조건을 설정하는 것.

제안 방법

• 함자의 국소적으로 자유인 층의 변위에 대한 작용을 이용해, 잠재적 커널의 코homology 층으로서 $X \times Y$ 위의 층 $\mathscr{Bla}^i$를 정의한다.
• 충분히 큰 $n$에 대해 국소적으로 자유인 $\mathscr{E}$에 대해 함자적 사상 $\mathscr{H}^i(F(\mathscr{E}(n))) \to p_{2*}(\mathscr{Bla}^i \otimes p_1^*\mathscr{E}(n))$를 구성한다.
• 모든 $Y$에 대해 $p_1^*\mathcal{O}_X(1)$가 매우 풍부함을 이용해, 고차수 $n$에 대해 이 사상들이 동치가 되도록 보장한다.
• 코homology 층들을 변위 간에 연결하기 위해 $0 \to \mathscr{E} \to \mathscr{E}(m)^{\oplus(d+1)} \to K_m \otimes \mathscr{E} \to 0$의 짧은 정확열을 사용한다.
• 유도된 교차도형의 가환 다이어그램에서 다이어그램 추적을 통해, 적절한 조건 하에서 사상 $\mathscr{H}^i(F(\mathscr{E})) \to p_{2*}(\mathscr{Bla}^i \otimes p_1^*\mathscr{E})$가 동치임을 증명한다.
• 특히 $X$의 차수가 1인 경우, $\mathscr{Bla}^i = 0$ ($i \neq M$) 이고 $\mathscr{Bla}^M$ 이 스크라이트 층들의 직합이라면, $\Phi_{\mathscr{Bla}^M[-M]} \to F$ 에 대한 명시적 동치 $s$ 를 구성한다.

실험 결과

연구 질문

• RQ1 정확한 함자의 작용으로부터, 가령의 Fourier-Mukai 커널의 코homology 층을 직접 계산할 수 있는가?
• RQ2 정확한 함자가 매끄럽고 사영인 대상의 유도 범주 사이에 존재할 때, 완전 충실하지 않더라도 Fourier-Mukai 변환과 동치일 수 있는 조건은 무엇인가?
• RQ3 잠재적 커널의 코homology 층이 한 차수에 농축되어 있고 점에 지지되어 있을 경우, 커널을 명시적으로 구성할 수 있는가?
• RQ4 커널의 코homology 가 국소적으로 자유인 층에 대한 함자의 작용으로 계산된 $\mathscr{Bla}^i$ 와 일치하는가?
• RQ5 함자나 대상의 구조적 조건이 후보 층 $\mathscr{Bla}^i$ 가 실제로 커널에서 유래된다는 것을 보장하는가?

주요 결과

• 모든 정확한 함자 $F: D^b_{\mathrm{Coh}}(X) \to D^b_{\mathrm{Coh}}(Y)$ 에 대해, $X \times Y$ 위에 계량 층 $\mathscr{Bla}^i$ 가 존재하여, 모든 충분히 큰 $n$ 에 대해 $\mathscr{H}^i(F(\mathscr{E}(n))) \to p_{2*}(\mathscr{Bla}^i \otimes p_1^*\mathscr{E}(n))$ 가 동치이다.
• 만약 $F \cong \Phi_E$ 이면, 모든 $i$ 에 대해 $\mathscr{H}^i(E) \cong \mathscr{Bla}^i$ 이므로, $\mathscr{Bla}^i$ 는 커널의 코homology 층 그 자체이다.
• 만약 $X$ 가 매끄럽고 사영인 곡선이며, $\mathscr{Bla}^i$ 가 오직 한 차수 $M$ 에서만 비영이면, $\mathscr{Bla}^M$ 이 스크라이트 층들의 직합이라면, $F$ 는 커널 $\mathscr{Bla}^M[-M]$ 을 가진 Fourier-Mukai 변환과 동치이다.
• 동치 $s: \Phi_{\mathscr{Bla}^M[-M]} \to F$ 는 국소적으로 자유인 층의 변위에 대한 함자의 코homology 에 대한 다이어그램 추적을 통해 명시적으로 구성된다.
• 이 구성은 $0 \to \mathscr{E} \to \mathscr{E}(m)^{\oplus(d+1)} \to K_m \otimes \mathscr{E} \to 0$ 의 짧은 정확열이 존재함을 전제로 하며, 이는 변위 간의 코homology 를 연결하는 데 사용된다.
• 결과적으로, 주어진 조건 하에서 $\dim X = 1$ 이면, Cartan-Eilenberg 스펙트럴 시퀀스의 유사체가 수렴함을 시사한다.