English
Related papers

Related papers: Computing the support of local cohomology modules

200 papers

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

Commutative Algebra · Mathematics 2012-01-17 Fatemeh Mohammadi Aghjeh Mashhad , Kamran Divaani-Aazar

Computing an optimal cycle in a given homology class, also referred to as the homology localization problem, is known to be an NP-hard problem in general. Furthermore, there is currently no known optimality criterion that localizes classes…

Computational Geometry · Computer Science 2024-06-06 Amritendu Dhar , Vijay Natarajan , Abhishek Rathod

Let $R$ be a noetherian ring, $\fa$ an ideal of $R$, $M$ an $R$--module and $n$ a non-negative integer. In this paper we first will study the finiteness properties of the kernel and the cokernel of the natural map $f:\Ext^n_{R}(R/\fa,M)\lo…

Commutative Algebra · Mathematics 2008-07-21 Moharram Aghapournahr , Leif Melkersson

We present a new algorithm for computing the characteristic polynomial of an arbitrary endomorphism of a finite Drinfeld module using its associated crystalline cohomology. Our approach takes inspiration from Kedlaya's p-adic algorithm for…

Symbolic Computation · Computer Science 2023-02-20 Yossef Musleh , Éric Schost

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…

Commutative Algebra · Mathematics 2007-05-23 Amir Mafi

We establish a local model for the moduli space of holomorphic symplectic structures with logarithmic poles, near the locus of structures whose polar divisor is normal crossings. In contrast to the case without poles, the moduli space is…

Algebraic Geometry · Mathematics 2021-07-16 Mykola Matviichuk , Brent Pym , Travis Schedler

Let $\mathfrak{q}$ denote an ideal of a local ring $(A,\mathfrak{m})$. For a system of elements $\underline{a} = a_1,\ldots,a_t$ such that $a_i \in \mathfrak{q}^{c_i}, i = 1, \ldots,t,$ and $n \in \mathbb{Z}$ we investigate a subcomplex…

Commutative Algebra · Mathematics 2021-01-05 M. Azeem Khadam , Peter Schenzel

Let $R$ be a standard graded algebra over a field $k$, with irrelevant maximal ideal $\fm$, and $I$ a homogeneous $R$-ideal. We study the asymptotic vanishing behavior of the graded components of the local cohomology modules…

Commutative Algebra · Mathematics 2019-05-08 Hailong Dao , Jonathan Montaño

Let $R$ be a commutative noetherian local ring, and let $M$ be a finitely generated $R$-module. Inspired by works of Vasconcelos and Briggs on characterization of complete intersection local rings through the homological properties of the…

Commutative Algebra · Mathematics 2024-04-30 Mohsen Gheibi , Ryo Takahashi

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…

Commutative Algebra · Mathematics 2007-05-23 Eduardo Saenz de Cabezon

Let R=k[x_1,...,x_d] be the polynomial ring in d independent variables, where k is a field of characteristic p>0. Let D be the ring of k-linear differential operators of R and let f be a polynomial in R. In this work we prove that the…

Commutative Algebra · Mathematics 2007-05-23 Josep Alvarez Montaner , Gennady Lyubeznik

For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\cohdim(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also…

Commutative Algebra · Mathematics 2012-04-02 Michael Hellus

We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers…

Representation Theory · Mathematics 2007-05-23 Vladimir V. Kornyak

We explain how some results of M. Nori (on motives) and F. Ivorra (on perverse motives) can be used to define "motivic" versions of Lyubeznik numbers, a set of numerical invariants for local rings. We also discuss on additional structures…

Commutative Algebra · Mathematics 2019-04-30 Ricardo Garcia Lopez

Let $R$ be a standard graded polynomial ring that is finitely generated over a field, and let $I$ be a homogenous prime ideal of $R$. Bhatt, Blickle, Lyubeznik, Singh, and Zhang examined the local cohomology of $R/I^t$, as $t$ grows…

Commutative Algebra · Mathematics 2020-05-26 Jennifer Kenkel

Let $(R,\mathfrak m)$ denote an $n$-dimensional complete local Gorenstein ring. For an ideal $I$ of $R$ let $H^i_I(R), i \in \mathbb Z,$ denote the local cohomology modules of $R$ with respect to $I.$ If $H^i_I(R) = 0$ for all $i \not= c =…

Commutative Algebra · Mathematics 2008-06-30 Peter Schenzel

Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that…

Commutative Algebra · Mathematics 2019-08-15 Majid Rahro Zargar , Hossein Zakeri

In this text, we illustrate the use of local methods in the theory of (irregular) holonomic D-modules. I. (The Euler characteristic of the de~Rham complex) We show the invariance of the global or local Euler characteristic of the de~Rham…

Algebraic Geometry · Mathematics 2026-03-09 Claude Sabbah

Let $\xx= x_1,\ldots,x_r$ denote a system of elements of a commutative ring $R$. For an $R$-module $M$ we investigate when $\xx$ is $M$-pro-regular resp. $M$-weakly pro-regular as generalizations of $M$-regular sequences. This is done in…

Commutative Algebra · Mathematics 2024-04-23 Peter Schenzel

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

Commutative Algebra · Mathematics 2012-02-17 Luis Nunez-Betancourt