The seminar of the team Géométrie is under the responsibility of Michel Raibaut.
Settings: See with decreasing date. Hide abstracts
Other years: 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2017, 2018, all years together.

Year 2016

Thursday 21st January 2016 at 14h David Bourqui (IRMAR (Rennes)),
Modèles formels minimaux des singularités de courbe

Abstract: (Hide abstracts)
Le schéma des arcs tracés sur une variété n'est pas un objet de dimension finie. Le théorème de Drinfeld-Grinberg-Kazdhan dit cependant que la singularité en un arc non contenu dans le lieu singulier de la variété possède en un sens un modèle de dimension finie. Ce modèle devrait contenir des informations sur la singularité de l'origine de l'arc considéré. Nous présenterons des résultats et questions dans ce sens pour les singularités de courbe. C'est un travail en commun avec Julien Sebag.

Thursday 28th January 2016 at 15h Tanguy Rivoal (Institut Fourier),
Équations différentielles arithmétiques, valeurs des E et G-fonctions

Abstract: (Hide abstracts)
Les E et G-fonctions de Siegel sont des séries entières solutions d'équations différentielles linéaires, avec des coefficients de Taylor algébriques vérifiant certaines conditions de croissance. Les ensembles de valeurs prises par ces fonctions aux points algébriques possèdent une riche structure arithmétique héritée des équations différentielles sous-jacentes. Je presenterai quelques résultats sur ces ensembles obtenus dans des travaux en commun avec Stéphane Fischler (Orsay) et, indépendamment, Julien Roques (Grenoble).

Thursday 4th February 2016 at 14h Arthur Renaudineau (Université de Genève),
Surfaces algébriques réelles avec beaucoup d'anses dans (CP^1)^3

Abstract: (Hide abstracts)
Après un bref rappel des problèmes généraux en topologie des variétés algébriques réelles et de la méthode de construction du patchwork, on présentera une construction de surfaces algébriques réelles avec beaucoup d'anses dans (CP^1)^3.

Thursday 4th February 2016 at 15h30 Nguyen Nhan (Lama),
Stratifications of definable sets in o-minimal structures

Abstract: (Hide abstracts)
In this talk, I present recent results of my thesis including the existence of Lipschitz stratifications of definable sets in polynomially bounded o-minimal structures and some properties related to Whitney stratifications of definable set.

Wednesday 17th February 2016 at 17h15 Vincent Grandjean (Fortaleza),
Equivalence blow-analytique et equivalence de contact bi-Lipschitz

Abstract: (Hide abstracts)
Deux germes de fonctions analytiques réelles blow-analytiquement équivalentes sont sous-analytiquement bi-Lipschitz équivalentes de contact.

Thursday 18th February 2016 at 14h Lorenzo Fantini (CMLS, Ecole Polytechnique),
Links non archimédiens des singularités

Abstract: (Hide abstracts)
J'introduirai une version non archimédienne du link d'une singularité. Celle-ci sera un proche parent d'un espace analytique non-archimedien (à la Berkovich) sur un corps trivialement valué. Après avoir décrit la géométrie et la structure analytique de ce link, j'en déduirai des informations sur les résolutions des singularités des surfaces.

Thursday 10th March 2016 at 14h Camille Plénat (I2M Marseille),
Résolutions plongées toriques des singularités simples via l'espace des jets

Abstract: (Hide abstracts)
Etant donnée une surface singulière (X,0) , John Nash a proposé l'étude de l'espace des arcs passant par la singularité; cet espace est de dimension infinie mais admet un nombre fini de composantes irréductibles. J. de Bobadilla et M.Pe Pereira ont démontré qu'il y avait autant de composantes irréductibles que de diviseurs irréductibles exceptionnels de la résolution (abstraite) minimale. Avec H.Mourtada, nous nous posons la question ``inverse'': peut-on caractériser /obtenir une résolution de la singularité via l'espace des arcs.Trouver une résolution abstraite via l'espace des arcs est finalement trop ambitieux. Par contre nous obtenons une résolution plongée torique des singularités simples via les espaces de jets (en utilisant un th de Ein-Lazarsfeld-Mustata qui relient les valuations divisorielles avec des composantes irréductibles des espaces des arcs.)

Thursday 24th March 2016 at 16h Michel Raibaut (LAMA),
Fibre de Milnor motivique, séance 1

Thursday 31st March 2016 at 16h Michel Raibaut (LAMA),
Fibre de Milnor motivique, séance 2

Thursday 7th April 2016 at 14h Jean-Louis Verger-Gaugry (LAMA),
Fonctions zeta, fonctions algébriques, et questions de lacunarité

Abstract available as a PDF file.

Thursday 7th April 2016 at 15h15 Pierre-Jean Spaenlehauer (INRIA Nancy),
Calculs exacts de points critiques : degrés et bornes de complexité.

Abstract: (Hide abstracts)
Soit V une variété algébrique affine complexe. Le calcul exact des points critiques d'une fonction polynomiale f définie sur V est une routine centrale dans plusieurs algorithmes en géométrie algébrique réelle et en optimisation. En supposant que la cloture projective de V est lisse et sous des hypothèses de généricité sur f, nous montrons des bornes sur le degré du lieu formé par les points de V où le gradient de f appartient à la somme de l'espace normal à V et d'un espace linéaire générique. Ces bornes dépendent du degré de f et des degrés des classes polaires de la cloture projective de V. À l'aide de ces bornes et en utilisant un algorithme récent de Bank, Giusti, Heintz, Matera, Lecerf et Solerno, nous montrons qu'une paramétrisation rationnelle des points critiques de f sur V peut être calculée avec une complexité arithmétique essentiellement quadratique (à des facteurs logarithmiques près) en le nombre de points critiques complexes et polynomiale en les autres paramètres du problème. Travail commun avec Mohab Safey El Din.

Thursday 14th April 2016 at 14h Georges Comte (LAMA),
Points rationnels de hauteur bornée dans certaines courbes transcendantes

Abstract: (Hide abstracts)
J'expliquerai comment, dans un travail commun avec C. Miller, nous montrons que le nombre de points rationnels de hauteur au plus T, dans certaines courbes transcendantes, est borné par a.log^bT où a et b sont réels. Les courbes que nous considérons ne sont pas nécessairement o-minimales ni compactes.

Wednesday 4th May 2016 at 17h Wojciech Kucharz (Universite Jagellone, Cracovie),
Linear equations on real algebraic surfaces

Abstract: (Hide abstracts)
We prove that if a linear equation, whose coefficients are continuous rational functions on a nonsingular real algebraic surface, has a continuous solution, then it also has a continuous rational solution. This is known to fail in higher dimensions. (Joint work with K. Kurdyka)

Thursday 12th May 2016 at 14h Adam Parusinski (Laboratoire JA Dieudonné, Nice),
Equisingularité arc-wise analytique

Abstract: (Hide abstracts)
On montre que toute famille de singularités analytiques, réelles ou complexes, équisingulière au sens de Zariski, peut être trivialisée par un homeomorphisme semi-algébrique, arc-analytique, et analytique par rapport au paramètre. Cela montre en particulier la conjecture de fibration de Whitney : l’existence, pour toute variété analytique complexe, d’une stratification qui possède localement un feuilletage (w)-régulier. Une telle stratification peut être construite de manière algorithmique. (travail en collaboration avec Laurentiu Paunescu)

Thursday 26th May 2016 at 14h Pierrette Cassou-Nogues (Institut de Mathématiques Bordeaux),
La conjecture de Yano pour un germe de courbe plane irréductible à deux paires de Puiseux

Abstract: (Hide abstracts)
La conjecture de Yano (1982) prédit les racines du polynôme de Bernstein générique d'un germe de courbe plane irréductible. Je vais expliquer les idées de la preuve dans le cas de deux paires de Puiseux et monodromie à valeurs propres distinctes. C'est un travail commun avec Enrique Artal Bartolo, Ignacio Luengo et Alejandro Melle-Hernandez (2016).

Tuesday 7th June 2016 at 11h Guillaume Rond (Institut de Mathématiques de Marseille),
Estimées locales en zéro et division dans les anneaux de séries algébriques

Abstract: (Hide abstracts)
Je vais présenter un problème d'estimée locale en zéro dans des quotients d'anneaux de séries algébriques. La question consiste à relier l'ordre d'annulation d'un polynôme modulo un idéal au degré de ce polynôme. Nous considérerons aussi le cas de l'ordre d'une série algébrique. Finalement nous montrerons comment ces estimées locales permettent de ``contrôler'' la transcendance des solutions d'équations linéaires à coefficients séries algébriques, solutions pour lesquelles des contraintes de support sont imposées. Ce type d'équations apparaît naturellement en combinatoire ou en théorie des singularités.

Thursday 23rd June 2016 at 14h Si Tiep Dinh (Insitut Mathématiques de Hanoi),
Les inégalités de Lojasiewicz pour la valeur propre maximale et la valeur singulière minimale.

Abstract: (Hide abstracts)
Dans cet exposé, on donne quelques versions des inégalités de Lojasiewicz (du gradient et pour la fonction de distance) quand les fonctions considérées sont la fonction de la valeur propre maximale d'une matrice polynomiale symétrique et la fonction de la valeur singulière minimale d'une matrice polynomiale quelconque.

Thursday 22nd September 2016 at 14h Daniel Grieser (Universität Oldenburg (Allemagne)),
The exponential map based at a singularity

Abstract: (Hide abstracts)
We study isolated singularities of a space embedded in a smooth Riemannian manifold from a differential geometric point of view. While there is a considerable literature on bi-lipschitz invariants of singularities, we obtain a more precise (complete asymptotic) understanding of the metric properties of certain types of singularities. This involves the study of the family of geodesics emanating from the singular point. While for conical singularities this family of geodesics, and the exponential map defined by them, behaves much like in the smooth case, the situation is very different in the case of cuspidal singularities, where the exponential map may fail to be locally injective. We also study a mixed conical-cuspidal case. Our methods involve the description of the geodesic flow as a Hamiltonian system and its resolution by blow-ups in phase space. This is joint work with Vincent Grandjean.

Thursday 13th October 2016 at 15h Sébastien Tavenas (LAMA),
Tour d'horizon - Des bornes inférieures en complexité arithmétique aux conjectures de Kushnirenko

Abstract: (Hide abstracts)
En tant que nouvel arrivant au laboratoire, je voudrais présenter lors de cet exposé des questions, des sujets de recherche qui m'intéressent. La question du temps nécessaire algorithmiquement pour l'évaluation de polynômes naturels semble fondamentale. Quelle est la meilleure façon de calculer un polynôme f(X_1,…,X_n) à partir des opérations arithmétiques basiques + et *? En fait, certains polynômes sont difficiles à calculer. Par exemple, évaluer le permanent d'une matrice revient à compter le nombre de mariages parfaits dans un graphe. Une autre façon de voir ce problème est celui de la possibilité d'exprimer le permanent comme déterminant d'une matrice, une question déjà soulevée par Pólya et Szegö en 1913. On commencera par une présentation de pistes de recherche actuelles en complexité arithmétique. On verra des relations avec des questions de géométrie algébrique (en particulier, en géométrie réelle) et les questions qui apparaissent - ou plutôt ressurgissent - dans ce domaine. Ainsi, de nombreuses propriétés des variétés réelles définies par des courbes creuses sont encore très mal connues. Je finirai par présenter mes derniers résultats : en particulier, je montrerai comment obtenir des bornes inférieures ``presque''-cubiques (et ainsi battre les bornes précédentes quadratiques) sur la taille des circuits arithmétiques de profondeur 3 calculant un polynôme donné.

Thursday 17th November 2016 at 14h Georges Comte (LAMA),
Intégration de fonctions sous-analytiques et oscillantes

Abstract: (Hide abstracts)
Nous montrons la stabilité sous intégration et transformation de Fourier d’une algèbre explicite de fonctions contenant les fonctions sous-analytiques et leurs exponentielles complexes. Il s'agit d'un article en commun avec R. Cluckers, D. Miller, J. P. Rolin & T. Servi.

Thursday 8th December 2016 at 14h Michel Raibaut (LAMA),
Invariants motiviques à l'infini des courbes planes

Abstract: (Hide abstracts)
Dans cet exposé, nous commencerons par définir les invariants motiviques à l'infini d'un polynôme. Nous étudierons ensuite le cas d'un polynôme à deux variables et à coefficients complexes. Les calculs seront donnés en termes des polygones de Newton du polynôme. Lorsque le polynôme est non dégénéré pour son polygone de Newton, le calcul est aisé, dans le cas contraire,nous proposons un raisonnement par induction utilisant des transformations de Newton et des polygones itérés à hauteur décroissante. Travail en commun avec Pierrette Cassou-Nogues (Bordeaux)

The seminar of the team Géométrie is under the responsibility of Michel Raibaut.
Settings: See with decreasing date. Hide abstracts
Other years: 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2017, 2018, all years together.