Related papers: Computing residue currents of monomial ideals usin…
We show that Coleff-Herrera type products of residue currents can be defined by analytic continuation of natural functions depending on one complex variable.
Given a submodule $J\subset \mathcal O_0^{\oplus r}$ and a free resolution of $J$ one can define a certain vector valued residue current whose annihilator is $J$. We make a decomposition of the current with respect to Ass$(J)$ that…
Under assumptions about complete intersection, we prove that Coleff-Herrera type currents satisfy a robust calculus in the sense that natural regularizations of such currents can be multiplied to yield regularizations of the Coleff-Herrera…
We study residue currents of the Bochner--Martinelli type using their relationship with Mellin transforms of residue integrals. We present the structure formula for residue currents associated with monomial mappings: they admit…
Given a generically surjective holomorphic vector bundle morphism $f\colon E\to Q$, $E$ and $Q$ Hermitian bundles, we construct a current $R^f$ with values in $\Hom(Q,H)$, where $H$ is a certain derived bundle, and with support on the set…
The core of an ideal is defined as the intersection of all of its reductions. In this paper we provide an explicit description for the core of a monomial ideal $I$ satisfying certain residual conditions, showing that ${\rm core}(I)$…
Cohen-Macaulayness, unmixedness, the structure of the canonical module and the stability of the Hilbert function of algebraic residual intersections are studied in this paper. Some conjectures about these properties are established for…
Let $\mathfrak{a},\mathfrak{b}$ be two ideals of a commutative noetherian ring $R$ and $M$ a finitely generated $R$-module.~We continue to study $\textrm{f}\textrm{-}\mathrm{grad}_R(\mathfrak{a},\mathfrak{b},M)$ which was introduced in…
The Koszul homology of modules of the polynomial ring $R$ is a central object in commutative algebra.It is strongly related with the minimal free resolution of these modules, and thus with regularity, Hilbert functions, etc. Here we…
In this paper we present a procedure for computing the rational sum of the Hilbert series of a finitely generated monomial right module $N$ over the free associative algebra $K\langle x_1,\ldots,x_n \rangle$. We show that such procedure…
Let $\mathfrak{a}$ be a proper ideal of a commutative noetherian ring $R$ and $d$ a positive integer. We answer Hartshorne's question on cofinite complexes completely in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$ or…
Let \frak a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that {\rm Ann}_R(H_{\frak a}^{{\dim M}({\frak a}, M)}(M))= {\rm Ann}_R(M/T_R({\frak a}, M)), where T_R({\frak a}, M) is the largest…
In previous work of the authors and their collaborators (see Progress in Math, vol. 114, Birk\"auser, 1993) it was shown how the equivalence of several constructions of residue currents associated to complete intersection families of (germs…
Let $\mathfrak a$ be an ideal of holomorphic functions vanishing only at the origin in $\mathbb{C}^n$. The \textit{type} of $\mathfrak a$ is an invariant that measures the order of vanishing of the functions in $\mathfrak a$ along…
Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the…
Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…
We give a two step method to study certain questions regarding associated graded module of a Cohen-Macaulay (CM) module $M$ w.r.t an $\mathfrak{m}$-primary ideal $\mathfrak{a}$ in a complete Noetherian local ring $(A,\mathfrak{m})$. The…
Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…
Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this…
Let $\mathcal{F}^\bullet$ be a complex of coherent $\mathcal{O}_X$-modules over a complex manifold $X$. We give a construction of a residue current associated with this complex that generalizes Andersson and Wulcan's construction of a…