[论文解读] A note on Fourier-Mukai transform

Kōta Yoshioka|ArXiv.org|Dec 24, 2001

Geometry and complex manifolds参考文献 7被引用 17

一句话总结

本文研究了阿贝尔曲面和K3曲面上傅里叶-穆凯伊变换的稳定性保持性质，证明即使对于μ-稳定的向量丛，此类变换也不总是保持μ-稳定性。通过阿贝尔曲面上的Poincaré丛和K3曲面构造了显式的反例，同时建立了在大扭量下稳定性保持的条件，并证明了模空间在傅里叶-穆凯伊变换下的双有理等价性，确认了ρ(X) = 1情形下的一个猜想。结果与Mukai格上的SL(2,ℤ)作用相关联。

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曲面上层的稳定性。
• 构造显式反例，表明即使对于μ-稳定的向量丛，μ-稳定性在傅里叶-穆凯伊变换下也不被保持。
• 建立傅里叶-穆凯伊变换保持稳定性的条件，特别是对于层的大扭量。
• 证明当ρ(X) = 1时，由Poincaré丛诱导的傅里叶-穆凯伊变换在模空间之间诱导双有理对应，确认先前工作中提出的猜想。

提出的方法

• 使用由𝒢 ∈ D(X × Y)定义的傅里叶-穆凯伊函子ℱ_𝒢: D(X) → D(Y)，其中ℱ_𝒢(E) = Rp_* (p^*E ⊗ 𝒢)。
• 通过固定G ∈ K(X) ⊗ ℚ且rk G > 0，应用扭曲稳定性条件，定义G-扭曲的秩、次数和欧拉示性数。
• 在Mukai格H^{ev}(X,ℤ)中使用Mukai向量v(E) = ch(E)√td_X来分析稳定性和双有理性。
• 使用Harder-Narasimhan滤子，定义μ_{max,G}(E)和μ_{min,G}(E)以分析变换下的稳定性行为。
• 应用弱指标定理，并推导出使R^i p_* (p^*(E(mH)) ⊗ 𝒢) = 0对所有i > 0成立的有效m的界，确保变换落在层的导出范畴中。
• 利用由Poincaré丛和典范极化诱导的Mukai格上的SL(2,ℤ)作用，证明模空间的双有理等价性。

实验结果

研究问题

• RQ1 傅里叶-穆凯伊变换是否总是保持阿贝尔曲面或K3曲面上向量丛的μ-稳定性？
• RQ2 能否构造出显式反例，使得一个μ-稳定的向量丛在傅里叶-穆凯伊变换下被映射为非稳定层？
• RQ3 在什么条件下傅里叶-穆凯伊变换保持稳定性，特别是对于层的大扭量？
• RQ4 先前工作中提出的猜想——即当ρ(X) = 1时，由Poincaré丛诱导的傅里叶-穆凯伊变换在阿贝尔曲面上的层模空间之间诱导双有理对应——是否实际成立？
• RQ5 Mukai格上的SL(2,ℤ)作用如何与层模空间的双有理等价性相关联？

主要发现

• 傅里叶-穆凯伊变换一般不保持μ-稳定性，即使对于μ-稳定的向量丛，也通过阿贝尔曲面和K3曲面上的显式反例得到证明。
• 对于满足ρ(X) = 1的阿贝尔曲面X，由Poincaré丛诱导的傅里叶-穆凯伊变换在模空间之间诱导双有理映射：当a > 0时，有$$\overline{M}_H(r + dH + a\varrho_X)$$与$$\overline{M}_{\widehat{H}}(a + d\widehat{H} + r\varrho_{\widehat{X}})$$双有理等价；当a ≤ 0时，有$$\overline{M}_H(r + dH + a\varrho_X)$$与$$\overline{M}_{\widehat{H}}(-a + d\widehat{H} - r\varrho_{\widehat{X}})$$双有理等价，确认了文献[Y3]中的猜想。
• 对于Mukai向量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)$$双有理等价，可通过与𝒪_X(-2dH/r)的张量积或通过μ-稳定丛对偶性实现。
• 当r, b > 0时，变换𝒢_𝒫诱导同构$$\overline{M}_H(r - b\varrho_X) \to \overline{M}_{\widehat{H}}(b - r\varrho_{\widehat{X}})$$，表明在特殊情形下具有强双有理控制。
• 由Poincaré丛诱导的SL(2,ℤ)作用在H^*(X,ℤ)_{\text{alg}}上，意味着当(X,H)为满足NS(X) = ℤ的主极化阿贝尔曲面时，对任意g ∈ SL(2,ℤ)，有$$\overline{M}_H(v)$$与$$\overline{M}_H(g(v))$$双有理等价。