Related papers: The D(2) property for $D_8$
We study the interplay among Wall's $D(2)$ problem, normal generation conjecture (the Wiegold Conjecture) of perfect groups and Swan's problem on partial Euler characteristic and deficiency of groups. In particular, for a 3-dimensional…
The D2 problem of C. T. C. Wall asks whether every finite cohomologically 2-dimensional CW-complex is homotopy equivalent to a finite 2-complex. Several potential counterexamples have been proposed, the longest standing of which is a…
Given a finite connected 3-complex with cohomological dimension 2, we show it may be constructed up to homotopy by applying the Quillen plus construction to the Cayley complex of a finite group presentation. This reduces the D(2) problem to…
The realization problem asks: When does an algebraic complex arise, up to homotopy, from a geometric complex? In the case of 2- dimensional algebraic complexes, this is equivalent to the D2 problem, which asks when homological methods can…
If a finite group $G$ is isomorphic to a subgroup of $SO(3)$, then $G$ has the D2-property. Let $X$ be a finite complex satisfying Wall's D2-conditions. If $\pi_1(X)=G$ is finite, and $\chi(X) \geq 1-Def(G)$, then $X \vee S^2$ is simple…
If $G$ has $4$-periodic cohomology, then D2 complexes over $G$ are determined up to polarised homotopy by their Euler characteristic if and only if $G$ has at most two one-dimensional quaternionic representations. We use this to solve…
We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and…
This paper is a synthesis and extension of three earlier papers on $PD_4$-complexes $X$ with fundamental group $\pi$ such that $c.d.\pi=2$ and $\pi$ has one end. Our goal is to show that the homotopy types of such complexes are determined…
We compute the integral homology and cohomology groups of configuration spaces of two distinct points on a given real projective space. The explicit answer is related to the (known multiplicative structure in the) integral cohomology---with…
Let $D_{n,\gamma}$ be the complex of graphs on $n$ vertices and domination number at least $\gamma$. We prove that $D_{n,n-2}$ has the homotopy type of a finite wedge of 2-spheres. This is done by using discrete Morse theory techniques.…
The paper constructs an `exotic' algebraic 2-complex over the generalized quaternion group of order 28, with the boundary maps given by explicit matrices over the group ring. This result depends on showing that a certain ideal of the group…
In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism. As an…
Counting homomorphisms between cyclic groups is a common exercise in a first course in abstract algebra. A similar problem, accessible at the same level, is to count the number of group homomorphisms from a dihedral group of order $2m$ into…
For $X$ a connected finite simplicial complex we consider $\Delta^d(X,n)$ the space of configurations of $n$ ordered points of $X$ such that no $d+1$ of them are equal, and $B^d(X,n)$ the analogous space of configurations of unordered…
The mod 2 cohomology algebra of the holomorph of any finite cyclic group whose order is a power of 2 is determined.
We consider a natural question: "Is it true that each homotopy domination of a polyhedron over itself is a homotopy equivalence?" and a strongly related problem of K. Borsuk (1967): "Is it true that two ANR's homotopy dominating each other…
We show that under suitable hypotheses, the second homotopy group of the coned-off space associated to a $C(9)$ cubical presentation is trivial, and use this to provide classifying spaces for proper actions for the fundamental groups of…
Let $k$ be an algebraically closed field of characteristic 2. We compute the vertices of all indecomposable $kD_8$-modules for the dihedral group $D_8$ of order 8. We also give a conjectural formula of the induced module of a string module…
We find a two-parameter family of ordinary differential systems in dimension five with the affine Weyl group symmetry of type $D_3^{(2)}$. We show its symmetry and holomorphy conditions. This is the second example which gave higher order…
We provide counterexamples to the stable equivalence problem in every dimension $d\geq2$. That means that we construct hypersurfaces $H_1, H_2\subset\mathbb{C}^{d+1}$ whose cylinders $H_1\times\mathbb{C}$ and $H_2\times\mathbb{C}$ are…