[论文解读] Poisson deformations and birational geometry

Yoshinori Namikawa|arXiv (Cornell University)|Feb 27, 2015

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

一句话总结

本文建立了在具有 $ \mathbb{C}^* $-作用的仿射辛流形 $ X $ 的一个典范解析 $ \pi: Y \to X $ 的第二上同调 $ H^2(Y, \mathbb{C}) $ 上的两种几何结构之间的深层等价性：不同解析的 ample 锥的扇形分解，以及 Poisson 变形在 $ Y $ 上不为仿射的 locus $ D \subset H^2(Y, \mathbb{C}) $ 所诱导的扇形分解。关键结果是这两个扇形结构完全一致，统一了双有理几何与 Poisson 变形理论。

ABSTRACT

Let \pi: Y -> X be a crepant projective resolution of an affine symplectic variety X with a good C^*-action. We interpret the second cohomology H^2(Y, C) in two ways. First, H^2(Y, C) is the Picard group of Y tensorised with C. By the ample cones of different crepant resolutions of X, there is a natural chamber structure in H^2(Y, C). The second interpretation of H^2(Y, C) is the base space of the universal Poisson deformation $\mathcal Y$ of Y. Let D \subset H^2(Y, C) be the locus where the corresponding Poisson varieties are not affine. Then D is the union of finite number of hyperplanes, which gives a chamber structure in H^2(Y, C). These two chamber structures coincide.

研究动机与目标

• 理解仿射辛流形 $ X $ 的典范解析 $ Y \to X $ 的第二上同调 $ H^2(Y, \mathbb{C}) $ 的几何结构。
• 将不同典范解析的 ample 锥所诱导的扇形分解与 $ H^2(Y, \mathbb{C}) $ 上的 Poisson 几何结构联系起来。
• 证明 $ D \subset H^2(Y, \mathbb{C}) $ 的集合，即 Poisson 变形在 $ Y $ 上不为仿射的点，定义了一个扇形结构，且该结构与双有理几何中的扇形结构一致。

提出的方法

• 将 $ H^2(Y, \mathbb{C}) $ 解释为复化线丛群 $ \operatorname{Pic}(Y) \otimes \mathbb{C} $，将其与线丛正性及 ample 锥联系起来。
• 利用 $ X $ 上存在良好的 $ \mathbb{C}^* $-作用，确保解析 $ Y $ 具有良好行为的几何与上同调性质。
• 通过 Poisson 结构的变形理论，构造 $ Y $ 的普遍 Poisson 变形 $ \mathcal{Y} $，其基空间为 $ H^2(Y, \mathbb{C}) $。
• 将 $ D \subset H^2(Y, \mathbb{C}) $ 定义为使得对应 Poisson 代数不是仿射的参数集合。
• 证明 $ D $ 是有限个超平面的并集，从而在 $ H^2(Y, \mathbb{C}) $ 中定义了一个扇形结构。
• 证明该 Poisson 几何扇形结构与来自不同典范解析的 ample 锥的双有理扇形结构完全一致。

实验结果

研究问题

• RQ1 来自不同典范解析的 ample 锥的扇形分解与 $ Y $ 上的 Poisson 变形理论之间有何关系？
• RQ2 Poisson 变形在 $ Y $ 上不为仿射的集合 $ D \subset H^2(Y, \mathbb{C}) $ 的几何本质是什么？
• RQ3 能否从 Poisson 变形的基空间 $ H^2(Y, \mathbb{C}) $ 中恢复双有理几何的扇形结构？
• RQ4 $ H^2(Y, \mathbb{C}) $ 中的双有理扇形结构与 Poisson 扇形结构之间是否存在自然的同构？

主要发现

• 第二上同调 $ H^2(Y, \mathbb{C}) $ 自然地携带一个扇形分解，该分解来自 $ X $ 的不同典范解析的 ample 锥，反映了双有理几何结构。
• $ H^2(Y, \mathbb{C}) $ 同时参数化了 $ Y $ 的普遍 Poisson 变形 $ \mathcal{Y} $，使其成为 Poisson 结构的模空间。
• Poisson 变形不为仿射的集合 $ D \subset H^2(Y, \mathbb{C}) $ 是有限个超平面的并集，从而在 $ H^2(Y, \mathbb{C}) $ 中定义了一个扇形结构。
• 该 Poisson 几何扇形结构与来自不同典范解析的 ample 锥的扇形结构完全一致。
• 这两个扇形结构的重合在辛解析的背景下，建立了双有理几何与 Poisson 变形理论之间的深层联系。
• 该结果在假设 $ X $ 是具有良好 $ \mathbb{C}^* $-作用的仿射辛流形的前提下成立，从而保证了必要的几何控制。