A Generalized Problem Associated to the Kummer–Vandiver Conjecture

In order to discuss the validity of the Kummer-Vandiver conjecture, we consider a generalized problem associated to the conjecture. Let p be an odd prime number and ζp a primitive p-th root of unity. Using new programs, we compute the Iwasawa invariants of Q(√d, ζp) in the range |d| < 200 and 200 < p < 1,000,000. From our data, the actual numbers of exceptional cases seem to be near the expected numbers for p < 1,000,000. Moreover, we find a few rare exceptional cases for |d| < 10 and p > 1,000,000. We give two partial reasons why it is difficult to find exceptional cases for d = 1 including counter-examples to the Kummer-Vandiver conjecture.

This version of the article has been accepted for publication, after peer review (when applicable) and is subject to Springer Nature’s AM terms of use (https://www.springernature.com/gp/open-research/policies/accepted-manuscript-terms), but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/s40598-022-00220-3