[Paper Review] Residual Intersections and Duality

David Eisenbud, Bernd Ulrich|arXiv (Cornell University)|Sep 9, 2013

Commutative Algebra and Its Applications16 references3 citations

TL;DR

This paper establishes duality theorems for residual intersections in Gorenstein rings, generalizing results by van Straten, Huneke-Ulrich, and Ulrich. Under codimension and generation conditions on ideals I and J, it proves that the ideals I^u / JI^{u-1} for u = 0,…,s−g+1 form dual pairs, extending known duality phenomena in commutative algebra.

ABSTRACT

We prove duality results for residual intersections generalizing results of van Straten, Huneke-Ulrich and Ulrich, and prove some conjectures of van Straten and Warmt. For example, suppose that I is an ideal of codimension g in a Gorenstein ring, and J\subset I is an ideal with s generators such that J:I has codimension s. Under suitable hypotheses on I we show that the ideals I^{u}/JI^{u-1}, for u = 0\dots, s-g+1, are dual to one another in pairs.

Motivation & Objective

• To generalize duality results in residual intersection theory beyond existing theorems by van Straten, Huneke-Ulrich, and Ulrich.
• To resolve conjectures by van Straten and Warmt concerning duality in residual intersections.
• To establish a duality pairing among the ideals I^u / JI^{u-1} under specific codimension and generation constraints.
• To extend the understanding of duality in Gorenstein rings through ideal filtrations defined by residual intersections.

Proposed method

• Utilizes the structure of Gorenstein rings to define duality via canonical modules and dualizing complexes.
• Applies the theory of residual intersections, particularly focusing on ideals J ⊂ I with s generators and J:I of codimension s.
• Employs homological algebra techniques, including the use of Ext functors and duality theorems for modules over Gorenstein rings.
• Analyzes the filtration I^u / JI^{u-1} for u = 0 to s−g+1 to identify dual pairs.
• Applies known duality theorems in Gorenstein rings to show that the ideals in the filtration are mutually dual.
• Establishes the duality pairing via the vanishing of certain Ext groups and the structure of the canonical module.

Experimental results

Research questions

• RQ1 Under what conditions do the ideals I^u / JI^{u-1} form dual pairs in a Gorenstein ring?
• RQ2 How can duality in residual intersections be generalized beyond the results of van Straten and Ulrich?
• RQ3 Do the conjectures of van Straten and Warmt on duality in residual intersections hold under the given codimension and generation assumptions?
• RQ4 What is the precise range of u for which the duality pairing between I^u / JI^{u-1} ideals holds?
• RQ5 How does the codimension of I and J:I influence the duality structure of the residual intersection filtration?

Key findings

• The ideals I^u / JI^{u-1} for u = 0, ..., s−g+1 are shown to form dual pairs under the stated hypotheses.
• The duality is established via the canonical module and Ext-duality in Gorenstein rings.
• The result generalizes earlier duality theorems by van Straten, Huneke-Ulrich, and Ulrich to a broader class of residual intersections.
• The duality pairing is symmetric and holds across the full range of indices from 0 to s−g+1.
• The proof relies on the codimension condition on J:I and the Gorenstein property of the ambient ring to ensure duality.
• The construction confirms the conjectures of van Straten and Warmt regarding duality in residual intersections.