Francesc Bars

Geometra Aritmtica de cuerpos globales.
Francesc Bars(UAB), Luis Dieulefait(UB), Victor Rotger(UPC)

Programa de investigacin desarrollado en el CRM http://www.crm.cat/arithgeo/
Castro Urdiales, 21 Septiembre 2011
F.Bars
Research Programm in Arithmetic Geometry, 2009-2010
Francesc Bars (UAB) esta dentro del programa MTM2009-10359 con IP Enric Nart.
Luis Dieulefait (UB) esta dentro del programa MTM2009-07024 con IP Nria Vila
Victor Rotger (UPC), esta dentro del programa MTM2009-13060-C02-01 con IP Joan Carles Lario
F.Bars
La Geometra Aritmtica estudia variedades algebraicas X sobre un cuerpo k no necesariamente algebraicamente cerrado.
F.Bars
La Geometra Aritmtica estudia variedades algebraicas X sobre un cuerpo k no necesariamente algebraicamente cerrado. Un problema clsico en este campo es: dadas ciertas ecuaciones denidas por polinomios sobre un cuerpo k; tiene este sistema un nmero nito o no de soluciones en k? podemos determinar dichas soluciones?
F.Bars
Un ejemplo concreto es el ltimo teorema de Fermat: Xn + Y n = Zn con X , Y , X enteros y XYZ = 0 no tiene solucin para n 3
F.Bars
Un ejemplo concreto es el ltimo teorema de Fermat: Xn + Y n = Zn con X , Y , X enteros y XYZ = 0 no tiene solucin para n 3 De la factorizacin X +Y =
i=1
(X + i Y );
3, primo
en Z[][X , Y ] con = e 2i/ se segua que si el anillo Z[] era DFU el teorema de Fermat es correcto (Lamm 1886) Z[] casi siempre no es DFU pero es DFU en ideales primos (Kummer), Kummer dedujo un criterio sobre el grupo ideales primos para satisfacer Fermat el criterio era #cl (Q[]) entonces se satisface Fermat para n = .
F.Bars Research Programm in Arithmetic Geometry, 2009-2010
Recordad que como consecuencia del teorema de Faltings sobre la conjetura de Mordell (1986): hay solo un nmero nito de soluciones enteras para la curva X + Y =Z con 5, (Faltings recibi la
medalla Fields por su trabajo respecto la conjetura de Mordel), esto resuelva la primera pregunta planteada en la charla para la ecuacin de Fermat, pero el ltimo teorema de Fermat era conocer todas las soluciones en Q para la ecuacin de Fermat. Vamos a describir brevemente la historia reciente sobre el problema de conocer exactamente las soluciones en Q de la ecuacin de Fermat.
F.Bars
Frey 1982, Ribet 1986: Si hay una solucin (X = , Y = , Z = , n) de la ecuacin de Fermat, entonces la curva elptica sobre Q dada por la ecuacin y 2 = x(x n )(x + n ) es semiestable pero no modular.
F.Bars
Frey 1982, Ribet 1986: Si hay una solucin (X = , Y = , Z = , n) de la ecuacin de Fermat, entonces la curva elptica sobre Q dada por la ecuacin y 2 = x(x n )(x + n ) es semiestable pero no modular. Curvas elptica son de importancia crucial:
F.Bars
Frey 1982, Ribet 1986: Si hay una solucin (X = , Y = , Z = , n) de la ecuacin de Fermat, entonces la curva elptica sobre Q dada por la ecuacin y 2 = x(x n )(x + n ) es semiestable pero no modular. Curvas elptica son de importancia crucial: Tienen denida una operacin suma en sus puntos denidos sobre k que dan un grupo nito generado (k/Q nita k/Fq (T ) nita donde Fq (T ) s el cuerpo cociente del anillo de polinomios Fq [T ] con Fq cuerpo nito de q = p a elementos) e interesa calcular su rango.
F.Bars
Frey 1982, Ribet 1986: Si hay una solucin (X = , Y = , Z = , n) de la ecuacin de Fermat, entonces la curva elptica sobre Q dada por la ecuacin y 2 = x(x n )(x + n ) es semiestable pero no modular. Curvas elptica son de importancia crucial: Tienen denida una operacin suma en sus puntos denidos sobre k que dan un grupo nito generado (k/Q nita k/Fq (T ) nita donde Fq (T ) s el cuerpo cociente del anillo de polinomios Fq [T ] con Fq cuerpo nito de q = p a elementos) e interesa calcular su rango. Aplicaciones en criptografa (pasaporte alemn, implementado grupo Frey, Essen). Un gran conocedor en Espaa es Enric Nart (UAB) donde el conferenciante esta integrado dentro su MTM.
F.Bars
Conjetura (Shimura-Taniyama-Weil) Toda curva elptica sobre Q es modular. (Es decir, existe : C .modular X0 (N) E ).
F.Bars
Conjetura (Shimura-Taniyama-Weil) Toda curva elptica sobre Q es modular. (Es decir, existe : C .modular X0 (N) E ). Para cada curva elptica sobre Q hay una forma modular f de 0 (N) (subgrupo discreto SL2 (Z)) para cierto N y peso 2, la cual tiene asociada la misma funcin L que para la curva elptica. (Es decir si L(E , s) = L(H 1 (E , Q ), s) = an se tiene que n=1 ns f (q, E ) = an q n donde q = e 2i ). n=1
F.Bars
Conjetura (Shimura-Taniyama-Weil) Toda curva elptica sobre Q es modular. (Es decir, existe : C .modular X0 (N) E ). Para cada curva elptica sobre Q hay una forma modular f de 0 (N) (subgrupo discreto SL2 (Z)) para cierto N y peso 2, la cual tiene asociada la misma funcin L que para la curva elptica. (Es decir si L(E , s) = L(H 1 (E , Q ), s) = an se tiene que n=1 ns f (q, E ) = an q n donde q = e 2i ). n=1 Progama Jacquet-Landglands: objetos aritmticos . . . formas modulares e . . . formas automorfas
F.Bars
El anlogo de la conjetura de Shimura-Taniyama-Weil era conocida para curvas elpticas sobre Fq (T ) (Gekeler-Reversat), 1996
el punto clave de la prueba de Gekeler-Reversat es un teorema de Drinfeld que demostraba el programa de Langlands para GL2 (Fq (T )), por este trabajo Drinfeld recibi la medalla Fields en 1990.
F.Bars
Fq (T ), Q sn cuerpos globales y se pueden trasladar muchas preguntas de un campo a otro, esperando en muchos casos resultados parecidos; por tanto el resultado de Gekeler-Reversat daba fortaleza a que Shimura-Taniyama-Weil era correcto.
F.Bars
Fq (T ), Q sn cuerpos globales y se pueden trasladar muchas preguntas de un campo a otro, esperando en muchos casos resultados parecidos; por tanto el resultado de Gekeler-Reversat daba fortaleza a que Shimura-Taniyama-Weil era correcto.
No obstante las tcnicas para Fq (T ) son diferentes que para Q.
F.Bars
Cuerpos de nmeros K /Q nita plaza de K OK anillo enteros (D.Dedekind) p plaza nita de K O/p nito Cl (K ) grupo de clases nito, hK C = K red C dimensin 2 exp : C C exp(ax) = exp(x)a , ker (exp) = 2iZ Puntos torsin Gm (C): e 2i/n ext.abeliana de Q Q(e 2i/n ) (teoria ciclotmica)
Cuerpos de funciones K /Fq (T ) nita plaza de K A funciones regulares fuera de A/p nito Cl (K ) grupo clases nito, hK C = K red C cualquier rango expC : C C , expC (ax) = a (expC (a)), ker (expC ) = A = (si rango 1) Puntos torsin de C (C ): eC (K ) races de a ext.abel. de Fq (T ) Fq (T )(raices a ) (teoria ciclotmica)
F.Bars
Redes rango 2 en C E /K con CM j : SL2 (Z)\H C SL2 (Z) discreto Curvas modulares clsicas (E , H) Formas modulares en C[[q]] f. automorfas Variedades abelianas Variedades de Shimura (A, H)
Redes rango 2 en C Mdulos Drinfeld rango 1 j : GL2 (A)\(H ) C H := P1 (C )\P1 (K ) GL2 (A) discreto C. modulares Drinfeld (, H) F. modulares Drinfeld C [[t]] f. aut. GL2 (A) Motivos Anderson
F.Bars
En los dos campos tenemos la funcin de variable compleja de Hasse-Weil: X /K variedad representaciones de Galois adica : MX ,i,j, := H i (X , Q (j)) Funcion L (Hasse-Weil) X /K : LS (MX ,i,j, , s) = pS (1 Frobp N(p)s |MX ,i,j, )1 / para Re(s) > 1 + w 2 con coprimo con car de A/p (o OK /p) S conjunto nito de A (resp. OK ), y N(p) = #A/p(resp. #OK /p).
F.Bars
(Wiles, Taylor-Wiles, 1993-1997): Shimura-Taniyama-Weil s cierta para curvas elpticas sobre Q semiestables. El ltimo teorema de Fermat es correcto
F.Bars
(Wiles, Taylor-Wiles, 1993-1997): Shimura-Taniyama-Weil s cierta para curvas elpticas sobre Q semiestables. El ltimo teorema de Fermat es correcto Breuil,Darmon,Diamond,Taylor (2003): Shimura-Taniyama-Weil s correcto.
F.Bars
(Wiles, Taylor-Wiles, 1993-1997): Shimura-Taniyama-Weil s cierta para curvas elpticas sobre Q semiestables. El ltimo teorema de Fermat es correcto Breuil,Darmon,Diamond,Taylor (2003): Shimura-Taniyama-Weil s correcto. (Wiles, Breuil, Conrad, Diamond, Taylor): La conjetura de extensin analtica para L(E , s) = L(H 1 (E , Q ), s) es correcta para E curva elptica sobre Q
F.Bars
La prueba del ltimo teorema de Fermat aparecen muchas ideas y tcnicas que han sido de gran estudio y de generalizacin los ltimos aos.
F.Bars
La prueba del ltimo teorema de Fermat aparecen muchas ideas y tcnicas que han sido de gran estudio y de generalizacin los ltimos aos. El programa de investigacin tenia como objetivo el estudio de dichas tcnicas ms generales y obtener nuevos resultados en dimensin superior.
F.Bars
La prueba del ltimo teorema de Fermat aparecen muchas ideas y tcnicas que han sido de gran estudio y de generalizacin los ltimos aos. El programa de investigacin tenia como objetivo el estudio de dichas tcnicas ms generales y obtener nuevos resultados en dimensin superior. En el trabajo de Wiles sobre Fermat, por primera vez se establecen resultados de modularidad a partir de modularidad residual.
F.Bars
La prueba del ltimo teorema de Fermat aparecen muchas ideas y tcnicas que han sido de gran estudio y de generalizacin los ltimos aos. El programa de investigacin tenia como objetivo el estudio de dichas tcnicas ms generales y obtener nuevos resultados en dimensin superior. En el trabajo de Wiles sobre Fermat, por primera vez se establecen resultados de modularidad a partir de modularidad residual. Ejemplos donde puede aplicarse dichas generalizaciones de tcnicas de Wiles son:
F.Bars
La prueba del ltimo teorema de Fermat aparecen muchas ideas y tcnicas que han sido de gran estudio y de generalizacin los ltimos aos. El programa de investigacin tenia como objetivo el estudio de dichas tcnicas ms generales y obtener nuevos resultados en dimensin superior. En el trabajo de Wiles sobre Fermat, por primera vez se establecen resultados de modularidad a partir de modularidad residual. Ejemplos donde puede aplicarse dichas generalizaciones de tcnicas de Wiles son: la conjetura de Serre de representaciones demostrada por Dielefait e independientemente (?) Khare and Winterberger.
F.Bars
La prueba del ltimo teorema de Fermat aparecen muchas ideas y tcnicas que han sido de gran estudio y de generalizacin los ltimos aos. El programa de investigacin tenia como objetivo el estudio de dichas tcnicas ms generales y obtener nuevos resultados en dimensin superior. En el trabajo de Wiles sobre Fermat, por primera vez se establecen resultados de modularidad a partir de modularidad residual. Ejemplos donde puede aplicarse dichas generalizaciones de tcnicas de Wiles son: la conjetura de Serre de representaciones demostrada por Dielefait e independientemente (?) Khare and Winterberger. la conjetura de Fontaine-Mazur referente a cuando una representacin proviene de la geometra
F.Bars
La prueba del ltimo teorema de Fermat aparecen muchas ideas y tcnicas que han sido de gran estudio y de generalizacin los ltimos aos. El programa de investigacin tenia como objetivo el estudio de dichas tcnicas ms generales y obtener nuevos resultados en dimensin superior. En el trabajo de Wiles sobre Fermat, por primera vez se establecen resultados de modularidad a partir de modularidad residual. Ejemplos donde puede aplicarse dichas generalizaciones de tcnicas de Wiles son: la conjetura de Serre de representaciones demostrada por Dielefait e independientemente (?) Khare and Winterberger. la conjetura de Fontaine-Mazur referente a cuando una representacin proviene de la geometra Miembros del grupo de Teora de Nmeros de la UB, UPC y UAB son grandes conocedores mundiales del tema de representaciones de Galois.
F.Bars
Ya hemos observado la importancia de la funcin L. Conjetura (del nmero de Tamagawa, Bloch-Kato ): Los valores enteros de la funcin L asociada a un cuerpo de nmeros o a un motivo aritmtico sobre un cuerpo de nmeros aportan un signicado aritmtico de dicho motivo.
F.Bars
Ya hemos observado la importancia de la funcin L. Conjetura (del nmero de Tamagawa, Bloch-Kato ): Los valores enteros de la funcin L asociada a un cuerpo de nmeros o a un motivo aritmtico sobre un cuerpo de nmeros aportan un signicado aritmtico de dicho motivo. Caso concreto: La conjetura de Birch-Swinnerton-Dyer.
F.Bars
BSD: K cuerpo global, E /K curva elptica sobre K , pensad (si car.= 2, 3): y 2 = x 3 + ax + b; a, b K sea r = rango(E (K )) (Mordell-Weil), entonces orden del zero de L(H 1 (E , Q ), s) en s = 1 es r , el grupo de Tate-Shafarevich X(E ) es nito y
s1
lim L(H 1 (E , Q ), s)/(s 1)r = Tamagawav

v plaza K
discr .
#X(E ) #(E (K )tors )#(E (K )tors )
F.Bars
BSD: K cuerpo global, E /K curva elptica sobre K , pensad (si car.= 2, 3): y 2 = x 3 + ax + b; a, b K sea r = rango(E (K )) (Mordell-Weil), entonces orden del zero de L(H 1 (E , Q ), s) en s = 1 es r , el grupo de Tate-Shafarevich X(E ) es nito y
s1
lim L(H 1 (E , Q ), s)/(s 1)r = Tamagawav

v plaza K
discr .
#X(E ) #(E (K )tors )#(E (K )tors )
Trihan-Kato (2003): Sea K cuerpo global de car. p > 0. BSD correcto si y solo si parte -primaria de X(A) es nita para cierto .
F.Bars
Conjetura del rango: Existe sobre K cuerpo global, una curva elptica E /K de rango tan grande como se quiera.
F.Bars
Conjetura del rango: Existe sobre K cuerpo global, una curva elptica E /K de rango tan grande como se quiera. Ulmer (2009) la conjetura anterior es correcta para cuerpos globales de car. p > 0.
F.Bars
Kato (charla plenaria ICM Madrid 2006): Iwasawa theory is the best theory at present to understand arithmetic meaning of zeta values
F.Bars
Kato (charla plenaria ICM Madrid 2006): Iwasawa theory is the best theory at present to understand arithmetic meaning of zeta values n Un ejemplo: sea G = Gal (n1 Q(e 2i/ )/Q) y E /Q curva elptica con buena red. en y ordinaria.
F.Bars
Kato (charla plenaria ICM Madrid 2006): Iwasawa theory is the best theory at present to understand arithmetic meaning of zeta values n Un ejemplo: sea G = Gal (n1 Q(e 2i/ )/Q) y E /Q curva elptica con buena red. en y ordinaria. Considrese := Z [[G ]] y el -modulo Sel (E ), la conjetura principal de la teora Iwasawa (IMC) arma: cumpliendo
F.Bars
Kato (charla plenaria ICM Madrid 2006): Iwasawa theory is the best theory at present to understand arithmetic meaning of zeta values n Un ejemplo: sea G = Gal (n1 Q(e 2i/ )/Q) y E /Q curva elptica con buena red. en y ordinaria. Considrese := Z [[G ]] y el -modulo Sel (E ), la conjetura principal de la teora Iwasawa (IMC) arma: cumpliendo = char (Sel (E )) y que para todo carcter : Gal (Q(e 2i/ )/Q) Q induce morsmo Q envia L(E , 1, )/(period local term).
n
F.Bars
Kato (charla plenaria ICM Madrid 2006): Iwasawa theory is the best theory at present to understand arithmetic meaning of zeta values n Un ejemplo: sea G = Gal (n1 Q(e 2i/ )/Q) y E /Q curva elptica con buena red. en y ordinaria. Considrese := Z [[G ]] y el -modulo Sel (E ), la conjetura principal de la teora Iwasawa (IMC) arma: cumpliendo = char (Sel (E )) y que para todo carcter : Gal (Q(e 2i/ )/Q) Q induce morsmo Q envia L(E , 1, )/(period local term). Kato: IMC esta muy cercana a la -parte de TNC ((Kings (2001) lo prueba para curvas elpticas con CM, B.(2011) para carcteres de Hecke).
F.Bars Research Programm in Arithmetic Geometry, 2009-2010 n
Teora Iwasawa ciclotmica (para G ) se inspir en la extensin de los cuerpos nitos en car. p > 0.
F.Bars
Teora Iwasawa ciclotmica (para G ) se inspir en la extensin de los cuerpos nitos en car. p > 0. Ahora (como se vi en el programa de investigacin) la teora Iwasawa ciclotmica vuelve en car p > 0 pero G se obtiene torsion mdulos de Drinfeld de rango 1: Angles, Bandini, B., Longhi, Taelman,...
F.Bars
El programa de investigacin se dividi en dos subprogramas. ARITHMETIC OF MODULAR FORMS AND MODULARITY: 1-9-2009 to 23-12-2009 and 19-4-2010 to 31-7-2010.
F.Bars
El programa de investigacin se dividi en dos subprogramas. ARITHMETIC OF MODULAR FORMS AND MODULARITY: 1-9-2009 to 23-12-2009 and 19-4-2010 to 31-7-2010. Henri Darmon (McGill University, Montreal) Fred Diamond (Kings College of London) Luis Dieulefait (Universitat de Barcelona) Bas Edixhoven (Leiden University) Victor Rotger (Universitat Politcnica de Catalunya)
F.Bars
El programa de investigacin se dividi en dos subprogramas. ARITHMETIC OF MODULAR FORMS AND MODULARITY: 1-9-2009 to 23-12-2009 and 19-4-2010 to 31-7-2010. Henri Darmon (McGill University, Montreal) Fred Diamond (Kings College of London) Luis Dieulefait (Universitat de Barcelona) Bas Edixhoven (Leiden University) Victor Rotger (Universitat Politcnica de Catalunya) ARITHMETIC GEOMETRY FOR FUNCTION FIELDS OF POSITIVE CHARACTERISTIC: 4-1-2010 to 18-4-2010.
F.Bars
El programa de investigacin se dividi en dos subprogramas. ARITHMETIC OF MODULAR FORMS AND MODULARITY: 1-9-2009 to 23-12-2009 and 19-4-2010 to 31-7-2010. Henri Darmon (McGill University, Montreal) Fred Diamond (Kings College of London) Luis Dieulefait (Universitat de Barcelona) Bas Edixhoven (Leiden University) Victor Rotger (Universitat Politcnica de Catalunya) ARITHMETIC GEOMETRY FOR FUNCTION FIELDS OF POSITIVE CHARACTERISTIC: 4-1-2010 to 18-4-2010. Francesc Bars(Universitat Autnoma de Barcelona) Gebhard Bckle (Universitaet Duisburg-Essen) David Burns (Kings College of London) David Goss (Ohio State University) Ignazio Longhi (National Taiwan University) Douglas Ulmer (Georgia Tech) Fabien Trihan (University of Nottingham) Xavier Xarles (Universitat Autnoma de Barcelona)
Subprograma I: ARITHMETIC OF MODULAR FORMS AND MODULARITY
F.Bars
Subprograma I: ARITHMETIC OF MODULAR FORMS AND MODULARITY Trabaj aspectos de Geometra Aritmtica sobre cuerpos de nmeros enfocadas al estudio de modularidad iniciado con el trabajo de Wiles, Taylor, Darmon, Diamond,...
F.Bars
Subprograma I: ARITHMETIC OF MODULAR FORMS AND MODULARITY Trabaj aspectos de Geometra Aritmtica sobre cuerpos de nmeros enfocadas al estudio de modularidad iniciado con el trabajo de Wiles, Taylor, Darmon, Diamond,... Objetivo i-Math, PMI II: Conseguir que la matemtica espaola tenga una mayor visibilidad a nivel internacional. Con esta nalidad, proporcionaran apoyo a aquellos grupos que ya disponen de un buen posicionamiento internacional con el n de que ste se consolide.
F.Bars
Subprograma I: ARITHMETIC OF MODULAR FORMS AND MODULARITY Trabaj aspectos de Geometra Aritmtica sobre cuerpos de nmeros enfocadas al estudio de modularidad iniciado con el trabajo de Wiles, Taylor, Darmon, Diamond,... Objetivo i-Math, PMI II: Conseguir que la matemtica espaola tenga una mayor visibilidad a nivel internacional. Con esta nalidad, proporcionaran apoyo a aquellos grupos que ya disponen de un buen posicionamiento internacional con el n de que ste se consolide. Todo el grupo de Pilar Bayer, Nria Vila (UB) y de Jordi Quer, Joan Carles Lario, Josep Gonzlez-Rovira (UPC) tenian este posicionamiento en el tema del subprograma, en particular los coorganizadores: Luis Dieulefait (UB) y Victor Rotger (UPC). El programa consolid este posicionamiento internacional y estar la matemtica fundamental espaola al mejor nivel internacional.
F.Bars
Principales eventos del subprograma: Arithmetic Course on Shimura varieties and L-functions.
F.Bars
Principales eventos del subprograma: Arithmetic Course on Shimura varieties and L-functions. Curso Prof. S-W. Zhang: estudio formas automorfas para variedades de Shimura para obtener generalidades de la formula de Gross-Zagier y aplicaciones a puntos racionales de curvas elpticas y BSD.
F.Bars
Principales eventos del subprograma: Arithmetic Course on Shimura varieties and L-functions. Curso Prof. S-W. Zhang: estudio formas automorfas para variedades de Shimura para obtener generalidades de la formula de Gross-Zagier y aplicaciones a puntos racionales de curvas elpticas y BSD. Curso Prof.B.Edixhoven y Prof. A.Yafaev : Introduccin a la demostracin de la conjetura de Andr-Oort relacionada con variedades de Shimura.Recordad que esta conjetura s una generalizacin de una
conjetrua que demostr Faltings para subvariedades de variedades abelianas
F.Bars
Advanced Course on Algebraic Cycles, Modular Forms, and Rational Points on Elliptic Curves
F.Bars
Advanced Course on Algebraic Cycles, Modular Forms, and Rational Points on Elliptic Curves Curso Prof. H.Darmon y K.Prasana : Nueva construccin de puntos algebraicos en curvas elpticas a partir de puntos especiales y ciclos en variedades de dimensin superior en variedades de Shimura. Permite interpolacin p-adica para la funcin L de caracteres de Hecke.
Workshop on Cycles and Special Values of L-series
F.Bars
Workshop on Cycles and Special Values of L-series Presentacin ltimos resultados en: Arittica de curvas modulares y de Shimura; ciclos en variedades Shimura; alturas en ciclos, teora Arakelov; anlogos -dicos y su conexin con teora Iwasaw y famlias de formas modulares -dicas.
F.Bars
Workshop on Cycles and Special Values of L-series Presentacin ltimos resultados en: Arittica de curvas modulares y de Shimura; ciclos en variedades Shimura; alturas en ciclos, teora Arakelov; anlogos -dicos y su conexin con teora Iwasaw y famlias de formas modulares -dicas. Advanced courses on Modularity Curso Prof. Diamond y Prof. Dieulefait: Conjetura de Serre y generalizaciones Curso Prof. Wintenberger: Teoremas de levantamiento modular y modularidad potencial. Curso Prof. Berger y Prof. Boeckle: Representaciones de Galois -dicas y deformaciones globales de Galois. Se presenta todas las ideas i resultados actuales, donde el punto de inicio fu el trabajo de Wiles i Wiles-Taylor para Fermat, resultados recientes sn por ejemplo la conjetura de Serre de representaciones.
Modular Conference: Arithmetic of Modular Forms and Modularity Results El objetivo de la conferencia fu presentar los avances recientes en modularidad y resultados relacionados sobre aritmtica de formas modulares y representaciones de Galois.
F.Bars
Resultados ya escritos: Berrone, L.; Dieulefait, L.V.: A functional equation related to the product in a quadratic number eld. Aequationes Math., 81 (2011), 167-175. Burhanuddin, I.; Dieulefait, L.V.: On projectively rational lifts of mod 7 Galois representations. Journal of Algebra, Number Theory and Appl. 20 (2011), 109-119. Burgos, I.; Feliu, E.: Higher arithmetic Chow groups. Preprint 2010 CRM. Darmon, H.; Rotger, V.; Zhao, Y.: The Birch and Swinnerton-Dyer conjecture for Q-curves and Odas period relations, to appear in a volume in honour of T. Oda for his 60th birthday. Dembele, L.,Voight, J.: Explicit methods for Hilbert modular forms. Preprint CRM 2010. Dielefait, L.V.: Langlands base change for GL(2). Arxiv 2009. Dielefait, L.V.:A non-solvable extension of Q unramied outside 7 Arxiv 2010. Dieulefait L.V., Pacetti A., Schuett M.: Modularity of the Consani-Scholten quintic, arxiv 2010.
Dieulefait, L.V.; Gonzalez-Jimenez, E.; Jimenez, J.: On elds of denition of torsion points of elliptic curves with complex multiplication, Proc. AMS, 139 (2011), 1961-1969. Dieulefait, L. V.: On the modularity of rigid Calabi-Yau threefolds: Epilogue, "Proceedings of the trimester on Diophantine Equations at the Hausdor Institute", Zapiski POMI of the Steklov Math. Inst. St. Petersbourg 377 (2010), p44-49, also published in J. Math. Sciences, 171 (2010), 725-727. Dieulefait, L.V.; Wiese, G.: On Modular Forms and the Inverse Galois Problem. Trans. AMS, 363 (2011), 4569-4584 Dokchitser, T.; Bartel, A.: Brauer relations in nite groups. March 2011 (http://arxiv.org/abs/1103.2047) Fujiwara, K.; Gabber, O.; Kato, F.: On Hausdor completions of commutative rings in rigid geometry. Journal of Algebra, 332 (2011), 293-321. Gonzlez-Jimnez, E.; Guitart, X.: On the modularity level of modular abelian varieties over number elds. Journal of Number Theory 130(7) (2010), 1560-1570.
Gonzlez-Jimnez, E.; Carles, X.: On symmetric square values of quadratic polynomials. To appear in Acta Arithmetica. Howard, B.; Yang, T.: Portions of the research presented in the monograph "Intersections of Hirzebruch-Zagier divisors and CM cycles". This monograph has been accepted to Springers Lecture Notes in Mathematics series. Longo, M.; Rotger, V.; Vigni S.: On rigid analytic uniformizations of Jacobians of Shimura curves. American Journal of Mathematics, in print. Longo, M; Rotger, V.; Vigni S.: Special values of L-functions and the arithmetic of Darmon points. Submitted. Molina, S.: Ribet bimodules and specialization of Heegner points, http://arxiv.org/abs/0912.5217, accepted in Israel Journal of Mathematics. Seveso, M. A.: p-adic L-functions and the rationality of Darmon cycles. To appear in the Canadian Journal of mathematics Tilouine, J.: Note on companion forms of low weight on GSpr (Q). Preprint CRM 2010.
Urban, E.: Eigenvarieties for reductive groups. To appear in Annals of Math. Voight, J.: Computing automorphic forms on Shimura curves over elds with arbitrary class number. Lecture Notes in Comp. Sci.,vol 6197, Springer, 2010, 357-371. Wiese, G.: On Galois Representations of Weight One. 17 pages, preprint, arXiv:1102.2302v1 [math.NT], 2011. http://arxiv.org/abs/1102.2302 Wiese, G.; Chen , I.; Kiming , I.: On modular Galois representations modulo prime powers. 18 pages, preprint, arXiv:1105.1918v1 [math.NT], 2011. http://arxiv.org/abs/1105.1918 Zhang, S.: Arithmetic of Shimura curves, Science China Mathematics, 53(3) (2010), 573-592.
F.Bars
Subprograma:ARITHMETIC GEOMETRY FOR FUNCTION FIELDS OF POSITIVE CHARACTERISTIC
F.Bars
Subprograma:ARITHMETIC GEOMETRY FOR FUNCTION FIELDS OF POSITIVE CHARACTERISTIC Trabajar el estado actual de teora Iwasawa y funciones L de caracterstica p > 0 en cuerpos globales de car .p > 0.
F.Bars
Subprograma:ARITHMETIC GEOMETRY FOR FUNCTION FIELDS OF POSITIVE CHARACTERISTIC Trabajar el estado actual de teora Iwasawa y funciones L de caracterstica p > 0 en cuerpos globales de car .p > 0. Objetivo i-Math: Impulsar la investigacin de grupos de i-MATH en reas emergentes y/o estratgicas a n de aumentar la presencia de la matemtica espaola en dichas reas. Esto inclua algunos miembros del grupo
MTM2009-10359 de la UAB.
F.Bars
NSF apoy tambin este subprograma. Estados Unidos es uno de los principales valedores en esta rea.
F.Bars
NSF apoy tambin este subprograma. Estados Unidos es uno de los principales valedores en esta rea. Primeras aplicaciones naives en criptogrcas para mdulos de Drinfeld de rango 1 no sn buenas. No obstante falta el estudio profundo para mdulos de Drinfeld y ms en general para A-motivos de Anderson.
F.Bars
NSF apoy tambin este subprograma. Estados Unidos es uno de los principales valedores en esta rea. Primeras aplicaciones naives en criptogrcas para mdulos de Drinfeld de rango 1 no sn buenas. No obstante falta el estudio profundo para mdulos de Drinfeld y ms en general para A-motivos de Anderson. Esta rea ha sido a veces lugar de pruebas para el primer subprograma, e de ideas. Pero tambin a la inversa como la teora Iwasawa ciclotmica.
Principales eventos del subprograma: Advanced Course on Arithmetic Geometry for Function Fields of Positive Characteristic
D.Ulmer: Curves and Jacobians over function elds.
F.Bars
D.Ulmer: Curves and Jacobians over function elds.Presenta demostracin conjetura del rango para c.e. sobre Fq (T ) (ya presentado en Clay Institute 2009), en CRM aporta sus ltimos resultados sobre Jacobianas sobre cuerpos de funciones y puntos explcitos en la curva de Legendre (2010).
F.Bars
D.Ulmer: Curves and Jacobians over function elds.Presenta demostracin conjetura del rango para c.e. sobre Fq (T ) (ya presentado en Clay Institute 2009), en CRM aporta sus ltimos resultados sobre Jacobianas sobre cuerpos de funciones y puntos explcitos en la curva de Legendre (2010). D.Burns: On main conjectures in geometric Iwasawa theory and related conjectures.
F.Bars
D.Ulmer: Curves and Jacobians over function elds.Presenta demostracin conjetura del rango para c.e. sobre Fq (T ) (ya presentado en Clay Institute 2009), en CRM aporta sus ltimos resultados sobre Jacobianas sobre cuerpos de funciones y puntos explcitos en la curva de Legendre (2010). D.Burns: On main conjectures in geometric Iwasawa theory and related conjectures. Presenta sus ltimos resultados (an sin preprint) en teora Iwasawa no commutativa en el p para cuerpos de funciones en car .p > 0.
F.Bars
D.Ulmer: Curves and Jacobians over function elds.Presenta demostracin conjetura del rango para c.e. sobre Fq (T ) (ya presentado en Clay Institute 2009), en CRM aporta sus ltimos resultados sobre Jacobianas sobre cuerpos de funciones y puntos explcitos en la curva de Legendre (2010). D.Burns: On main conjectures in geometric Iwasawa theory and related conjectures. Presenta sus ltimos resultados (an sin preprint) en teora Iwasawa no commutativa en el p para cuerpos de funciones en car .p > 0. D. Thakur: Arithmetic of gamma, zeta, multizeta values in function elds.
F.Bars
D.Ulmer: Curves and Jacobians over function elds.Presenta demostracin conjetura del rango para c.e. sobre Fq (T ) (ya presentado en Clay Institute 2009), en CRM aporta sus ltimos resultados sobre Jacobianas sobre cuerpos de funciones y puntos explcitos en la curva de Legendre (2010). D.Burns: On main conjectures in geometric Iwasawa theory and related conjectures. Presenta sus ltimos resultados (an sin preprint) en teora Iwasawa no commutativa en el p para cuerpos de funciones en car .p > 0. D. Thakur: Arithmetic of gamma, zeta, multizeta values in function elds. Presenta sus resultados de transcendencia para valores zeta y multizeta y ltimos resultados en el campo. Curso presentado en el Clay institute 2009.
F.Bars
D.Ulmer: Curves and Jacobians over function elds.Presenta demostracin conjetura del rango para c.e. sobre Fq (T ) (ya presentado en Clay Institute 2009), en CRM aporta sus ltimos resultados sobre Jacobianas sobre cuerpos de funciones y puntos explcitos en la curva de Legendre (2010). D.Burns: On main conjectures in geometric Iwasawa theory and related conjectures. Presenta sus ltimos resultados (an sin preprint) en teora Iwasawa no commutativa en el p para cuerpos de funciones en car .p > 0. D. Thakur: Arithmetic of gamma, zeta, multizeta values in function elds. Presenta sus resultados de transcendencia para valores zeta y multizeta y ltimos resultados en el campo. Curso presentado en el Clay institute 2009. G.Bckle: A cohomology for function elds arithmetic, and applications.
F.Bars
D.Ulmer: Curves and Jacobians over function elds.Presenta demostracin conjetura del rango para c.e. sobre Fq (T ) (ya presentado en Clay Institute 2009), en CRM aporta sus ltimos resultados sobre Jacobianas sobre cuerpos de funciones y puntos explcitos en la curva de Legendre (2010). D.Burns: On main conjectures in geometric Iwasawa theory and related conjectures. Presenta sus ltimos resultados (an sin preprint) en teora Iwasawa no commutativa en el p para cuerpos de funciones en car .p > 0. D. Thakur: Arithmetic of gamma, zeta, multizeta values in function elds. Presenta sus resultados de transcendencia para valores zeta y multizeta y ltimos resultados en el campo. Curso presentado en el Clay institute 2009. G.Bckle: A cohomology for function elds arithmetic, and applications.Curso donde introduce una cohomologa que debera ayudar a entender funciones L de A-motivos, son funciones L donde no hay anlogo de la conjetura del nmero de Tamagawa, vase trabajos de Taelman y V. Laorgue.
Workshop on Iwasawa theory over function elds of characteristic p > 0, and Workshop and Advanced Course on Drinfeld Modules and L-functions
F.Bars
Workshop on Iwasawa theory over function elds of characteristic p > 0, and Workshop and Advanced Course on Drinfeld Modules and L-functions Se centr en teora Iwasawa y funciones L que viven en caracterstica positiva.
F.Bars
Workshop on Iwasawa theory over function elds of characteristic p > 0, and Workshop and Advanced Course on Drinfeld Modules and L-functions Se centr en teora Iwasawa y funciones L que viven en caracterstica positiva.Caso simple de estas funciones L es la funcin zeta de Carlitz-Goss 1 as
aFq [T ],m nico o
donde s es cierta regin en car. positiva.
F.Bars
aFq [T ],m nico o
donde s es cierta regin en car. positiva. Se present diversos nuevos resultados de Anderson-Thakur, Bandini-B.-Longhi, Taelman, Goss aportando nueva luz a sentido aritmtico a dichas funciones L con interelacin con los nmeros de Bernouilli-Carlitz.
F.Bars
aFq [T ],m nico o
donde s es cierta regin en car. positiva. Se present diversos nuevos resultados de Anderson-Thakur, Bandini-B.-Longhi, Taelman, Goss aportando nueva luz a sentido aritmtico a dichas funciones L con interelacin con los nmeros de Bernouilli-Carlitz. Tambin se presentaron resultados novedosos para teora Iwasawa tradicional y funciones L de Hasse-Weil por Burns, Popescu, Witte...
F.Bars
aFq [T ],m nico o
donde s es cierta regin en car. positiva. Se present diversos nuevos resultados de Anderson-Thakur, Bandini-B.-Longhi, Taelman, Goss aportando nueva luz a sentido aritmtico a dichas funciones L con interelacin con los nmeros de Bernouilli-Carlitz. Tambin se presentaron resultados novedosos para teora Iwasawa tradicional y funciones L de Hasse-Weil por Burns, Popescu, Witte... como relacionado con funciones L en car. positiva y transcendencia: Pellarin, Papanikolas, ...
Resultados ya escritos: Armana, C.: Coecients of Drinfeld modular forms and Hecke operators. Journal of Number Theory, 131 (2011), 1435-1460. Armana, C.: Sur les symboles modulaires de Manin-Teitelbaum pour Fq (T ). Submitted. Armana, C.: Torsion des modules de Drinfeld de rang 2 et formes modulaires de Drinfeld. Submitted. Bandini, A.; Bars, F.; Longhi, I.: Aspects of Iwasawa theory over function elds. Preprint CRM 2010. Arxiv:1005.2289. 32 pages. Bars, F.; Longhi, I.: Coleman power series for elliptic units in global function elds. Burns, D.: On main conjectures of geometric Iwasawa theory and related conjectures. Preprint 2011. Gekeler,E-U.: Eisenstein series for principal congruence subgroups of GL(2, Fq [T ]). Preprint CRM 2010. Taelman, L.: The Carlitz shtuka. J. Number Theory, 131 (2011). Taelman, L.: Special L-values of Drinfeld modules. To appear Annals of Math.
Trihan, F.;Wuthrich, C.: Parity conjectures for elliptic curves over global elds of positive characteristic. To appear in Compositio Math. Lai,K.F.;Longhi, I.;Tan, K-S.;Trihan F.: On the Iwasawa main conjecture of abelian varieties over function elds. Manuscrito 2011. Tan, K-S.: Selmer groups over Zd -extensions. Submitted. p Thakur, D.: Binomial and Factorial congruences for Fq [t]. To appear in Finite Fields and Their Applications. Thakur, D.: Valuations of v -adic power sums and zero distribution for Goss v -adic zeta for Fq [t]. Manuscrito preliminar. Papikian, M.: On Jacquet-Langlands isogeny over function elds. Journal of Number Theory, 131 (2011), 1149-1175.
F.Bars
Impacto internacional en congresos posteriores de TODO el research program: -Arizona Winter School on Stark-Heegner points, Tucson, Arizona, Marzo 12-16 2011, con un curso de Darmon y Rotger entre otros.
Para dar idea de la importancia de esta escuela comentar que el conferenciante fu all a escuchar un curso del Prof. Deligne (Medall Fields 1978) y ahora ya hay en el Arizona Winter School speakers espaoles
-Workshop on Cycles on modular varieties. 30 Octubre-4Noviembre 2011, BIRS, Ban, organizado diversos miembros del programa. -Summer SchoolArithmetic of modular forms and elliptic curves IMPA, Rio Janeiro, Brasil, 3-14 Enero 2011. Con curso de Dielefait. -Postech winter school on Serres modularity conjecture, Pohang, Corea del Sur, 12-21 Enero 2011. Con un curso de Dieulefait. -XXIImes rencontres Arithmtique de Caen.Gometrie Aritmetique sur les corps de fonctions" del 20 a 22 Junio 2011.
Inspirado por una colaboracin iniciada en research programm con Angls, Bandini, B. y Longhi. Coorganizado por diversos miembros del programa, en particular por el conferenciante.
-Worshop on the Arithmetic of Function Fields. 13-17 Junio 2011 en Imperial College Londres. La mayoria de los speakers como el organizador fueron
Dos ejemplos para terminar del impacto del programa:
F.Bars
Dos ejemplos para terminar del impacto del programa: L.Taelman via conversaciones obtenidas y sugeridas en el programa con otros visitantes del programa y posterior trabajo obtuvo un resultado muy importante:
F.Bars
Dos ejemplos para terminar del impacto del programa: L.Taelman via conversaciones obtenidas y sugeridas en el programa con otros visitantes del programa y posterior trabajo obtuvo un resultado muy importante: A Herbrand-Ribet theorem for function elds. Inv.Math.(2011)
F.Bars
Dos ejemplos para terminar del impacto del programa: L.Taelman via conversaciones obtenidas y sugeridas en el programa con otros visitantes del programa y posterior trabajo obtuvo un resultado muy importante: A Herbrand-Ribet theorem for function elds. Inv.Math.(2011) consiste en caracterizar cuando un primo p divide numerador de BCi , Taelman relaciona esta propiedad con cierto grupo de cohomologia plana, por tanto Taelman puede formular un anlogo de la conjetura de Kummer-Vandiver,
F.Bars
Dos ejemplos para terminar del impacto del programa: L.Taelman via conversaciones obtenidas y sugeridas en el programa con otros visitantes del programa y posterior trabajo obtuvo un resultado muy importante: A Herbrand-Ribet theorem for function elds. Inv.Math.(2011) consiste en caracterizar cuando un primo p divide numerador de BCi , Taelman relaciona esta propiedad con cierto grupo de cohomologia plana, por tanto Taelman puede formular un anlogo de la conjetura de Kummer-Vandiver, Conjetura Kummer-Vandiver: no divide a hQ(e 2i / )+ . (Kurihara 1992): Si K4n (Z) = 0 Kummer-Vandiver es cierta.
F.Bars
Dos ejemplos para terminar del impacto del programa: L.Taelman via conversaciones obtenidas y sugeridas en el programa con otros visitantes del programa y posterior trabajo obtuvo un resultado muy importante: A Herbrand-Ribet theorem for function elds. Inv.Math.(2011) consiste en caracterizar cuando un primo p divide numerador de BCi , Taelman relaciona esta propiedad con cierto grupo de cohomologia plana, por tanto Taelman puede formular un anlogo de la conjetura de Kummer-Vandiver, Conjetura Kummer-Vandiver: no divide a hQ(e 2i / )+ . (Kurihara 1992): Si K4n (Z) = 0 Kummer-Vandiver es cierta. se espera que Kummer-Vandiver sea falsa pero que los contraejemplos seran para p grande. Ahora en cuerpos de funciones tenemos un objeto de cohomolgia que nos permite intentar vericar o no el anlogo de la conjetura.
F.Bars
Y nuevas colaboraciones de matemticos espaoles con matemticos de referencia mundial con trabajos que seran referencia en el rea, por ejemplo: H.Darmon, I.Sols y V.Rotger: Diagonal cycles on triple products of Kuga-Sato varieties and rational points on elliptic curves. En preparacin.
F.Bars

Francesc Bars

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Francesc Bars

Cargado por

Copyright:

Formatos disponibles

Geometra Aritmtica de cuerpos globales.

Francesc Bars(UAB), Luis Dieulefait(UB), Victor Rotger(UPC)

Castro Urdiales, 21 Septiembre 2011

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

No obstante las tcnicas para Fq (T ) son diferentes que para Q.

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

lim L(H 1 (E , Q ), s)/(s 1)r = Tamagawav

#X(E ) #(E (K )tors )#(E (K )tors )

Research Programm in Arithmetic Geometry, 2009-2010

lim L(H 1 (E , Q ), s)/(s 1)r = Tamagawav

#X(E ) #(E (K )tors )#(E (K )tors )

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Subprograma I: ARITHMETIC OF MODULAR FORMS AND MODULARITY

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010

Workshop on Cycles and Special Values of L-series

Research Programm in Arithmetic Geometry, 2009-2010

Research Programm in Arithmetic Geometry, 2009-2010