Complements on Furtwängler's second theorem and Vandiver' s cyclotomic integers

Abstract

This article deals with a conjecture generalizing the second case of Fermat's Last Theorem, called $SFLT2$ conjecture: {\it Let $p>3$ be a prime, $K:=\Q(ζ)$ the $p$th cyclotomic field and ${\mathbb{Z}}_K$ its ring of integers. The diophantine equation $(u+vζ)\Z_K=\mk w_1^p$, with $u,v\in \mathbb{Z}\backslash \{0\}$ coprime, $uv\equiv 0\mathrm{mod}p$ and $\mk w_1$ ideal of ${\mathbb{Z}}_K$, has no solution.} Assuming that $SFLT2$ fails for $(p,u,v)$, let $q$ be an odd prime not dividing $uv$, $n$ the order of $\frac{v}{u}\mathrm{mod}q$, $\xi$ a primitive $n$th root of unity and $M:=\Q(ξ,ζ)$. The aim of this complement of the article [GQ] of G. Gras and R. Quême on the same topic, is to exhibit some strong properties of the decomposition of the primes $\mk Q$ of ${\mathbb{Z}}_M$ over $q$ in certain Kummer $p$-extensions of the field $M$, to derive from them a weak conjecture which implies that the SFLT2 equation can always take the reduced form $u+\zeta v\in K^{\times p}$ and to set a conjecture implying SFLT2.

arXiv commentThe two main modifications are: improvement of the statement and proof of theorem 2.12; improvement of the remark 14 of version V2 (remark 15 in this version V3)