Overview
The research explores the higher divisorial ideal, denoted $D(I) := Ann(Ext^g_R(R/I,R))$, which is associated with an ideal $I$ having a grade of $g$. A central aspect of this investigation is the containment problem, specifically whether $D(I) \subseteq \overline{I}$ holds.
Research Context
The study situates itself within the algebraic framework of commutative algebra, utilizing homological algebra concepts such as Ext functors and annihilators. The definition of $D(I)$ as the annihilator of $Ext^g_R(R/I,R)$ places the work within the context of understanding the structural properties of ideals through homological invariants. The specific focus on the containment $D(I) \subseteq \overline{I}$ addresses a fundamental question about the relationship between this homological annihilator and the integral closure of the ideal.
Approach
The researchers approach the containment problem by identifying broad classes of ideals for which the inclusion $D(I) \subseteq \overline{I}$ is demonstrably true. Concurrently, they employ a constructive methodology, building explicit examples to highlight the conditions under which these hypotheses are necessary. The work also involves developing structural properties of $D(I)$, establishing connections to other algebraic constructs such as unmixed parts, reflexive closures, symbolic powers, Frobenius closure, and trace ideals.
Findings
- The inclusion $D(I) \subseteq \overline{I}$ holds for several classes of ideals.
- This inclusion is observed for unmixed ideals that possess finite projective dimension over 3-dimensional quasi-normal rings.
- Parameter ideals in quasi-Gorenstein rings also satisfy the containment $D(I) \subseteq \overline{I}$.
- Powers of perfect ideals exhibit this inclusion, subject to suitable homological conditions.
- Explicit examples were constructed to demonstrate the necessity of the identified hypotheses.
- Structural properties of $D(I)$ were developed, relating it to:
- Unmixed parts.
- Reflexive closures.
- Symbolic powers.
- Frobenius closure.
- Trace ideals.
Potential Applications
The findings have several applications, including:
- Providing insight into the rigidity property of homological annihilators.
- Establishing a criterion for determining the triviality of reflexive modules and vector bundles on punctured spectra.
- Revealing new connections among annihilators of Ext, conductor ideals, and local cohomology.