[论文解读] GEOMETRIC AUSLANDER CRITERION FOR FLATNESS OF AN ANALYTIC MAPPING

Janusz Adamus, Edward Bierstone+1 more|arXiv (Cornell University)|Jan 18, 2009

Algebraic Geometry and Number Theory参考文献 16被引用 2

一句话总结

该论文为复解析空间上相干层的平坦性建立了一个几何准则：当且仅当其 n 重解析张量幂（n = dim R）不包含垂直元素时，层 F 在点 ξ ∈ X 处关于基环 R = O_{Y,ϕ(ξ)} 是平坦的。该结果将 Aulander 的经典自由性准则推广至光滑基上非有限生成模的情形，通过 n 重张量幂的无挠性条件作为平坦性检验。

ABSTRACT

Abstract. We prove that, if F is a coherent sheaf of OX-modules over a morphism ϕ: X → Y of complex-analytic spaces, where Y is smooth, then the stalk Fξ at a point ξ ∈ X is flat over R: = O Y,ϕ(ξ) if and only if the n-fold analytic tensor power of Fξ over R (where n = dimR) has no vertical elements. The result implies that if F is a finite module over a morphism ϕ: X → Y of complex algebraic varieties, where Y is smooth and dimY = n, then Fξ is R-flat if and only if its n-fold tensor power is a torsionfree R-module. The latter generalizes a classical freeness criterion of Auslander to modules that are not necessarily finitely generated over the base ring. Contents

研究动机与目标

• 将经典的平坦性准则扩展至基为光滑的复解析空间上的相干层。
• 通过层的张量幂而非同调条件，提供平坦性的几何刻画。
• 将 Auslander 的自由性准则推广至基环上未必有限生成的模。
• 基于层的 n 重张量幂中不存在垂直元素，建立平坦性的必要且充分条件。

提出的方法

• 使用复解析空间上相干层的解析张量幂来检测平坦性。
• 分析在 R = O_{Y,ϕ(ξ)} 上，层的芽 Fξ 的 n 重张量幂中的垂直元素，其中 n = dim R。
• 应用复解析几何中相干层与平坦性的理论。
• 借助 Y 的光滑性，将平坦性归约为张量幂中无挠性的条件。
• 利用维数理论与局部环结构，将平坦性与张量幂的行为联系起来。
• 通过张量幂分析，将 Auslander 的代数自由性准则适应于解析情形。

实验结果

研究问题

• RQ1 当 Y 光滑且 ϕ: X → Y 是复解析空间的态射时，相干层 F 在点 ξ ∈ X 处关于局部环 R = O_{Y,ϕ(ξ)} 何时是平坦的？
• RQ2 Fξ 的平坦性能否通过其 n 重解析张量幂（n = dim R）的某个条件来刻画？
• RQ3 Fξ 的 n 重张量幂中垂直元素的缺失如何与 Fξ 在 R 上的平坦性相关？
• RQ4 Auslander 对有限生成模的自由性准则在多大程度上可推广至光滑基上非有限生成的模？
• RQ5 在解析范畴中，确保平坦性的张量幂的精确几何条件是什么？

主要发现

• 相干层 F 在 ξ 处关于 R = O_{Y,ϕ(ξ)} 是平坦的，当且仅当其 n 重解析张量幂（n = dim R）不包含垂直元素。
• Fξ 的平坦性等价于其 n 重张量幂作为 R-模的无挠性。
• 该准则将 Auslander 的经典自由性准则推广至基环上未必有限生成的模。
• 该结果适用于复解析范畴，将代数结果推广至解析设置。
• 张量幂的条件提供了一种几何的、模论的平坦性准则，无需进行同调计算。
• 该刻画是层与基空间局部结构的内在性质，仅依赖于维数与张量幂的行为。