[Paper Review] A characterization of freeness for complete intersections

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

Algebraic Geometry and Number Theory5 references3 citations

TL;DR

This paper characterizes freeness for reduced complete intersections by establishing a duality between multi-logarithmic differential k-forms and k-vector fields, linking it to the projective dimension of the module of multi-logarithmic forms. The key result is a homological criterion for freeness, with explicit resolution computations for quasi-homogeneous curves.

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.

Motivation & Objective

• To generalize the notion of free divisors to reduced complete intersections using multi-logarithmic differential forms.
• To establish a duality between multi-logarithmic differential k-forms and multi-logarithmic k-vector fields.
• To link the Jacobian ideal to multi-residues through duality for complete intersections.
• To provide a homological characterization of freeness via the projective dimension of the module of multi-logarithmic forms.
• To compute a minimal free resolution of the module of multi-logarithmic forms for quasi-homogeneous curves.

Proposed method

• Introduce multi-logarithmic differential k-forms and their residues along a reduced complete intersection defined by a regular sequence $(h_1, \ldots, h_k)$.
• Establish a duality between the module of multi-logarithmic k-forms and the module of multi-logarithmic k-vector fields.
• Use this duality to relate the Jacobian ideal to the image of the multi-residue map.
• Apply homological algebra to show that freeness is equivalent to the projective dimension of the module of multi-logarithmic forms being zero.
• For quasi-homogeneous curves, compute a minimal free resolution of the module of multi-logarithmic forms using the structure of the defining ideal.
• Leverage quasi-homogeneity to simplify the resolution and make explicit computations feasible.

Experimental results

Research questions

• RQ1 How can the concept of freeness be extended from free divisors to reduced complete intersections?
• RQ2 What duality exists between multi-logarithmic differential forms and multi-logarithmic vector fields in the context of complete intersections?
• RQ3 How are the Jacobian ideal and multi-residues related in this generalized setting?
• RQ4 What homological invariant characterizes freeness for complete intersections?
• RQ5 Can a minimal free resolution of the module of multi-logarithmic forms be explicitly computed for quasi-homogeneous curves?

Key findings

• Freeness of a reduced complete intersection is characterized by the projective dimension of the module of multi-logarithmic differential k-forms being zero.
• A duality is established between the module of multi-logarithmic k-forms and the module of multi-logarithmic k-vector fields.
• The Jacobian ideal is shown to be dual to the image of the multi-residue map under this duality.
• For quasi-homogeneous curves, a minimal free resolution of the module of multi-logarithmic forms is explicitly computed.
• The structure of the defining ideal and quasi-homogeneity allow for a concrete description of the resolution in the curve case.
• The results generalize Saito’s theory of free divisors to the setting of complete intersections via multi-logarithmic forms and homological algebra.