Cette thèse se compose de deux chapitres distincts. Les problématiques abordées y sont différentes, mais ils ont en commun de relier des objets de nature géométrique à des objets issus de la théorie de Hodge p-adique. Les résultats du premier chapitre s’inscrivent dans le cadre du programme de Langlands p-adique. Nous décrivons le complexe de de Rham des revêtements du demi-plan de Drinfeld pour GL_2(Q_p). Cette description, conjecturée par Breuil et Strauch, fournit une réalisation géométrique de la correspondance de Langlands locale $p$-adique pour certaines représentations de de Rham de dimension 2 du groupe de Galois absolu de Q_p. Le second chapitre est consacré à l’étude de la catégorie des espaces de Banach-Colmez. Notre résultat principal est une description de cette catégorie abélienne en termes de la catégorie des faisceaux cohérents sur la courbe de Fargues-Fontaine. Au passage, nous démontrons quelques résultats d’intérêt indépendant sur la cohomologie pro-étale et la cohomologie syntomique des variétés rigides. / This PhD thesis contains two chapters. The topics of these two chapters are quite different, but they have in common to draw connections between geometric objects and objects which come from p-adic Hodge theory. The framework of the first chapter is the p-adic Langlands program. We describe the de Rham complex of the étale overings of Drinfeld's p-adic upper half-plane for GL_2(Q_p). Conjectured by Breuil and Strauch, this description gives a geometric realization of the p-adic local Langlands correspondence for certain two-dimensional de Rham representations of the absolute Galois group of Q_p. The second chapter is devoted to the study of the category of Banach-Colmez spaces. Our main result is a precise description of this abelian category in terms of the category of coherent sheaves on the Fargues-Fontaine. Along the way we also prove a few results of independent interest about the pro-étale cohomology and syntomic cohomology of rigid spaces.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-03-10T17:35:32Z No. of bitstreams: 2 Dissertação - Adriana Marcela Fonce Camacho - 2014.pdf: 981401 bytes, checksum: a14522ebe9ae77cf599946d25752f8b4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-14T14:08:40Z (GMT) No. of bitstreams: 2 Dissertação - Adriana Marcela Fonce Camacho - 2014.pdf: 981401 bytes, checksum: a14522ebe9ae77cf599946d25752f8b4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-03-14T14:08:40Z (GMT). No. of bitstreams: 2 Dissertação - Adriana Marcela Fonce Camacho - 2014.pdf: 981401 bytes, checksum: a14522ebe9ae77cf599946d25752f8b4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-08-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work is based mainly on the Brunder and Godinho article [2] which shows proof of the conjecture of Artin methods using p-adic, although the conjecture is stated on the real numbers which makes the proof is show an equivalence on the field of the number p-adic method with the help of colored variables ya contraction of variables so as to prove the statement, taking the first level and ensuring a nontrivial solution in the following levels. / Este trabalho é baseado principalmente no artigo de Brunder e Godinho [2] o qual mostra a prova da conjetura de Artin usando métodos p-ádicos, ainda que a conjetura se afirma sobre o números reais o que faz a prova é mostrar uma equivalência sobre o corpo dos número p-ádicos com ajuda do método de variáveis coloridas e a contração de variáveis para assim provar a afirmação, tomando o primeiro nível e assim garantindo uma solução não trivial nos níveis seguintes.

Submitted by Luanna Matias (lua_matias@yahoo.com.br) on 2015-02-05T10:05:56Z No. of bitstreams: 2 Dissertaçao - Mónica Andrea Celis Cerón - 2014.pdf: 566862 bytes, checksum: b41da2ec2c63c537f6b78488d3d8c179 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-02-05T10:59:19Z (GMT) No. of bitstreams: 2 Dissertaçao - Mónica Andrea Celis Cerón - 2014.pdf: 566862 bytes, checksum: b41da2ec2c63c537f6b78488d3d8c179 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-02-05T10:59:19Z (GMT). No. of bitstreams: 2 Dissertaçao - Mónica Andrea Celis Cerón - 2014.pdf: 566862 bytes, checksum: b41da2ec2c63c537f6b78488d3d8c179 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-04-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Celis Cerón, Mónica Andrea. Artin’s conjecture for pairs of additive sextic forms. Goiânia, 2014. 62p. MSc. Dissertation. Instituto de Matemática e Estatística, Universidade Federal de Goiás. Consider the system of equations a1xk1+ a2xk2+ + asxks= 0; b1xk1+ b2xk2+ + bsxks= 0; where a1; a2; ; as; b1; b2; ; bs 2 Z A special case of Artin’s conjecture states that the above system must have nontrivial solutions in every p-adic field, Qp, provided only that s 2k2+ 1. In this text we show that the conjecture is true when k = 6. / Celis Cerón, Mónica Andrea. Conjectura de Artin para pares de formas aditivas de grau 6. Goiânia, 2014. 62p. Dissertação de Mestrado. Instituto de Matemática e Estatística, Universidade Federal de Goiás. Consideremos o sistema de equações a1xk1+ a2xk2+...+ asxks= 0; b1xk1+ b2xk2+ + bsxks= 0; onde, a 1; a 2; ; as; b1; b2; ; bs 2 Z. Um caso especial da conjectura de Artin nos diz que o sistema anterior tem solução não trivial em todo corpo p-ádico, Qp, sempre que s 2k2+ 1. Neste trabalho mostraremos que a conjectura é válida quando k = 6.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-08-06T13:53:45Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao_Alaides_Ferreira.pdf: 363902 bytes, checksum: 97bfa5be0bee9a9b8c283a12f0c24a18 (MD5) / Made available in DSpace on 2014-08-06T13:53:45Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao_Alaides_Ferreira.pdf: 363902 bytes, checksum: 97bfa5be0bee9a9b8c283a12f0c24a18 (MD5) Previous issue date: 2009 / This text is above solvability in systems of two forms additive over p-adics fields: with of degree k and variables n > 4k at lesat p > 3k4 ; with of degree an k odd integer at least n > 6k+1 variables; and with of degree 5 and p > 101 for n ≥ 31 variables, and for all p with n ≥ 36 variables, with the possible exceptions of p = 5 and p = 11. / Este texto é sobre solubilidade no corpo dos p-ádicos de sistemas de duas formas aditivas: com grau k e variáveis n > 4k apartir de p > 3k4 ; com grau k ímpar apartir de n > 6k +1 variáveis; e de grau 5 com p > 101 para n ≥ 31 variáveis, e para todo p com n ≥ 36 variáveis, com exceções de p = 5 e p = 11.

We study bounds on the distances of roots of integer polynomials and applications of such results. The separation of complex roots for reducible monic integer polynomials of fourth degree is thoroughly explained. Lemmas on roots of polynomials in the p-adic setting are proved. Explicit families of polynomials of general degree as well as families in some classes of quadratic and cubic polynomials with very good separation of roots in the same setting are exhibited. The second part of the thesis is concerned with results on p-adic versions of Mahler's and Koksma's functions wn and w*n and the related classifications of transcendental numbers in Cp. The main result is a construction of numbers such that the two functions wn and w*n differ on them for every n and later on expanding the interval of possible values for wn-w*n. The inequalities linking values of Koksma's functions for algebraically dependent numbers are proved.

In this thesis we study discrete dynamical system, given by a polynomial, over both finite extension of the fields of p-adic numbers and over finite fields. Especially in the p-adic case, we study fixed points of dynamical systems, and which elements that are attracted to them. We show with different examples how complex these dynamics are. For certain polynomial dynamical systems over finite fields we prove that the normalized average of the numbers of linear factors modulo prime numbers exists. We also show how to calculate the average, by using Chebotarev's Density Theorem. The non-normalized version of the average of the number of linear factors of linearized polynomials modulo prime numbers, tends to infinity, so in that case we find an asymptotic formula instead. We have also used a computer to study different behaviors, such as iterations of polynomials over the p-adic fields and the asymptotic relation mention above. In the last chapter we present the computer programs used in different part of the thesis.

No description available.

This thesis concerns decision procedures for fragments of linear arithmetic and their application to model-checking one-counter automata. The first part of this thesis covers the complexity of decision problems for different types of linear arithmetic, namely the existential subset of the first-order linear theory over the p-adic numbers and the existential subset of Presburger arithmetic with divisibility, with all integer constants and coefficients represented in binary. The most important result of this part is a new upper complexity bound of <b>NEXPTIME</b> for existential Presburger arithmetic with divisibility. The best bound that was known previously was <b>2NEXPTIME</b>, which followed directly from the original proof of decidability of this theory by Lipshitz in 1976. Lipshitz also gave a proof of <b>NP</b>-hardness of the problem in 1981. Our result is the first improvement of the bound since this original description of a decision procedure. Another new result, which is both an important building block in establishing our new upper complexity bound for existential Presburger arithmetic with divisibility and an interesting result in its own right, is that the decision problem for the existential linear theory of the p-adic numbers is in the Counting Hierarchy <b>CH</b>, and thus within <b>PSPACE</b>. The precise complexity of this problem was stated as open by Weispfenning in 1988, who showed that it is in <b>EXPTIME</b> and <b>NP</b>-hard. The second part of this thesis covers two problems concerning one-counter automata. The first problem is an LTL synthesis problem on one-counter automata with integer-valued and parameterised updates and with equality tests. The decidability of this problem was stated as open by G&ouml;ller et al. in 2010. We give a reduction of this problem to the decision problem of a subset of Presburger arithmetic with divisibility with one quantifier alternation and a restriction on existentially quantified variables. A proof of decidability of this theory is currently under review. The final result of this thesis concerns a type of one-counter automata that differs from the previous one in that it allows parameters only on tests, not actions, and it includes both equality and disequality tests on counter values. The decidability of the basic reachability problem on such one-counter automata was stated as an open problem by Demri and Sangnier in 2010. We show that this problem is decidable by a reduction to the decision problem for Presburger arithmetic.

Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-08-29T16:07:28Z No. of bitstreams: 1 arquivototal.pdf: 945033 bytes, checksum: cab32f76c5a55b0c6400063ed6b40ff6 (MD5) / Approved for entry into archive by Fernando Souza (fernandoafsou@gmail.com) on 2017-08-29T16:11:36Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 945033 bytes, checksum: cab32f76c5a55b0c6400063ed6b40ff6 (MD5) / Made available in DSpace on 2017-08-29T16:11:36Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 945033 bytes, checksum: cab32f76c5a55b0c6400063ed6b40ff6 (MD5) Previous issue date: 2015-08-25 / We introduce and de ne the p-adics integer numbers as a result of a search for solutions, for a congruences system that derives from a variable polynomial equation with rational coe cients. We evidence that the p-adic integers set is strictly larger than the integers. We present a criterion so that a rational that holds a correspondent in a p-adic integers set. We search for the possibility to represent irrational and complex numbers as p-adics integers. Algebraically, the p-adic integers set will be an integral domain and, from this, we search for the construction of p-adic integers quotient eld so that shall form the p-adic rationals eld, from a purely algebraically point of view. In the second part, we will expose the bases for the construction of a norm that's di erent from the usual, establishing so a new metric in the rational numbers set and the construction of a non-archimedian eld. / Apresentamos e de nimos os números inteiros p-ádicos como o resultado de uma busca por soluções, para um sistema de congruências, que parte de uma equação polinomial de uma variável, com coe cientes racionais. Constatamos que o conjunto dos inteiros p-ádicos é estritamente maior que os inteiros. Mostramos um critério para que um racional possua um correspondente num conjunto de inteiros p-ádicos. Buscamos a possibilidade de representarmos números irracionais e números complexos como inteiros p-ádicos. Algebricamente, o conjunto dos inteiros p-ádicos será um domínio de integridade e, partindo disto, buscamos a construção de um corpo de frações dos inteiros p-ádicos, que formarão, assim, o corpo dos racionais p-ádicos, de um ponto de vista puramente algébrico. Na segunda parte, vamos expor os fundamentos para a construção de uma norma diferente da habitual, estabelecendo assim uma nova métrica, no conjunto dos números racionais, e a construção de um corpo não-arquimediano.

Soient 1 -> N -> H -> H' -> 1 une suite exacte centrale de groupes algébriques sur Q_p^alg et F un corps de nombres. Etant donnée une représentation Galoisienne r' : Gal_F -> H', on s'intéresse à ses relèvements à valeurs dans H à travers le morphisme H -> H'. Un relèvement r : Gal_F -> H sera dit minimal, s'il est non-ramifié aux places où r' est non-ramifiée et est de Rham/semi-stable/cristalline aux places divisant p si r' l'est. Dans cette thèse, nous montrons l'existence de relèvements minimaux dans certains cas. / Let 1 -> N -> H -> H' -> 1 be an exact sequence of algebraic groups over Q_p^alg and F be a number field. Given a Galois representation r' : Gal_F -> H', we are interested in its lifts with values in H through the morphism H -> H'. We say a lift r : Gal_F -> H is minimal, if it is unramied at places where r' is unramified and is de Rham/semi-stable/crystalline at p-adic places if r' is so. In this thesis, we prove the existence of such minimal lifts in some cases.