Maps on divisor class groups induced by ring homomorphisms of finite flat dimension (Q847978): Difference between revisions

Let \(\varphi:A \to B\) be a homomorphism of noetherian normal domains such that the flat dimension of \(B\) is finite as an \(A\)-module. The first main result of the paper under review indicates that there is a group homomorphism \(Cl(A) \to Cl(B)\) of classical group \(A\) to classical group \(B\) by sending the reflexive rank one ideal \(a\) to the reflexive rank one ideal \(\Hom_B(\Hom_B(a\otimes_A B,B),B)\). This generalized a result of \textit{J. Lipman} [Am. J. Math. 101, 203--211 (1979; Zbl 0417.13009)] in the case \(B = A/(f)\) and \(f\) is a nonzero element in \(A\). Suppose that \((A,m)\) is excellent and local and \((I_n)\) is a sequence of prime ideals of \(A\) with finite projective dimension and \(A/I_n\) is normal. Also assume in addition that for each \(i\), there is an integer \(n_i\) such that \(I_n\subset m^i\) for all \(n\geq n_i\). Also, let \(\pi_n:A\to A/I_n\) be the canonical surjection. The second main result of the paper says that \(\bigcap \ker(Cl(\pi_n))=(0)\)