Zero-cycles on Hilbert-Blumenthal surfaces
type: Item
instance of: scholarly article
title: Zero-cycles on Hilbert-Blumenthal surfaces
zbMATH Open document ID: 0974.11030
DOI: 10.1215/S0012-7094-00-10317-1
author: Andreas Langer
published in: Duke Mathematical Journal
publication date: 2000-07-24T00:00:00Z
review text: Let \(F\) be a real quadratic field of class number 1 and discriminant \(q\), and let \(X/{\mathbb{Q}}\) be a smooth complete variety obtained from the coarse moduli space parameterizing polarized abelian surfaces with real multiplication by the ring of integers \(O_F\), obtained by resolving the cusps and finite quotient singularities. One may extend \(X\) to a smooth scheme over \({\mathbb{Z}}_p\) for \(p\in U\) - a set containing all but finitely many primes \(p\). The author makes the very restrictive hypothesis that the Doi-Naganuma lift \(S_2(\Gamma_0(q), \varepsilon_q) \rightarrow S_2(\text{SL}_2(O_F))\) is surjective. Under the hypotheses above the author proves some very strong theorems concerning zero-cycles on these varieties, the Tate conjecture for divisors on the reduction modulo \(p\) and more. In particular: Theorem A: Let \(p\) be a prime that splits in \(F\) and such that \(X\) has good reduction at \(p\) with closed fiber \(X_p\). Then the Tate conjecture holds for divisors on \(X_p\). That is: \(NS(X_p)\otimes {\mathbb{Q}}_\ell \cong H^2_{et}(\overline{X_p}, {\mathbb{Q}}_\ell(1))^{Fr_p}\). Theorem B: The boundary map \(\partial ': H^1(X, K_2)\otimes \mathbb{Q} \rightarrow \oplus_\ell \text{Pic}(X_\ell) \otimes \mathbb{Q}\) is surjective, where the summation on the r.h.s. is over all primes \(\ell \in U\) that are split in \(F\). Theorem C: For all split primes \(p\in U\) the prime to \(p\) torsion in \(\text{Ch}_0(X\times_{{\mathbb{Z}}_p} {\mathbb{Q}}_p)\) is finite. Under additional hypothesis involving Beilinson's conjectures, Tate's conjecture at inert primes and more, the author obtains the following Theorem D: For all \(p\in U-\{2, 3\}\) the \(p\)-torsion part of \(\text{Ch}_0(X)\) is finite. The proof of the Tate conjecture is based on reduction to an analogous statement for the intersection cohomology, which, in turn, is studied via modular forms. In this study the assumption on the Doi-Naganuma lift is used to reduce the study of Galois m…
Mathematics Subject Classification ID: 11G18
Mathematics Subject Classification ID: 14C25
Mathematics Subject Classification ID: 14G35
zbMATH DE Number: 1463082
zbMATH Keywords: zero-cycle
zbMATH Keywords: Hilbert-Blumenthal surface
zbMATH Keywords: Doi-Naganuma lift
zbMATH Keywords: Tate conjecture
reviewed by: Eyal Z. Goren
MaRDI profile type: Publication
cites work: Q3876042
cites work: Q3972724
cites work: Cohomologie d'intersection et fonctions $L$ de certaines variétés de Shimura
cites work: On the semi-simplicity of the \(U_p\)-operator on modular forms
cites work: Q1177898
cites work: Torsion dans le groupe de Chow de codimension deux
cites work: Q5607047
cites work: Les Schémas de Modules de Courbes Elliptiques
cites work: A finiteness theorem for the symmetric square of an elliptic curve
cites work: Q4039833
cites work: Automorphic Forms on Adele Groups. (AM-83)
cites work: Q3695374
cites work: Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus
cites work: Continuous étale cohomology
cites work: Die Tate-Vermutungen für Hilbert-Blumenthal-Flächen. (The Tate conjectures for Hilbert-Blumenthal surfaces)
cites work: A note on p-adic étale cohomology
cites work: Selmer groups and torsion zero cycles on the selfproduct of a semistable elliptic curve
cites work: 0-cycles on the elliptic modular surface of level 4
cites work: Q4262203
cites work: Q4952449
cites work: 0-cycles on the self product of a CM elliptic curve over ℚ
cites work: Torsion zero-cycles on the self-product of a modular elliptic curve
cites work: Cycles in a product of elliptic curves, and a group analogous to the class group
cites work: On a conjecture of Artin and Tate
cites work: On automorphic forms on \(mathrm{GL}_2\) and Hecke operators
cites work: Period relations and the Tate conjecture for Hilbert modular surfaces
cites work: Q2914641
cites work: Periods of Hilbert modular surfaces
cites work: Strong approximation for semi-simple groups over function fields
cites work: Higher algebraic K-theory: I
cites work: Q3714175
cites work: Q4166840
cites work: Q3491711
cites work: Q4297082
cites work: Balancing assembly lines effectively -- a computational comparison
cites work: Modular elliptic curves and Fermat's Last Theorem
description: scientific article; zbMATH DE number 1463082