“When [Oscar Zariski] spoke the words algebraic variety, there was a certain resonance in his
voice that said distinctly that he was looking into a secret garden. I immediately wanted to be
able to do this too ... Especially, I became obsessed with a kind of passion flower in this garden,
the moduli spaces of Riemann.” David Mumford
Curvas algebraicas son un objeto de estudio clásico en geometría algebraica que todavía
atrae mucha investigación e interés, en particular la geometría de sus espacios de moduli.
Mi intención es hacer una introducción básica sobre curvas algebraicas y sus espacios de
moduli enfocada en ejemplos, preguntas y ojalá discusion abierta. Estudiantes terminando
el pregrado o en etapa temprana del posgrado están particularmente invitados.
El curso consiste en 5 sesiones de 1 hora.
Lunes 29: Weil/Cartier divisors on curves, linear series, line bundles, morphisms to
projective spaces, Riemann-Roch, and Geometric Riemann-Roch.
Martes 30: Ramification, Riemann-Hurwitz and monodromy. Positivity of line bundles
on curves. Generic curves of low genus. Examples.
Miércoles 1: First approach to Mg , dimension, rationality/unirationality/uniruledness,
and Severi’s theorem.
Jueves 2: Stable curves, divisors on Mg , and the Brill-Noether locus.
Viernes 3: Grothendieck-Riemann-Roch, the canonical class of Mg , and Harris-Mumford
Theorem.
Referencias sugeridas:
[AC] E. Arbarello and M. Cornalba, Footnotes to a paper of Beniamino Segre, Mathematische Annalen 256
(1981), 341–362.
[ACGH] E. Arbarello, M. Cornalba, P. Griffiths and J. Harris, Geometry of algebraic curves, Grundlehren der
mathematischen Wissenschaften 267, Springer.
[F] G. Farkas, Aspects of the birational geometry ofMg , in: Geometry of Riemann surfaces and their moduli
spaces, Surveys in Differential Geometry Vol. 14 (2010), 57–111.
[HM] J. Harris and D. Mumford, On the Kodaira dimension of the moduli space of curves, Inventiones Math. 67
(1982), 23–88.
[Ha] R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics. Springer-Verlag, New York 1977.
En estas primeras cuatro o cinco sesiones vamos a estudiar un problema basico de la topologa diferencial: ¿cómo caracterizar una esfera? Mas concretamente quisieramos estudiar esta pregunta desde tres puntos de vista que corresponden a tres nociones distintas de isomorsmo en la categora de variedades diferenciables:
1. Caracterizacion por equivalencia homotopica: si una n-variedad diferenciable compacta M tiene los mismos grupos de homologa de la n-esfera Sn, ¿es M homotopicamente equivalente a Sn?
2. Carecterizacion por homeomorsmo: si una n-variedad diferenciable compacta M tiene el mismo tipo de homotopa de la n-esfera Sn, ¿es M homeomorfa a Sn?
3. Caracterizacion por difeomorsmo: si una n-variedad diferenciable M es homemorfa a la n-esfera Sn, ¿es M difeomorfa a Sn?
La respuesta al caso (1) es NO. Poincare fue el primero en exhibir una 3-variedad compacta cuyos grupos de homologa son triviales excepto en grado 0 y 3 pero cuyo grupo fundamental es no-trivial. Sin embargo, lo siguiente s es cierto: toda variedad compacta simplemente conexa y con los mismos grupos de homologa de la n-esfera es homotopicamente equivalente a la n-esfera (probar esto es un ejercicio que les dejo).
La respuesta al caso (2) es SI. Esa es la llamada \conjetura de Poincare" (que ya no es conjetura). Una sesion del seminario la emplearemos en dar un bosquejo de este caso en dimensiones mayores que 5. Veremos que en ese caso es una consecuencia del Teorema de h-cobordismo, el cual vamos a discutir. La respuesta al caso (3) es NO en general1. A las variedades diferenciables homeomorfas pero no difeomorfas a Sn se les apoda esferas exoticas. Milnor fue el primero en descubrir este tipo de variedades y en este seminario vamos a discutir como lo hizo.
Programa tentativo.
Agosto 24. El teorema de h-cobordismo y la conjetura de Poincare generalizada. [Kos93].
Agosto 31 Esferas exoticas en dimension 7. [Mil56].
Septiembre 7. Variedades topologicas de que no admiten estructuras diferenciables (ejemplos de Freedman en dimension 4 y de Kervaire en dimension 10). [Fre82],[Ker60].
Septiembre 14. Introduccion a la teora de ciruga y su aplicacion en la clasicacion de esferas exoticas. [Kos93], [KM63], [Mil61].
Septiembre 21. (Opcional) Otros usos de la teora de ciruga: esta charla es de tipo general y sera principalmente para que conozcamos como se usan estas ideas clasicas en problemas mas recientes.
Referencias
[Fre82] Michael Hartley Freedman. The topology of four-dimensional manifolds. J. Differential Geometry, 17(3):357{453, 1982. 1
[Ker60] Michel A. Kervaire. A manifold which does not admit any dierentiable structure. Comment. Math. Helv., 34:257{270, 1960. 1
1Por ejemplo, en dimensiones menores que 4 la respuesta es s, en dimension 4 no se sabe y en casi todas las otras dimensiones la repuesta es no.
[KM63] M.A. Kervaire and J.W. Milnor. Groups of homotopy spheres. I. Ann. of Math. (2), 77:504{537, 1963. 1
[Kos93] Antoni A. Kosinski. Differential manifolds, volume 138 of Pure and Applied Mathematics. Academic Press, Inc., Boston, MA, 1993. 1
[Mil56] J. Milnor. On manifolds homeomorphic to the 7-sphere. Ann. of Math. (2), 64:399{405, 1956. 1
[Mil61] John Milnor. A procedure for killing homotopy groups of differentiable manifolds. In Proc. Sympos.
Pure Math., Vol. III, pages 39{55. American Mathematical Society, Providence, R.I, 1961. 1