The extremal root path conjecture for Schur σ-groups

Let pp be a prime and let GG be a finite non-abelian pp-group. Its root path in the descendant tree of G/GG/G^{\prime} is obtained by iterated quotients by the last non-trivial terms of the lower central series. For a parent WW, the nuclear rank ν(W)\nu(W) determines the possible step sizes of edges leaving WW. In the descendant tree T(C3×C3)\mathcal{T}(C_3\times C_3) of the abelian 33-group C3×C3C_3\times C_3, let

G=Gal(F3(K)/K)G=\operatorname{Gal}(\mathrm{F}_3^\infty(K)/K)

be the Galois group of the 33-class field tower of an imaginary quadratic field KK with elementary 33-class group Cl3(K)C3×C3\operatorname{Cl}_3(K)\simeq C_3\times C_3, and let c=cl(G)c=\operatorname{cl}(G).

Extremal root path conjecture. The root path (πi1(G)πi(G))1ic2(\pi^{i-1}(G)\to\pi^i(G))_{1\leq i\leq c-2} consists of edges of maximal step size, equal to the nuclear rank: for every 1ic21\leq i\leq c-2,

πi1(G)πi(G) is an edge of step size si=ν(πi(G)).\pi^{i-1}(G)\to\pi^i(G)\text{ is an edge of step size }s_i=\nu(\pi^i(G)).

Here 3c<3\leq c<\infty is the nilpotency class of GG. The conjecture asserts that the tower group's path through the descendant tree is extremal at every stage; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Daniel C. Mayer, “Extremal root paths of Schur \(σ\)-groups and first \(3\)-class field towers with four stages”, arXiv:2004.05103 (2020).

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.