## Is the Leopoldt conjecture almost always true?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The famous Leopoldt conjecture asserts that for any number field $F$ and any prime $p$, the $p$-adic regulator of $F$ is nonzero. This is known to be equivalent to the vanishing of $H^2(G_{F'/F},\mathbf{Q}_p/\mathbf{Z}_p)$, where $F'$ is the maximal pro-$p$ extension of $F$ unramified outside $p$. When $F/\mathbf{Q}$ is abelian, the conjecture was proven by Brumer.

My question: is there any reasonable sense in which the Leopoldt conjecture is "usually" true - e.g., is it known for any fixed $F$ at almost all primes $p$, or (say) for almost all quartic extensions of $\mathbf{Q}$ with $p$ fixed? A glance through the mathscinet reviews of all the papers with "Leopoldt conjecture" in their title didn't reveal anything, but perhaps this is well-known to experts.

-

One result is, Buchmann and Sands (1988) fixed any prime (not 5) and found infinitely many $S_5$ extensions with LC true. ams.org/journals/proc/1988-104-01/… – Junkie May 28 2011 at 5:52

## 3 Answers

Olivier and all,

If you trust your own minds, you should better try directly and read version 2 of the proof for only CM fields, which I posted in June this years. The rest is hot wind - people may bet, in front of the list of names who failed at Leopoldt you may put the odds for my breakthrough around 1% - but it is only reading which can provide your own judgment of whether this 1 has to be more likely than the complementary 99. I teach the proof in class since 3 weeks and it works quite fluidly and the students can grab the construction very well - useless to say, it is enriched by many details, since it is a 3-d year course (guess something like first graduate year). I gave up the construction of techniques for non CM fields, the Iwasawa skew symmetric pairing, and reduced to the skeletton of the principal ideas, exactly in order to respond to the loud whispers about my expressivity.

As for the Cambridge seminar mentioned, it was a great experience - but it happened during a week loaded with important other seminars, and in spite of the particular attention offered, we did not have more than 3 or 4 meetings of two hours, this was certainly not enough for completing a proof with all the details, just the time for gathering some important questions and find out on what particular issue people would like to know more. This is taken into account in the present version.

It is also true that Minhyong Kim, this friendly and enthusiastic fellow, asked for my allowance to put the draft on the blog, exactly in the expectation that more students and young researchers would just try and bite at it, and raise questions, which were very welcome. The expected impact did not happen. Therefore I friendly invite you to simply read. Anyone having concrete questions is gladly invited to write me a mail, if I understand the question his chances are one in a thousand that I will not respond.

Sorry if I intruded your discussion

Preda Mihailescu

-
Dear Preda, thanks for this post. I am going to read your version 2. – Joël Jul 4 2011 at 11:27

1
Dear Joel, You are welcome and have fun. I will post within the next week also a shorter paper on the Gross conjecture, this might be interesting too - I teach it in the same course, and the result is somehow faster ... Let me know if you get stuck anywhere, I will try to help Best Preda – Preda Jul 4 2011 at 12:13
Dear Preda, Six months have passed and unfortunately I have not yet found the time to read seriously your paper, which I still very much want to do. I wanted to ask you a question: you have a much shorter 2008 paper called "An application of Baker's theory to Leopoldt's conjecture" which proves Leopoldt's conjecture in the case of a totally real extension where $p$ splits completely (which is already a real breakthrough, and contains the cases I personally need of the conjecture). Is this paper published? Do you think I should read it as an introduction to your more recent paper? – Joël Feb 4 2012 at 16:44

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I think that not much is known. For example I don't think that we are any closer to prove Leopoldt's conjecture for a given $F$ for infinitely many $p$ than to prove it for all $p$.

Here is a result though: for $K_n=$ cyclotomic fields generated over $\bf Q$ (variante: over a fixed quadrqtic imqginary field; over a fixed totally real field) by the roots of unity of order $p^n$, the "defect" of Leopoldt's conjecture (the dimension of $H^2(K_n'/K_n,{\bf Q}_p)$) stays bounded as $n$ goes to infinity. This is a consequence of the main conjecture known in this case and in the variantes. This is already a very useful result (used for example by Minhyong Kim in his beautifull new proofs of old Diophantine results, such as Siegel theorem for a CM elliptic curve).

Not really in the same spirit, but somehow similar to the brummer proof of the abelian case; it is important to mention Waldschmidt's beautiful result, that the defect in Leopoldt's conjecture is at most half of the degree of $F$.

Since both Brumer's result and Waldschmidt's have proof using fundamentally the theory of transcendence, and for other reasons as well, many people (including myself) think that proving Leopoldt's conjecture will require some transcendence methods (as opposed as methods of algebraic number theory, automorphic forms, etc.). But "generic results" as asked by the question might be more accessible, if by no means simple.

-

Leopoldt's conjecture seems to have been proved now by Mihailescu:

http://arxiv.org/abs/0905.1274

In fact before that, I think Fujiwara had done significant work on it (maybe the case of totally real fields?).

-
I was under the impression that "the jury was still out" on this, so I figured I'd ask my question in the meantime. – David Hansen May 28 2011 at 4:11
Given the number of "proofs" of big theorems I've seen on arXiv, I would agree that the "jury was still out" unless it has been accepted for publication, or other notables are talking about it and taking it seriously (like happened with Catalan). It has now been a preprint for 2 years and he gave talks in late 2009, and I haven't heard anyone particularly voice a confirmation. There is value in the paper, though maybe not everything he claims. Supposedly Lenstra gave up reading Mihailescu's manuscripts just when Catalan worked, so if it's serious math you should always give it some merit. – Junkie May 28 2011 at 5:20

5
Fujiwara retracted its proof. As for Mihailescu's, credible people I discussed it with tended to be more critical than "the jury is still out" and at least one was much more so. But you never know... – Olivier May 28 2011 at 7:15

1
I agree with your statement, Olivier (maybe derivative of the same credible persons), but I wasn't going to voice rumors without a specific flaw being noted. One problem is that Mihailescu has his own expositional style, to say the least, and it is often hard to figure out what he has really done or shown. As Minhyong Kim said when PM gave talks, he was very open to questions, and there was a lot going on, but the jury seems to say: this as-is is not a proof: but there are various new ideas which might lead to a proof. Now he claims the CM case separately, maybe this will clear matters. – Junkie May 28 2011 at 8:23

3
@Dr Shello: It's my understanding that the experts have not come out and said that Mihăilescu's proof is incorrect, but that they have not said it is correct either. – Rob Harron May 28 2011 at 17:29
show 4 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 25, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9712595343589783, "perplexity_flag": "middle"}