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

About 15 years old · traced to

Let G≅Z/mG\cong \mathbb{Z}/m be a finite cyclic group, let L≅ZnL\cong\mathbb{Z}^n be a finitely generated free abelian group, let ρ ⁣:G→aut⁡Z(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 1→L→Γ→G→11\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 r≥2r\geq 2 are trivial and all extension problems at the E∞E_{\infty}-level are trivial. In particular, for all k≥0k\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.

References

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.