Chinburg's Ω(3)\Omega(3) conjecture for number-field extensions

Let F/KF/K be a finite Galois extension of number fields with Galois group GG. Choose a finite GG-stable set SS of places satisfying the stated hypotheses, let XSX_S be the kernel of the augmentation map Z[S]Z\Z[S]\to\Z, and let a Tate sequence representing the canonical class be

0OF,S×ABXS0.0\longrightarrow\mathcal{O}_{F,S}^{\times}\longrightarrow A\longrightarrow B\longrightarrow X_S\longrightarrow0.

Define Ω(F/K,3)=[A][B]\K0(Z[G])\Omega(F/K,3)=[A]-[B]\in\K_0(\Z[G]), viewed in the locally free class group \Cl(Z[G])\Cl(\Z[G]), and let WF/K\Cl(Z[G])W_{F/K}\in\Cl(\Z[G]) be the root number class.

Chinburg's Ω(3)\Omega(3) conjecture.

Ω(F/K,3)=WF/K.\Omega(F/K,3)=W_{F/K}.

This conjecture predicts that the class obtained from the Tate sequence equals the class determined by Artin root numbers. The supplied text records the conjecture and notes that the root number class has order at most two, but gives no general resolution.

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.