arXiv research

This paper classifies regular maps with Euler characteristic -p^4 for a prime p≥5.

We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely generated pro-$p$ groups.

Let F be a finite group with a Sylow 2-subgroup S that is normal and abelian. Using hyperelementary induction and cartesian squares, we prove that Cappell's unitary nilpotent groups UNil_*(Z[F];Z[F],Z[F]) have an induced isomorphism to the quotient of UNil_*(Z[S];Z[S],Z[S]) by the action of the group F/S. In particular…

We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and furthermore of a very particular form. In particular, the profinite completion of th…

Finite subgroups of good groups correspond to their profinite completions.

Extends Lannes-Quillen theorem to all profinite groups.

The Yamabe invariant is an invariant of a closed smooth manifold defined using conformal geometry and the scalar curvature. Recently, Petean showed that the Yamabe invariant is non-negative for all closed simply connected manifolds of dimension $\ge 5$. We extend this to show that Yamabe invariant is non-negative for a…

4-manifolds with specific groups have unique homotopy types.

Let G be a rank two finite group, and let $\cH$ denote the family of rank one p-subgroups of G, at all primes where G has p-rank two. We show that a rank two finite group G which satisfies certain group-theoretic conditions admits a finite G-CW-complex X with isotropy in $\cH$, whose fixed sets are homotopy spheres. Ou…

We describe two methods for computing the low-dimensional integral homology of the Mathieu simple groups and use them to make computations such as $H_5(M_{23},\ZZ)=\ZZ_7$ and $H_3(M_{24},\ZZ)=\ZZ_{12}$. One method works via Sylow subgroups. The other method uses a Wythoff polytope and perturbation techniques to produce…

We show that a rank two finite group G admits a finite G-CW-complex X homotopy equivalent to a sphere, with rank one prime power isotropy, if and only if G does not p'-involve Qd(p) for any odd prime p. This follows from a more general theorem which allows us to construct a finite G-CW-complex by gluing together a give…

Homotopy classification for certain 4-manifolds with dihedral fundamental groups.

Classifies stable diffeomorphism of spin 4-manifolds with specific fundamental groups.

Algorithm decides homeomorphism of 4-manifolds.