[論文レビュー] 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.

研究の動機と目的

• 多対数微分形式を用いて、自由除算式の概念を、正則系列 $(h_1, \ldots, h_k)$ で定義される縮小完全交差へ一般化すること。
• 多対数微分k-形式の加群と多対数kベクトル場の加群の間の双対性を確立すること。
• 完全交差において、ヤコビアンイデアルと多対数の剰余の間の双対性を通じて関連付けること。
• 多対数微分形式の加群の射影次元が0であることと自由性が同値である、ホモロジー的特徴づけを提供すること。
• 準同次曲線に対して、多対数微分形式の加群の最小自由分解を明示的に計算すること。

提案手法

• 正則系列 $(h_1, \ldots, h_k)$ で定義される縮小完全交差に沿った多対数微分k-形式およびその剰余を導入すること。
• 多対数微分k-形式の加群と多対数kベクトル場の加群の間の双対性を確立すること。
• この双対性を用いて、ヤコビアンイデアルと多対数の剰余写像の像との関係を導出すること。
• ホモロジー代数を適用し、自由性が多対数微分形式の加群の射影次元が0であることと同値であることを示すこと。
• 準同次曲線に対して、定義イデアルの構造を用いて、多対数微分形式の加群の最小自由分解を計算すること。
• 準同次性を活用して分解を単純化し、明示的計算が可能になるようにすること。

実験結果

リサーチクエスチョン

• RQ1 自由除算式の概念を、自由除算式から縮小完全交差へどのように拡張できるか？
• RQ2 完全交差の文脈において、多対数微分形式と多対数ベクトル場の間にはどのような双対性が存在するか？
• RQ3 この一般化された設定において、ヤコビアンイデアルと多対数の剰余はどのように関連しているか？
• RQ4 完全交差の自由性を特徴づけるホモロジー的不変量は何か？
• RQ5 準同次曲線に対して、多対数微分形式の加群の最小自由分解を明示的に計算できるか？

主な発見

• 縮小完全交差の自由性は、多対数微分k-形式の加群の射影次元が0であることと特徴づけられる。
• 多対数微分k-形式の加群と多対数kベクトル場の加群の間の双対性が確立された。
• ヤコビアンイデアルが、この双対性のもとで、多対数の剰余写像の像と双対的であることが示された。
• 準同次曲線に対して、多対数微分形式の加群の最小自由分解が明示的に計算された。
• 定義イデアルの構造と準同次性のおかげで、曲線の場合に分解の明確な記述が可能になった。
• 多対数微分形式とホモロジー代数を用いて、Saitoの自由除算式理論が完全交差の文脈へ一般化された。