[论文解读] A characterization of freeness for complete intersections

Delphine Pol|arXiv (Cornell University)|Dec 21, 2015

Algebraic Geometry and Number Theory参考文献 5被引用 3

一句话总结

本文通过建立多对数微分k-形式与k-向量场之间的对偶性，刻画了约化完备交的自由性，将其与多对数形式模的投射维数联系起来。关键结果是给出了自由性的同调准则，并对拟齐次曲线进行了显式解析式计算。

ABSTRACT

The purpose of this paper is to study the notion of freeness for reduced complete intersections, which is a generalization of the notion of free divisors introduced by K. Saito. We give some properties of multi-logarithmic differential forms and their multi-residues along a reduced complete intersection defined by a regular sequence $(h_1,\ldots,h_k)$. We first establish a kind of duality between multi-logarithmic differential $k$-forms and multi-logarithmic $k$-vector fields. We use it to prove a duality between the Jacobian ideal and multi-residues. The main result is a characterization of freeness in terms of the projective dimension of the module of multi-logarithmic forms. We then focus on quasi-homogeneous curves, for which we compute explicitly a minimal free resolution of the module of multi-logarithmic forms.

研究动机与目标

• 通过多对数微分形式将自由除数的概念推广至约化完备交。
• 建立多对数微分k-形式模与多对数k-向量场模之间的对偶性。
• 通过完备交的对偶性，将雅可比理想与多留数联系起来。
• 通过多对数形式模的投射维数，提供自由性的同调刻画。
• 对拟齐次曲线，显式计算多对数形式模的极小自由解析式。

提出的方法

• 引入沿由正则序列 $(h_1, \ldots, h_k)$ 定义的约化完备交的多对数微分k-形式及其留数。
• 建立多对数微分k-形式模与多对数k-向量场模之间的对偶性。
• 利用此对偶性，将雅可比理想与多留数映射的像联系起来。
• 应用同调代数，证明自由性等价于多对数形式模的投射维数为零。
• 对拟齐次曲线，利用定义理想的结构，计算多对数形式模的极小自由解析式。
• 利用拟齐次性简化解析式，使显式计算成为可能。

实验结果

研究问题

• RQ1 如何将自由除数的自由性概念从自由除数推广至约化完备交？
• RQ2 在完备交背景下，多对数微分形式与多对数向量场之间存在何种对偶性？
• RQ3 在此推广设定下，雅可比理想与多留数之间有何关系？
• RQ4 何种同调不变量刻画了完备交的自由性？
• RQ5 能否对拟齐次曲线的多对数形式模显式计算其极小自由解析式？

主要发现

• 约化完备交的自由性由多对数微分k-形式模的投射维数为零来刻画。
• 建立了多对数微分k-形式模与多对数k-向量场模之间的对偶性。
• 在该对偶性下，雅可比理想被证明与多留数映射像对偶。
• 对拟齐次曲线，显式计算了多对数形式模的极小自由解析式。
• 定义理想的结构与拟齐次性使得在曲线情形下能对解析式给出明确描述。
• 结果通过多对数形式与同调代数，将佐藤的自由除数理论推广至完备交情形。