Independence conjecture for rational 2-Selmer prime conditions

Let n=2mn=2m, let SS be a finite set of primes, let TT be a finite set of primes (or an infinite set when n>2n>2) disjoint from SS, and let XS,TX_{S,T} be the set of SnS_n-number fields for which every pSp\in S lies in Sel2Q(F)\operatorname{Sel}_2^{\mathbb{Q}}(F) and every qTq\in T does not. The rational 2-Selmer independence conjecture. As FF varies over SnS_n-number fields of degree 2m2m with signature (r1,r2)(r_1,r_2) ordered by absolute discriminant,

Prob(FFXS,T)=pS(c(m,p)c(2m,p)1pm)qT(1c(m,q)c(2m,q)1qm).\operatorname{Prob}(F\mid F\in X_{S,T})=\prod_{p\in S}\left(\frac{c(m,p)}{c(2m,p)}\cdot\frac{1}{p^m}\right)\prod_{q\in T}\left(1-\frac{c(m,q)}{c(2m,q)}\cdot\frac{1}{q^m}\right).

This asserts independence of the prime-by-prime rational 2-Selmer conditions and is used to predict rationally imprimitive types; it remains open.

Sources & referencesView supporting material

Primary source

Benjamin Breen, “The 2-Selmer group of S_n-number fields of even degree”, arXiv:2110.00197 (2021).

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.