[论文解读] Moduli spaces of twisted sheaves on a projective variety

Kōta Yoshioka|ArXiv.org|Nov 24, 2004

Algebraic Geometry and Number Theory参考文献 14被引用 4

一句话总结

本文通過基流叢的線叢而非布雷爾-塞弗里簇定義的穩定性條件，建立了光滑射影簇上穩定扭轉層模空間的存在性及其射影緊化。主要貢獻是將辛普森的模空間構造推廣至扭轉層，進而實現了對K3與阿貝爾曲面上的扭轉導出類別的傅里葉-穆卡伊變換理論，並應用於卡爾達魯關於扭轉導出等價性的猜想。

ABSTRACT

We construct the moduli of twisted sheaves on a projective variety. Then we generalize known results on the moduli space of usual sheaves on a K3 surface to the twisted case. Thus we consider the non-emptyness, the deformation type and the Fourier-Mukai transformation. As an application of our results, Daniel Huybrechts and Paolo Stellari prove Caldararu's conjecture.

研究动机与目标

• 使用基簇的 ample 線叢而非布雷爾-塞弗里簇定義光滑射影簇 X 上扭轉層的穩定性條件。
• 透過半穩定層的 S-等價類構造穩定扭轉層的模空間及其射影緊化。
• 將傅里葉-穆卡伊變換理論推廣至 K3 與阿貝爾曲面上的扭轉導出類別。
• 為證明卡爾達魯關於扭轉導出等價性的猜想提供幾何框架，此猜想後由赫布雷希茨與斯蒂拉證實。
• 建立扭轉模空間與射影叢之間的連結，顯示局部自由扭轉層參數化基簇上的射影叢。

提出的方法

• 將扭轉層定義為開覆蓋上層的集合，其轉移同構由代表 H²(X, O_X×) 中扭轉類的 2-上循環 α 扭轉，並確保上循環條件中 α_ijk 為純量乘數。
• 基於從 X 拉回的線叢相關的 Hilbert 多項式，而非布雷爾-塞弗里簇，引入扭轉層的穩定性條件，並適應辛普森的構造。
• 使用幾何不變量理論 (GIT) 技巧，將穩定扭轉層的模空間構造為擬射影概形，並透過半穩定層的 S-等價類實現其射影緊化。
• 利用莫里塔等價將扭轉層與阿佐馬亞代數上的模對應，顯示穩定性條件與模的辛普森穩定性一致。
• 將構造應用於 K3 曲面，證明穩定扭轉層的模空間具有自然的重量 2 Hodge 結構，並支援傅里葉-穆卡伊變換。
• 利用積分函子實現導出類別的等價性，證明變換在 Mukai 格上誘導出 Hodge 同構。

实验结果

研究问题

• RQ1 當通常的模空間非精細時，如何在光滑射影簇上構造穩定扭轉層的模空間？
• RQ2 何種扭轉層的穩定性條件可確保射影模空間的存在？
• RQ3 傅里葉-穆卡伊變換理論能否推廣至 K3 曲面上扭轉層的導出類別？
• RQ4 局部自由扭轉層的模空間是否參數化基簇上的射影叢？
• RQ5 扭轉層的導出類別與 Mukai 格的 Hodge 結構有何關係？

主要发现

• 光滑射影簇上穩定扭轉層的模空間存在於擬射影概形中，且可透過半穩定扭轉層的 S-等價類實現射影緊化。
• 當 H¹(X, O_X) = 0 時，局部自由扭轉層的模空間微分同構於 X 上射影叢的模空間。
• 對於 K3 曲面 X，穩定扭轉層的模空間具有自然的重量 2 Hodge 結構，且與 Mukai 格相容。
• 積分函子 Φ_{X′→X}^ℰ 是扭轉層導出類別的等價，誘導出 X′ 與 X 的 Mukai 格之間的 Hodge 同構。
• 傅里葉-穆卡伊變換的核由乘積上扭轉層的導出上推給出，且變換在符號與秩規範化下保持 Hodge 結構。
• 此構造確認了卡爾達魯關於扭轉導出等價性的猜想（在 K3 曲面情形），後由赫布雷希茨與斯蒂拉證實。