[论文解读] Torus fibrations, gerbes, and duality

Ron Donagi, Tony Pantev|ArXiv.org|Jun 13, 2003

Algebraic Geometry and Number Theory参考文献 35被引用 9

一句话总结

本文在温和假设下，建立了关于基底 B 上光滑椭圆纤维化 X 的扭曲形式的 genus one 纤维化上的 O^* 丛 gerbe 的导出范畴之间的傅里叶-穆凯伊等价。该对偶性交换了丛 gerbe 与扭曲的角色，推广至完整的模群作用，并在 X 为曲面时推广至奇点纤维，与镜像对称、扭曲层以及非交换几何相联系。

ABSTRACT

Let X be a smooth elliptic fibration over a smooth base B. Under mild assumptions, we establish a Fourier-Mukai equivalence between the derived categories of two objects, each of which is an O^* gerbe over a genus one fibration which is a twisted form of X. The roles of the gerbe and the twist are interchanged by our duality. We state a general conjecture extending this to allow singular fibers, and we prove the conjecture when X is a surface. The duality extends to an action of the full modular group. This duality is related to the Strominger-Yau-Zaslow version of mirror symmetry, to twisted sheaves, and to non-commutative geometry.

研究动机与目标

• 建立基底 B 上光滑椭圆纤维化 X 的扭曲形式上 O^* 丛 gerbe 的导出范畴之间的对偶性。
• 将此对偶性推广至包含奇点纤维的情形，特别是当 X 为曲面时。
• 将此对偶性与 Strominger-Yau-Zaslow (SYZ) 版本的镜像对称相联系。
• 探索与扭曲层及非交换几何的联系。
• 将对偶性扩展至完整模群的作用。

提出的方法

• 使用傅里叶-穆凯伊变换在扭曲纤维化上的层的导出范畴之间构造等价。
• 应用丛理论技术来建模 genus one 纤维化上的 O^* 丛 gerbe。
• 通过非交换上同调或 Azumaya 代数构造原始纤维化 X 的扭曲形式。
• 在代数几何中运用导出范畴技术，比较对偶对象上层的范畴。
• 利用模群作用将对偶性扩展至初始等价之外。
• 在附录中由作者处理丛与扭曲构造的技术细节。

实验结果

研究问题

• RQ1 如何在光滑椭圆纤维化 X 的扭曲形式上，建立 O^* 丛 gerbe 的导出范畴之间的傅里叶-穆凯伊等价？
• RQ2 此类纤维化中，交换丛 gerbe 与扭曲角色的对偶性本质为何？
• RQ3 此对偶性能否推广至包含奇点纤维的情形，特别是椭圆曲面的情形？
• RQ4 此对偶性如何与 Strominger-Yau-Zaslow (SYZ) 框架下的镜像对称相联系？
• RQ5 完整模群如何作用于此对偶性，其作用在几何上如何实现？

主要发现

• 在原始椭圆纤维化 X 的扭曲形式上，建立了两个 O^* 丛 gerbe 的导出范畴之间的傅里叶-穆凯伊等价。
• 对偶性交换了丛 gerbe 与扭曲的角色，为两个对偶对象提供了对称关系。
• 对偶性推广至完整模群 PSL(2,Z) 的作用，推广了初始等价。
• 当 X 为曲面时，奇点纤维的猜想得以证明，将对偶性扩展至非光滑情形。
• 该构造与 Strominger-Yau-Zaslow (SYZ) 版本的镜像对称密切相关，特别是通过双重拉格朗日环面纤维化。
• 结果为理解椭圆纤维化背景下扭曲层与非交换几何的导出范畴框架提供了支持。