56 votos

Trabajo de los oradores plenarios en ICM 2018

El próximo Congreso Internacional de Matemáticos (ICM), que será el próximo año en Río de Janeiro, Brasil. La cuestión es la de 2018 versión de cuestiones similares de 2014 y 2010. Puede usted, por favor, para el beneficio de los demás, se da una breve descripción de la obra de uno de los ponentes?

Lista de ponentes en el ICM de 2018:

  1. Alex Lubotzky (Israel)
  2. Andrei Okounkov (Rusia/Estados Unidos)
  3. Assaf Naor (Estados Unidos)
  4. Carlos Gustavo Moreira (Brasil)
  5. Catherine Goldstein (Francia)
  6. Cristiano Lubich (Alemania)
  7. Geordie Williamson (Australia/Alemania)
  8. Gil Kalai (Israel)
  9. Greg Lawler (Estados Unidos)
  10. Lai-Sang Young (Estados Unidos)
  11. Luigi Ambrosio (Italia)
  12. Michael Jordan (Estados Unidos)
  13. Nalini Anantharaman (Francia)
  14. Pedro Kronheimer (Estados Unidos) y Tom Mrowka (Estados Unidos)
  15. Pedro Scholze (Alemania)
  16. Rahul Pandharipande (Suiza)
  17. Ronald Coifman (Estados Unidos)
  18. Sanjeev Arora (Estados Unidos)
  19. Simon Donaldson (reino unido/Estados Unidos)
  20. Sylvia Serfaty (Francia/Estados Unidos)
  21. Vicente Lafforgue (Francia)

28voto

Ian Agol Puntos 33953

Kronheimer y Mrowka han hablado en el ICM antes. Lo más probable, el actual invitación se basa en su prueba de que Khovanov homología detecta la unknot (aunque no tienen otro trabajo espectacular desde su anterior ICM habla, tales como la prueba de la Propiedad (P)). A la pregunta correspondiente para el polinomio de Jones es un conocido problema abierto.

Kronheimer, P. B.; Mrowka, T. S., Khovanov homología es un unknot-detector, Publ. Math., Inst. Hautes Étud. Sci. 113, 97-208 (2011). ZBL1241.57017. MR2805599

La estrategia de la prueba es a considerar una modificación de) la instanton Floer homología invariantes de nudos que (aproximadamente) de los recuentos de las representaciones de el nudo grupo a $SU(2)$ en el que el meridiano tiene traza $=0$. Ellos muestran que este invariante siempre es no trivial para no trivial nudos. Esto imita una similar de la prueba de la no trivialidad de nudo Floer homología (definido por Rasmussen y Oszvath-Zsabo) por Juhasz, que mostró que la calificación más alta del nudo Floer homología se sutura Floer homología del complemento de un mínimo de género Seifert superficie en el nudo del complemento (el uso de la contigüidad de la desigualdad). Kronheimer y Mrowka había formulado anteriormente, una instanton versión de sutura Floer homología , de modo que pudieran imitar Juhasz de la prueba.

A continuación, muestran que hay una secuencia espectral que va desde Khovanov homología con su nudo instanton de homología, y por lo tanto el Khovanov homología no triviales de nudos tiene rango de al menos 2. Esta parte de la prueba se basa en una secuencia espectral que Oszvath-Zsabo encuentra desde Khovanov homología a la Heegaard-Floer la homología de la doble ramificada de la cubierta. La prueba de la existencia de este espectro de la secuencia se basa en la TQFT como las propiedades de la instanton nudo invariante para cobordisms entre nudos por las superficies de 4-variedades, que se desarrollan más adelante en este documento.

25voto

17 of 26 Puntos 15941

Vicente Lafforgue del trabajo abarcan muchos temas y contienen muchos resultados notables, pero la más probable, el trabajo reciente se ha descrito en el espíritu de la pregunta es Chtoucas pour les groupes réductifs et paramétrisation de Langlands globale. En el lema de la forma, este trabajo demuestra la Langlands la correspondencia en el "automorphic a Galois" dirección para reductiva grupo más global de la función de campo de característica positiva.

Más precisamente, vamos a $F$ ser la función de un campo liso, proyectiva, geométricamente irreductible de la curva de $X$ sobre $\mathbb F_{p}$, vamos a $\mathbb A$ ser su adele anillo y deje $G$ estar conectada, reductora grupo de más de $F$ supone dividir por la simplicidad. Para $N$ de un número finito de sub-esquema de $X$, denotan por $K_N$ el compacto, abierto subgrupo de $G(\mathbb A)$ igual a la del núcleo de $G(\mathbb O)\rightarrow G(\mathcal O_N)$ donde $\mathbb O$ es el producto de la unidad de las bolas de los campos locales $F_v$ e $\mathcal O_N$ es el anillo de funciones en $N$. Denotar por $Z$ el centro de la $G$ y corregir $\Xi$ un entramado dentro de $Z(F)\backslash Z(\mathbb A)$. Finalmente solucionar $E$ de un número finito de extensión de $\mathbb Q_\ell$ donde $\ell\nmid p$.

Luego de lo finito-dimensional $E$ espacio vectorial $$C^{\operatorname{cusp}}_c(G(F)\backslash G(\mathbb A)/K_N\Xi,E)$$ de cuspidal funciones admite directa de la suma de descomposición indexados por global de Langlands parámetro $$\sigma:\operatorname{Gal}(\bar{F}/F)\longrightarrow \widehat{G}(E)$$ con valores en la Langlands dual grupo. Esta descomposición es compatible con la Satake isomorfismo.

Además el resultado en sí, el método que él introdujo el llamado de la excursión de los operadores) se ve muy prometedor, incluso en la característica cero caso.

Digamos algo acerca de lo que este método conlleva. La estrategia estándar, que se remonta al menos a Eichler-Shimura, para la comprobación de las declaraciones de este tipo es el estudio de la cohomology grupos de espacio (en el caso clásico, un modular de la curva o Shimura variedad, y en la función de campo de caso, un espacio de moduli de Shtukas) y demostrar que admite un Galois de acción y una acción de los operadores de Hecke y, a continuación, mostrar que la Hecke espacio propio es un Galois representación derivadas de un Langlands parámetro $\sigma:\operatorname{Gal}(\bar{F}/F)\longrightarrow \widehat{G}(E)$ compuesto con algunos fijos representación de $\widehat{G}(E)$.

Esto funciona bastante bien cuando se $G = GL_n$, y fue utilizado por Vicente, el hermano Laurent Lafforgue un gran efecto en ese caso. Sin embargo, hay algunas dificultades para los otros grupos. Si hemos de escoger el subespacio de las cohomology correspondiente a un determinado automorphic forma, puede ser difícil demostrar que la Galois acción de factores a través del grupo de $\hat{G}$, o podría factor a través del grupo de $\hat{G}$ en varios indistinguible maneras.

V. Lafforgue resuelve este trabajando simultáneamente con la cohomology de una gran variedad de espacios, en la que Langlands parámetros se espera que aparecen a través de las diferentes representaciones. Él define varios mapas diferentes entre los cohomology de estos diferentes espacios. Componer estos mapas apropiadamente, él define la excursión de los operadores en el espacio original $C^{cusp}_c$ de automorphic formas. Estos operadores son los operadores de Hecke, pero no están limitados a ellos. Satisfacer algunas relaciones, formando un anillo, cuyos personajes se comprueba por la abstracta teoría del grupo corresponden a Langlands parámetros. La compatibilidad con Satake puede ser establecido mediante la comparación de estos operadores a los clásicos operadores de Hecke.

15voto

RexE Puntos 181

Nalini Anantharaman es un matemático francés que trabaja en los campos de sistemas dinámicos, ecuaciones diferenciales parciales y la física matemática.

Sus primeras obras lidiar con el conteo de cerrado geodesics hiperbólicos superficies en una homología de clase. Ella dio una completa expansión asintótica de la función de conteo siguientes métodos dinámicos introducido por D. Dolgopyat, cuando la homología de la clase se encuentra en el interior del conjunto de la bobina de los ciclos de los invariantes de las medidas de la línea geodésica de flujo. Ella también dio a estimaciones cuando la homología de la clase está en el límite de este conjunto. En ese caso, el problema está relacionado con el cero de temperatura en el límite de la teoría de los procesos de Markov y la maximización de las medidas en el Aubry-Mather teoría de Lagrange de los sistemas.

Luego, ella se interesó en semi-clásica de análisis y utiliza la entropía métodos para el estudio de los débiles límites de la secuencia de medidas de probabilidad $$ |\psi_k|^2 d\hbox{vol}$$ donde $\psi_k$ son las funciones propias de la Laplaciano definido en un negativamente curva compacto colector. El quantum único ergodicity conjetura afirma que la secuencia debe converger a la Liouville medida después de un adecuado levantamiento de las medidas a la unidad de la tangente paquete de colector. Ella mostró que de cualquier agrupamiento de los puntos de la secuencia debe tener entropía positiva, descartando así una convergencia a la masa de Dirac en algunos cerrado órbita. Así que esta es una notable aplicación de ergodic teoría para el estudio de la linealidad de la ecuación de onda y ecuación de Schrödinger. Ver una encuesta de P. Sarnak para obtener detalles adicionales.

Más recientemente, estudió los problemas relacionados con billar y regular los gráficos. Fotos interesantes de cardioide de billar se puede encontrar en su trabajo conjunto con Arnd Promotor. Su página web contiene algunas de sus conferencias en formato de vídeo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X