The reciprocity-image lower-bound conjecture for CM fields

Let KK be a CM field of degree 2g2g, and let SS be a primitive CM type for KK. Let LL be the normal closure of KK, and let rK:L×K×r_K:L^{\times}\to K^{\times} be the reciprocity morphism corresponding to SS. Let rK~:Cl(L)Cl(K)\widetilde{r_K}:\operatorname{Cl}(L)\to\operatorname{Cl}(K) be the induced map on class groups. Reciprocity-image conjecture. There exists δ(g)>0\delta(g)>0 such that

im(rK~:Cl(L)Cl(K))g,ϵDisc(K)δ(g)ϵ.|\operatorname{im}(\widetilde{r_K}:\operatorname{Cl}(L)\to\operatorname{Cl}(K))|\gg_{g,\epsilon}\operatorname{Disc}(K)^{\delta(g)-\epsilon}.

A positive answer would provide the field-theoretic input needed for the corresponding lower bound for Galois orbits of simple CM abelian varieties with full endomorphism ring. The source presents this as a necessary conjectural reduction and gives no resolution.

Sources & referencesView supporting material

Primary source

Jacob Tsimerman, “Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points”, arXiv:1103.5619 (2011).

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.