|
| Computing \(p\)-adic \(L\)-functions of totally real number fields |
|
| Preprint. |
| Abstract |
We prove explicit formulas for the \(p\)-adic \(L\)-functions of totally real number fields and show how these formulas can be used to compute values and representations of \(p\)-adic \(L\)-functions. |
| Document(s) |
pdf (622k) |
|
|
| Numerical evidence toward a 2-adic equivariant ''Main Conjecture'' |
|
| Experiment. Math. 20 (2011), n°2, 169-176 (with A. Weiss). |
| Abstract |
We test a conjectural non abelian refinement of the classical \(2\)-adic Main Conjecture of Iwasawa theory. In the first part, we show how, in the special case that we study, the validity of this refinement is equivalent to a congruence condition on the coefficients of some power series. Then, in the second part, we explain how to compute the first coefficients of this power series and thus numerically check the conjecture in that setting. |
|
|
| Testing the Congruence Conjecture for Rubin-Stark Elements |
|
| J. Number Theory 130 (2010), n°6, 1374-1398 (with D. Solomon). |
| Abstract |
The `Congruence Conjecture' was developed by the second author in a previous paper. It provides a conjectural explicit reciprocity law for a certain element associated to an abelian extension of a totally real number field whose existence is predicted by earlier conjectures of Rubin and Stark. The first aim of the present paper is to design and apply techniques to investigate the Congruence Conjecture numerically. We then present complete verifications of the conjecture in 48 varied cases with real quadratic base fields.
The Rubin-Stark elements found during this research are available in the table of Rubin-Stark elements over quadratic fields. |
|
|
| On the \(p\)-adic Beilinson conjecture for number fields |
|
| Pure Appl. Math. Q. 5 (2009), n°1, 375-434 (with A. Besser, P. Buckingham and R. de Jeu). |
| Abstract |
We formulate a conjectural \(p\)-adic analogue of Borel's theorem relating regulators for higher \(K\)-groups of number fields to special values of the corresponding zeta-functions, using syntomic regulators and \(p\)-adic \(L\)-functions. We also formulate a corresponding conjecture for Artin motives, and state a conjecture about the precise relation between the \(p\)-adic and classical situations. Parts of the conjectures are proved when the number field (or Artin motive) is abelian over the rationals, and all conjectures are verified numerically in some other cases. |
| Document(s) |
pdf (463k) |
|
|
| Regulators of rank one quadratic twists |
|
| J. Théor. Nombres Bordeaux 20 (2008), n°3, 601-624 (with C. Delaunay). |
| Abstract |
We investigate the regulators of elliptic curves with rank 1 in some families of quadratic twists of a fixed elliptic curve. In particular, we formulate some conjectures on the average size of these regulators. We also describe an efficient algorithm to compute explicitly some of the invariants of an odd quadratic twist of an elliptic curve (regulator, order of the Tate-Shafarevich group, etc.) and we discuss the numerical data that we obtain and compare it with our predictions.
The numerical data obtained during this research is available in the table of Rank one quadratic twists of some elliptic curves. |
| Document(s) |
pdf (452k) |
|
|
| Calculs et expérimentations en théorie des nombres |
|
| Habilitation à diriger des recherches soutenue le 14 juin 2007 à l'Institut Camille Jordan (Université Claude Bernard Lyon 1). |
| Résumé |
Ce mémoire présente l'ensemble de mes travaux en mathématiques après ma thèse. Ces travaux sont dans le domaine de la théorie des nombres, et plus particulièrement sur les aspects explicites de la théorie des nombres, et se partagent en trois parties.
Une première partie concerne l'étude explicite des conjectures de Stark. Dans ce domaine, les travaux présentés portent, d'une part, sur l'utilisation de la conjecture abélienne de rang \(1\) pour la construction du corps de classes de Hilbert de corps quadratiques réels, et, d'autre part, sur la vérification de diverses variations : la conjecture de Brumer-Stark sur des corps quadratiques et cubiques, la conjecture de Stark-Chinburg pour les répresentations icosaèdrales et une conjecture de Solomon portant à la fois sur les valeurs des fonctions \(L\) complexes et des fonctions \(L\) \(p\)-adiques.
Une deuxième partie décrit trois algorithmes sur les nombres \(p\)-adiques. Le premier permet de construire toutes les extensions de degré donné d'un corps \(p\)-adique. Le deuxième factorise les polynômes sur le corps des nombres \(p\)-adiques rationnels. Le troisième calcule la valeur en \(s=1\) de fonctions zêta \(p\)-adiques de corps quadratiques réels.
Une dernière partie est le fruit de collaborations avec mes collègues de Lyon et de Grenoble. Une de ces collaborations porte sur l'utilisation des modules de Drinfeld en cryptographie, les autres sur des aspects explicites de la théorie analytique des nombres. |
| Document(s) |
pdf (321k) |
|
|
| On Integers of the Form \(p + 2^k\) |
|
| Acta Arith. 122 (2006), n°1, 45--50 (avec L. Habsieger). |
| Abstract |
We investigate the density of integers that may be written as \(p + 2^k\), where \(p\) is a prime and \(k\) a non negative integer. |
| Document(s) |
pdf (101k) dvi (21k) |
|
|
| Verifying a \(p\)-adic Abelian Stark Conjecture at \(s=1\) |
|
| J. Number Theory 107 (2004), n°1, 168-206 (with D. Solomon). |
| Abstract |
In a previous paper, the second author developed a new approach to the abelian \(p\)-adic Stark conjecture at \(s = 1\) and stated related conjectures. The aim of the present paper is to develop and apply techniques to numerically investigate one of these -- the ``Weak Refined Combined Conjecture'' -- in fifteen cases. |
| Document(s) |
pdf (428k) ps (823k) |
|
|
| Counting Primes in Residue Classes |
|
| Math. Comp. 73 (2004), n°247, 1565-1575 (with M. Deléglise and P. Dusart). |
| Abstract |
We explain how the Meissel-Lehmer-Lagarias-Miller-Odlyzko method for computing \(\pi(x)\), the number of primes up to \(x\), can be used for computing efficiently \(\pi(x,k,l)\), the number of primes congruent to \(l\) modulo \(k\) up to \(x\). As an application, we computed the number of prime numbers of the form \(4n \pm 1\) less than \(x\) for several values of \(x\) up to \(10^{20}\) and found a new region where \(\pi(x,4,3)\) is less than \(\pi(x,4,1)\) near \(x = 10^{18}\). |
| Document(s) |
pdf (160k) ps (484k) |
|
|
| The Brumer-Stark Conjecture in Some Families of Extensions of Specified Degree |
|
| Math. Comp. 73 (2004), n°245, 297-315 (with C. Greither and B. Tangedal). |
| Abstract |
As a starting point, an important link is established between Brumer's conjecture and the Brumer-Stark conjecture which allows one to translate recent progress on the former into new results on the latter. For example, if \(K/F\) is an abelian extension of relative degree \(2p\), \(p\) an odd prime, we prove the \(\ell\)-part of the Brumer-Stark conjecture for all odd primes \(\ell \not= p\) with \(F\) belonging to a wide class of base fields. In the same setting, we study the \(2\)-part and \(p\)-part of Brumer-Stark with no special restriction on \(F\) and are left with only two well-defined specific classes of extensions that elude proof. Extensive computations were carried out within these two classes and a complete numerical proof of the Brumer-Stark conjecture was obtained in all cases. |
|
|
| Nombre de solutions dans une binade de l'équation \(A^2 + B^2 = C^2 + C\) |
|
| Enseign. Math. (2) 50 (2004), n°1-2, 147-182 (avec J.-M. Muller et J.-L. Nicolas). |
| Summary |
Let \(Q(N,\lambda)\) denote the number of integer solutions of the equation \(A^2 + B^2 = C^2 + C\) satisfying \(N\le A\le B\le C\le\lambda N-1/2\). We show that there exists an explicit constant \(\alpha(\lambda)\) such that \(Q(N,\lambda)=c(\lambda)N+O_{\lambda}(N^{7/8} \log N)\). |
| Document(s) |
pdf (356k) ps (557k) |
|
|
| Factorization Algorithms over Number Fields |
|
| J. Symb. Comput. 38 (2004), 1429-1443. |
| Abstract |
The aim of this paper is to describe two new factorization algorithms for polynomials. The first factorizes polynomials modulo the prime ideal of a number field. The second factorizes polynomials over a number field. |
| Document(s) |
pdf (290k) ps (442k) dvi (58k) |
|
|
| Utilisation des modules de Drinfeld en cryptologie |
|
| C. R. Math. Acad. Sci. Paris 336 (2003), no. 11, 879-882 (avec R. Gillard, F. Leprévost et A. Panchishkin). |
| Abstract |
We present in this note public-key cryptosystem based on Drinfeld modules. |
| Remark. |
The cryptosystem described in this note has been broken, see Cryptanalysis of a cryptosystem based on Drinfeld modules |
| Document(s) |
pdf (160k) ps (244k) dvi (24k) |
|
|
| Numerical Verification of the Stark-Chinburg Conjecture for Some Icosahedral Representations |
|
| Experiment. Math. 12 (2003), n°4, 419-432 (with A. Jehanne and J. Sands). |
| Summary |
We provide some numerical evidence for the Stark-Chinburg conjecture in \(14\) examples of fields cut out by \(2\)-dimensional, odd Galois representations of icosahedral type. |
| Document(s) |
pdf (296k) ps (542k) dvi (133k) |
|
|
| A Fast Algorithm for Polynomial Factorization over \(\mathbb{Q}_p\) |
|
| J. Théor. Nombres Bordeaux 14 (2002), n°1, 151-169 (with D. Ford and S. Pauli). |
| Abstract |
We present an algorithm that returns a proper factorization of a polynomial \(\Phi(x)\) over the \(p\)-adic integers \(\mathbb{Z}_p\) (if \(\Phi(x)\) is reducible over \(\mathbb{Q}_p\)) or returns a power basis of the ring of integers of \(\mathbb{Q}_p[x]/\Phi(x)\mathbb{Q}_p[x]\) (if \(\Phi(x)\) is irreducible over \(\mathbb{Q}_p\)). Our algorithm is based on the Round Four maximal order algorithm. Experimental results show that the new algorithm is considerably faster than the Round Four algorithm. |
|
|
| On the Computation of All Extensions of a \(p\)-Adic Field of a Given Degree |
|
| Math. Comp. 70 (2001), n°236, 1641-1659 (avec S. Pauli). |
| Abstract |
Let \(k\) be a \(p\)-adic field. It is well-known that \(k\) has only finitely many extensions of a given finite degree. Krasner has given formulae for the number of extensions of \(k\) of a given degree and discriminant. Following his work, we present an algorithm for the computation of generating polynomials for all these extensions. |
|
|
| Computing the Hilbert Class Field of Real Quadratic Fields |
|
| Math. Comp. 69 (2000), n°231, 1229-1244 (with H. Cohen). |
| Abstract |
Using the units appearing in Stark's conjectures on the values of \(L\)-functions at \(s=0\), we give a complete algorithm for computing an explicit generator of the Hilbert class field of a real quadratic field. |
| |
|
|
| Stark's Conjectures and Hilbert's Twelfth Problem |
|
| Experiment. Math. 9 (2000), n°2, 251-260. |
| Abstract |
We give a constructive proof of a theorem of Tate, which states that (under Stark's Conjecture) the field generated over a totally real field \(K\) by the Stark units contains the maximal real abelian extension of \(K\). As a direct application of this proof, we show how one can compute explicitly real abelian extensions of \(K\). |
|
|
| Numerical Verification of the Brumer-Stark Conjecture |
|
| Algorithmic Number Theory (ANTS-IV) (W. Bosma, ed.), Lecture Notes in Comp. Sci. 1838, Springer (2000), 491-504 (avec B. Tangedal). |
| Summary |
We study the Brumer-Stark conjecture computationally in the simplest situation in which it is unproven: an extension \(K/k\) with \(k\) quadratic, \(Gal(K/k)\) isomorphic to \(\mathbb{Z}/4\mathbb{Z}\), the class group of \(K\) non trivial, \(K/\mathbb{Q}\) non Galois. We verify the conjecture in 379 such cases and study the problem of whether the power of 2 dividing the Brumer element can be replaced by a lower 2-power so that the result remains true. |
| Document(s) |
pdf (217k) dvi (68k) |
|
|
| Algorithmes de factorisation dans les extensions relatives et applications de la conjecture de Stark à la construction des corps de classes de rayon |
|
| Thèse sous la direction de F. Diaz y Diaz et M. Olivier, soutenue le 27 juin 1997 dans le laboratoire A2X (Université Bordeaux I). |
| Résumé |
Cette thèse suit deux orientations distinctes. D'une part, on expose un nouvel algorithme de factorisation des polynômes à coefficients dans un corps de nombres, ainsi qu'une généralisation de l'algorithme de factorisation modulo un nombre premier dû à Berlekamp au cas des idéaux premiers d'un corps de nombres. D'autre part, on montre comment les conjectures de Stark permettent de construire explicitement certains corps de classes de rayon sur des corps totalement réels. On donne également une table de corps de classes de Hilbert de corps totalement réels de degré 2, 3 et 4 construits par cette méthode. |
| Document(s) |
pdf (712k) ps (1Mb) dvi (684k) |
|
|
| Unités de Stark et corps de classes de Hilbert |
|
| C. R. Acad. Sci. Paris Sér. I Math. 323 (1996), n°11, 1165-1168. |
| Abstract |
Following Stark original idea, we describe how one can use his conjectures to construct the Hilbert Class field of totally real fields by computing accurate approximations of the first derivative of some Artin L-functions. |
| Document(s) |
pdf (183k) dvi (17k) |
|
|