Salle 2
le 09 novembre 2012 à 10:45
Dans les années 60, S. Schanuel a énoncé plusieurs conjectures concernant les liens de transcendance entre des nombres et leurs exponentielles. A ce jour, la version numérique sur R ou sur C reste un des problèmes ouverts les plus importants en théorie de la transcendance. En 1971, J. Ax a prouvé la version de la conjecture de Schanuel concernant les corps différentiels et en déduit le résultat correspondant pour les séries formelles sans terme constant. Entre temps, dans des contextes variés, différents corps de séries formelles munis d'une dérivation et/ou d'une exponentielle ont été construits : transséries, séries log-exp, séries exp-log, séries généralisées. Notamment, avec S. Kuhlmann, nous avons montré comment munir certains corps de séries généralisées et de séries exp-log de dérivations. En combinant ces résultats avec ceux d'Ax, on en déduit les théorèmes de transcendance "à la Schanuel" dans ces contextes. Travail en commun avec S. Kuhlmann et A. Shkop.