[论文解读] Non-commutative Mori contractions and $\PP^1$-bundles

Daniel Chan, A. Nyman|ArXiv.org|Apr 10, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 4

一句话总结

本文提出了一种方法，通过傅里叶-穆凯伊变换和基点自由性条件，从非交换概形构造到交换射影曲线的非交换 Mori 收缩。研究证明了非交换 $\mathbb{P}^1$-丛是光滑的，其 Hilbert 算符集具有良好性质，并计算了其 Serre 自同态，提供了在曲面上满足 $K_Y \cdot C < 0$ 且 $C^2 = 0$ 的极小收缩的非交换类比。其主要贡献是通过此类收缩为非交换曲面提供了一种可化为柱面的判别准则。

ABSTRACT

We give a method for constructing maps from a non-commutative scheme to a commutative projective curve. With the aid of Artin-Zhang's abstract Hilbert schemes, this is used to construct analogues of the extremal contraction of a $K$-negative curve with self-intersection zero on a smooth projective surface. This result will hopefully be useful in studying Artin's conjecture on the birational classification of non-commutative surfaces. As a non-trivial example of the theory developed, we look at non-commutative ruled surfaces and, more generally, at non-commutative $\PP^1$-bundles. We show in particular, that non-commutative $\PP^1$-bundles are smooth, have well-behaved Hilbert schemes and we compute its Serre functor. We then show that non-commutative ruled surfaces give examples of the aforementioned non-commutative Mori contractions.

研究动机与目标

• 为解决非交换代数几何中构造态射的方法缺失问题，特别是针对非交换曲面。
• 发展 Mori 极小模型程序的非交换类比，重点关注满足 $K_Y \cdot C < 0$ 且 $C^2 = 0$ 的曲线的极小收缩。
• 为非交换曲面的柱面性提供判别准则，支持 Artin 关于非交换曲面双有理分类的猜想。
• 将非交换 $\mathbb{P}^1$-丛作为非平凡例子进行研究，证明其光滑性并计算其 Serre 自同态。
• 确立非交换柱面曲面实现所提出的非交换 Mori 收缩，将理论与具体几何例子联系起来。

提出的方法

• 使用 Artin-Zhang 的抽象 Hilbert 算符集，从非交换拟概形 $Y$ 构造到交换射影曲线 $X$ 的态射。
• 通过相对 Čech 上同调应用傅里叶-穆凯伊变换，以因式分解拉回函子 $f^*$，推广了经典情形下的图构造。
• 对核层施加“基点自由”条件，以确保傅里叶-穆凯伊变换是右正合的，并具有右伴随函子。
• 利用非交换代数几何中的交点理论、Serre 对偶性和上同调来分析 $Y$ 的几何性质。
• 依赖于范畴 $\operatorname{Mod}Y$ 作为非交换概形，其态射定义为模范畴之间的一对伴随函子。
• 利用对应于 $\mathbb{P}^1$-纤维的 $\mathcal{O}_Y$ 的通用商，通过 Hilbert 算符集构造态射 $f: Y \to X$。

实验结果

研究问题

• RQ1 是否可以在不依赖线性系统的情况下，构造出 $K$-负曲线且自交数为零的非交换极小收缩的类比？
• RQ2 在缺乏线性系统的情况下，如何系统地构造从非交换概形到交换曲线的态射？
• RQ3 非交换 $\mathbb{P}^1$-丛的几何性质是什么？它们是否满足光滑性与 Serre 对偶性？
• RQ4 非交换版本的 $\mathbb{P}^1$-纤维化定理是否成立，即 $f^*\mathcal{O}_X$ 是否为 Hilbert 算符集中的通用商？
• RQ5 非交换柱面曲面能否被实现为非交换 Mori 收缩，从而为理论提供一个检验案例？

主要发现

• 非交换 $\mathbb{P}^1$-丛是光滑的，其 Hilbert 算符集具有良好性质，且其 Serre 自同态可计算。
• 通过基点自由性条件构造的傅里叶-穆凯伊变换确保了右伴随函子的存在，从而在非交换设定中定义了态射。
• 映射 $\nu: \mathcal{O}_Y \to f^*\mathcal{O}_X$ 不是同构当且仅当以下任一条件成立：$\operatorname{Ext}^1(f^*\mathcal{O}_p, \mathcal{O}_Y) \to \operatorname{Ext}^1(f^*\mathcal{O}_p, f^*\mathcal{O}_p)$ 为零，或 $f^*\mathcal{O}_{2p}$ 不是均匀的。
• 若 $\nu$ 不是同构且条件 (i) 不成立，则 $f^*\mathcal{O}_{2p}$ 包含两个非平凡子模，其交为零，从而暗示其非均匀性。
• 该理论适用于非交换柱面曲面，其实现了非交换 Mori 收缩，为该构造提供了具体几何实例。