Algebraic cycles on Severi-Brauer schemes of prime degree over a curve (Q932920): Difference between revisions

Let \(C\) be a smooth projective geometrically integral curve over a perfect field \(k\). Let \(q: X \to C\) be a Severi-Brauer \(C\)-scheme of relative dimension \(p-1\), where \(p\) is a prime number different from the characteristic of \(k\). We write \(CH_0(X/C)\) for the kernel of \(q_*: CH_0(X) \to CH_0(C)\). In the paper under review, the author constructs an isomorphism \(\ker[ \pi^*: CH^d(X) \to CH^d(\bar{X})] \cong CH_0(X/C)\) for any integer \(d\) such that \(2 \leq d \leq p\), where \(\pi: \bar{X} \to X\) is the base change to an algebraic closure of \(k\). As a corollary, the Chow ring \(CH^*(X)\) is shown to be finitely generated when \(k\) is a number field. In the proof, the isomorphism \(CH_0(X/C) \cong k(C)^*_{dn}/k^* \cdot Nrd(A^*)\) constructed by \textit{E. Frossard} [Compos. Math. 110, No. 2, 187--213 (1998; Zbl 0902.14007)] is essentially used. Here \(k(C)^*_{dn}\) is a subgroup of \(k(C)^*\) called the group of divisorial norms of \(X/C\), and \(A\) is the central simple algebra over \(k(C)\) associated to the generic fiber of \(q\).