Cohomological supports of tensor products of modules over commutative rings (Q2671737)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cohomological supports of tensor products of modules over commutative rings |
scientific article |
Statements
Cohomological supports of tensor products of modules over commutative rings (English)
0 references
3 June 2022
0 references
Let \((R,\mathfrak{m},k)\) denote a Noetherian local ring. Let \(E\) denote the Koszul complex of a sequence \(\underline{f} = f_1,\ldots,f_c\) of elements of the maximal ideal \(\mathfrak{m}\). The authors continue with the study of differential graded \(E\)-modules as studied in recent research, in particular see the second author's paper [Math. Z. 299, No. 3--4, 2063--2101 (2021; Zbl 1476.13021)]. Homological properties of a differential graded \(E\)-module \(M\) is related to the cohomological support \(V_E(M)\), associated to a Zariski closed subset of \(\mathbb{P}^{c-1}_k\). A differential graded \(R\)-module \(E\) is called perfect, when regarded as an \(R\)-comlex is quasi-isomorphic to a bounded complex of finitely generated free \(R\)-modules. As a main result it is shown: For two differential graded \(E\)-modules \(M,N\) that are perfect over \(R\) there is the equality \(V_E(M\otimes_E^{\textrm{L}} N) = \operatorname{Join}(V_E(M),V_E(N))\), where \(\operatorname{Join}(V_E(M),V_E(N))\) denotes the closure of of the union of connecting lines of the two corresponding subvarieties in \(\mathbb{P}^{c-1}_k\). As a corollary it is shown that whenever \(R\) is a Gorenstein ring and \(\operatorname{R Hom}_E(M,N)\) is perfect, then \(V_E(\operatorname{R Hom}_E(M,N)) = \operatorname{Join}(V_E(M),V_E(N))\). In the particular case when \(R\) is a regular ring, \(\underline{f}\) is a regular sequence and \(M,N\) are finitely generated \(R/\underline{f}\)-modules satisfying \(\operatorname{Tor}_i^E(M,N) = 0\) for all \(i > 0\) the author recover a result of \textit{H. Dao} and \textit{W. T. Sanders} [Doc. Math. 22, 1593--1614 (2017; Zbl 1405.13028)]. A key ingredient of the proofs is a functor from the category of differential graded \(E\)-modules to the category of differential graded \(\Lambda\)-modules, where \(\Lambda\) is an exterior algebra on \(k^c\).
0 references
Koszul complex
0 references
dg-modules
0 references
cohomological support
0 references
tensor products
0 references
join
0 references
BGG correspondence
0 references
0 references
0 references
0 references