Equivariant isomorphisms of Ext and Tor modules (Q2285298)

The author establishes equivarient isomorphisms of Ext and Tor modules over different relative complete intersections using theory of perturbations. There are five sections in this article. Section \(1\) gives an introduction to this article and In Section 2, the author reviews the notation and tools from \(DG\) homological algebra which will be needed to discuss the content in the rest of the article. Section \(3\) summarizes some of the important results of universal resolutions. In Section \(4\), the author constructs a perturbing system \(( \alpha , \beta , \gamma , \tau )\) on a \(DG\) \(A\)-module \(X\) where \(\alpha = \alpha_1, \ldots , \alpha_n\) and \(\beta = \beta_1, \ldots , \beta_n\) are homotopic sequences of central maps on \(X\) of positive odd degree \(d\). Here \(\tau \) is a system of higher strong homotopies from \(\alpha\) to \(\beta\) and \(\gamma \in \mathrm{Hom}_A(X, X)\) for a \(DG\) algebra \(A\) over a commutative ring \(Q\). Also, the author proves that \(\gamma \tau \) is a morphism of \(DG\) \(A\)-modules. In Theorem \(4.9\) the author proves that \(\gamma \tau : X^{\delta} \longrightarrow X^{\epsilon} \) is an isomorphism. This is the main theorem of this section. In section five, the author in Theorem \(5.7\) compares \(\mathrm{Ext}^* _{\overline{Q}}(M, N)\) with \(\mathrm{Ext}^* _{\overline{Q'}}(M, N)\) and \(\mathrm{Tor}^{\overline{Q}}(M, N)\) with \(\mathrm{Tor}^{\overline{Q'}}(M, N)\) for \(R\)-modules \(M\) and \(N\) when \(f\) and \(f'\) are assumed to be Koszul-regular sequences and \(\overline{Q} = Q/(f)\) and \(\overline{Q'} = Q/(f')\) and he concluded with the isomorphisms of graded \textit{\(\mathcal{P}\)-modules} in Theorem \(5.10\). In general, this is a most elegantly and meticulously researched and presented paper in which a plethora of concepts have been introduced and discussed which makes this article worth reading.