Michel Demazure ( francés: [dəmazyʁ] ; nacido el 2 de marzo de 1937) [1] es un matemático francés. Hizo contribuciones en los campos del álgebra abstracta , la geometría algebraica y la visión por computadora , y participó en el colectivo Nicolas Bourbaki . También ha sido presidente de la Sociedad Matemática Francesa y ha dirigido dos museos de ciencia franceses.
En la década de 1960, Demazure fue alumno de Alexandre Grothendieck y, junto con Grothendieck, dirigió y editó el Séminaire de Géométrie Algébrique du Bois Marie sobre esquemas grupales en el Institut des Hautes Études Scientifiques cerca de París de 1962 a 1964. Demazure obtuvo su doctorado de la Université de Paris en 1965 bajo la supervisión de Grothendieck, con una disertación titulada Schémas en groupes reductifs . [2] Fue maître de conférence en la Universidad de Estrasburgo (1964–1966), [3] y luego profesor universitario en Paris-Sud en Orsay(1966-1976) [4] y la École Polytechnique de Palaiseau (1976-1999). [4] Desde aproximadamente 1965 hasta 1985, también fue uno de los miembros principales del grupo Bourbaki, un grupo de matemáticos franceses que escribían bajo el seudónimo colectivo de Nicolas Bourbaki . [5]
En 1988 Demazure era el presidente de la Société Mathématique de France . [6] De 1991 a 1998, fue director del Palais de la Découverte en París y, de 1998 a 2002, presidente de la Cité des Sciences et de l'Industrie en La Villette , dos importantes museos de ciencia en Francia; [4] al asumir estos cargos, cambió de lugar con Jean Audouze , quien estuvo en La Villette de 1993 a 1996, y se convirtió en director del Palais de la Découverte a la partida de Demazure. [7] Demazure también preside el comité consultivo regional de investigación de Languedoc-Roussillon . [8]
En SGA3 , Demazure introdujo la definición de un dato de raíz , una generalización de sistemas de raíces para grupos reductivos que es fundamental para la noción de dualidad de Langlands . [9] Un artículo de 1970 de Demazure sobre los subgrupos del grupo Cremona [10] ha sido reconocido más tarde como el comienzo del estudio de las variedades tóricas . [11]
La fórmula de caracteres de Demazure y los módulos de Demazure y la conjetura de Demazure llevan el nombre de Demazure, quien escribió sobre ellos en 1974. [12] Los módulos de Demazure son submódulos de una representación de dimensión finita de un álgebra de Lie semisimple , y la fórmula de caracteres de Demazure es una extensión de la fórmula de caracteres de Weyl a estos módulos. El trabajo de Demazure en esta área se vio empañado por la dependencia de un lema falso en un artículo anterior (también de Demazure); la falla fue señalada por Victor Kac , y la investigación posterior aclaró las condiciones bajo las cuales la fórmula sigue siendo válida. [13]
Más adelante en su carrera, el énfasis de la investigación de Demazure pasó de las matemáticas puras a más problemas computacionales, lo que implicaba la aplicación de la geometría algebraica a los problemas de reconstrucción de imágenes en la visión artificial . [14] El teorema de Kruppa-Demazure , derivado de este trabajo, muestra que si una escena que consta de cinco puntos se ve desde dos cámaras con posiciones desconocidas pero distancias focales conocidas , entonces, en general, habrá exactamente diez escenas diferentes que podrían haber generó las mismas dos imágenes. El matemático austriaco Erwin Kruppa había reducido muchos años antes el número de escenas posibles a once, y Demazure proporcionó la primera solución completa al problema.[15]