Finiteness theorems in the class field theory of varieties over local fields. (Q1399675): Difference between revisions
From MaRDI portal
Latest revision as of 18:48, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finiteness theorems in the class field theory of varieties over local fields. |
scientific article |
Statements
Finiteness theorems in the class field theory of varieties over local fields. (English)
0 references
30 July 2003
0 references
Let \(K\) be a finite extension of \({\mathbb Q}_p\) or of \({\mathbb F}_{p}((T))\) (\(p\) prime), and let \(X\) be a smooth proper absolutely connected \(K\)-variety. Denote by \(\varpi_1(X)\) the maximal commutative quotient of the profinite group \(\pi_1(X)\), the étale fundamental group of \(X\). There is a surjection \(\varpi_1(X)\rightarrow\varpi_1(K)\) whose kernel \(\varpi_1(X)_0\) -- ``the geometric part'' -- is shown to have finite torsion subgroup; the quotient modulo the torsion is \(\hat{\mathbb Z}^r\), where \(r\) is the toric rank of the Albanese variety \(A\) of~\(X\), i.e.~the dimension of the maximal split torus in the closed fibre of the Néron model of \(A\) (Theorem~1.1). Consequently, if \(X\) has potential smooth reduction, then \(\varpi_1(X)_0\) is finite (Corollary~1.2). The prime-to-\(p\) part of the theorem is attributed to A.~Grothendieck in the literature. \textit{S.~Bloch} [Ann. Math. (2) 114, 229--265 (1981; Zbl 0512.14009)], who took \(X\) to be a curve \(C\) over \(K| {\mathbb Q}_p\) having smooth reduction, described \(\varpi_1(C)_0\) in terms of the function field \(K(C)\) of the curve, just as one describes the group \(\text{ Gal}(H| F)\) of \(F\)-automorphisms of the maximal unramified abelian extension \(H\) of a number field \(F\) in terms of the class group of \(F\). Then, \textit{S.~Saito} [J. Number Theory 21, 44--80 (1985; Zbl 0599.14008)] extended the result to all curves, but treated only the prime-to-\(p\) part in the equicharacteristic-\(p\) case. This last restriction is now removed, so the ``reciprocity map'' \(\sigma\) from the cokernel of the tame symbols on \(K(C)\), modulo its maximal divisible subgroup, to \(\varpi_1(C)\) is injective, and the quotient by the closure of \(\text{ Im}(\sigma)\) is \(\widehat{\mathbb Z}^r\) (Theorem~5.1). Conditional results about the reciprocity map for \(K\)-surfaces have been obtained by \textit{U. Jannsen} and \textit{S. Saito} [Doc. Math., J. DMV Extra Vol., 479--538 (2003; Zbl 1092.14504)]. The author's approach is a generalisation of Bloch's method, employing \(p\)-divisible groups over the ring of integers \(\mathfrak o\) of \(K\), for which a theorem of J.~Tate and J.~de~Jong states that \(\Hom_{\mathfrak o}(\Gamma,\Gamma')\rightarrow \Hom_{K} (\Gamma_{K}, \Gamma^\prime_{K})\) is bijective. An important role is also played by Grothendieck's monodromy filtration on the Tate module of \(A\). A more precise study of the torsion subgroup of \(\varpi_1(X)_0\) has been made by the author for \(X\) the modular curve \(X_0(p)\) over \({\mathbb Q}_p\) [\texttt{math.NT/0405426}].
0 references
unramified class field theory
0 references
curves over local fields
0 references
0 references
0 references