The deep transfer conjecture for 3-class tower groups of totally real dihedral fields

Let F=Q(d)F=\mathbb{Q}(\sqrt{d}) be a real quadratic field with fundamental discriminant d>1d>1, 33-class group Cl3(F)C3×C3\operatorname{Cl}_3(F)\simeq C_3\times C_3, shallow transfer kernel type a.1\mathrm{a}.1, ϰs(F)=(0,0,0,0)\varkappa_s(F)=(0,0,0,0), and ground-state transfer target type τ(F)[(9,9),(3,3)3]\tau(F)\sim\lbrack (9,9),(3,3)^3\rbrack. Let E2,E3,E4E_2,E_3,E_4 be the three unramified cyclic cubic relative extensions of FF whose 33-class groups have type (3,3)(3,3). For 2i42\leq i\leq 4, define

ϰd(F)i=#ker(TF3(1)/Ei)\varkappa_d(F)_i=\#\ker(T_{F_3^{(1)}/E_i})

and let

Gi=G3Ei=Gal((Ei)3()/Ei).\mathcal{G}_i=G_3^\infty{E_i}=\operatorname{Gal}((E_i)_3^{(\infty)}/E_i).

Each Ei/QE_i/\mathbb{Q} is a totally real dihedral extension of degree 66. The deep transfer conjecture. For each 2i42\leq i\leq 4, the connection between the component ϰd(F)i\varkappa_d(F)_i of the deep transfer kernel type and the 33-class tower group Gi\mathcal{G}_i is

ϰd(F)i=3Gi243,27 with ϰs(Gi)=(1,0,0,0),\varkappa_d(F)_i=3\quad\Longleftrightarrow\quad\mathcal{G}_i\simeq\langle 243,27\rangle\text{ with }\varkappa_s(\mathcal{G}_i)=(1,0,0,0),

and

ϰd(F)i=9Gi243,26 with ϰs(Gi)=(0,0,0,0).\varkappa_d(F)_i=9\quad\Longleftrightarrow\quad\mathcal{G}_i\simeq\langle 243,26\rangle\text{ with }\varkappa_s(\mathcal{G}_i)=(0,0,0,0).

The conjecture describes how deep transfer data in real quadratic fields determine the 3-class tower groups of associated totally real dihedral fields; the parser supplies no evidence resolving it, so its status remains open.

Sources & referencesView supporting material

Primary source

Daniel C. Mayer, “Deep transfers of p-class tower groups”, arXiv:1707.00232 (2017).

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.