lunes, 14 de diciembre de 2015

El operador de Hodge star, para cerrar el año

Estimados profesores y estudiantes,

Tengo el gusto de invitarlos a la charla de cierre por este año del seminario de álgebra y teoría de números de esta semana. 
Los esperamos. 

Título: The Hodge star operator, an introduction
Expositor: Stephen Andrea
Martes, 15 de diciembre. 
Lugar: Sala Mischa Cotlar, MYS 128. 
Hora: 12:30 pm.

lunes, 7 de diciembre de 2015

Esta semana, propiedades aditivas de grupos multiplicativos de índice finito en cuerpos

Estimados profesores y estudiantes,

Tengo el gusto de invitarlos a la charla del seminario de álgebra y teoría de números de esta semana. 
Los esperamos. 

Título: Propiedades aditivas de grupos multiplicativos de índice finito en cuerpos
Expositor: Pedro Berrizbeitia
Martes, 08 de diciembre. 
Lugar: Sala Mischa Cotlar, MYS 128. 
Hora: 12:30 pm.


Resumen: 

Sea m>1 un entero. Con la excepción de a lo sumo un número finito de primos p, la ecuación x^m+y^m\equiv t \bmod p tiene soluciones enteras x y y para todo entero t. Este problema es uno clásico de la Teoría de Números. De hecho, si denotamos por N_{p,t} al número de soluciones  (x \pmod p , y \pmod p) de la ecuación, entonces |N_{p,t} - p| = O(\sqrt p).

El problema análogo para cuerpos infinitos o más generales es el siguiente: Sea  G un grupo multiplicativo de índice finito in F^*, el grupo de los elementos invertibles del cuerpo  F, entonces, como es el conjunto G + G, el conjunto de todas las posibles sumas de dos elementos de  G ? En particular, cuando se cumple que  G+G = F?

La primera publicación sobre el tema apareció en 1989, cuando Leep y Shapiro dieron una respuesta positiva a la pregunta cuando el índice de  G in F^* es 3. Esto es, probaron que G+G=F, excepto por una corta lista de cuerpos finitos excepcionales. Conjeturaron que el resultado era cierto en el caso de índice 5. Admitieron no poder demostrarlo ni siquiera para el caso de F=\mathbb{Q}, el cuerpo de los números racionales. 


En la charla probaremos que si G tiene índice finito en \mathbb{Q}^*, entonces G-G = \mathbb{Q}, es decir, que todo racional puede escribirse como la diferencia de dos elementos de G. La demostración es una hermosa aplicación del Teorema de Van de Waerden de la progresión aritmética, que enunciaremos sin demostración.
 
 Resultados más generales de la Teoría de Ramsey permiten probar el mismo resultado para cualquier cuerpo infinito, y hasta para cierto tipo de anillos. Discutiremos brevemente estos resultados más generales y sus consecuencias.
  
También discutiremos el comportamiento de G+G, de G+G+G, etc. De hecho, daremos un esquema de la solución de una conjetura propuesta en 1992 por Bergelson y Shapiro, sobre un problema aditivo "extremal", y explicaremos un resultado de Florian Luca sobre el comportamiento de G_n+G_n, para una sucesión especifíca de subgrupos de índice  n\in \mathbb{Q}^*.