Domaine de méromorphie maximal et frontière naturelle de produits eulériens uniformes d'une ou de plusieurs variables
Auteur / Autrice : | Ludovic Delabarre |
Direction : | Driss Essouabri |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 29/11/2010 |
Etablissement(s) : | Saint-Etienne |
Ecole(s) doctorale(s) : | École doctorale Sciences Ingénierie Santé (Saint-Etienne) |
Jury : | Président / Présidente : Alexis Pantchichkine |
Examinateurs / Examinatrices : François Hennecart, Stéphane Louboutin, Boris Zelikovich Moroz, Federico Pellarin |
Résumé
Le but de cette thèse est de déterminer la frontière naturelle de méromorphie (lorsqu'elle existe) d'un produit eulérien de plusieurs variables associé à un polynôme h de plusieurs variables à coefficients entiers vérifiant une hypothèse de régularité analytique. Il s'agit précisément de trouver la frontière d'un domaine maximal sur lequel un prolongement méromorphe existe. On présente dans cette thèse des méthodes qui permettent d'étendre dans le cadre de plusieurs variables, sous une hypothèse de régularité analytique qui est vérifiée dans la plupart des cas, le célèbre résultat d'Estermann concernant le domaine maximal de méromorphie d'un produit eulérien d'une variable \prod_{p}h(p^{-s}) associé à un polynôme h à coefficients entiers (tel que h(0)=1). On précise également le sens que l'on peut attribuer au concept de ''frontière naturelle'' selon la dimension complexe ou réelle d'un éventuel prolongement au-delà de cette frontière. En guise d'application, on détermine la frontière naturelle d'une classe de produits eulériens multivariables associés à une variété torique projective. Une seconde application consiste en la détermination de la frontière naturelle d'une classe de fonctions de la forme \prod_{p}h(p^{-s_l },...,p^{-s_n },p^{-c}) où c est un entier relatif non nul. On résout en particulier un problème de N. Kurokawa et H. Ochiai concernant la frontière naturelle de méromorphie de la fonction zêta multivariable d'Igusa Z^{\textrm{ring} }(s_l ,...,s_n; Z[T,T^{ -1 }])