English
Related papers

Related papers: Support and adic finiteness for complexes

200 papers

We prove two results about the derived functor of $a$-adic completion: (1) Let $K$ be a commutative noetherian ring, let $A$ be a flat noetherian $K$-algebra which is $a$-adically complete with respect to some ideal $a\subseteq A$, such…

Commutative Algebra · Mathematics 2017-10-04 Liran Shaul

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

Algebraic Geometry · Mathematics 2007-05-23 Amnon Yekutieli

Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural…

Commutative Algebra · Mathematics 2013-06-21 Marco Porta , Liran Shaul , Amnon Yekutieli

We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many…

K-Theory and Homology · Mathematics 2023-01-19 Petter Andreas Bergh

Given a bounded complex of finitely generated modules $M$ over a commutative noetherian local ring $R$, one assigns to it a variety, $\mathcal V_R(M)$, called the cohomological support variety of $M$ over $R$. The variety $\mathcal V_R(M)$…

Commutative Algebra · Mathematics 2025-06-13 Ryan Watson

A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative…

Commutative Algebra · Mathematics 2009-09-15 Luchezar L. Avramov , Srikanth B. Iyengar , Joseph Lipman

On the category of pairs of topological spaces having a homotopy type of $CW$ complexes the singular (co)homology theory was axiomatically studied by J.Milnor. In particular, Milnor gave additivity axiom for a (co)homology theory and proved…

Algebraic Topology · Mathematics 2019-11-14 Anzor Beridze , Leonard Mdzinarishvili

Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations in categories over a base category X are considered. In particular, we illustrate the formulas (|P)x = ten(x/X,P) ; (P|)x = hom(X/x,P) which…

Category Theory · Mathematics 2007-05-23 Claudio Pisani

We investigate the similarities between adic finiteness and homological finiteness for chain complexes over a commutative noetherian ring. In particular, we extend the isomorphism properties of certain natural morphisms from homologically…

Commutative Algebra · Mathematics 2016-02-25 Sean Sather-Wagstaff , Richard Wicklein

Let $R$ be a Gorenstein local ring, $\frak{a}$ an ideal in $R$, and $M$ an $R$-module. The local cohomology of $M$ supported at $\frak{a}$ can be computed by applying the $\frak{a}$-torsion functor to an injective resolution of $M$. Since…

Commutative Algebra · Mathematics 2017-09-19 Peder Thompson

Let A be a commutative noetherian ring. In this paper, we interpret localizing subcategories of the derived category of A by using subsets of Spec A and subcategories of the category of A-modules. We unify theorems of Gabriel, Neeman and…

Commutative Algebra · Mathematics 2009-07-15 Ryo Takahashi

We study differential complexes of Kolmogorov-Alexander-Spanier type on metric measure spaces associated with unbounded non-local operators, such as operators of fractional Laplacian type. We define Hilbert complexes, observe invariance…

Functional Analysis · Mathematics 2022-11-02 Michael Hinz , Jörn Kommer

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

Commutative Algebra · Mathematics 2021-09-13 Xiaoyan Yang , Jingwen Shen

We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…

Logic · Mathematics 2022-02-22 Nathaniel Bannister , Jeffrey Bergfalk , Justin Tatch Moore

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

Representation Theory · Mathematics 2025-04-30 Alex Martsinkovsky

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…

Commutative Algebra · Mathematics 2022-03-15 Srikanth B. Iyengar , Josh Pollitz , William T. Sanders

Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$, $\mathcal{S}$ a Serre subcategory of $R$-modules satisfying the condition $C_\mathfrak{a}$ and $\mathcal{N}$ the subcategory of finitely generated $R$-modules. In this…

Commutative Algebra · Mathematics 2022-09-14 Xiaoyan Yang

For a noetherian ring $\Lambda$, the stabilization functor in the sense of Krause yields an embedding of the singularity category of $\Lambda$ into the homotopy category of acyclic complexes of injective $\Lambda$-modules. When $\Lambda$…

Representation Theory · Mathematics 2022-05-18 Xiao-Wu Chen , Zhengfang Wang

We construct a canonical pseudofunctor ^# on the category of finite-type maps of (say) connected noetherian universally catenary finite-dimensional separated schemes, taking values in the category of Cousin complexes. This pseudofunctor is…

alg-geom · Mathematics 2008-02-03 Joseph Lipman , Pramathanath Sastry

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

Commutative Algebra · Mathematics 2010-05-20 L. L. Avramov , R. -O. Buchweitz , S. B. Iyengar , C. Miller