Bogomolov's cohomologically trivial factorization conjecture

Let G=GG={\mathfrak G}_{\ell} be an \ell-Sylow subgroup of the absolute Galois group of a function field over an algebraically closed field. Set

M=Hom(G(1)/G(2),Z/m),M={\rm Hom}(G^{(1)}/G^{(2)},\mathbb Z/\ell^m),

where G(1)=[G,G]G^{(1)}=[G,G] and G(2)=[G(1),G(1)]G^{(2)}=[G^{(1)},G^{(1)}], and let Ga=G/G(1)G^a=G/G^{(1)}. The subgroup MGaM^{G^a} consists of the GaG^a-invariants of MM. Bogomolov's factorization conjecture. The projection MM/MGaM\to M/M^{G^a} factors as

MDM/MGa,M\hookrightarrow D\twoheadrightarrow M/M^{G^a},

where DD is a cohomologically trivial GaG^a-module. This conjecture is intended to complement the Freeness conjecture by implying the required surjectivity on cohomology and hence the description of kernels by trivial symbols. Its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Fedor Bogomolov and Yuri Tschinkel, “Galois theory and projective geometry”, arXiv:1112.4634 (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.