Restrictions of torsion divisor classes to hypersurfaces (Q1330043): Difference between revisions

We prove the following Lefschetz-type result: Let \((A, {\mathfrak M})\) be an excellent, local, normal domain, \(t \in {\mathfrak M}\) such that \(A/tA\) is a domain satisfying the regularity condition \(R_1\), and \(B\) be the integral closure of \(A/tA\). If \(e \in \mathbb{Z}\), \(e > 1\), is a unit in \(A\), then the kernel, \(\ker \theta\), of the homomorphism \(\theta : \text{Cl} (A) \to \text{Cl} (B)\) contains no element of order \(e\). An example of the above map \(\theta\) is given with \(\ker\theta\) finitely generated, torsion-free. -- Suppose \((R, {\mathfrak N}, k)\) to be an excellent, local, normal domain. Letting \(A : = R[[T]]\) and \(t = T\), in the above setting, allows us to establish conditions on \(R\) such that \(R\) has discrete divisor class group (DCG), i.e., \(\ker \theta = 0\). The ascent and descent of the DCG property is investigated for generically Galois extensions \(B \subset A\). Finally, we show that for a local, normal domain, \((A, {\mathcal M})\), which is approximation and a \(\mathbb{Q}\)-algebra, there is an isomorphism, \(\text{Cl} (A)_t \cong \text{Cl} (\widehat A)_t\), between the torsion subgroups of the divisor class groups of \(A\) and its \({\mathfrak M}\)-adic completion \(\widehat A\).