Search arXivSearch

arXiv · 2409.05090

Cofiniteness and finiteness of associated prime ideals of generalized local cohomology modules

Abstract

Let $n$ be a non-negative integer, $R$ a commutative Noetherian ring, $\mathfrak{a}$ an ideal of $R$, $M$ and $N$ two finitely generated $R$-modules, and $X$ an arbitrary $R$-module. In this paper, we study cofiniteness and finiteness of associated prime ideals of generalized local cohomology modules. In some cases, we show that $\operatorname{H}^{i}_{\mathfrak{a}}(M,X)$ is an $(\operatorname{FD}_{<n},\mathfrak{a})$-cofinite $R$-module and $\{\mathfrak{p}\in\operatorname{Ass}_R(\operatorname{H}^{i}_{\mathfrak{a}}(M,X)):\dim(R/\mathfrak{p})\geq{n}\}$ is a finite set for all $i$. If $R$ is semi-local, we observe that $\operatorname{Ass}_R(\operatorname{H}^{i}_{\mathfrak{a}}(M,N))$ is finite for all $i$ when $\dim_R(M)\leq{3}$ or $\dim_R(N)\leq{3}$. Also, in some situations, we prove that $\operatorname{H}^{i}_{\mathfrak{a}}(M,X)$ is an $\mathfrak{a}$-cofinite $R$-module for all $i$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alireza Vahidi, Ahmad Khaksari, Mohammad Shirazipour. 2024-09-08. Cofiniteness and finiteness of associated prime ideals of generalized local cohomology modules. https://arxiv.org/abs/2409.05090

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Generalized Additive Decompositions of Symmetric Tensors

This article addresses the Generalized Additive Decomposition (GAD) of symmetric tensors, that is, degree-$d$ forms $f \in \mathcal{S}_d$. From a geometric perspective, a GAD corresponds to representing a point on a secant of osculating varieties to the Veronese variety, providing a compact and structured description of a tensor that captures its intrinsic algebraic properties. We provide a linear algebra method for measuring the GAD size and prove that the minimal achievable size, which we call the GAD-rank of the considered tensor, coincides with the rank of suitable Catalecticant matrices, under certain regularity assumptions. We provide a new explicit description of the apolar scheme associated with a GAD as the annihilator of a polynomial-exponential series. We show that if the Castelnuovo-Mumford regularity of this scheme is sufficiently small, then both the GAD and the associated apolar scheme are minimal and unique. Leveraging these results, we develop a numerical GAD algorithm for symmetric tensors that effectively exploits the underlying algebraic structure, extending existing algebraic approaches based on eigen computation to the treatment of multiple points. We illustrate the effectiveness and numerical stability of such an algorithm through several examples, including Waring and tangential decompositions.

math.AC

Numerical Semigroups of Sally Type II

In this paper we study numerical semigroups of Sally type of multiplicity $e$ and embedding dimension $ν\ge e-2$. We construct the minimal resolutions for these semigroup rings when they are symmetric and compute their Betti numbers. We also construct a minimal resolution for another special class of such semigroups of type $ν-1$. Finally, we propose some conjectures for the Betti numbers of families of non-symmetric Sally type semigroups in the above cases in relation to those of the corresponding Gorenstein cases of Sally type semigroups.

math.AC

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices

This paper investigates the Smith normal form equivalence problem for multivariate polynomial matrices. Using methods from matrix theory and polynomial ideal theory, we prove that Frost and Storey's 1978 conjecture holds for a broad class of matrices: such a matrix is equivalent to its Smith normal form if and only if its reduced minors of each order generate the unit ideal. Moreover, by extending the original matrix class via automorphisms of the polynomial ring, we show that our framework applies in a substantially more general setting.

math.AC