On the Albanese map for smooth quasi-projective varieties (Q1865694): Difference between revisions

The authors generalize the classical Albanese map from smooth projective to smooth quasi-projective varieties and they extend a theorem of \textit{A. A. Rojtman} [Ann.\ Math.~(2)~111, 553--569 (1980; Zbl 0504.14006)] and a theorem of \textit{K. Kato} and \textit{S. Saito} [Ann.\ Math.~(2)~118, 241--275 (1983; Zbl 0562.14011)] to their generalized Albanese map. Let \(X\) be a quasi-projective smooth variety over an algebraically closed field \(k\) of characteristic \(p \geq 0\). While the authors use the degree zero part \(h_0(X)^0\) of A. Suslin's \(0\)th algebraic singular homology group [\textit{A. Suslin} and \textit{V. Voevodsky}, Invent. Math.~123, No.~1, 61--94 (1996; Zbl 0896.55002)] as source for their generalized Albanese map, they use the generalized Albanese variety \(\text{Alb}_X\) introduced by \textit{J.-P. Serre} [in: Variétés de Picard, Sem.\ C.\ Chevalley~3 (1958/59), No. 10 (1960; Zbl 0123.13903)] as target. If \(X\) admits a smooth compactification, they show that the generalized Albanese map induces an isomorphism on prime-to-\(p\) torsion subgroups (proved by Rojtman if \(X\) is projective) and, if moreover \(k\) is the algebraic closure of a finite field, that the generalized Albanese map is an isomorphism of torsion groups (proved by Kato and Saito again if \(X\) is projective). The authors' approach is more conceptual than the classical one. Their proof exploits on the one hand the comparison isomorphisms \(h^i(X,{\mathbb Z}/n{\mathbb Z}) \rightarrow H^i_{\text{ét}}(X,{\mathbb Z}/n{\mathbb Z})\) according to \textit{A. Suslin} and \textit{V. Voevodsky} [loc. cit.] and on the other hand the ``tamely ramified class field theory'' developed by \textit{A. M. Schmidt} and \textit{M. Spieß} [J. Reine Angew. Math. 527, 13--36 (2000; Zbl 0961.14013)].