Related papers: Computing the support of local cohomology modules
Motivated by finding analogues of elliptic curve point counting techniques, we introduce one deterministic and two new Monte Carlo randomized algorithms to compute the characteristic polynomial of a finite rank-two Drinfeld module. We…
We generalise a classic result of Rees to characterise analytically unramified local rings using Rees algebras of modules.
Let $R$ be a Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module with $\operatorname{cd}(I,M)=c$. In this article, we first show that there exists a descending chain of ideals $I=I_c\supsetneq I_{c-1}\supsetneq \cdots \supsetneq I_0$…
Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…
In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is…
Let $R$ be a polynomial ring over a field $k$ with irrelevant ideal $\frak m$ and dimension $d$. Let $I$ be a homogeneous ideal in $R$. We study the asymptotic behavior of the length of the modules $H^{i}_{\frak m}(R/I^n)$ for $n\gg 0$. We…
We observe that the characteristic cycle of a D-module gives bounds for decomposition numbers of intersection cohomology complexes.
Inspired by Jorgensen et. al., it is proved that if a Cohen--Macaulay local ring $R$ with dualizing module admits a suitable chain of semidualizing $R$--modules of length $n$, then $R\cong Q/(I_1+\cdots+I_n)$ for some Gorenstein ring $Q$…
In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…
Let $K$ be a field and let $R$ be a regular domain containing $K$. Let $G$ be a finite subgroup of the group of automorphisms of $R$. We assume that $|G|$ is invertible in $K$. Let $R^G$ be the ring of invariants of $G$. Let $I$ be an ideal…
We study polynomials with complex coefficients which are nondegenerate in two senses, one of Kouchnirenko and the other with respect to its Newton polyhedron, through data on contact loci and motivic nearby cycles. Introducing an explicit…
Let $R$ be a noetherian commutative ring and $f_1,\dots,f_c$ be a regular sequence in $R$. We introduce a framework to study $Supp(H^j_I(R/(f_1,\dots,f_c)))$ by linking the Koszul cohomology of $H^j_I(R)$ on the sequence $f_1,\dots,f_c$ and…
Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that…
We present a variation of the modular algorithm for computing the Hermite Normal Form of an $\OK$-module presented by Cohen, where $\OK$ is the ring of integers of a number field K. The modular strategy was conjectured to run in polynomial…
In this paper we study local cohomology of finitely generated bigraded modules over a standard bigraded ring with respect to the irrelevant bigraded ideals and establish a duality theorem. Several applications are considered.
Let R be a commutative noetherian local ring. A finitely generated R-module C is semidualizing if it is self-orthogonal and satisfies the condition Hom_R(C,C) \cong R. We prove that a Cohen-Macaulay ring R with dualizing module D admits a…
Let $\mathfrak{a}$ be an ideal of local ring $(R,\mathfrak{m})$ and $M$ a finitely generated $R$-module and $n\in\Bbb N$. It is shown that some results concerning cominimaxness of formal local cohomology modules.
Grothendieck point residue is considered in the context of computational complex analysis. A new effective method is proposed for computing Grothendieck point residues mappings and residues. Basic ideas of our approach are the use of…
We study the 0-th local cohomology module of the jacobian ring of a singular reduced complex projective hypersurface X, by relating it to the sheaf of logarithmic vector field along X. We investigate the analogies between the local…
We provide a formula (see Theorem 1.5) for the Matlis dual of the injective hull of $R/\mathfrak{p}$ where $\mathfrak p$ is a one dimensional prime ideal in a local complete Gorenstein domain $(R,\mathfrak{m})$. This is related to results…