An analogue of the Aluffi algebra for modules (Q314242)

For a finitely generated \(E\) module over a noetherian ring \(A\), let \(\tau_A(E)\) denote the \(A\)-torsion submodule of \(E\). Assume that \(E/\tau_A(E)\) is torsionless and fix an embedding \(E/\tau_A(E) \hookrightarrow F\) where \(F\) is a free \(A\)-module of rank \(n\).NEWLINENEWLINEIf \(R \twoheadrightarrow A\) is a surjective ring homomorphism with kernel \(J\), a \(J\)-deformation of \(E\) to \(R\) is a finitely generated \(R\)-module \(\mathbf{E}\) such that \({\mathbf E}/\tau_R({\mathbf E})\) can be embedded into a free \(R\)-module \({\mathbf F}\) of rank \(n\) such that \(J{\mathbf F} \subseteq {\mathbf E}/\tau_R({\mathbf E})\) and, for any surjective \(R\)-module homomorphism \(f: {\mathbf F} \to F\) with kernel \(J {\mathbf F}\), we have \(f({\mathbf E}/\tau_R({\mathbf E})) = {E}/\tau_A({E})\).NEWLINENEWLINEThe authors define the (\(R\)-embedded) Aluffi algebra of \(E\) to be NEWLINE\[NEWLINE\mathcal{A}_{R \twoheadrightarrow A}(E)=\mathcal{S}_A({E}/\tau_A({E})) \otimes_{\mathcal{S}_R({\mathbf E})} \mathcal{R}_R({\mathbf E}),NEWLINE\]NEWLINE where \(\mathcal{S}_A({E}/\tau_A({E}))\) and \({\mathcal{S}_R({\mathbf E})}\) are the symmetric algebras of the modules \({E}/\tau_A({E})\) and \({\mathbf E}\), respectively, and \(\mathcal{R}_R({\mathbf E})\) is the Rees algebra of the \(R\)-module \({\mathbf E}\). If \(E\) is a nonzero ideal in the ring \(A\), the construction recovers a notion introduced by \textit{P. Aluffi} [Tohoku Math. J. (2) 56, No. 4, 593--619 (2004; Zbl 1061.14006)].NEWLINENEWLINEOne of the main results of the paper is concerned with the structure of the Aluffi algebra \(\mathcal{A}_{R \twoheadrightarrow A}(E)\) in the case of a smooth projective hypersurface \(A=R/(f)\) where \(R=k[x_1,\ldots, x_n]\). The authors also study the case when \(E\) is the normal module of an ideal in a polynomial ring over a field.