Adem–Ge–Pan–Petrosyan collapse conjecture for semidirect products

Let GZ/mG\cong \mathbb{Z}/m be a finite cyclic group, let LZnL\cong\mathbb{Z}^n be a finitely generated free abelian group, let ρ ⁣:GautZ(L)\rho\colon G\to\operatorname{aut}_{\mathbb{Z}}(L) be a group homomorphism, and set Γ=LρG\Gamma=L\rtimes_{\rho}G. The Lyndon–Hochschild–Serre spectral sequence associated to the semidirect product LρGL\rtimes_{\rho}G has terms arising from the extension 1LΓG11\to L\to\Gamma\to G\to 1. Adem–Ge–Pan–Petrosyan conjecture. The spectral sequence collapses in the strongest sense: all differentials in the ErE_r-term for r2r\geq 2 are trivial and all extension problems at the EE_{\infty}-level are trivial. In particular, for all k0k\geq 0,

Hk(Γ;Z)i+j=kHi(G;Hj(L)).H^k(\Gamma;\mathbb{Z})\cong\bigoplus_{i+j=k}H^i(G;H^j(L)).

The paper proves the conjecture when the GG-action on LL is free outside the origin, but gives an example with n=6n=6 and m=4m=4 in which the second differential does not vanish; thus the conjecture is false in general.

Sources & referencesView supporting material

Primary source

Martin Langer and Wolfgang Lueck, “On the group cohomology of the semi-direct product Z^n rtimes Z/m and a conjecture of Adem-Ge-Pan-Petrosyan”, arXiv:1105.4772 (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.