[论文解读] Families of Divisors on T-Varieties and Exceptional Sequences on C*-Surfaces

Andreas Hochenegger, Nathan Ilten|arXiv (Cornell University)|Jun 23, 2009

advanced mathematical theories参考文献 4被引用 3

一句话总结

本文建立了一类从有理T-概形的一般纤维的Picard群到其特殊纤维的Picard群的映射，在单参数齐次形变中，该映射保持Euler示性数与交数；当形变局部平凡时，该映射为同构。对于光滑、完备的有理C*-曲面，该映射被显式描述，且结果被应用于研究线丛例外序列在形变与退化下的行为，证明了固定Picard数的所有此类曲面可通过齐次形变相互连接。

ABSTRACT

We show how one-parameter homogeneous deformations of rational T-varieties induce maps from a subgroup of the Picard group of any fiber of the deformation to the Picard group of the special fiber. If the special fiber is complete, this map preserves Euler characteristic and intersection numbers, and if the deformation is locally trivial, then this map is an isomorphism. We offer a simple description of this map for smooth, complete rational C ∗-surfaces. These results are then applied to analyze the behaviour of exceptional sequences of lines bundles on rational C ∗-surfaces under deformation and degeneration. We also show that all rational C ∗-surfaces of fixed Picard number can be connected by homogeneous deformations. Keywords: Toric varieties, deformation theory, T-varieties, exceptional sequences MSC: Primary 14D15, 14M25, 18E30.

研究动机与目标

• 理解有理T-概形的齐次形变如何影响其纤维的Picard群。
• 分析有理C*-曲面上线丛例外序列在形变与退化下的行为。
• 通过齐次形变建立所有固定Picard数的有理C*-曲面之间的联系。
• 为光滑、完备的有理C*-曲面提供Picard群映射的显式描述。
• 在Picard群之间的诱导映射下保持关键不变量——Euler示性数与交数。

提出的方法

• 在有理T-概形的单参数齐次形变中，构造从一般纤维的Picard群到特殊纤维的Picard群的映射。
• 证明当特殊纤维完备时，该映射保持Euler示性数与交数。
• 证明当形变局部平凡时，Picard群之间的诱导映射为同构。
• 利用曲面的类似toric的结构，为光滑、完备的有理C*-曲面提供该映射的显式几何描述。
• 将该映射应用于追踪线丛例外序列在形变与退化下的行为。
• 使用形变理论技术，证明所有固定Picard数的有理C*-曲面可通过齐次形变链相互连接。

实验结果

研究问题

• RQ1 在有理T-概形的齐次形变中，纤维的Picard群与特殊纤维的Picard群之间有何关系？
• RQ2 此类形变中，Picard群之间诱导映射保持哪些不变量？
• RQ3 有理C*-曲面上线丛例外序列在形变与退化下如何表现？
• RQ4 所有固定Picard数的有理C*-曲面是否可通过齐次形变相互连接？
• RQ5 光滑、完备的有理C*-曲面的Picard群映射的显式形式是什么？

主要发现

• 当特殊纤维完备时，从纤维的Picard群到特殊纤维的Picard群的诱导映射保持Euler示性数与交数。
• 当形变局部平凡时，Picard群之间的诱导映射为同构。
• 对于光滑、完备的有理C*-曲面，该Picard群映射通过曲面的几何结构被显式描述。
• 通过诱导映射，有理C*-曲面上线丛例外序列的行为被证明具有可预测性，且在形变与退化下保持稳定。
• 所有固定Picard数的有理C*-曲面可通过齐次形变链相互连接，确立了全局形变等价性。
• 本研究为研究T-概形族中线丛序列与Picard群行为提供了系统性框架。