Erez's class-group conjecture for the square root of the inverse different

Let L/KL/K be a weakly ramified Galois extension of number fields for which the square root of the inverse different AL/K\mathcal{A}_{L/K} exists, and set G=Gal(L/K)G=\operatorname{Gal}(L/K). Let Ω(L/K,2)\Omega(L/K,2) be Chinburg's canonical Ω(2)\Omega(2)-invariant, and let J2,S,L/K\mathcal{J}_{2,S,L/K} be the class-group element defined from the signs of the second Adams-operator-twisted modified Galois–Jacobi sums. Erez's conjecture. In Cl(Z[G])\operatorname{Cl}(\mathbb{Z}[G]), one has

Ω(L/K,2)=[AL/K]+J2,S,L/K.\Omega(L/K,2)=[\mathcal{A}_{L/K}]+\mathcal{J}_{2,S,L/K}.

The conjecture refines the comparison between the class of the square root of the inverse different, Chinburg's invariant, and root-number classes; the source explains that the correction term has order at most 22 and that this conjecture contains Vinatier's odd-degree conjecture as a special case. Its status is not resolved in the supplied source.

Sources & referencesView supporting material

Primary source

Y. Kuang, “On Galois-Gauss sums and the square root of the inverse different”, arXiv:2210.10347 (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.