[论文解读] The moduli stack of stable relative ideal sheaves

Baosen Wu|arXiv (Cornell University)|Jan 2, 2007

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

一句话总结

本文引入了在射影三维流形上稳定相对理想层的模堆栈，证明其为一个分离且完备的德利涅-穆默福德堆栈。该构造为相对唐纳森-托马斯理论奠定了基础，使得代数几何中不变量的退化公式成为可能。

ABSTRACT

In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds, which in the end provides a degeneration formula of Donaldson-Thomas invariants of threefolds.

研究动机与目标

• 在射影三维流形上定义稳定相对理想层的模堆栈。
• 证明该堆栈为分离且完备的德利涅-穆默福德堆栈。
• 为理想层的相对唐纳森-托马斯理论奠定基础。
• 使三维流形的唐纳森-托马斯不变量的退化公式成为可能。

提出的方法

• 在基概形上采用理想层的相对稳定性条件。
• 构造参数化稳定相对理想层的模函子。
• 证明相关的模堆栈可由德利涅-穆默福德堆栈表示。
• 利用赋值准则和有界性论证，建立分离性和完备性。
• 应用形变理论以控制模空间的局部结构。
• 利用三维流形的射影性，确保堆栈的完备性。

实验结果

研究问题

• RQ1 如何在相对设定下严格定义稳定相对理想层的模堆栈？
• RQ2 何种条件可确保模堆栈为分离且完备？
• RQ3 该构造如何支持相对唐纳森-托马斯不变量的发展？
• RQ4 堆栈结构能否促进三维流形不变量的退化公式的建立？

主要发现

• 证明了稳定相对理想层的模堆栈为一个分离且完备的德利涅-穆默福德堆栈。
• 该构造为射影三维流形上的相对唐纳森-托马斯理论提供了几何框架。
• 堆栈具有可表示性，确保其具有良好的几何与函子性质。
• 堆栈的完备性保证了紧致性，这对不变量为有限值至关重要。
• 分离性保证了极限的唯一性，支持模理论的控制。
• 该结果为唐纳森-托马斯不变量的退化公式奠定了基础。