Related papers: Partial Trace Ideals, Torsion and Canonical Module

For any finitely generated module $M$ with non-zero rank over a commutative one-dimensional Noetherian local domain, we study a numerical invariant $\operatorname{h}(M)$ based on a partial trace ideal of $M$. We study its properties and…

We investigate the notion of partial trace ideals, recently introduced by Maitra. We first establish several properties of partial trace ideals and give affirmative answers to questions posed by Maitra. We then study the invariant defined…

Let R be a commutative Noetherian domain, and let M and N be finitely generated R-modules. We give new criteria for determining when M tensor N has torsion. We also give constructive formulas for producing a module in the isomorphism class…

For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring.…

Let $M$ be a finitely generated module over a Noetherian local ring. This paper reports, for a given parameter ideal $Q$ for $M$, a criterion for the equality…

Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another…

Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension…

Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical…

A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a…

Let $M$ be a finitely generated module over a Noetherian local ring. This paper gives, for a given parameter ideal $Q$ for $M$, bounds for the second Hilbert coefficients ${\mathrm{e}}_Q^2(M)$ in terms of the homological degrees and…

Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. Under various hypotheses, it is proved that the center of $\mbox{End}_R(M)$ coincides with the endomorphism ring of the trace ideal of $M$. These results are…

Let $R$ be a commutative Noetherian local ring and $M$ a finitely generated $R$-module. We introduce a general form of the classically studied trace map that unifies several notions from the literature. We develop a theory around these…

We introduce a new numerical invariant $\gamma_I(M)$ associated to a finite-length $R$-module $M$ and an ideal $I$ in an Artinian local ring $R$. This invariant measures the ratio between $\lambda(IM)$ and $\lambda(M/IM)$. We establish…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

Through a study of torsion functors of local cohomology modules we improve some non-finiteness results on the top non-zero local cohomology modules with respect to an ideal.

The main object of this note is to study the conormal module $M$ and the computation of the second symbolic power $\bar I^{(2)}$ of an ideal $\bar I$ in the residue ring $R/H$ of a polynomial ring $R$ over a field of characteristic zero.…

The trace of the canonical module (the canonical trace) determines the non-Gorenstein locus of a local Cohen--Macaulay ring. We call a local Cohen--Macaulay ring nearly Gorenstein, if its canonical trace contains the maximal ideal. Similar…

For a finitely generated graded module $M$ over a positively-graded commutative Noetherian ring $R$, the second author established in 1999 some restrictions, which can be formulated in terms of the Castelnuovo regularity of $M$ or the…

Multigraded Castelnuovo--Mumford regularity of a module $M$ over the total coordinate ring $S$ of a smooth projective toric variety $X$ is a region $\operatorname{reg} M \subset \operatorname{Pic} X$ invariant under translation by the nef…

Tensor products usually have nonzero torsion. This is a central theme of Auslander's paper "Modules over unramified regular local rings"; the theme continues in the work of Huneke and Wiegand. The main focus in this note is on tensor powers…