Bass Series of Local Ring Homomorphisms of Finite Flat Dimension

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Homological dimension and commutative rings (13D05) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15)

Review text

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.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Bass Series of Local Ring Homomorphisms of Finite Flat Dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038484)