Chinburg's Ω(3)\Omega(3) conjecture modulo the kernel group

Let F/KF/K be a finite Galois extension of number fields with Galois group GG, let \Cl(Z[G])\Cl(\Z[G]) be the locally free class group, and let \D(Z[G])\D(\Z[G]) be the kernel of the map from \Cl(Z[G])\Cl(\Z[G]) to the locally free class group of a maximal order in \Q[G]\Q[G]. Let Ω(F/K,3)\Omega(F/K,3) and WF/KW_{F/K} be the classes defined from a Tate sequence and Artin root numbers, respectively.

Chinburg's Ω(3)\Omega(3) conjecture modulo the kernel group.

Ω(F/K,3)WF/K(mod\D(Z[G])).\Omega(F/K,3)\equiv W_{F/K}\pmod{\D(\Z[G])}.

This is a weakening of Chinburg's Ω(3)\Omega(3) conjecture obtained by passing to the quotient by the kernel subgroup. The supplied excerpt gives no general resolution, although it immediately records a special solved case when F/\QF/\Q is abelian.

Sources & referencesView supporting material

Primary source

Alex Bartel, Henri Johnston and Hendrik W. Lenstra, “Arakelov class groups of random number fields”, arXiv:2005.11533 (2024).

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.