Showing 1–18 of 18 results for author: Mihăilescu, P

Double exponential lower bounds for possible solutions in the Second Case of the Fermat Last Theorem

Authors: Preda Mihăilescu, Michael T. Rassias

Abstract: In a recent paper, the first author provided some lower bounds to solutions of the equations of Fermat and Catalan, based on local power series developments at the ramified prime of a prime cyclotomic extension. Although both equations have in fact been proved not to have any unknown solutions, these improved bounds are interesting in the context of a new effective abc inequality announced in the… ▽ More In a recent paper, the first author provided some lower bounds to solutions of the equations of Fermat and Catalan, based on local power series developments at the ramified prime of a prime cyclotomic extension. Although both equations have in fact been proved not to have any unknown solutions, these improved bounds are interesting in the context of a new effective abc inequality announced in the paper \cite{MFHMP} based on Mochizuki's \cite{Mo}[IUT-IV, Theorem A]. In this paper we provide a strengthening of the lower bound for FLT2, which is necessary in order to take advantage of the best upper bounds for primes $p$ for which it was verified on a computer that FLT2 has no solutions. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Comments: Submitted, under review

Semilocal approximation for the Fermat-Catalan and further popular Diophantine norm equations

Authors: Boris Bartolomé, Preda Mihailescu

Abstract: We show that the equation $\frac{x^p + y^p}{x+y} = p^e z^q$ has no solutions in coprime integers $x,y,z$, prime exponents with $ q \geq p \geq 5$, and $e \in \{0,1\}$, while for $q < p$ there is an absolute upper bound in $p$ and $q$ for the larger of $|x|$ and $|y|$. The result provides, in particular, a complete cyclotomic proof of Fermat's Last Theorem. We show that the equation $\frac{x^p + y^p}{x+y} = p^e z^q$ has no solutions in coprime integers $x,y,z$, prime exponents with $ q \geq p \geq 5$, and $e \in \{0,1\}$, while for $q < p$ there is an absolute upper bound in $p$ and $q$ for the larger of $|x|$ and $|y|$. The result provides, in particular, a complete cyclotomic proof of Fermat's Last Theorem. △ Less

Submitted 10 October, 2022; v1 submitted 19 August, 2021; originally announced August 2021.

Comments: Submitted, under review

On the equation X^n-1=B.Z^n

Authors: Boris Bartolome, Preda Mihailescu

Abstract: We consider the Diophantine equation X^n - 1 = B.Z^n, where B in Z is understood as a parameter. We prove that if the equation has a solution, then either the Euler totient of the radical, phi(rad (B)), has a common divisor with the exponent n, or the exponent is a prime and the solution stems from a solution to the diagonal case of the Nagell-Ljunggren equation: (X^n-1)/(X-1) = n^e.Y^n; e = 0 or… ▽ More We consider the Diophantine equation X^n - 1 = B.Z^n, where B in Z is understood as a parameter. We prove that if the equation has a solution, then either the Euler totient of the radical, phi(rad (B)), has a common divisor with the exponent n, or the exponent is a prime and the solution stems from a solution to the diagonal case of the Nagell-Ljunggren equation: (X^n-1)/(X-1) = n^e.Y^n; e = 0 or 1. This allows us to apply recent results on this equation to the binary Thue equation in question. In particular, we can then display parametrized families for which the Thue equation has no solution. The first such family was proved by Bennett in his seminal paper on binary Thue equations. △ Less

Submitted 30 June, 2015; v1 submitted 18 December, 2014; originally announced December 2014.

On the vanishing of Iwasawa's constant $μ$ for the cyclotomic $\Z_p$-extensions of $CM$ number fields

Authors: Preda Mihailescu

Abstract: We prove that $μ= 0$ for the cyclotomic $\Z_p$-extensions of CM number fields. We prove that $μ= 0$ for the cyclotomic $\Z_p$-extensions of CM number fields. △ Less

Submitted 17 February, 2016; v1 submitted 10 September, 2014; originally announced September 2014.

Comments: This revised version of the proof of Iwasawa's Conjecture on the vanishing of mu for the cyclotomic $\Z_p$ extension of CM number fields follows the same proof ideea as the previous, but improves the details of proof of several important intermediate steps

The Leopoldt and Iwasawa Conjectures for CM fields

Authors: Preda Mihailescu

Abstract: This is a two - part paper, in which we prove the following fact: let K be a CM field and L/K be a CM Z_p-extension. Then the Iwasawa mu-invariant of L vanishes. For the case when L is the cyclotomic Z_p extension, this is the Iwasawa conjecture stating that mu = 0 - a fact which had been proven for abelian fields by Ferrero and Washington. If L is not cyclotomic, than the Leopoldt conjecture fail… ▽ More This is a two - part paper, in which we prove the following fact: let K be a CM field and L/K be a CM Z_p-extension. Then the Iwasawa mu-invariant of L vanishes. For the case when L is the cyclotomic Z_p extension, this is the Iwasawa conjecture stating that mu = 0 - a fact which had been proven for abelian fields by Ferrero and Washington. If L is not cyclotomic, than the Leopoldt conjecture fails for K. In this case we show that there is some auxiliar CM Z_p-extension for which mu does not vanish. This is a contradiction, showing that the Leopoldt conjecture must hold for CM fields. Concerning the ideas of the proof, they use class field theory and a concept of stability of Lambda modules under deformation by Thaine shifts, which is developed explicitly in the papers. This combined paper makes obsolete earlier versions and attempts to prove parts of this result, which are found on this arxiv. △ Less

Submitted 28 March, 2014; originally announced March 2014.

Comments: submitted

The Gross-Kuz'min Connjecture for CM fields

Authors: Preda Mihăilescu

Abstract: Let $A' = \varprojlim_n A'_n$ be the projective limit of the $p$-parts of the ideal class groups of the $p$ integers in the $\mathbb{Z}_p$-cyclotomic extension $K_{\infty}/K$ of a CM number field $K$. We prove in this paper that the $T$-part $(A')^-(T) = \{ 1 \}$ for CM extensions $K/\mathbb{Q}$. This fact has been conjectured for arbitrary fields $K$ by Kuz'min in 1972 and was proved by Greenberg… ▽ More Let $A' = \varprojlim_n A'_n$ be the projective limit of the $p$-parts of the ideal class groups of the $p$ integers in the $\mathbb{Z}_p$-cyclotomic extension $K_{\infty}/K$ of a CM number field $K$. We prove in this paper that the $T$-part $(A')^-(T) = \{ 1 \}$ for CM extensions $K/\mathbb{Q}$. This fact has been conjectured for arbitrary fields $K$ by Kuz'min in 1972 and was proved by Greenberg in 1973, for abelian extensions $K/\mathbb{Q}$. Federer and Gross had shown in 1981 that $(A')^-(T) = \{ 1 \}$ is equivalent to the non-vanishing of the $p$-adic regulator of the $p$-units of $K$. △ Less

Submitted 18 February, 2015; v1 submitted 14 September, 2012; originally announced September 2012.

Comments: Version 4.0, with improved exposition and minor corrections, thanks to seminar discussions and remarks of Jens Franke

The Gross - Kuz'min conjecture for CM fields

Authors: Preda Mihailescu

Abstract: Let $A' = \varprojlim_n$ be the projective limit of the $p$-parts of the ideal class groups of the $p$ integers in the $\Z_p$-cyclotomic extension $\K_{\infty}/\K$ of a CM number field $\K$. We prove in this paper that the $T$ part $(A')^-(T) = 0$. This fact has been explicitly conjecture by Kuz'min in 1972 and was proved by Greenberg in 1973, for abelian extensions $\K/\Q$. Federer and Gross had… ▽ More Let $A' = \varprojlim_n$ be the projective limit of the $p$-parts of the ideal class groups of the $p$ integers in the $\Z_p$-cyclotomic extension $\K_{\infty}/\K$ of a CM number field $\K$. We prove in this paper that the $T$ part $(A')^-(T) = 0$. This fact has been explicitly conjecture by Kuz'min in 1972 and was proved by Greenberg in 1973, for abelian extensions $\K/\Q$. Federer and Gross had shown in 1981 that $(A')^-(T) = 0$ is equivalent to the non-vanishing of the $p$-adic regulator of the $p$-units of $\K$. △ Less

Submitted 17 February, 2015; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: This older version has been withdrawn. Please consider version 4.0 from February 17-th, 2015

SNOQIT I: Growth of $Λ$-modules and Kummer theory

Authors: Preda Mihailescu

Abstract: The paper contains at the end a proof of the conjecture of Gross - Kuz'min, for CM extensions of Q. The main topic of the paper is the investigation of the growth of order and ranks at finite levels of some Lambda modules (p-parts of ideal class groups). The paper contains at the end a proof of the conjecture of Gross - Kuz'min, for CM extensions of Q. The main topic of the paper is the investigation of the growth of order and ranks at finite levels of some Lambda modules (p-parts of ideal class groups). △ Less

Submitted 30 May, 2011; originally announced May 2011.

Leopoldt's Conjecture for CM fields

Authors: Preda Mihailescu

Abstract: The conjecture of Leopoldt states that the $p$ - adic regulator of a number field does not vanish. It was proved for the abelian case in 1967 by Brumer, using Baker theory. We prove this conjecture for CM number fields $\K$. The proof uses Iwasawa's methods -- especially Takagi Theory -- for deriving his skew symmetric pairing, together with Kummer- and Class Field Theory. The conjecture of Leopoldt states that the $p$ - adic regulator of a number field does not vanish. It was proved for the abelian case in 1967 by Brumer, using Baker theory. We prove this conjecture for CM number fields $\K$. The proof uses Iwasawa's methods -- especially Takagi Theory -- for deriving his skew symmetric pairing, together with Kummer- and Class Field Theory. △ Less

Submitted 17 February, 2016; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: This is the final submitted version. I removed several results which were not actively used in the proof and massively streamlined and simplified the presentation. The proof is based on the vanishing of mu, which is proved in a separate paper. But there is an appendix which explains how the proof can be completed without assuming that proof, thus also if mu > 0 is assumed possible

Iwasawa's constant $μ$ vanishes in cyclotomic $\Z_p$-extensions of CM fields

Authors: Preda Mihailescu

Abstract: Let $\K$ be a galois CM extension of $\Q$ and $\K_{\infty}$ its cyclotomic $\Z_p$-extension. Let $A_n$ be the $p$-parts of the class groups in the intermediate subfields $\K_n \subset \K_{\infty}$ and $\rg{A} = \varprojlim_n A_n$. We show that the $p$-rank of $\rg{A}$ is finite, which is equivalent to the vanishing of Iwasawa's constant $μ$ for $\rg{A}$. (Currently withdrawn) Let $\K$ be a galois CM extension of $\Q$ and $\K_{\infty}$ its cyclotomic $\Z_p$-extension. Let $A_n$ be the $p$-parts of the class groups in the intermediate subfields $\K_n \subset \K_{\infty}$ and $\rg{A} = \varprojlim_n A_n$. We show that the $p$-rank of $\rg{A}$ is finite, which is equivalent to the vanishing of Iwasawa's constant $μ$ for $\rg{A}$. (Currently withdrawn) △ Less

Submitted 17 February, 2015; v1 submitted 10 May, 2011; originally announced May 2011.

Comments: Replaced by Version from September 2014

Turning Washington's heuristics in favor of Vandiver's conjecture

Authors: Preda Mihăilescu

Abstract: A famous conjecture bearing the name of Vandiver states that $p \nmid h_p^+$ in the $p$ - cyclotomic extension of $\Q$. Heuristics arguments of Washington, which have been briefly exposed in Lang (1978), p. 261 and Washington (1996), p. 158 suggest that the Vandiver conjecture should be false if certain conditions of statistical independence are fulfilled. In this note, we assume that Greenberg's… ▽ More A famous conjecture bearing the name of Vandiver states that $p \nmid h_p^+$ in the $p$ - cyclotomic extension of $\Q$. Heuristics arguments of Washington, which have been briefly exposed in Lang (1978), p. 261 and Washington (1996), p. 158 suggest that the Vandiver conjecture should be false if certain conditions of statistical independence are fulfilled. In this note, we assume that Greenberg's conjecture is true for the \nth{p} cyclotomic extensions and prove an elementary consequence of the assumption that Vandiver's conjecture fails for a certain value of $p$: the result indicates that there are deep correlations between this fact and the defect $λ^- > i(p)$, where $i(p)$ is like usual the irregularity index of $p$, i.e. the number of Bernoulli numbers $B_{2k} \equiv 0 \bmod p, 1 < k < (p-1)/2$. As a consequence, this result could turn Washington's heuristic arguments, in a certain sense into an argument in favor of Vandiver's conjecture. △ Less

Submitted 29 October, 2012; v1 submitted 29 November, 2010; originally announced November 2010.

Comments: In sequel to an interesting discussion with a colleague, I decided to add the details of three variants of the proof of the theorem in this paper. The detail may reveal to be helpful for those who are worried to understand the difference between the p-th cyclotomic field and some real quadratic fields in which phenomena of the type investigated in the paper do occur

Seminar Notes on Open Questions in Iwasawa Theory - SNOQIT I: The $Λ[ G ]$-modules of Iwasawa theory II: Units and Kummer theory in Iwasawa extensions

Authors: Preda Mihailescu

Abstract: In Part I we review some specific properties of the $Λ$-modules in Iwasawa theory, which add structure to the general properties of Noetherian $Λ$-torsion modules. Part II deals with Kummer theory and gives a detailed construction of the Iwasawa linear space. This provides a new, simpler proof of the conjectures of Leopoldt and Gross for CM extensions. Using a construction of Thaine, we then prove… ▽ More In Part I we review some specific properties of the $Λ$-modules in Iwasawa theory, which add structure to the general properties of Noetherian $Λ$-torsion modules. Part II deals with Kummer theory and gives a detailed construction of the Iwasawa linear space. This provides a new, simpler proof of the conjectures of Leopoldt and Gross for CM extensions. Using a construction of Thaine, we then prove that $λ^+ = 0$ in these fields, thus proving a part of Greenberg's conjecture - the fact $μ^+ = 0$ still has to be shown. In the Appendices we give some elementary partial proofs of the main facts proved using Iwasawa's linear space. These two papers do not give proofs for non CM fields, and the reader interested in methods for dealing with this case is referred to the "$T and T^*$" paper on this arxive. This methods will be integrated in the Snoqit series. △ Less

Submitted 17 February, 2015; v1 submitted 20 September, 2010; originally announced September 2010.

Comments: Withdrawn - the material was expanded in individual papers on the Conjectures of Leopoldt, Iwasawa and Gross, all on arxive after 2014

MSC Class: 11R23; 11R27

Applications of Baker Theory to the Conjecture of Leopoldt

Authors: Preda Mihăilescu

Abstract: In this paper we give a short, elementary proof of the following too extreme cases of the Leopoldt conjecture: the case when $\K/\Q$ is a solvable extension and the case when it is a totally real extension in which $p$ splits completely. The first proof uses Baker theory, the second class field theory. The methods used here are a sharpening of the ones presented at the SANT meeting in Göttingen,… ▽ More In this paper we give a short, elementary proof of the following too extreme cases of the Leopoldt conjecture: the case when $\K/\Q$ is a solvable extension and the case when it is a totally real extension in which $p$ splits completely. The first proof uses Baker theory, the second class field theory. The methods used here are a sharpening of the ones presented at the SANT meeting in Göttingen, 2008 and exposed in \cite{Mi2}, \cite{Mi1}. △ Less

Submitted 17 February, 2015; v1 submitted 15 September, 2009; originally announced September 2009.

Comments: Outdated approach to Leopoldt, replaced by Version from March 2014

MSC Class: 11R23; 11R27

The Artin Symbol as a Canonical Capitulation Map

Authors: Preda Mihailescu

Abstract: We show that there is a canonical, order preserving map $ψ$ of lattices of subgroups, which maps the lattice $\Sub(A)$ of subgroups of the ideal class group of a galois number field $\K$ into the lattice $\Sub(\KH/\K)$ of subfields of the Hilbert class field. Furthermore, this map is a capitulation map in the sense that all the primes in the classes of $A' \subset A$ capitulate in $ψ(A')$. In pa… ▽ More We show that there is a canonical, order preserving map $ψ$ of lattices of subgroups, which maps the lattice $\Sub(A)$ of subgroups of the ideal class group of a galois number field $\K$ into the lattice $\Sub(\KH/\K)$ of subfields of the Hilbert class field. Furthermore, this map is a capitulation map in the sense that all the primes in the classes of $A' \subset A$ capitulate in $ψ(A')$. In particular we have a new, strong version of the generalized Hilbert 94 Theorem, which confirms the result of Myiake and adds more structure to (part) of the capitulation kernel of subfields of $\KH$. △ Less

Submitted 17 February, 2015; v1 submitted 18 May, 2009; originally announced May 2009.

Comments: Erroneous, withdrawn!

MSC Class: 11R37

The $T$ and $T^*$ components of $Λ$ - modules and Leopoldt's conjecture

Authors: Preda Mihailescu

Abstract: The conjecture of Leopoldt states that the $p$ - adic regulator of a number field does not vanish. It was proved for the abelian case in 1967 by Brumer, using Baker theory. A conjecture, due to Gross and Kuz'min will be shown here to be in a deeper sense a dual of Leopoldt's conjecture with respect to the Iwasawa involution. We prove both conjectures for arbitrary number fields $\K$. The main ingr… ▽ More The conjecture of Leopoldt states that the $p$ - adic regulator of a number field does not vanish. It was proved for the abelian case in 1967 by Brumer, using Baker theory. A conjecture, due to Gross and Kuz'min will be shown here to be in a deeper sense a dual of Leopoldt's conjecture with respect to the Iwasawa involution. We prove both conjectures for arbitrary number fields $\K$. The main ingredients of the proof are the Leopoldt reflection, the structure of quasi - cyclic $\Z_p[ \Gal(\K/\Q) ]$ - modules of some of the most important $Λ[ \Gal(\K/\Q) ]$ - modules occurring ($T$ acts on them like a constant in $\Z_p$), and the Iwasawa skew symmetric pairing. There a simplified presentation of the Iwasawa linear space and the proofs of the Conjectures of Leopoldt and Gross-Kuz'min can be found, together with a proof of $lambda^+ = 0$ for CM fields. The present paper is at present the only one which presents the approach for non CM extensions. This will be in time incorporated in the exposition of Snoqit, allowing the proofs of all mentioned conjectures for general number fields. Only then will the present paper become obsolete. △ Less

Submitted 17 February, 2015; v1 submitted 8 May, 2009; originally announced May 2009.

Comments: Withdrawn - the material was expanded in individual papers on the Conjectures of Leopoldt, Iwasawa and Gross, all on arxive after 2014

MSC Class: 11R23; 11R27

Dual Elliptic Primes and Applications to Cyclotomy Primality Proving

Authors: Preda Mihailescu

Abstract: Two rational primes p, q are called dual elliptic if there is an elliptic curve E mod p with q points. They were introduced as an interesting means for combining the strengths of the elliptic curve and cyclotomy primality proving algorithms. By extending to elliptic curves some notions of galois theory of rings used in the cyclotomy primality tests, one obtains a new algorithm which has heuristi… ▽ More Two rational primes p, q are called dual elliptic if there is an elliptic curve E mod p with q points. They were introduced as an interesting means for combining the strengths of the elliptic curve and cyclotomy primality proving algorithms. By extending to elliptic curves some notions of galois theory of rings used in the cyclotomy primality tests, one obtains a new algorithm which has heuristic cubic run time and generates certificates that can be verified in quadratic time. After the break through of Agrawal, Kayal and Saxena has settled the complexity theoretical problem of primality testing, some interest remains for the practical aspect of state of the art implementable proving algorithms. △ Less

Submitted 26 September, 2007; originally announced September 2007.

MSC Class: 11Y11

Cyclotomy Primality Proofs and their Certificates

Authors: Preda Mihailescu

Abstract: The first efficient general primality proving method was proposed in the year 1980 by Adleman, Pomerance and Rumely and it used Jacobi sums. The method was further developed by H. W. Lenstra Jr. and more of his students and the resulting primality proving algorithms are often referred to under the generic name of Cyclotomy Primality Proving (CPP). In the present paper we give an overview of the… ▽ More The first efficient general primality proving method was proposed in the year 1980 by Adleman, Pomerance and Rumely and it used Jacobi sums. The method was further developed by H. W. Lenstra Jr. and more of his students and the resulting primality proving algorithms are often referred to under the generic name of Cyclotomy Primality Proving (CPP). In the present paper we give an overview of the theoretical background and implementation specifics of CPP, such as we understand them in the year 2007. △ Less

Submitted 26 September, 2007; originally announced September 2007.

MSC Class: 11Y11

A Cylcotomic Investigation of the Fermat - Catalan Equation

Authors: Preda Mihailescu

Abstract: We give some new, simple results on the equation X^p + Y^p = Z^q. We give some new, simple results on the equation X^p + Y^p = Z^q. △ Less

Submitted 26 February, 2007; originally announced February 2007.