SFLT2 criterion via a nonsplit p-principal prime

Let p>3p>3 be prime. For a triple (p,u,v)Z3(p,u,v)\in\mathbb Z^3 with uu and vv coprime and pvp\mid v, let qq be a pp-principal prime with puv≢0(modq)puv\not\equiv0\pmod q, let nn be the order of v/u(modq)v/u\pmod q, let ξ=e2πi/n\xi=e^{2\pi i/n}, and let q\mathfrak q be a prime ideal above qq satisfying uξv0(modq)u\xi-v\equiv0\pmod{\mathfrak q}. Put M=Q(ξ,ζ)M=\mathbb Q(\xi,\zeta). SFLT2 criterion conjecture. If such a prime qq and ideal q\mathfrak q can always be found so that q\mathfrak q is not totally split in

M(εkε11k=1,,p2p)/M,M\left(\sqrt[p]{\langle\varepsilon_k\varepsilon_1^{-1}\rangle_{k=1,\ldots,p-2}}\right)/M,

then SFLT2 holds. This is proposed as a sufficient condition for the Strong Fermat's Last Theorem conjecture and is not assigned a resolution in the source.

Sources & referencesView supporting material

Primary source

Roland Quême, “On Furtwängler's theorems and second case of Fermat's Last Theorem”, arXiv:1304.6179 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.