show/hide this revision's text 3 edit in light of Franz's answer

Kidding, kidding. But I do have a question about an $n$-line outline of a proof of the first case of FLT, with $n$ relatively small.

Here's a result of Eichler (remark after Theorem 6.23 in Washington's Cyclotomic Fields): If $p$ is prime and the $p$-rank of the class group of $\mathbb{Q}(\zeta_p)$ satisfies $d_p<\sqrt{p}-2$, then the first case of FLT has no non-trivial solutions. Once you know Herbrand-Ribet and related stuff, the proof of this result is even rather elementary.

The condition that $d_p<\sqrt{p}-2$ seems reminiscent of rank bounds used with Golod-Shafarevich to prove class field towers infinite. More specifically, a possibly slightly off (and definitely improvable) napkin calculation gives me that for $d_p>2+2\sqrt{(p-1)/2}$, the $p$-th cyclotomic field $\mathbb{Q}(\zeta_p)$ has an infinite $p$-class field tower. It's probably worth emphasizing at this point that by the recent calculation of Buhler and Harvey, the largest index of irregularity for primes less than 163 million is a paltry 7.

So it seems natural to me to conjecture, or at least wonder about, a relationship between the unsolvability of the first case of FLT and the finitude finiteness of the $p$-class field tower over $\mathbb{Q}(\zeta_p)$. Particularly compelling for me is the observation that regular primes (i.e., primes for which $d_p=0$) are precisely the primes for which this tower has length 0, and have obvious historical significance in the solution of this problem. In fact, the mechanics of the proof would probably/hopefully be to lift the arithmetic to the top of the (finite) assumed finite) p-Hilbert class field tower, and then use that its class number is prime to $p$ to make arguments completely analogously to the regular prime case.

I haven't seen this approach anywhere. Does anyone know if it's been tried and what the major obstacles are, or demonstrated why it's likely to fail? Or maybe it works, and I just don't know about it?

Edit: Franz's answer seems to indicate indicates that even for a relatively simple Diophantine equation (and relatively simple class field tower), moving to the top of the Hilbert class field tower introduces as many problems as it rectifies. This seems pretty compelling. But if anyone has any more information, I'd still like to know if anyone has seen any along these lines (surely I'm not the first to see the connection and not conclude that it's hopeless? Or maybe it's so hopeless that not even partial results have been obtained?), either in the FLT case, knows or for that matter, in can come up with an attempt to solve any other example of a Diophantine equation which does benefit from this approach.
show/hide this revision's text 2 added 550 characters in body

Kidding, kidding. But I do have a question about an $n$-line outline of a proof of the first case of FLT, with $n$ relatively small.

Here's a result of Eichler (remark after Theorem 6.23 in Washington's Cyclotomic Fields): If $p$ is prime and the $p$-rank of the class group of $\mathbb{Q}(\zeta_p)$ satisfies $d_p<\sqrt{p}-2$, then the first case of FLT has no non-trivial solutions. Once you know Herbrand-Ribet and related stuff, the proof of this result is even rather elementary.

The condition that $d_p<\sqrt{p}-2$ seems reminiscent of rank bounds used with Golod-Shafarevich to prove class field towers infinite. More specifically, a possibly slightly off (and definitely improvable) napkin calculation gives me that for $d_p>2+2\sqrt{(p-1)/2}$, the $p$-th cyclotomic field $\mathbb{Q}(\zeta_p)$ has an infinite $p$-class field tower. It's probably worth emphasizing at this point that by the recent calculation of Buhler and Harvey, the largest index of irregularity for primes less than 163 million is 7.

So it seems natural to me to conjecture, or at least wonder about, a relationship between the unsolvability of the first case of FLT and the finitude of the $p$-class field tower over $\mathbb{Q}(\zeta_p)$. Particularly compelling for me is the observation that regular primes (i.e., primes for which $d_p=0$) are precisely the primes for which this tower has length 0, and have obvious historical significance in the solution of this problem. In fact, the mechanics of the proof would probably/hopefully be to lift the arithmetic to the top of the (finite) p-Hilbert class field tower, and then use that its class number is prime to $p$ to make arguments completely analogously to the regular prime case.

I haven't seen this approach anywhere. Does anyone know if it's been tried and what the major obstacles are, or demonstrated why it's likely to fail? Or maybe it works, and I just don't know about it?

Edit: Franz's answer seems to indicate that moving to the top of the Hilbert class field tower introduces as many problems as it rectifies. This seems pretty compelling. But if anyone has any more information, I'd still like to know if anyone has seen any along these lines (surely I'm not the first to see the connection and not conclude that it's hopeless? Or maybe it's so hopeless that not even partial results have been obtained?), either in the FLT case, or for that matter, in an attempt to solve any other Diophantine equation.
show/hide this revision's text 1

Please check my 6-line proof of Fermat's Last Theorem.

Kidding, kidding. But I do have a question about an $n$-line outline of a proof of the first case of FLT, with $n$ relatively small.

Here's a result of Eichler (remark after Theorem 6.23 in Washington's Cyclotomic Fields): If $p$ is prime and the $p$-rank of the class group of $\mathbb{Q}(\zeta_p)$ satisfies $d_p<\sqrt{p}-2$, then the first case of FLT has no non-trivial solutions. Once you know Herbrand-Ribet and related stuff, the proof of this result is even rather elementary.

The condition that $d_p<\sqrt{p}-2$ seems reminiscent of rank bounds used with Golod-Shafarevich to prove class field towers infinite. More specifically, a possibly slightly off (and definitely improvable) napkin calculation gives me that for $d_p>2+2\sqrt{(p-1)/2}$, the $p$-th cyclotomic field $\mathbb{Q}(\zeta_p)$ has an infinite $p$-class field tower. It's probably worth emphasizing at this point that by the recent calculation of Buhler and Harvey, the largest index of irregularity for primes less than 163 million is 7.

So it seems natural to me to conjecture, or at least wonder about, a relationship between the unsolvability of the first case of FLT and the finitude of the $p$-class field tower over $\mathbb{Q}(\zeta_p)$. Particularly compelling for me is the observation that regular primes (i.e., primes for which $d_p=0$) are precisely the primes for which this tower has length 0, and have obvious historical significance in the solution of this problem. In fact, the mechanics of the proof would probably/hopefully be to lift the arithmetic to the top of the (finite) p-Hilbert class field tower, and then use that its class number is prime to $p$ to make arguments completely analogously to the regular prime case.

I haven't seen this approach anywhere. Does anyone know if it's been tried and what the major obstacles are, or demonstrated why it's likely to fail? Or maybe it works, and I just don't know about it?