Algebraic cycles on Severi-Brauer schemes of prime degree over a curve

DOI10.4310/MRL.2008.V15.N1.A5MaRDI QIDQ932920zbMATH OpenOpenAlexFDO

Authors Cristian D. Gonzales-Aviles

Publication date 21 July 2008

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0701861

zbMATH Keywords

algebraic cyclesChow groupsSeveri-Brauer schemes

Mathematics Subject Classification ID

Varieties over global fields (11G35) (Equivariant) Chow groups and rings; motives (14C15) Algebraic cycles (14C25) Global ground fields in algebraic geometry (14G25)

Abstract: Let $k$ be a perfect field and let $p$ be a prime number different from the characteristic of $k$. Let $C$ be a smooth, projective and geometrically integral $k$-curve and let $X$ be a Severi-Brauer $C$-scheme of relative dimension $p-1$ . In this paper we show that $C{H}^d(X{)}_{mtors}$ contains a subgroup isomorphic to $C{H}_0(X/C)$ for every $d$ in the range $2leqdleqp$. We deduce that, if $k$ is a number field, then $C{H}^d(X)$ is finitely generated for every $d$ in the indicated range.

Review text

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\).

Recommendations

• Codimension 2 cycles on Severi-Brauer varieties
• Degenerated fibers of Severi-Brauer schemes of orders
• Brauer-Severi schemes of finitely generated algebras
• Codimension 2 cycles on Severi-Brauer varieties and decomposability
• scientific article; zbMATH DE number 1004557

Cited in

(1)

• Finiteness theorems for algebraic cycles of small codimension on quadric fibrations over curves

This page was built for publication: Algebraic cycles on Severi-Brauer schemes of prime degree over a curve

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q932920)