For a smooth algebraic curve X over a field, applying H1 to the Abel map X → PicX∕∂X to the Picard scheme of X modulo its boundary realizes the Poincaré duality isomorphism
We show the analogous statement for the Abel map X∕∂X →Pic¯X∕∂X to the compactified Picard, or Jacobian, scheme, namely this map realizes the Poincaré duality isomorphism H1(X∕∂X, ℤ∕ℓ) → H1(X, ℤ∕ℓ(1)). In particular, H1 of this Abel map is an isomorphism.
In proving this result, we prove some results about Pic¯ that are of independent interest. The singular curve X∕∂X has a unique singularity that is an ordinary fold point, and we describe the compactified Picard scheme of such a curve up to universal homeomorphism using a presentation scheme. We construct a Mayer–Vietoris sequence for certain pushouts of schemes, and an isomorphism of functors π1ℓ Pic0(−)≅H1(−, ℤℓ(1)).
Keywords: Abel map, compactified Picard scheme, compactified Jacobian, Poincaré duality
Kass, Jesse  1 ; Wickelgren, Kirsten  2
@article{10_2140_agt_2015_15_319,
author = {Kass, Jesse and Wickelgren, Kirsten},
title = {An {Abel} map to the compactified {Picard} scheme realizes {Poincar\'e} duality},
journal = {Algebraic and Geometric Topology},
pages = {319--369},
year = {2015},
volume = {15},
number = {1},
doi = {10.2140/agt.2015.15.319},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2015.15.319/}
}
TY - JOUR AU - Kass, Jesse AU - Wickelgren, Kirsten TI - An Abel map to the compactified Picard scheme realizes Poincaré duality JO - Algebraic and Geometric Topology PY - 2015 SP - 319 EP - 369 VL - 15 IS - 1 UR - http://geodesic.mathdoc.fr/articles/10.2140/agt.2015.15.319/ DO - 10.2140/agt.2015.15.319 ID - 10_2140_agt_2015_15_319 ER -
%0 Journal Article %A Kass, Jesse %A Wickelgren, Kirsten %T An Abel map to the compactified Picard scheme realizes Poincaré duality %J Algebraic and Geometric Topology %D 2015 %P 319-369 %V 15 %N 1 %U http://geodesic.mathdoc.fr/articles/10.2140/agt.2015.15.319/ %R 10.2140/agt.2015.15.319 %F 10_2140_agt_2015_15_319
Kass, Jesse; Wickelgren, Kirsten. An Abel map to the compactified Picard scheme realizes Poincaré duality. Algebraic and Geometric Topology, Tome 15 (2015) no. 1, pp. 319-369. doi: 10.2140/agt.2015.15.319
[1] , , Compactifying the Picard scheme, Adv. in Math. 35 (1980) 50
[2] , , The presentation functor and the compactified Jacobian, from: "The Grothendieck Festschrift, Vol. I" (editors P Cartier, L Illusie, N M Katz, G Laumon, Y Manin, K A Ribet), Progr. Math. 86, Birkhäuser (1990) 15
[3] , Cohomology of line bundles on compactified Jacobians, Math. Res. Lett. 18 (2011) 1215
[4] , Autoduality of compactified Jacobians for curves with plane singularities, J. Algebraic Geom. 22 (2013) 363
[5] , Thom complexes, Proceedings London Math. Soc. 11 (1961) 291
[6] , Generalized parabolic bundles and applications to torsionfree sheaves on nodal curves, Ark. 30 (1992) 187
[7] , , , Néron models, 21, Springer (1990)
[8] , , Prime-to–p étale covers of algebraic groups and homogeneous spaces, Bull. Lond. Math. Soc. 45 (2013) 602
[9] , Cohomologie étale (SGA 4), 569, Springer (1977)
[10] , , editors, Schémas en groupes, I : Propriétés générales des schémas en groupes (SGA 3), 151, Springer (1970)
[11] , , editors, Schémas en groupes, II : Groupes de type multiplicatif, et structure des schémas en groupes généraux (SGA 3), 152, Springer (1970)
[12] , , , Abel maps and presentation schemes, Comm. Algebra 28 (2000) 5961
[13] , , , Autoduality of the compactified Jacobian, J. London Math. Soc. 65 (2002) 591
[14] , , Autoduality for treelike curves with planar singularities, Bull. Braz. Math. Soc. 44 (2013) 413
[15] , Conducteur, descente et pincement, Bull. Soc. Math. France 131 (2003) 553
[16] , Étale homotopy of simplicial schemes, 104, Princeton Univ. Press (1982)
[17] , Revêtements étales et groupe fondamental : Séminaire de géométrie algébrique du Bois Marie 1960–61 (SGA 1), 224, Springer (1962)
[18] , , Eléments de géométrie algébrique, IV : Étude locale des schémas et des morphismes de schémas, II, Inst. Hautes Études Sci. Publ. Math. 24 (1965) 5
[19] , On the Picard group of the stable A1–homotopy category, Topology 44 (2005) 609
[20] , Etale realization on the A1–homotopy theory of schemes, Adv. Math. 184 (2004) 37
[21] , An explicit non-smoothable component of the compactified Jacobian, J. Algebra 370 (2012) 326
[22] , Singular curves and their compactified Jacobians, from: "A celebration of algebraic geometry" (editors B Hassett, J McKernan, J Starr, R Vakil), Clay Math. Proc. 18, Amer. Math. Soc. (2013) 391
[23] , , Reducibility of the compactified Jacobian, Compositio Math. 43 (1981) 277
[24] , , , Fourier–Mukai and autoduality for compactified Jacobians, I,
[25] , Étale cohomology, 33, Princeton Univ. Press (1980)
[26] , Topics in absolute anabelian geometry, I : Generalities, J. Math. Sci. Univ. Tokyo 19 (2012) 139
[27] , Abelian varieties, 5, Tata Institute (1970)
[28] , Curves and their Jacobians, The University of Michigan Press, Ann Arbor, Mich. (1975)
[29] , , Compactifications of the generalized Jacobian variety, Trans. Amer. Math. Soc. 253 (1979) 1
Cité par Sources :