On the kernel of the reciprocity map of normal surfaces over finite fields (Q1818745): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 04:47, 5 March 2024

scientific article
Language Label Description Also known as
English
On the kernel of the reciprocity map of normal surfaces over finite fields
scientific article

    Statements

    On the kernel of the reciprocity map of normal surfaces over finite fields (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    7 February 2000
    0 references
    Let \(X\) be a proper variety over a finite field. Let \(\operatorname {CH}_0(X)\) denote the Chow group of zero cycles on \(X\), and let \(\pi_1^{\text{ab}}(X)\) be the abelian étale fundamental group of \(X\). Let \(\Theta_X: \operatorname {CH}_0(X)\to \pi_1^{\text{ab}}(X)\) be the reciprocity map. This map has dense image if \(X\) is normal [\textit{S. Lang}, Ann. Math., II. Ser. 64, 285-325 (1956; Zbl 0089.26201)], and is injective if \(X\) is smooth [\textit{K. Kato} and \textit{S. Saito}, Ann. Math., II. Ser. 118, 241-275 (1983; Zbl 0562.14011)]. The authors investigate the kernel of \(\Theta_X\) if \(X\) is a normal surface (theorem 0.1). Key ingredients in the proof are: the existence of desingularization of two-dimensional schemes (due to Lipman) and a cohomological Hasse principle for a smooth proper surface (due to Colliot-Thélène-Sansuc-Soulé/Kato). Fix a resolution \(\rho: S\to X\), and let \(D= \rho^{-1} (x_0)_{\text{red}}\) be the exceptional fiber (\(x_0\in X\) denotes an isolated singular point). Let \(H_1 (\Gamma_D,\mathbb{Z})\) denote the first homology group of the dual graph of \(D\). The natural homomorphism \(\partial_X: H_1 (\Gamma_D,\mathbb{Z})\to \operatorname {CH}_0(X)\) (constructed in section 2.2) plays a key role in the study of \(\operatorname {Ker} (\Theta_X)\). Two types of normal projective surfaces are constructed whose reciprocity maps are not injective (section 4).
    0 references
    Chow group
    0 references
    étale fundamental group
    0 references
    reciprocity map
    0 references
    desingularization
    0 references
    cohomological Hasse principle
    0 references

    Identifiers