arXiv math/04023102004-02-19math.AC

Generalized local cohomology and the Intersection Theorem

Mohammad T. Dibaei, Siamak Yassemi

备注：: 13 pages

英文摘要：

Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}Γ_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for bounded complexes $X$ and $Y$ with finite homology, $\dim Y\le\dim{\mathbf R}\Hom_R(X,Y)\le\pd X+\dim(X\otimes^{\mathbf L}_RY)+\sup X$ which strengthen the Intersection Theorem. Here $\inf X$ and $\sup X$ denote the homological infimum, and supremum of the complex $X$, respectively.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

The Hochschild cohomology of square-free monomial complete intersections

We determine the Hochschild cohomology algebras of the square-free monomial complete intersections. In particular, we provide a formula for the cup product which gives the cohomology module an algebra structure and then we describe this structure in terms of generators and relations. In addition, we compute the Hilbert series of the Hochschild cohomology of these algebras.

2018-06-20math.AC

Vanishing of cohomology over complete intersection rings

Let R be a complete intersection ring and let M and N be R-modules. It is shown that the vanishing of Ext^i_R(M,N) for a certain number of consecutive values of i starting at n forces the complete intersection dimension of M to be at most n-1. We also estimate the complete intersection dimension of the dual of M, in terms of vanishing of the cohomology modules, Ext^i_R(M,N).

2013-03-30math.AC

Cohomology over complete intersections via exterior algebras

A general method for establishing results over a commutative complete intersection local ring by passing to differential graded modules over a graded exterior algebra is described. It is used to deduce, in a uniform way, results on the growth of resolutions of complexes over such local rings.

2010-03-28math.AC

Support Varieties and cohomology of Verdier quotients of stable category of complete intersection rings

Let $(A,\mathfrak{m})$ be a complete intersection with $k = A/\mathfrak{m}$ algebraically closed. Let CMS(A) be the stable category of maximal CM $A$-modules. For a large class of thick subcategories $\mathcal{S}$ of CMS(A) we show that there is a theory of support varieties for the Verdier quotient $\mathcal{T} = $ CMS(A)$/\mathcal{S}$. As an application we show that the analogous version of Auslander-Reiten conjecture, Murthys result, Avramov-Buchweitz result on symmetry of vanishing of cohomology holds for $\mathcal{T}$.

2021-07-31math.AC

A note on injectivity of Frobenius on local cohomology of global complete intersections

Given a graded complete intersection ideal $J = (f_1, \dots, f_c) \subseteq k[x_0, \dots, x_n] = S$, where $k$ is a field of characteristic $p > 0$ such that $[k:k^p] < \infty$, we show that if $S/J$ has an isolated non-F-pure point then the Frobenius action on top local cohomology $H^{n+1-c}_\mathfrak{m}(S/J)$ is injective in sufficiently negative degrees, and we compute the least degree of any kernel element. If $S/J$ has an isolated singularity, we are also able to give an effective bound on $p$ ensuring the Frobenius action on $H^{n+1-c}_\mathfrak{m}(S/J)$ is injective in all negative degr…

2016-02-18math.AC

Koszul 上同调与完全交局部上同调模的支集

Koszul cohomology and support of local cohomology modules of complete intersections

本文建立 Koszul 上同调与商环局部上同调模之间的联系框架，用以研究完全交中局部上同调模的支集，并证明素特征正则环中二元正则序列商的相应支集均为 Zariski 闭集。

2025-09-26math.AC

更多相关论文收起更多论文

The Multiplicative Structure on Hochschild Cohomology of a Complete Intersection

We determine the product structure on Hochschild cohomology of commutative algebras in low degrees, obtaining the answer in all degrees for complete intersection algebras. As applications, we consider cyclic extension algebras as well as Hochschild and ordinary cohomology of finite abelian groups.

2014-01-09math.ACmath.AGmath.RT

Generalization of a connectedness result to cohomologically complete intersections

It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important connectedness result is that a local ring with disconnected punctured sprectrum has depth at most $1$ ([H1, Proposition 2.1]). The two results are related, Hartshorne calls the latter "the keystone to the proof" of the former (loc. cit). In this short note we show that the latter result generalizes smoothly from set-theoretical to cohomologically complete intersections,…

2019-03-07math.AC

Local Cohomology and Matlis duality

Matlis duals of local cohomology modules are investigated with respect to many different topics (see section 0 - Introduction). One of these topics are complete intersections - see Corollary 1.1.4.

2007-03-05math.AC

Some properties of generalized local cohomology modules with respect to a pair of ideals

We introduce a notion of generalized local cohomology modules with respect to a pair of ideals $(I,J)$ which is a generalization of the concept of local cohomology modules with respect to $(I,J).$ We show that generalized local cohomology modules $H^i_{I,J}(M,N)$ can be computed by the Čech cohomology modules. We also study the artinianness of generalized local cohomology modules $H^i_{I,J}(M,N).$

2013-03-29math.AC

Support varieties over skew complete intersections via derived braided Hochschild cohomology

In this article we study a theory of support varieties over a skew complete intersection $R$, i.e. a skew polynomial ring modulo an ideal generated by a sequence of regular normal elements. We compute the derived braided Hochschild cohomology of $R$ relative to the skew polynomial ring and show its action on $\mathrm{Ext}_R(M,N)$ is noetherian for finitely generated $R$-modules $M$ and $N$ respecting the braiding of $R$. When the parameters defining the skew polynomial ring are roots of unity we use this action to define a support theory. In this setting applications include a proof of the Gen…

2021-01-28math.ACmath.QAmath.RA

Local Cohomology and complete intersections of rank 1

The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis duals of certain local cohomology modules and thus is related to the set of associated primes of such Matlis duals. While in [8] the general situation with no restrictions on arithmetic rank and cohomological dimension was investigated, this work concentrates on the case ``cohomological dimension of the given ideal is (at most) one'' and also on the interpl…

2005-09-28math.ACmath.AG

On the Jacobian ring of a complete intersection

Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient J:=K[x,y]/I. We describe J by computing the cohomology of a certain complex whose top cohomology group is J.

2006-10-06math.ACmath.AG

A duality theorem for generalized local cohomology

We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and Herzog-Rahimi bigraded duality.

2007-05-18math.ACmath.AG