Spelling suggestions: "subject:"constructible"" "subject:"reconstructible""
1 |
Exponential sums, cell decomposition and p-adic integration / Sommes exponentielles, décomposition cellulaire et intégration p-adiqueChambille, Saskia 22 June 2018 (has links)
Dans cette thèse nous étudions des sommes exponentielles et des intégrales p-adiques, en utilisant la théorie des modèles et la géométrie. La première partie traite des sommes exponentielles dans des corps P-minimaux. La deuxième partie examine le comportement asymptotique des sommes exponentielles sur les corps p-adiques. Dans la première partie nous commençons par démontrer une théorème de décomposition cellulaire pour tous les corps P-minimaux, c.-à-d. indépendamment de l’existence des fonctions de Skolem définissables. En l’absence de ces fonctions nous introduisons les cellules en grappe régulières, inspirés par la notion classique de cellule p-adique de Denef. Notre décomposition cellulaire utilise les cellules classiques et les cellules en grappe régulières. Ensuite nous étendons la notion de fonction constructible exponentielle des structures semi-algébriques et sous-analytiques à tous les corps P-minimaux. Pour cela nous ajoutons des sommes exponentielles aux algèbres des fonctions constructibles. En utilisant notre décomposition cellulaire, nous démontrons que les fonctions constructibles exponentielles sont stables dans le contexte d’intégration. Cela signifie que l’intégration d’une fonction constructible exponentielle sur certaines de ses variables produit une fonction constructible exponentielle dans les autres variables. Dans la deuxième partie nous démontrons les conjectures d’Igusa, Denef-Sperber et Cluckers-Veys sur le comportement asymptotique des sommes exponentielles pour les polynômes dont le seuil log-canonique ne dépasse pas un demi. Nous apportons deux démonstrations ; l’une utilise l’intégration motivique et l’autre les fonctions zêtas d’Igusa. / In this thesis we study p-adic exponential sums and integrals using ideas from model theory and geometry. The first part of this thesis deals with exponential sums in P-minimal fields. The second part discusses estimates for the asymptotic behaviour of exponential sums over p-adic fields. Our work on P-minimal fields starts with the proof of a cell decomposition theorem that holds in all P-minimal fields, i.e., independently of the existence of definable Skolem functions. For P-minimal fields that lack these functions, we introduce the notion of regular clustered cells. This notion is close to the classical notion of p-adic cells, that was introduced by Denef. Our cell decomposition uses both classical cells and regular clustered cells. Next, we extend the notion of exponential-constructible functions, already defined in the semi-algebraic and subanalytic setting, to all P-minimal fields. We do this by enlarging the algebras of constructible functions with exponential sums. Using our cell decomposition theorem we prove that exponential-constructible functions are stable under integration. This means that the act of integrating an exponential-constructible function over some of its variables produces an exponential-constructible function in the other variables. In our work on estimates for the asymptotic behaviour of exponential sums we prove the Igusa, Denef-Sperber and Cluckers-Veys conjectures for polynomials with log-canonical threshold at most one half. We give two different proofs, one using motivic integration, and the other one using the Igusa zeta functions.
|
2 |
Transformation de Mellin faisceautique et D-modulesFabbro, Hervé 16 May 2006 (has links) (PDF)
Dans un premier temps, nous décrivons le complexe des solutions du transformé de Mellin algébrique d'un D-module M en fonction des solutions de M. Pour cela, nous définissons un foncteur de transformation de Mellin faisceautique. Nous montrons alors que le transformé de Mellin du complexe des solutions à décroissance rapide en 0 et à l'infini d'un D-module holonome régulier M est quasi-isomorphe au complexe des solutions du transformé de Mellin algébrique de M, l'hypothèse de régularité n'étant plus nécessaire à une variable.<br />Dans un second temps, nous faisons un travail analogue avec la transformation de Mellin inverse : les résultats sont plus partiels. Nous définissons une transformation de Mellin inverse faisceautique. Nous démontrons alors qu'il existe des morphismes naturels reliant le complexe des solutions du transformé de Mellin inverse algébrique d'un module aux différences avec le transformé de Mellin inverse faisceautique du complexe des solutions à croissance au plus exponentielle d'ordre 1 à l'infini dans des bandes verticales. Nous montrons ensuite que dans le cas d'un module aux différences à une variable et à une seule pente strictement positive, ces morphismes sont des isomorphismes.
|
Page generated in 0.0886 seconds