Conjectural classification of even perfect and norm-perfect integers in higher cyclotomic fields

Let R\mathcal{R} be the set of cyclotomic fields over Q\mathbb{Q} with class number 11 generated by a primitive pp-th root of unity, where pp is a rational prime or 44. Let

K=Q(ζp)R,K=\mathbb{Q}(\zeta_p)\in\mathcal{R},

with p2,4p\neq 2,4, and let ζp\zeta_p be chosen so that 1ζp1-\zeta_p is positive in Z[ζp]\mathbb{Z}[\zeta_p].

Classification conjecture for higher cyclotomic fields. The even perfect integers in Z[ζp]\mathbb{Z}[\zeta_p] are exactly

ζp1(1ζp)k1((1ζp)k1),-\zeta_p^{-1}(1-\zeta_p)^{k-1}\bigl((1-\zeta_p)^k-1\bigr),

for k1(mod4pZ)k\equiv 1\pmod{4p\mathbb{Z}} such that (1ζp)k1(1-\zeta_p)^k-1 is prime. The even norm-perfect integers are the associates of these perfect integers together with the associates of

(1ζp)k1(1ζp)k1,(1-\zeta_p)^{k-1}\overline{(1-\zeta_p)^k-1},

for k1(mod4pZ)k\equiv -1\pmod{4p\mathbb{Z}} such that (1ζp)k1(1-\zeta_p)^k-1 is prime.

The conjecture extends the described classifications in Q(i)\mathbb{Q}(i) and Q(ω)\mathbb{Q}(\omega) to the remaining class-number-one cyclotomic fields under consideration. The supplied text gives no evidence that this proposed classification has been proved or disproved.

Sources & referencesView supporting material

Primary source

Johann Christian Stumpenhusen, “Perfect Eisenstein integers”, arXiv:2208.06617 (2022).

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.