[UNAM]

Seminario nacional de geometría algebraica EN LÍNEA

Este es un seminario de investigación dirigido a investigadores y estudiantes de posgrado.
Comentarios sobre el seminario: LEER.

Para acceder comunicarse con
Cristhian Garay : cristhian dot garay at cimat dot mx
César Lozano Huerta : lozano at im dot unam dot mx
Claudia Reynoso: claudia at cimat dot mx
Hugo Torres: hugo at cimat dot mx

Otros seminarios y eventos en México: (WWW).


      
      


    Robin Hartshorne, UC - Berkeley.

  • 4:00pm, 13 octubre: Some problems concerning curves in projective three space.


    I will discuss some open problems concerning curves, together with examples, and ideas about how to study the problems.







    Montserrat Vite Escobedo, UNAM-Oaxaca.

  • 4:00 pm, 27 octubre.             

                                                                                                                  








    -- Expositores confirmados este semestre:
    Ciro Ciliberto.




        
        


      Leticia Brambila Paz, CIMAT-Gto.

    • 4:00pm, 1 septiembre: El haz de Picard generalizado. (VIDEO)


      En esta plática presentaré unos de los resultados que, junto con Indranil Biswas y Peter Newstead, demostramos sobre la estabilidad, deformaciones y el espacio móduli del haz de Picard generalizado --llamado también la transformada de Fourier-Mukai.







      Juan Vásquez Aquino, CIMAT-Gto.

    • 4:00 pm, 15 septiembre: Cohomología del cociente GIT de cuárticas planas. (VIDEO)

      En esta charla presentaré las técnicas de Kirwan para calcular la cohomología racional de cocientes GIT, los cuales consisten en cálculos de cohomología racional equivariante de diversos estratos así como la cohomología de una desingularización parcial del cociente en caso de ser singular. Presentaré los resultados obtenidos para el cociente GIT de cuárticas planas.












        
        


      Montserrat Teixidor i Bigas, Tufts University.

    • 4:00pm, 18 agosto: La conjetura del rango maximal y la dimensión de Kodaira de los espacios de módulos de curvas.
      (VIDEO)

      Los geómetras clásicos estudiaron espacios de módulos de curvas de géneros bajos que son racionales y pensaban que lo mismo debía ser cierto para todos los géneros. Harris, Mumford y Eisenbud demostraron a inicios de los años 80 que para género al menos 23, los espacios de módulos de curvas están tan lejos como es posible de ser racionales. Durante mucho tiempo se pensó que 23 era el numero mágico separando el tipo de comportamiento de espacios de módulos. Resultados recientes demuestran que los géneros 21 y 22 también tienen dimensión de Kodaira maximal. La demostración de esto utiliza divisores del espacio de módulos definidos de forma geométrica en términos de las aplicaciones de las curvas en un espacio proyectivo.







                                                                                                             

                                                                                                             












          
          


        Michael Kemeny, University of Wisconsin-Madison.

      • 4:00pm, 2 junio: The rank of syzygies of canonical curves. (VIDEO)


        The classical work of Petri tells us that a canonical curve is an intersection of quadrics (with some exceptions) and, moreover, the theorem of Max Noether tells us how many such quadrics are needed to generate the ideal of the curve. It is natural to ask what one can say about these quadrics, and, indeed, in important work by Andreotti-Mayer in the 60s and Green in the 80s, it is established that the ideal is always generated by quadrics of rank four. Following Green's philosophy that one should generalize the classical work on the ideal of a projective variety to a study of the minimal free resolution of the ideal, we will show how to define a notion of rank for any linear syzygy. We then generalize Andreotti-Mayer-Green's result by proving that all linear syzygy spaces of a canonical curve are spanned by syzygies of the minimal possible rank.



        Barbara Bolognese, Università Roma Tre.

      • 3:00 pm, 16 junio: Fullness of exceptional collections via stability conditions - A case of study: the quadric threefold. (VIDEO)

        A powerful tool of investigation of Fano varieties is provided by exceptional collections in their derived categories. In general, proving the fullness of such a collection is a hard problem, often done on a case-by-case basis, with the aid of a deep understanding of the underlying geometry. Likewise, when an exceptional collection is not full, it is not straightforward to determine whether its residual category is the derived category of a variety.

        Taking after Bondal and Orlov, we examine two cases: the case of quadric hypersurfaces in Pn+1 and the case of the index 2 Fano threefold Y (the generic intersection of two quadrics in P5. In the first case, we prove that the classical result by Kapranov on the fullness of the standard exceptions is equivalent to the existence of a numerical stability condition on the residual category of the exceptional collection of the quadric. In the second case, we show how the same technique recovers the equivalence of the residual category of the exceptional collection {OY,OY(1)} with the derived category of a genus 2 curve. This is joint work with Domenico Fiorenza.


        Última charla del semestre

        Quentin Gendron, CIMAT - Guanajuato.

      • 4:00 pm: 30 de junio, Puntos de torsión sobre curvas hiperelípticas y ecuación de Pell-Abel

        Las curvas hiperelípticas son recubrimientos ramificados de grado dos de la recta proyectiva. En el complemento de los puntos de ramificaciones, la preimagen de un punto consta de dos puntos distintos que se nombran p y q. La diferencia p-q es de r-torsión si existe una función que tiene un cero de orden r en p y un polo de orden r en q (y no otras singularidades).

        La búsqueda de curvas hiperelípticas definidas sobre los racionales con puntos de r-torsión es un problema de importancia que todavía no se ha resuelto en general, y el objetivo de la charla es el resolverlo sobre números complejos (y de hecho reales). Mas precisamente, se mostrará que este problema es equivalente a resolver la ecuación de Pell-Abel y esto permitirá caracterizar los enteros r tales que existe una curva hiperelíptica definida sobre los complejos con puntos de r-torsión. El resultado obtenido permite formularnos nuevas preguntas respecto a este problema sobre los racionales. Esta charla se basará principalmente en el articulo arXiv:2010.09915.




          
          


        Charla panorámica

        Edoardo Sernesi, Università Roma Tre.

      • 4:00pm, 5 mayo: K3 curves: results and problems. (VIDEO)


        I will give an overview of some of the results known about K3 curves, i.e. those curves that can be realized as a hyperplane sections of a K3 surface. I will focus on those results which involve the so-called Wahl map, from the nowadays classical work of Wahl and Beauville-Merindol, up to the most recent work on the subject by several authors.



        Brooke Ullery, Emory University.

      • 4:00 pm, 12 mayo: Cayley-Bacharach theorems and measures of irrationality. (VIDEO)

        If Z is a set of points in projective space, we can ask which polynomials of degree d vanish at every point in Z. If P is one point of Z, the vanishing of a polynomial at P imposes one linear condition on the coefficients. Thus, the vanishing of a polynomial on all of Z imposes |Z| linear conditions on the coefficients. A classical question in algebraic geometry, dating back to at least the 4th century, is how many of those linear conditions are independent? For instance, if we look at the space of lines through three collinear points in the plane, the unique line through two of the points is exactly the one through all three; i.e. the conditions imposed by any two of the points imply those of the third.

        In this talk, I will survey several classical results including the original Cayley-Bacharach Theorem and Castelnuovo's Lemma about points on rational curves. I'll then describe some recent results and conjectures about points satisfying the so-called Cayley-Bacharach condition and show how they connect to several seemingly unrelated questions in contemporary algebraic geometry relating to the gonality of curves and measures of irrationality of higher dimensional varieties.




        Julie Decaup, Instituto de Matemáticas, UNAM - Cuernavaca.

      • 4:00 pm: 26 de mayo,       

        Cancelada.

                                                                                                           





            
            


          Jesse Wolfson, Universidad de California, Irvine.

        • 4:00pm, 14 abril: The Geometry of Hilbert's 13th Problem.


          The goal of this talk is to explain how enumerative geometry can be used to simplify the solution of polynomials in one variable. Given a polynomial in one variable, what is the simplest formula for the roots in terms of the coefficients? Hilbert conjectured that for polynomials of degree 6,7 and 8, any formula must involve functions of at least 2, 3 and 4 variables respectively (such formulas were first constructed by Hamilton). In a little-known paper, Hilbert sketched how the 27 lines on a cubic surface should give a 4-variable solution of the general degree 9 polynomial. In this talk I'll recall Klein and Hilbert's geometric reformulation of solving polynomials, explain the gaps in Hilbert's sketch and how we can fill these using modern methods. As a result, we obtain best-to-date upper bounds on the number ofvariables needed to solve a general degree n polynomial for all n, improving results of Segre and Brauer.



          Leonardo Roa, Universidad Michoacana de San Nicolás de Hidalgo.

        • 4:00 pm, 21 abril: Haces vectoriales de rango 2 sobre superficies. (VIDEO)

          El espacio moduli de haces vectoriales Mumford-Takemoto estables de rango 2 sobre superficies fue construido por M. Maruyama en 1975.    Desde entonces, estos espacios móduli han sido estudiados desde diferentes puntos de vista por sus conexiones con diferentes áreas de matemáticas, en particular geometría simpléctica y diferencial, topología, física, entre otras.  Varias preguntas relacionadas con no vacuidad, irreducibilidad, conexidad, etc, no tienen una respuesta general. 

          En esta charla, consideraremos una fibración f: X--> sobre una curva C y un haz lineal amplio H sobre la superficie X.  Demostraremos que el pullback, bajo f, de un haz vectorial estable de rango 2 sobre la curva es H-estable.  Este resultado permite determinar propiedades geométricas del espacio moduli de haces vectoriales  sobre la superficie y relacionar el espacio moduli de haces sobre la curva con el moduli de haces sobre la superficie.  También demostraremos  propiedades del locus de Brill-Noether sobre la superficie y presentamos una generalización del Teorema de Clifford de haces sobre curvas a haces vectoriales de rango 2 sobre superficies. Este trabajo es en conjunto con Graciela Reyes-Ahumada y Hugo Torres-López.





              
              


            César Lozano Huerta, CONACYT - IMUNAM, Oaxaca.

          • 4:00pm, 3 marzo: Geometría birracional via resoluciones.


            La resolución minimal de una gavilla F en el plano proyectivo es un complejo cuyos factores son sumas de haces lineales. Por otro lado, condiciones de estabilidad de Bridgeland dictan una resolución para F cuyos factores son haces vectoriales no triviales de rango alto.
            En esta charla reportaremos investigación sobre la relación entre estas dos resoluciones. El diccionario que existe entre ellas describe el cono de divisores efectivos del espacio moduli de gavillas en el plano y es más, propone un algoritmo para calcular todas las cámaras de Mori del esquema de Hilbert de puntos en el plano; mismo que somos capaces de demostrar en algunos casos. Este trabajo es una colaboración con Manuel Leal (UNAM, Oaxaca) y Tim Ryan (Michigan, Ann-Arbor.)



            Giancarlo Urzúa, Universidad Pontificia católica de Chile.

          • 4:00 pm, 10 marzo: Sobre libertades geográficas del grupo fundamental de superficies de tipo general. (VIDEO)

            Los invariantes fundamentales de una superficie compleja de tipo general son sus números de Chern: c12 (auto-intersección del divisor canónico) y c2 (característica topológica de Euler). En clasificación de superficies de tipo general se habla del espacio de moduli M(c12, c2), así como se habla del espacio de moduli Mg para curvas de género g>1.

            Nos enfocaremos en la siguiente pregunta. Si G es el grupo fundamental de alguna variedad proyectiva suave, y además 1/5 ≤ b < a ≤ 3: ¿existen superficies de tipo general con grupo fundamental G y b*c2 ≤ c12 ≤ a*c2? Es decir, ¿qué restricciones nos impone G en la geografía de superficies de tipo general?

            En el trabajo conjunto "Savage surfaces" con Sergio Troncoso, demostramos que c12/c2 es denso en [1,3] para superficies de tipo general con grupo fundamental G. De esta forma, tenemos completa libertad geográfica en [1,3]. Hablaré de la demostración, y de las restricciones que tenemos para pendientes en [1/5,1].




            Daniel Sánchez Argáez, UAM-Iztapalapa.

          • 4:00 pm, 24 marzo: Variedades de Hessenberg.

            Para la variedad de banderas completas F en un espacio vectorial complejo V de dimensión finita se considera la subvariedad de Hessenberg para un endomorfismo X de V y una función de Hessenberg h arbitraria. La acción natural del toro algebraico de dimensión máxima en la variedad de banderas F se restringe a una acción del toro en la variedad de Hessenberg. Damos una descripción del anillo de coordenadas de la variedad de Hessenberg usando condiciones determinantales, lo que permite determinar los puntos fijos de la acción del toro y sus órbitas unidimensionales para calcular la gráfica de momentos correspondiente.









                
                


              Adán Medrano Martín del Campo, University of Chicago

            • 4:00pm, 2 diciembre: Monodromía de familias de variedades (VIDEO)


              Las familias de variedades algebraicas son objetos de estudio fundamentales y un problema básico, pero usualmente difícil, es el determinar su monodromía. Entre los resultados más célebres, Klein y Jordan determinaron la monodromía de la familia universal de las superficies cúbicas suaves, la cual es el grupo de Weyl de E_6. En esta charla hablaré de este y varios ejemplos de otras familias universales de hipersuperficies suaves. Así mismo, daré el cálculo explícito para la familia de superficies cúbicas que son realizadas como cubiertas ramificadas de P^2 sobre una curva cúbica, utilizando la relación entre las 27 líneas en una superficie cúbica y los 9 puntos de inflexión de una curva cúbica.



              Última charla del semestre

              Gavril Farkas, Humboldt-Universität zu Berlin

            • 4:00 pm, 9 diciembre: Green's Conjecture via Koszul modules (VIDEO)


              Using ideas from geometric group theory we provide a novel approach to Green's Conjecture on syzygies of canonical curves. Via a strong vanishing result for Koszul modules we deduce that a general canonical curve of genus g satisfies Green's Conjecture when the characteristic is zero or at least (g+2)/2. Our results are new in positive characteristic (and answer positively a conjecture of Eisenbud and Schreyer), whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Joint work with Aprodu, Papadima, Raicu and Weyman.






                  
                  


                Rodolfo Aguilar, Université Grenoble-Alpes.

              • 3:00pm, 4 noviembre: El grupo fundamental de cocientes de un producto de variedades algebraicas.

                Tomando como motivación el estudio del grupo fundamental de compactificaciones parciales del complemento de un arreglo de líneas en el plano proyectivo complejo, presentaremos un teorema sobre la estructura del grupo fundamental de cocientes de un producto de variedades algebraicas por un grupo finito que actúa diagonalmente. El teorema generaliza un teorema de estructura de Bauer-Catanese-Grunewald-Pignatelli y Dedieu-Perroni para el caso de cocientes de un producto de curvas proyectivas lisas.




                Charla panorámica

                Ángela Ortega, Humboldt Universität zu Berlin.
              • 3:00 pm, 11 noviembre: Geometría de la aplicación de Prym (VIDEO)

                Las variedades de Prym son variedades abelianas construidas a partir de cubrientes de curvas, por ello son una herramienta muy importante en el estudio del espacio moduli de variedades abelianas. La aplicación de Prym es el vínculo entre el moduli de cubrientes de curvas y el de variedades abelianas. En esta charla partiremos de las definiciones básicas de variedades de Prym y polarización, a una excursión sobre la geometría de las aplicaciones de Prym, sus fibras y teoremas de Torelli. Terminaremos mencionando las apariciones de las variedades de Prym en otros contextos de la geometría algebraica.

                Artículo de la expositora relevante para esta charla: (PDF)




                Graciela Reyes Ahumada, CONACYT -- UAZacatecas.
              • 4:00pm, 25 noviembre: Formas de volumen 7-dimensionales: una aplicación de GIT a un problema de física.

                El estudio de las formas de volumen sobre variedades reales es un tema de interés en física teórica que ha tenido muchas aplicaciones en los últimos años. Recordemos que una forma de volumen en una variedad n-dimensional es la integral con respecto a una n-forma diferencial, por lo que estudiar formas de volumen es equivalente a estudiar el haz vectorial de n-formas (haz canónico); de este modo, algunas de las preguntas provenientes de física se pueden interpretar en el lenguaje de haces vectoriales y G-haces principales, por lo que podemos utilizar técnicas de geometría algebraica para estudiar tales preguntas. En esta charla utilizaremos herramientas provenientes de teoría de invariantes geométricos (GIT) para estudiar formas de volumen estables en una variedad de dimensión 7.







                    
                    


                  Dori Bejleri, Harvard University.
                • 4:00pm, 7 octubre: Stable pair compactifications of the moduli space of degree one del Pezzo surfaces. (VIDEO)

                  A degree one del Pezzo surface is the blowup of P2 at 8 general points. By the classical Cayley-Bacharach Theorem, there is a unique 9th point whose blowup produces a rational elliptic surface with a section. Via this relationship, we can construct a compactification by stable pairs of the moduli space of anti-canonically polarized degree one del Pezzo surfaces. The theory of stable pairs (X,D) is the natural extension to dimension 2 of the Deligne-Mumford-Knudsen theory of pointed stable curves. I will discuss the construction of the space of interest as a limit of spaces of weighted stable elliptic surface pairs and explain how it relates to some previous compactifications of the space of degree one del Pezzo surfaces. This is joint work with Kenny Ascher.



                  Marco Flores, Humboldt Universität zu Berlin.
                • 3:00 pm, 14 octubre: El teorema de Bruinier-Raum, pero cohomológico y aritmético. (VIDEO)

                  Las formas modulares de Siegel son la versión en dimensiones superiores de las formas modulares clásicas: mientras estas últimas son secciones de un haz lineal en el móduli de curvas elípticas, las anteriores lo son en el móduli de variedades abelianas con polarización principal. Un objeto que aparece con esta generalización es la serie de Fourier-Jacobi de una forma modular de Siegel, y uno puede preguntarse si cualquier serie formal de ese tipo proviene de una forma modular de Siegel. Bruinier y Raum respondieron la pregunta afirmativamente, sobre los complejos, en 2014. En esta charla estudiaremos el problema sobre Spec Z, y haremos una reformulación del problema que nos llevará a investigar la cohomología de ciertas gavillas en variedades tóricas.



                  Lara Bossinger, UNAM - Oaxaca.
                • 4:00pm, 28 octubre: Degeneraciones de Groebner y familias tóricas.

                  En esta charla presento resultados recientes de una colaboración con Fatemeh Mohammadi y Alfredo Nájera Chávez. Dado una variedad proyectiva V y un ideal J que representa a V nos interesa la teoría de Groebner del ideal J. En esta teoría estudiamos vectores de peso en las coordenadas e ideales iniciales de J. Cada peso nos da una degeneración de Groebner de la variedad V. Además los pesos son organizados en un abanico-- el abanico de Groebner del ideal J, GF(J). Introducimos una familia de degeneraciones de V que combina todas las degeneraciones de Groebner asociadas a un cono maximal de GF(J). Resulta que esta familia está relacionada íntimamente con las familias tóricas en el sentido de la clasificación de Kaveh--Manon. Más aún si nuestra variedad tiene una estructura de conglomerado descubrimos una interacción profunda entre la estructura de conglomerado y la teoría de Groebner.







                      
                      


                    Isabel Vogt, Stanford University/University of Washington.
                  • 4:00pm, 9 septiembre: Brill--Noether Theory over the Hurwitz space. (VIDEO)

                    Let C be a curve of genus g. A fundamental problem in the theory of algebraic curves is to understand maps of C to projective space of dimension r of degree d. When the curve C is general, the moduli space of such maps is well-understood by the main theorems of Brill--Noether theory. However, in nature, curves C are often encountered already equipped with a map to some projective space, which may force them to be special in moduli. The simplest case is when C is general among curves of fixed gonality. Despite much study over the past three decades, a similarly complete picture has proved elusive in this case. In this talk, I will discuss recent joint work with Eric Larson and Hannah Larson that completes such a picture, by proving analogs of all of the main theorems of Brill--Noether theory in this setting.



                    Daniel Duarte, Conacyt-Universidad Autónoma de Zacatecas
                  • 4:00pm, 23 septiembre: Explosión de Nash en característica positiva. (VIDEO)

                    La explosión de Nash es una modificación de una variedad algebraica que remplaza puntos singulares por límites de espacios tangentes. Un teorema clásico de esta teoría afirma que, sobre campos de característica cero, la explosión de Nash es un isomorfismo si y sólo si la variedad es no singular. Es también conocido que la versión de este teorema en característica positiva es falsa. En esta plática veremos que añadiendo algunas hipótesis a la variedad se tiene el enunciado correspondiente en característica arbitraria (trabajo en conjunto con Luis Núñez Betancourt).



                    Juan Salvador Garza Ledesma, CIMAT-Gto
                  • 4:00pm, 30 septiembre: Superficies con K^2=6 y p_g=4. (VIDEO)

                    Las superficies con género 4 y volumen canónico 6 han sido estudiadas principalmente por Federigo Enriques, Eiji Horikawa y Fabrizio Catanese. Su clasificación ha sido completada salvo por un detalle que explicaré en mi plática. Presentaré una estrategia para resolver dicho detalle pendiente la cual utiliza métodos del llamado "Programa de Anillos Graduados".






                      
                      


                    Cristhian Garay, Conacyt - Cimat-Gto.
                  • 4:00pm, 5 agosto: Matroides y clases de homología de sub-variedades T-invariantes. (VIDEO)

                    Tomamos como ingredientes una Grassmanniana compleja G(d,n), T un toro maximal actuando en G(d,n) y una clase L en su grupo de homología. Estamos interesados en el problema de hallar sub-variedades de G(d,n) con clase L que sean T-invariantes i.e., subesquemas cerrados enteros Y, con clase de homología L, tales que TY=Y. Veremos que este problema está gobernado por objetos combinatorios llamados matroides. En esta sesión explicaremos qué son los matroides, y resolveremos completamente el problema anterior para el caso de las T-órbitas. Este es un trabajo en conjunto con Alex Fink (QMUL, UK) y Javier Elizondo (IM-UNAM, MX).



                    Manuel Leal, Instituto de Matemáticas, UNAM - Oaxaca.
                  • 4:00pm, 12 agosto: Divisores efectivos del esquema de Hilbert de puntos. (VIDEO)

                    El esquema de Hilbert de puntos en el plano H es un ejemplo de espacio móduli: una variedad que a su vez parametriza alguna familia de objetos geométricos; en este caso, configuraciones de n puntos en el plano proyectivo. En esta plática hablaremos sobre la descomposición inducida por lugares base estables (SBLD) de este esquema.
                    Discutiremos cómo calcular el cono efectivo de H siguiendo trabajos de Jack Huizenga y reportaremos investigación sobre cómo calcular el cono movible en el caso particular en que el número n es triangular. Los ingredientes clave serán haces vectoriales en el plano, resoluciones minimales y la fórmula de Riemann-Hurwitz.
                    Esta plática está basada en mi trabajo de tesis de maestría y es parte de un trabajo en curso junto con César Lozano Huerta (IMUNAM, Oaxaca) y Tim Ryan (UMichigan, Ann-Arbor)



                    Alexis Zamora, Universidad Autónoma de Zacatecas.
                  • 4:00pm, 19 agosto: Algunos aspectos de las superficies fibradas semiestables. (VIDEO)

                    Recordaremos los conceptos de fibración semiestable y minimal. Hay dos problemas centrales respecto a ellos que nos interesa discutir: el número de fibras singulares que puedan tener y la geografía de la inclinación de una superficie. Haremos un resumen de resultados obtenidos en estas direcciones y algunas ideas de los métodos utilizados en las demostraciones.



                    Anand Deopurkar, Australian National University.
                  • 5:00 pm, 26 agosto: Apparent boundaries of projective varieties. (VIDEO)

                    Fix a smooth projective variety in projective space and project it to a linear subspace of the same dimension. The ramification divisor of this projection is classically known as the "apparent boundary". How does the apparent boundary move when we move the center of projection? I will discuss the geometry arising from this natural question. I will explain why the situation is most interesting for varieties of minimal degree, and how it is related to limit linear series for vector bundles.








                    Actividades pasadas
                    Seminario | Jornadas