Local-global theory over regular domains of dimension two (Q1210085)

The author studies finitely generated torsion-free modules over a regular domain \(R\) of dimension 2 with respect to their local-global properties, direct-sum cancellation, etc. The main technique is the introduction of a natural abelian group structure on the genus \(g(M)\) of such a module \(M\). Here \(g(M)\) is the set of isomorphism classes of finitely generated \(R\)- modules \(N\) locally isomorphic to \(M\). This works for the case \(\text{rank}(M)\neq 2\), while if \(\text{rank}(M)=2\) then \(g(M)\) is replaced by a suitable quotient of \(g(M)\). The structure reduces to the usual group structure on \(\text{Pic}(R)\) in case \(M=R\). The group \(g(M)\) is related to \(\tilde K_ 0(R)\) via an exact sequence. The following are some of the results obtained as an application: (1) If \(R\) is a regular affine domain over an algebraically closed field of characteristic zero then direct-sum cancellation holds for torsion-free \(R\)-modules. (2) Let \(R=k[X,Y]\), where \(k\) is a field. If \(\text{char}(k)>0\) or \(k\) is not \(n\)-th root closed for some \(n\) then direct-sum cancellation for torsion-free \(R\)-modules does not hold. (3) If \(D\) is a Dedekind domain not containing a field then direct-sum cancellation does not hold for torsion-free \(D[Y]\)-modules.