Partial homotopy type of finite two-complexes (Q748955)

Let K and L be two finite 2-dimensional CW-complexes with the same fundamental group and Euler characteristic. If Q is a finite quotient of the fundamental group, then K and L are partially homotopy equivalent with respect to Q (i.e. the associated covers are equivariantly homology equivalent) if and only if the obstruction element \(<K,L>\in K_ 1(Z_ uQ)/K_ 1(ZQ)\) is congruent to zero modulo the u-self-equivalences on K. Here u is the set of prime divisors of the order of Q and \(Z_ u\) is the u-localization of Z. Some technical conditions on Q are necessary. Most importantly, ZQ must satisfy Eichler's condition.