Bass Series of Local Ring Homomorphisms of Finite Flat Dimension (Q4038484)

Recall, that when \(R\) has maximal ideal \(m\) and residue field \(k=R/m\), and \(M\) is a finitely generated \(R\)-module, the Bass series of \(M\) is the formal power series \(I^ M_ R(t)=\sum_{i\geq 0}\mu^ i_ R(M)t^ i\) where \(\mu^ i_ R(M)\) is the dimension of the \(k\)-vector space \(\text{Ext}^ i_ R(k,M)\) (and \(I_ R(t)\) stands for \(I^ R_ R(t))\). The author's abstract: Nontrivial relations between Bass numbers \(\mu^ i_ R(=\mu^ i_ R(R))\) of local commutative rings are established in case there exists a local homomorphism \(\Phi:R\to S\) which makes \(S\) into an \(R\)-module of finite flat dimension. In particular, it is shown that an inequality \(\mu_ R^{i+\text{depth} R}\leq\mu_ S^{i+\text{depth} S}\) holds for all \(i\in\mathbb{Z}\). This is a consequence of an equality involving the Bass series \(I^ \mu_ R(t)=\sum_{i\in\mathbb{Z}}\mu^ i_ R(M)t^ i\) of a complex \(M\) of \(R\)-modules which has bounded above and finite type homology and the Bass series of the complex of \(S\)-modules \(M\bigotimes_ RS\), where \(\otimes\) denotes the derived tensor product. It is proved that there is an equality of formal Laurent series \(I_ S^{M\otimes_ RS}(t)=I^ M_ R(t)I_{F(\Phi)}(t)\), where \(F(\Phi)\) is the fiber of \(\Phi\) considered as a homomorphism of commutative differential graded rings. Coefficientwise inequalities are deduced for \(I_ S^{M\otimes_ RS}(t)\), and Golod homomorphisms are characterized by one of them becoming an equality.