"Albanese" schemes: When does an "initial abelian scheme" exist under a given scheme? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T02:00:28Z http://mathoverflow.net/feeds/question/2548 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2548/albanese-schemes-when-does-an-initial-abelian-scheme-exist-under-a-given-sch "Albanese" schemes: When does an "initial abelian scheme" exist under a given scheme? Andrew Critch 2009-10-26T01:17:13Z 2010-08-11T16:38:02Z <p>For a variety V, its <a href="http://en.wikipedia.org/wiki/Albanese%5Fvariety" rel="nofollow">Albenese variety</a> Alb(V) is a variety with a map V &rarr; Alb(V) which factors uniquely into any map from V to an abelian variety. Can we say something similar for an arbitrary scheme? When do we know there exists an "Albanese" scheme Alb(X)? That is,</p> <blockquote> <p>Under what conditions on a scheme X does there exist a morphism X &rarr; Alb(X) which factors uniquely into any map from from X to an abelian scheme?</p> </blockquote> http://mathoverflow.net/questions/2548/albanese-schemes-when-does-an-initial-abelian-scheme-exist-under-a-given-sch/2578#2578 Answer by David Zureick-Brown for "Albanese" schemes: When does an "initial abelian scheme" exist under a given scheme? David Zureick-Brown 2009-10-26T07:01:49Z 2009-10-26T07:01:49Z <p>You can construct it in arbitrary characteristic (over an algebraically closed field) using the (reduced, `iterated') Picard variety; check out theorem 3.4 of <a href="http://www.math.purdue.edu/~jinhyun/note/picardscheme/picard.pdf" rel="nofollow">these</a> notes.</p> http://mathoverflow.net/questions/2548/albanese-schemes-when-does-an-initial-abelian-scheme-exist-under-a-given-sch/2579#2579 Answer by Lars for "Albanese" schemes: When does an "initial abelian scheme" exist under a given scheme? Lars 2009-10-26T07:02:32Z 2009-10-26T07:07:41Z <p>While not having read it closely myself, I remember that there is an appendix in <a href="http://www.kurims.kyoto-u.ac.jp/~motizuki/Topics%20in%20Absolute%20Anabelian%20Geometry%20I.pdf" rel="nofollow">this</a> paper by Shinichi Mochizuki claiming to develop the theory of Albanese varieties in modern language. Maybe you find it helpful. Skimming it, it seems that his main result is, that any separated geometrically integral scheme of finite type over a field admits an Albanese, see Corollary A.11 and the following remarks.</p> http://mathoverflow.net/questions/2548/albanese-schemes-when-does-an-initial-abelian-scheme-exist-under-a-given-sch/2606#2606 Answer by Tony Pantev for "Albanese" schemes: When does an "initial abelian scheme" exist under a given scheme? Tony Pantev 2009-10-26T12:54:18Z 2010-08-11T16:38:02Z <p>The construction of an Albanese scheme and an Albanese map for proper and geometrically irreducible schemes over a perfect field goes back to the work of Chevalley, to <a href="http://archive.numdam.org/article/SCC_1958-1959__4__A10_0.pdf" rel="nofollow">this talk</a> of Serre, and to Grothendieck, e.g. <a href="http://www.math.jussieu.fr/~leila/grothendieckcircle/FGA.pdf" rel="nofollow"> Theorem 3.3. in FGA Exp.VI </a>. The idea is always to look at the dual of an appropriate component of the Picard scheme. One just has to pile enough conditions on the setup to ensure that the Picard functor is representable. </p> <p>One thing that should be said here is that the Albanese scheme is not in general an abelian scheme but only a torsor over a semi-abelian scheme. Also if we drop the properness condition or consider our original scheme to be defined over a base scheme things become more interesting. In full generality it is possible to define an Albanese 1-motive over the base scheme (it is a complex of sheaves of abelian groups of small amplitude with typically representable cohomology) which has the desired universal property. There are various techniques for construction of this derived version of the Albanese scheme. Some use characteristic zero, resolution of singularities, and Nagata compactifications, and some use simplicial scheme resolutions. There are many cool works in this direction, e.g. the paper of <a href="http://arxiv.org/pdf/math/9906165v1" rel="nofollow"> Barbieri-Viale and Srinivas </a>, and the more recent papers of Niranjan Ramachandran and <a href="http://arxiv.org/pdf/math/0607738v2" rel="nofollow"> Ayoub and Barbieri-Viale </a>. The appendix of Mochizuki's paper mentioned in Lars' post is also excellent.</p>