Algebraic cycles on toric fibrations over abelian varieties (Q1818942)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic cycles on toric fibrations over abelian varieties |
scientific article |
Statements
Algebraic cycles on toric fibrations over abelian varieties (English)
0 references
27 January 2000
0 references
Let \(X\) be a smooth projective variety defined over a finite field \(k\). Beilinson has conjectured that the cycle class map cl\(:\text{CH}^i(X) \otimes_Z\mathbb{Q}_\ell \to H^{2i}_{et}(X\otimes_k\overline k,\mathbb{Q}_\ell (i))\) is injective for any prime \(\ell\) different from \(\text{char} k\). Assuming this conjecture, Grothendieck's standard conjecture and the Tate conjectures can be reformulated as follows. Let \({\mathcal L}_X\) be an ample invertible sheaf on \(X\) and \(L\) the associated Lefschetz operator. Then (i) the Lefschetz operator induces an isomorphism \(L^{d-2p}:\text{CH}^p (X)_\mathbb{Q} @>\cong>> \text{CH}^{d-p} (X)_\mathbb{Q}\), \(0\leq 2p\leq d=\dim X\); (ii) define by \((\alpha,\beta)\mapsto(-1)^p\deg_X(\alpha.L^{d-2p}\beta)\) CH\(^p(X)_\mathbb{Q}\times\text{CH}^p(x)_\mathbb{Q}\to\mathbb{Q}\) asymmetric bilinear form. It is positive definite on the subspace of primitive elements; (iii) the action of \(\Gamma_k =\text{Gal}(\overline k/k)\) on \(H^i_{et}(X\otimes_k\overline k, \mathbb{Q}_\ell (j))\) is semi-simple; (iv) the cycle class map induces an isomorphism \(\text{CH}^i (X)\otimes_Z \mathbb{Q}_\ell @>\cong>> H^{2i}_{et} (X\otimes_k \overline k,\mathbb{Q}_\ell(i))^{\Gamma_k}\). In this paper the author proves these conjectures for the contraction product \(P=G\times^TZ\), where \(G\) is an extension of an abelian variety \(A\) by an algebraic torus \(T\) which is split over \(k\) and \(Z\) is a smooth projective toric variety \(T\subset Z\), under the assumption \(\dim A\leq 2\). The strategy of his proof is to deform \(P\) into the product \(A\times Z\) for which the proof becomes easy. The restriction on the dimension of \(A\) comes from the fact that it relies on the validity of the case \(i=1\) of the part (iv) due to Tate, and on the Hodge index theorem for surfaces due to Fulton.
0 references
Grothendieck conjecture
0 references
Chow group
0 references
finite ground field
0 references
cycle class map
0 references
Tate conjectures
0 references
ample invertible sheaf
0 references
Lefschetz operator
0 references
extension of an abelian variety
0 references
toric variety
0 references
Hodge index theorem
0 references