The reciprocity-image lower-bound conjecture for CM fields

At least 14 years old · documented by

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.

References

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.