Related papers: Locally complete intersection maps and the proxy s…

Let R be a commutative noetherian ring. Let D^b(R) be the bounded derived category of finitely generated R-modules. Let X and Y be thick subcategories of D^b(R). In this paper, we consider the question asking when the equality Supp(X\cap…

We prove that every quasi-complete intersection ideal is obtained from a pair of nested complete intersection ideals by way of a flat base change. As a by-product we establish a rigidity statement for the minimal two-step Tate complex…

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…

A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood (resp. in-neighbourhood) of any vertex induces a semicomplete digraph. In this paper, we characterize all…

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $I(R)^*$ be the set of all non-trivial ideals of $R$. The $M$-intersection graph of ideals of $R$, denoted by $G_M(R)$, is a graph with the vertex set $I(R)^*$, and two…

There is a well known link from the first topic in the title to the third one. In this paper we thread that link through the second topic. The central result is a criterion for the tensor nilpotence of morphisms of perfect complexes over…

Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.

This paper shows that for certain local topological properties, given a locally quasi-finite, flat and locally finitely presented map of schemes $f\colon X\to Y$, if $Y$ has the property, then so does $X$. We also show that being locally…

For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…

Let $R$ be a local ring and $M$ a finitely generated $R$-module. The complete intersection dimension of $M$--defined by Avramov, Gasharov and Peeva, and denoted $\cidim_R(M)$--is a homological invariant whose finiteness implies that $M$ is…

Let $R$ be a commutative Noetherian ring, $\Phi$ a system of ideals of $R$, $\fa \in \Phi$, $M$ an arbitrary $R$-module and $t$ a non-negative integer. Let $\mathcal{S}$ be a Melkersson subcategory of $R$-modules. Among other things, we…

A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood and the in-neighbourhood of any vertex induce a semicomplete digraph. In this paper we study various…

We show that if $Y$ is a compact topological manifold and $X$ is a locally flat submanifold, then the complement $Y - X$ is homotopy equivalent to a finite CW complex. This is a direct proof, and does not rely on much of the theory of…

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}\Gamma_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for…

We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor,…

Considering modules of finite complete intersection dimension over commutative Noetherian local rings, we prove (co)homology vanishing results in which we assume the vanishing of nonconsecutive (co)homology groups. In fact, the (co)homology…

Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial…

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…

Let A be a finite-dimensional associative algebra and $\phi$ a symmetric linear function on $A$. In this note, we will show that the pseudotrace maps are obtained as special cases of well-known symmetric linear functions on the endomorphism…

Let $(R,\frak m)$ be a commutative noetherian local ring. In this paper, we prove that if $\frak m$ is decomposable, then for any finitely generated $R$-module $M$ of infinite projective dimension $\frak m$ is a direct summand of (a direct…