[논문 리뷰] A note on Fourier-Mukai transform

Kōta Yoshioka|ArXiv.org|2001. 12. 24.

Geometry and complex manifolds참고 문헌 7인용 수 17

한 줄 요약

이 논문은 아벨 표면 및 K3 표면 위에서의 푸리에-무카이 변환이 안정성 보존 성질을 가지는지 조사하며, $\mu$-안정성 조차도 항상 보존되지 않음을 입증한다. 특히 $\mu$-안정인 벡터 번들의 경우에도 그렇다. 아벨 표면의 피카르 뭉치와 K3 표면을 이용하여 명시적인 반례를 구성한다. 또한 큰 토글의 경우 안정성이 보존되는 조건을 설정하고, 푸리에-무카이 변환을 통한 모듈리 공간 간의 비라션스 등가성을 증명하며, $\rho(X) = 1$ 인 경우에 대해 이전 연구에서 제기된 추측을 확인한다. 결과들은 무카이 라티스 위의 $SL(2,\mathbb{Z})$ 작용과 관련되어 있다.

ABSTRACT

In this note, we consider the problem on the preservation of stability under the Fourier-Mukai transforms. We first show that the Fourier-Mukai transform on an abelian surface or a K3 surface does not always preserve the stability, even for a $μ$-stable vector bundle. We next provide some positive results on this problem. Finally we discuss the birational map of moduli spaces on an abelian surface.

연구 동기 및 목표

• 푸리에-무카이 변환이 아벨 표면 및 K3 표면 위의 층의 안정성을 보존하는지 조사한다.
• 특히 $\mu$-안정인 벡터 번들의 경우에도 푸리에-무카이 변환에 의해 안정성이 보존되지 않는다는 명시적 반례를 구성한다.
• 특히 층의 큰 토글에 대해 푸리에-무카이 변환이 안정성을 보존하는 조건을 설정한다.
• 피카르 뭉치를 통한 푸리에-무카이 변환이 $\rho(X) = 1$ 인 경우에 모듈리 공간 간의 비라션스 대응을 유도함을 증명하며, 이는 이전 연구에서 제기된 추측을 확인한다.

제안 방법

• 고정된 $\mathcal{E} \in \mathbf{D}(X \times Y)$ 에 대해 $\mathcal{F}_{\mathcal{E}}(E) = \mathbf{R}p_{Y*}(p_X^*E \otimes \mathcal{E})$ 로 정의된 푸리에-무카이 함자 $\mathcal{F}_{\mathcal{E}}: \mathbf{D}(X) \to \mathbf{D}(Y)$ 를 사용한다.
• 고정된 $G \in K(X) \otimes \mathbb{Q}$ 에 대해 $\operatorname{rk} G > 0$ 를 조건으로 하여 $G$-twisted 랭크, 디그리, 오일러 지표를 정의함으로써 휘어진 안정성 조건을 적용한다.
• 무카이 라티스 $H^{ev}(X,\mathbb{Z})$ 에서의 무카이 벡터 $v(E) = \operatorname{ch}(E)\sqrt{\operatorname{td}_X}$ 를 사용하여 안정성과 비라션스를 분석한다.
• 하더-나라시마한 필터링을 사용하고, 안정성 행동을 분석하기 위해 $\mu_{\max,G}(E)$ 와 $\mu_{\min,G}(E)$ 를 정의한다.
• 약한 지수 정리를 적용하고, $i > 0$ 에 대해 $R^i p_{Y*}(p_X^*(E(mH)) \otimes \mathcal{E}) = 0$ 이 되는 $m$ 의 효과적 범위를 유도함으로써 변환이 유도된 층의 범주로 떨어지도록 보장한다.
• 피카르 뭉치와 표준 극화를 통해 유도된 무카이 라티스 위의 $SL(2,\mathbb{Z})$ 작용을 활용하여, 모듈리 공간 간의 비라션스 등가성을 증명한다.

실험 결과

연구 질문

• RQ1 아벨 표면 또는 K3 표면 위의 벡터 번들에 대해 푸리에-무카이 변환이 항상 $\mu$-안정성을 보존하는가?
• RQ2 명시적인 반례를 구성할 수 있는가? 즉, $\mu$-안정인 벡터 번들이 푸리에-무카이 변환에 의해 비안정한 층으로 변환되는 경우가 존재하는가?
• RQ3 푸리에-무카이 변환이 안정성을 보존하는 조건은 무엇인가? 특히 층의 큰 토글에 대해 성립하는가?
• RQ4 이전 연구에서 제기된 바와 같이, $\rho(X) = 1$ 인 아벨 표면에서 피카르 뭇치를 통한 푸리에-무카이 변환이 모듈리 공간 간의 비라션스 대응을 실제로 유도하는가?
• RQ5 무카이 라티스 위의 $SL(2,\mathbb{Z})$ 작용은 층의 모듈리 공간 간의 비라션스 등가성과 어떻게 관련되어 있는가?

주요 결과

• 푸리에-무카이 변환은 일반적으로 $\mu$-안정성을 보존하지 않으며, $\mu$-안정인 벡터 번들의 경우에도 명시적인 반례를 통해 이를 입증한다. 아벨 표면 및 K3 표면에서의 반례를 구성하였다.
• 아벨 표면 $X$ 에 대해 $\rho(X) = 1$ 이면, 피카르 뭇치를 통한 푸리에-무카이 변환은 $a > 0$ 일 때 $\overline{M}_H(r + dH + a\varrho_X)$ 와 $\overline{M}_{\widehat{H}}(a + d\widehat{H} + r\varrho_{\widehat{X}})$ 사이, $a \leq 0$ 일 때는 $\overline{M}_{\widehat{H}}(-a + d\widehat{H} - r\varrho_{\widehat{X}})$ 와 사이의 비라션스 사상으로 작용하며, 이는 [Y3]에서 제기된 추측을 확인한다.
• 무카이 벡터 $v = r + dH + a\varrho_X$ 에 대해 $r, d > 0$ 이면, 모듈리 공간 $\overline{M}_H(v)$ 는 $\overline{M}_{\widehat{H}}(\mathcal{F}_{\mathcal{P}}(v))$ 와 비라션스 등가이며, 이는 변환 하에 일반적인 비라션스 등가성을 확립한다.
• 만약 $r > 0 $ 이면, 모듈리 공간 $\overline{M}_H(r + dH + a\varrho_X)$ 는 $\overline{M}_H(r - dH + a\varrho_X)$ 와 비라션스 등가이며, 이는 $\mathcal{O}_X(-2dH/r)$ 와의 텐서곱 또는 $\mu$-안정 번들의 딜로지 대칭을 통해 유도된다.
• $r, b > 0$ 이면, 변환 $\mathcal{G}_{\mathcal{P}}$ 는 $\overline{M}_H(r - b\varrho_X) \to \overline{M}_{\widehat{H}}(b - r\varrho_{\widehat{X}})$ 에 대해 동형을 유도하며, 특수한 경우에 강력한 비라션스 제어를 보여준다.
• 피카르 뭇치를 통한 $SL(2,\mathbb{Z})$ 작용은 $H^*(X,\mathbb{Z})_{\text{alg}}$ 위에서 유도되며, 이에 따라 $(X,H)$ 가 $\operatorname{NS}(X) = \mathbb{Z}$ 인 주로 극화된 아벨 표면이면, $\overline{M}_H(v)$ 는 임의의 $g \in SL(2,\mathbb{Z})$ 에 대해 $\overline{M}_H(g(v))$ 와 비라션스 등가이다.