“…To ensure that
detects a homotopy class, we also need strong convergence in its bidegree. By [
9, Theorem 7.3], see also [
22, Theorem 3.9], it suffices to know that
whenever
. By [35, Corollary 6.1] this condition is satisfied for
, subject to the additional hypothesis for
that
has finite virtual cohomological dimension.…”