[论文解读] K-equivalence in Birational Geometry

Chin-Lung Wang|arXiv (Cornell University)|Apr 12, 2002

Algebraic Geometry and Number Theory参考文献 44被引用 19

一句话总结

本文综述了双有理几何中的K-等价性，重点关注其在极小模型程序（MMP）中的作用，以及与导出范畴、上同调和动机不变量的联系。本文提出K-等价的流形共享深层次的几何与上同调性质——如等价的导出范畴和查沃动机——并证明了在复复叠上，K-等价可分解为经典翻转，主要结果集中于三维流形和超凯勒流形。

ABSTRACT

We give a survey of the background and recent development on the $K$-equivalence relation among birational manifolds. After a brief historical sketch of birational geometry, we define the $K$-partial ordering and $K$-equivalence in a birational class and discuss geometric situations that lead to these notions. One application to the filling-in problem for threefolds is given. We discuss the motivic aspect of $K$-equivalence relation. We believe that $K$-equivalent manifolds have the same Chow motive though we are unable to prove it at this moment. Instead we discuss various approaches toward the corresponding statements in different cohomological realizations. We also formulate the {\it Main Conjectures} and prove a weak version of it. Namely, up to complex cobordism, $K$-equivalence can be decomposed into composite of classical flops. Finally we review some other current researches that are related to the study of $K$-equivalence relation.

研究动机与目标

• 阐明K-等价性作为双有理几何中核心等价关系的作用，特别是在极小模型程序（MMP）的语境下。
• 研究K-等价的流形是否具有同构的查沃动机，尽管尚无完整证明。
• 探讨K-等价性与D-等价性（导出范畴等价）之间的关系，特别是在三维流形和超凯勒流形中的情况。
• 通过复复叠建立K-等价性的弱分解，将其分解为经典翻转，特别是在三维流形中。
• 考察K-等价性对上同调不变量及几何结构（如翻转和轨道丛上同调）的影响。

提出的方法

• 将K-等价性引入为双有理等价性的改进，通过共同解析下拉回的典范除子相等来定义。
• 在三维流形中应用极小模型程序（MMP），利用除子性收缩和翻转构造K-等价模型。
• 通过傅里叶-穆凯伊变换使用导出范畴等价性，证明翻转诱导出导出等价性，特别是在光滑和终端三维流形中。
• 应用布里吉兰德和川本的结果，证明所有三维流形翻转的导出等价性，包括具有Gorenstein终端奇点的情况。
• 借助许布雷希茨对超凯勒流形的研究，证明双有理的超凯勒四流形通过Mukai翻转实现D-等价。
• 提出通过同构图的极限构造对应周期，以研究K-等价下的上同调不变量。

实验结果

研究问题

• RQ1 K-等价的光滑射影代数簇是否具有同构的查沃动机？
• RQ2 对于双有理射影流形，K-等价是否等价于D-等价（导出范畴等价）？
• RQ3 在复复叠意义下，三维流形中的K-等价是否可分解为经典翻转的有限复合？
• RQ4 轨道丛上同调与p进测度在检测奇异或非光滑代数簇的K-等价性中起什么作用？
• RQ5 双有理的超凯勒流形在多大程度上可分解为Mukai翻转？这是否意味着D-等价？

主要发现

• 在复复叠意义下，三维流形中的K-等价可分解为有限个经典翻转的复合，支持了主要猜想的弱版本。
• 对于光滑三维流形，K-等价通过傅里叶-穆凯伊变换蕴含导出等价性，如布里吉兰德所证明，并由陈和川本扩展。
• 在超凯勒四流形的情形中，双有理映射可分解为Mukai翻转，此类流形实现D-等价，确认了D-等价猜想的一个特例。
• 即使对于具有Gorenstein终端奇点的三维流形翻转，其导出范畴等价性依然成立，如陈和川本所证明。
• 在超凯勒流形中，对应周期作为同构图的极限出现，尽管其可能具有多个不可约分支。
• 尽管有强烈证据，K-等价流形具有同构查沃动机的猜想仍未被证明，尽管各种上同调实现支持该猜想。