Showing 1–43 of 43 results for author: Hambleton, I

Four-manifolds, two-complexes and the quadratic bias invariant

Authors: Ian Hambleton, John Nicholson

Abstract: Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups of odd order. By extending their methods, we formulate a new homotopy invariant on the class of 4-manifolds arising as doubles of 2-complexes with finite funda… ▽ More Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups of odd order. By extending their methods, we formulate a new homotopy invariant on the class of 4-manifolds arising as doubles of 2-complexes with finite fundamental group. As an application we show that, for any $k \ge 2$, there exist a family of $k$ closed smooth 4-manifolds which are all stably diffeomorphic but are pairwise not homotopy equivalent. △ Less

Submitted 1 January, 2025; v1 submitted 19 December, 2024; originally announced December 2024.

Comments: 43 pages. v2: Minor corrections

MSC Class: 57K41; 57N65; 20F05; 55U15; 57R67

Finite group actions on 4-manifolds and equivariant bundles

Authors: Nima Anvari, Ian Hambleton

Abstract: Given a 4-manifold with a homologically trivial and locally-linear cyclic group action, we obtain necessary and sufficient conditions for the existence of equivariant bundles. The conditions are derived from the twisted signature formula and are in the form of congruence relations between the fixed point data and the isotropy representations. Given a 4-manifold with a homologically trivial and locally-linear cyclic group action, we obtain necessary and sufficient conditions for the existence of equivariant bundles. The conditions are derived from the twisted signature formula and are in the form of congruence relations between the fixed point data and the isotropy representations. △ Less

Submitted 19 July, 2023; v1 submitted 8 January, 2023; originally announced January 2023.

Comments: 23 pages (v2).Revisions following from referee reports

MSC Class: 57M60; 58J20

A stability range for topological 4-manifolds

Authors: Ian Hambleton

Abstract: We introduce a new stable range invariant for the classification of closed, oriented topological $4$-manifolds (up to $s$-cobordism), after stabilization by connected sum with a uniformly bounded number of copies of $S^2\times S^2$. We introduce a new stable range invariant for the classification of closed, oriented topological $4$-manifolds (up to $s$-cobordism), after stabilization by connected sum with a uniformly bounded number of copies of $S^2\times S^2$. △ Less

Submitted 7 July, 2023; v1 submitted 2 September, 2022; originally announced September 2022.

Comments: 26 pages (v3). Revisions following referees' reports; final version, accepted for publication in Transactions of the American Mathematical Society

MSC Class: 57K40; 57R67; 57N65

Minimal Euler Characteristics for Even-Dimensional Manifolds with Finite Fundamental Group

Authors: Alejandro Adem, Ian Hambleton

Abstract: We consider the Euler characteristics $χ(M)$ of closed orientable topological $2n$-manifolds with $(n-1)$-connected universal cover and a given fundamental group $G$ of type $F_n$. We define $q_{2n}(G)$, a generalized version of the Hausmann-Weinberger invariant for 4-manifolds, as the minimal value of $(-1)^nχ(M)$. For all $n\geq 2$, we establish a strengthened and extended version of their estim… ▽ More We consider the Euler characteristics $χ(M)$ of closed orientable topological $2n$-manifolds with $(n-1)$-connected universal cover and a given fundamental group $G$ of type $F_n$. We define $q_{2n}(G)$, a generalized version of the Hausmann-Weinberger invariant for 4-manifolds, as the minimal value of $(-1)^nχ(M)$. For all $n\geq 2$, we establish a strengthened and extended version of their estimates, in terms of explicit cohomological invariants of $G$. As an application we obtain new restrictions for non-abelian finite groups arising as fundamental groups of rational homology 4-spheres. △ Less

Submitted 23 February, 2023; v1 submitted 28 February, 2021; originally announced March 2021.

Comments: 25 pages (v4): revised statements of Theorems A and B. Improvements to exposition throughout following referee's reports; final version, accepted for publication in Forum of Mathematics, Sigma

MSC Class: 57S17; 20J06

Existence of mASD connections on 4-manifolds with cylindrical ends

Authors: David L. Duncan, Ian Hambleton

Abstract: Taubes' gluing theorems establish the existence of ASD connections on closed, oriented 4-manifolds. We extend these gluing results to the mASD connections of Morgan-Mrowka-Ruberman on oriented 4-manifolds with cylindrical ends. As a corollary, we obtain an ASD-existence result in the presence of degenerate asymptotic flat connections. Taubes' gluing theorems establish the existence of ASD connections on closed, oriented 4-manifolds. We extend these gluing results to the mASD connections of Morgan-Mrowka-Ruberman on oriented 4-manifolds with cylindrical ends. As a corollary, we obtain an ASD-existence result in the presence of degenerate asymptotic flat connections. △ Less

Submitted 26 March, 2023; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: 64 pages; final version, "Communications in Analysis and Geometry" (to appear)

MSC Class: 57R57; 57N13; 58D27; 58G10

Cyclic Branched Coverings of Brieskorn Spheres Bounding Acyclic 4-Manifolds

Authors: Nima Anvari, Ian Hambleton

Abstract: We show that standard cyclic actions on Brieskorn homology 3-spheres with non-empty fixed set do not extend smoothly to any contractible smooth 4-manifold it may bound. The quotient of any such extension would be an acyclic $4$-manifold with boundary a related Brieskorn homology sphere. We briefly discuss well known invariants of homology spheres that obstruct acyclic bounding 4-manifolds, and the… ▽ More We show that standard cyclic actions on Brieskorn homology 3-spheres with non-empty fixed set do not extend smoothly to any contractible smooth 4-manifold it may bound. The quotient of any such extension would be an acyclic $4$-manifold with boundary a related Brieskorn homology sphere. We briefly discuss well known invariants of homology spheres that obstruct acyclic bounding 4-manifolds, and then use a method based on equivariant Yang-Mills moduli spaces to rule out extensions of the actions. △ Less

Submitted 4 June, 2020; v1 submitted 27 November, 2019; originally announced November 2019.

Comments: 15 pages. Final version - to appear in the Glasgow Mathematical Journal

MSC Class: 57M60; 57N13; 57R57; 57S17

Rank conditions for finite group Actions on 4-Manifolds

Authors: Ian Hambleton, Semra Pamuk

Abstract: Let M be a closed, connected, orientable topological 4-manifold, and G be a finite group acting topologically and locally linearly on M. In this paper we investigate the Borel spectral sequence for the G-equivariant cohomology of M, and establish new bounds on the rank of G for homologically trivial actions with discrete singular set. Let M be a closed, connected, orientable topological 4-manifold, and G be a finite group acting topologically and locally linearly on M. In this paper we investigate the Borel spectral sequence for the G-equivariant cohomology of M, and establish new bounds on the rank of G for homologically trivial actions with discrete singular set. △ Less

Submitted 11 January, 2021; v1 submitted 25 November, 2019; originally announced November 2019.

Comments: 22 pages (v2). Accepted for publication in the Canadian Journal of Mathematics

MSC Class: 57M60; 57S17; 20J06

Orientable 4-dimensional Poincaré Complexes have Reducible Spivak Fibrations

Authors: Ian Hambleton

Abstract: We show that the Spivak normal fibration of an orientable 4-dimensional Poincaré complex has a vector bundle reduction. We show that the Spivak normal fibration of an orientable 4-dimensional Poincaré complex has a vector bundle reduction. △ Less

Submitted 21 August, 2018; originally announced August 2018.

Comments: 3 pages

MSC Class: 57P10; 57R90

Journal ref: Proceedings Amer. Math. Soc. 147 (2019), 3177-3179

Quotients of $S^2\times{S^2}$

Authors: Ian Hambleton, Jonathan A. Hillman

Abstract: We consider closed topological 4-manifolds $M$ with universal cover ${S^2\times{S^2}}$ and Euler characteristic $χ(M) = 1$. All such manifolds with $π=π_1(M)\cong {\mathbb Z}/4$ are homotopy equivalent. In this case, we show that there are four homeomorphism types, and propose a candidate for a smooth example which is not homeomorphic to the geometric quotient. If… ▽ More We consider closed topological 4-manifolds $M$ with universal cover ${S^2\times{S^2}}$ and Euler characteristic $χ(M) = 1$. All such manifolds with $π=π_1(M)\cong {\mathbb Z}/4$ are homotopy equivalent. In this case, we show that there are four homeomorphism types, and propose a candidate for a smooth example which is not homeomorphic to the geometric quotient. If $π\cong {\mathbb Z}/2 \times {\mathbb Z}/2$, we show that there are three homotopy types (and between 6 and 24 homeomorphism types). △ Less

Submitted 22 May, 2023; v1 submitted 12 December, 2017; originally announced December 2017.

Comments: 24 pages:improvements to exposition following a referee's report; final version,accepted for publication in the Journal of the London Mathematical Society

MSC Class: 57M60; 57N70

Two remarks on Wall's D2 problem

Authors: Ian Hambleton

Abstract: 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 $π_1(X)=G$ is finite, and $χ(X) \geq 1-Def(G)$, then $X \vee S^2$ is simple homotopy equivalent to a finite $2$-complex, whose simple homotopy type depends only on $G$ and $χ(X)$. 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 $π_1(X)=G$ is finite, and $χ(X) \geq 1-Def(G)$, then $X \vee S^2$ is simple homotopy equivalent to a finite $2$-complex, whose simple homotopy type depends only on $G$ and $χ(X)$. △ Less

Submitted 28 August, 2017; originally announced August 2017.

Comments: 9 pages

MSC Class: 57M20; 55P15

Journal ref: Math. Proc. Camb. Phil. Soc. 167 (2019) 361-368

Free Finite Group Actions on Rational Homology 3--Spheres

Authors: Alejandro Adem, Ian Hambleton

Abstract: We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres. We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres. △ Less

Submitted 14 August, 2019; v1 submitted 25 June, 2017; originally announced June 2017.

Comments: 18 pages, final version; Forum of Mathematics, Sigma (to appear)

MSC Class: 57S17; 57M60

Group actions on spheres with rank one prime power isotropy

Authors: Ian Hambleton, Ergun Yalcin

Abstract: 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 given G-invariant family of representations defined on the Sylow subgroups of G. 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 given G-invariant family of representations defined on the Sylow subgroups of G. △ Less

Submitted 21 March, 2015; originally announced March 2015.

Comments: 16 pages

MSC Class: 57S17; 55U15; 18Gxx

Journal ref: Transactions Amer. Math. Soc. 368 (2016), 5951-5977

Topological spherical space forms

Authors: Ian Hambleton

Abstract: Free actions of finite groups on spheres give rise to topological spherical space forms. The existence and classification problems for space forms have a long history in the geometry and topology of manifolds. In this article, we present a survey of some of the main results and a guide to the literature. Free actions of finite groups on spheres give rise to topological spherical space forms. The existence and classification problems for space forms have a long history in the geometry and topology of manifolds. In this article, we present a survey of some of the main results and a guide to the literature. △ Less

Submitted 28 December, 2014; originally announced December 2014.

MSC Class: 57S25; 53C30

Journal ref: Handbook of Group Actions (Vol. II), ALM 32 (2014), 151-172. International Press, Beijing-Boston

Cyclic Group Actions on Contractible 4-Manifolds

Authors: Nima Anvari, Ian Hambleton

Abstract: There are known infinite families of Brieskorn homology 3-spheres which can be realized as boundaries of smooth contractible 4-manifolds. In this paper we show that free periodic actions on these Brieskorn spheres do not extend smoothly over a contractible 4-manifold. We give a new infinite family of examples in which the actions extend locally linearly but not smoothly. There are known infinite families of Brieskorn homology 3-spheres which can be realized as boundaries of smooth contractible 4-manifolds. In this paper we show that free periodic actions on these Brieskorn spheres do not extend smoothly over a contractible 4-manifold. We give a new infinite family of examples in which the actions extend locally linearly but not smoothly. △ Less

Submitted 19 July, 2015; v1 submitted 18 December, 2014; originally announced December 2014.

Comments: 20 pages: final version, to appear in Geometry & Topology

MSC Class: 57M60; 57N13; 57R57; 57S17

Journal ref: Geom. Topol. 20 (2016) 1127-1155

Topological 4-manifolds with right-angled Artin fundamental groups

Authors: Ian Hambleton, Alyson Hildum

Abstract: We classify closed, topological spin$^+$ 4-manifolds with fundamental group $π$ of cohomological dimension $\leq 3$ (up to s-cobordism), after stabilization by connected sum with at most $b_3(π)$ copies of $S^2\times S^2$. In general we must also assume that $π$ also satisfies certain K-theory and assembly map conditions. Examples for which these conditions hold include the torsion-free fundamenta… ▽ More We classify closed, topological spin$^+$ 4-manifolds with fundamental group $π$ of cohomological dimension $\leq 3$ (up to s-cobordism), after stabilization by connected sum with at most $b_3(π)$ copies of $S^2\times S^2$. In general we must also assume that $π$ also satisfies certain K-theory and assembly map conditions. Examples for which these conditions hold include the torsion-free fundamental groups of 3-manifolds and all right-angled Artin groups whose defining graphs have no 4-cliques. △ Less

Submitted 12 April, 2018; v1 submitted 20 November, 2014; originally announced November 2014.

Comments: 39 pages. This is the final version. References have been updated

MSC Class: 57N13; 57R65; 20F36

Homotopy Representations over the Orbit Category

Authors: Ian Hambleton, Ergun Yalcin

Abstract: Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties including the Borel-Smith conditions and realization by finite G-CW-complexes. Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties including the Borel-Smith conditions and realization by finite G-CW-complexes. △ Less

Submitted 31 August, 2014; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 24 pages (revised for improved exposition). To appear in "Homology, Homotopy and Applications". The sequel to this preprint is "Group actions on spheres with rank one isotropy" (arXiv: 1302.0507)

MSC Class: 57S17; 55U15; 20J05; 18Gxx

Journal ref: Homology, Homotopy Appl. 16 (2014), 345-369

Finite group actions on Kervaire manifolds

Authors: Diarmuid Crowley, Ian Hambleton

Abstract: The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a Kervaire manifold if and only if it acts freely on the corresponding product of spheres. If the Kervaire manifold M is smoothable, then each smooth structure o… ▽ More The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a Kervaire manifold if and only if it acts freely on the corresponding product of spheres. If the Kervaire manifold M is smoothable, then each smooth structure on M admits a free smooth involution. If k + 1 is not a 2-power, then the Kervaire manifold in dimension 4k+2 does not admit any free TOP involutions. Free "exotic" (PL) involutions are constructed on the Kervaire manifolds of dimensions 30, 62, and 126. Each smooth structure on the 30-dimensional Kervaire manifold admits a free Z/2 x Z/2 action. △ Less

Submitted 9 June, 2015; v1 submitted 28 May, 2013; originally announced May 2013.

Comments: 36 pages. Final version: Advances in Mathematics (to appear)

MSC Class: 55Q10; 57N65; 57S17

Journal ref: Advances in Math. 283 (2015), 88-129

Recognizing products of surfaces and simply connected 4-manifolds

Authors: Ian Hambleton, Matthias Kreck

Abstract: We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data. Any isometry of the intersection form of M is realized by a self-diffeomorphism of M x F. We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data. Any isometry of the intersection form of M is realized by a self-diffeomorphism of M x F. △ Less

Submitted 12 December, 2013; v1 submitted 7 March, 2013; originally announced March 2013.

Comments: Changes in exposition following a referee's report

MSC Class: 57R55; 57R65

Journal ref: Proceedings Amer. Math. Soc. 143 (2015), 2253-2262

Group actions on spheres with rank one isotropy

Authors: Ian Hambleton, Ergun Yalcin

Abstract: 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. Our construction provides an infinite family of new non-linear G-CW-complex exampl… ▽ More 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. Our construction provides an infinite family of new non-linear G-CW-complex examples. △ Less

Submitted 28 December, 2014; v1 submitted 3 February, 2013; originally announced February 2013.

Comments: 26 pages. Trans. Amer. Math. Soc. (final version); sequel to "Homotopy Representations over the Orbit Category", Homology, Homotopy and Applications (arXiv:1402.3306)

MSC Class: 57S17; 55U15; 20J05; 18Gxx

More examples of discrete co-compact group actions

Authors: Ian Hambleton, Erik K. Pedersen

Abstract: We survey some results and questions about free actions of infinite groups on products of spheres and euclidean spaces, and give some new co-compact examples. We survey some results and questions about free actions of infinite groups on products of spheres and euclidean spaces, and give some new co-compact examples. △ Less

Submitted 30 January, 2013; originally announced January 2013.

Report number: CPH-SYM-00 MSC Class: 57S25; 57S05

Coarse Geometry and P. A. Smith Theory

Authors: Ian Hambleton, Lucian Savin

Abstract: We define a generalization of the fixed point set, called the bounded fixed set, for a group acting by isometries on a metric space. An analogue of the P. A. Smith theorem is proved for metric spaces of finite asymptotic dimension, which relates the coarse homology of the bounded fixed set to the coarse homology of the total space. We define a generalization of the fixed point set, called the bounded fixed set, for a group acting by isometries on a metric space. An analogue of the P. A. Smith theorem is proved for metric spaces of finite asymptotic dimension, which relates the coarse homology of the bounded fixed set to the coarse homology of the total space. △ Less

Submitted 22 November, 2010; v1 submitted 3 July, 2010; originally announced July 2010.

Comments: In this version: improvements to the exposition and Theorem B added (29 pages)

MSC Class: 57S17; 20F65; 55N

Journal ref: Homology Homotopy Appl. 13 (2011), no. 2, 73--102

Acyclic Chain complexes over the Orbit Category

Authors: Ian Hambleton, Ergun Yalcin

Abstract: Chain complexes of finitely generated free modules over orbit categories provide natural algebraic models for finite G-CW complexes with prescribed isotropy. We prove a p-hypoelementary Dress induction theorem for K-theory over the orbit category of a finite group, and use it to re-interpret some results of Oliver and Kropholler-Wall on acyclic complexes. Chain complexes of finitely generated free modules over orbit categories provide natural algebraic models for finite G-CW complexes with prescribed isotropy. We prove a p-hypoelementary Dress induction theorem for K-theory over the orbit category of a finite group, and use it to re-interpret some results of Oliver and Kropholler-Wall on acyclic complexes. △ Less

Submitted 17 November, 2010; v1 submitted 3 September, 2009; originally announced September 2009.

Comments: 16 pages (v2). Final version, to appear in Muenster J. Math

MSC Class: 57S17; 55U15; 20C05; 18Gxx

Journal ref: Münster J. Math. 3 (2010), 145--161

A remark about dihedral group actions on spheres

Authors: Ian Hambleton

Abstract: We show that a finite dihedral group does not act pseudofreely and locally linearly on a 2k-dimensional sphere, if k > 1. This answers a question of R. S. Kulkarni from 1982. We show that a finite dihedral group does not act pseudofreely and locally linearly on a 2k-dimensional sphere, if k > 1. This answers a question of R. S. Kulkarni from 1982. △ Less

Submitted 22 April, 2010; v1 submitted 15 July, 2009; originally announced July 2009.

Comments: 4 pages. This revision updates references to the final version of [4]

MSC Class: 57S17; 55U15

Journal ref: Bull. Lond. Math. Soc. 43 (2011), no. 1, 75--78

Conjugation spaces and 4-manifolds

Authors: Ian Hambleton, Jean-Claude Hausmann

Abstract: We show that 4-dimensional conjugation manifolds are all obtained from branched 2-fold coverings of knotted surfaces in Z/2-homology 4-spheres. We show that 4-dimensional conjugation manifolds are all obtained from branched 2-fold coverings of knotted surfaces in Z/2-homology 4-spheres. △ Less

Submitted 8 June, 2010; v1 submitted 27 June, 2009; originally announced June 2009.

Comments: 23 pages. (v3) Revisions to the Introduction and section order; references added. (v4) Final version, to appear in Math. Zeitschrift

MSC Class: 57N13; 57S15; 55N91

Journal ref: Math. Z. 269 (2011), no. 1-2, 521--541

Surgery obstructions on closed manifolds and the Inertia subgroup

Authors: Ian Hambleton

Abstract: The Wall surgery obstruction groups have two interesting geometrically defined subgroups, consisting of the surgery obstructions between closed manifolds, and the inertial elements. We show that the inertia group $I_{n+1}(π,w)$ and the closed manifold subgroup $C_{n+1}(π,w)$ are equal in dimensions $n+1\geq 6$, for any finitely-presented group $π$ and any orientation character… ▽ More The Wall surgery obstruction groups have two interesting geometrically defined subgroups, consisting of the surgery obstructions between closed manifolds, and the inertial elements. We show that the inertia group $I_{n+1}(π,w)$ and the closed manifold subgroup $C_{n+1}(π,w)$ are equal in dimensions $n+1\geq 6$, for any finitely-presented group $π$ and any orientation character $w\colon π\to \cy 2$. △ Less

Submitted 14 September, 2010; v1 submitted 1 May, 2009; originally announced May 2009.

Comments: 15 pages. Final version (to appear in Forum Mathematicum)

MSC Class: 57R67; 57R75

On Certain 5-manifolds with Fundamental Group of Order 2

Authors: Ian Hambleton, Yang Su

Abstract: In this paper, an explicit classification result for certain 5-manifolds with fundamental group Z/2 is obtained. These manifolds include total spaces of circle bundles over simply-connected 4-manifolds. In this paper, an explicit classification result for certain 5-manifolds with fundamental group Z/2 is obtained. These manifolds include total spaces of circle bundles over simply-connected 4-manifolds. △ Less

Submitted 12 June, 2011; v1 submitted 30 March, 2009; originally announced March 2009.

Comments: Remark 3.8 added (v2); some typos fixed. For (v3) corrected the calculations in Section 5 & 6. The classification results are not affected. For (v4) the later sections were re-organized and a new Section 4 added. New details added to the proof of Lemma 4.5

MSC Class: 57R67; 57R75

Equivariant CW-Complexes and the Orbit Category

Authors: Ian Hambleton, Semra Pamuk, Ergun Yalcin

Abstract: We give a general framework for studying G-CW complexes via the orbit category. As an application we show that the symmetric group G=S_5 admits a finite G-CW complex X homotopy equivalent to a sphere, with cyclic isotropy subgroups. We give a general framework for studying G-CW complexes via the orbit category. As an application we show that the symmetric group G=S_5 admits a finite G-CW complex X homotopy equivalent to a sphere, with cyclic isotropy subgroups. △ Less

Submitted 9 February, 2010; v1 submitted 21 July, 2008; originally announced July 2008.

Comments: 48 pages. The results are unchanged, but revisions to the exposition have been made following a referee's report

MSC Class: 57S17; 55U15; 20J05; 18Gxx

Mackey functors and bisets

Authors: I. Hambleton, L. R. Taylor, E. B. Williams

Abstract: For any finite group G, we define a bivariant functor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way… ▽ More For any finite group G, we define a bivariant functor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way. △ Less

Submitted 23 January, 2010; v1 submitted 25 June, 2008; originally announced June 2008.

Comments: Remark 1.1 on the literature expanded, following a referee's report. Final version: to appear in Geometria Dedicata

MSC Class: 20C15; 19A22; 18F25

Journal ref: Geom. Dedicata 148 (2010), 157-174

Dress induction and the Burnside quotient Green ring

Authors: I. Hambleton, L. R. Taylor, E. B. Williams

Abstract: We define and study the Burnside quotient Green ring of a Mackey functor. Some refinements of Dress induction theory are presented, together with applications to computation results for $K$-theory and $L$-theory of finite and infinite groups. We define and study the Burnside quotient Green ring of a Mackey functor. Some refinements of Dress induction theory are presented, together with applications to computation results for $K$-theory and $L$-theory of finite and infinite groups. △ Less

Submitted 2 May, 2009; v1 submitted 27 March, 2008; originally announced March 2008.

Comments: Final version: to appear in "Algebra & Number Theory" (26 pages)

MSC Class: 20C15; 18F25; 57R67

Journal ref: Algebra Number Theory 3 (2009), no. 5, 511-541

Topological 4-manifolds with geometrically 2-dimensional fundamental groups

Authors: Ian Hambleton, Matthias Kreck, Peter Teichner

Abstract: Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed oriented 4-manifolds with solvable Baumslag-Solitar fundamental groups, inclu… ▽ More Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed oriented 4-manifolds with solvable Baumslag-Solitar fundamental groups, including a precise realization result. △ Less

Submitted 4 March, 2009; v1 submitted 7 February, 2008; originally announced February 2008.

Comments: 27 pages. Minor corrections and writing improvements in this revision following a referee's report

MSC Class: 57N13; 57R65

Journal ref: J. Topol. Anal. 1 (2009), no. 2, 123--151

Assembly Maps for Group Extensions in $K$-Theory and $L$-Theory with Twisted Coefficients

Authors: Ian Hambleton, Erik K. Pedersen, David Rosenthal

Abstract: In this paper we show that the Farrell-Jones isomorphism conjectures are inherited in group extensions for assembly maps in algebraic $K$-theory and $L$-theory with twisted coefficients. In this paper we show that the Farrell-Jones isomorphism conjectures are inherited in group extensions for assembly maps in algebraic $K$-theory and $L$-theory with twisted coefficients. △ Less

Submitted 1 April, 2008; v1 submitted 4 September, 2007; originally announced September 2007.

Comments: Revisions following a referee's report. Title change

MSC Class: 18F25; 19J; 57R

Journal ref: Pure Appl. Math. Q. 8 (2012), no. 1, 175--197

Induction and computation of Bass Nil Groups for finite groups

Authors: Ian Hambleton, Wolfgang Lueck

Abstract: Let G be a finite group. We show that the Bass Nil-groups $NK_n(RG)$, $n \in Z$, are generated from the p-subgroups of G by induction maps, certain twisting maps depending on elements in the centralizers of the p-subgroups, and the Verschiebung homomorphisms. As a consequence, the groups $NK_n(RG)$ are generated by induction from elementary subgroups. For $NK_0(ZG)$ we get an improved estimate of… ▽ More Let G be a finite group. We show that the Bass Nil-groups $NK_n(RG)$, $n \in Z$, are generated from the p-subgroups of G by induction maps, certain twisting maps depending on elements in the centralizers of the p-subgroups, and the Verschiebung homomorphisms. As a consequence, the groups $NK_n(RG)$ are generated by induction from elementary subgroups. For $NK_0(ZG)$ we get an improved estimate of the torsion exponent. △ Less

Submitted 20 August, 2010; v1 submitted 27 June, 2007; originally announced June 2007.

Comments: 21 pages. Final version

MSC Class: 19A31; 19D35

Journal ref: Pure and Applied Mathematics Quarterly, Volume 8, Number 1, Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 1 of 2, 199-219, 2012

Free Actions of Finite Groups on $S^n \times S^n$

Authors: Ian Hambleton, Ozgun Unlu

Abstract: Let $p$ be an odd prime. We construct a non-abelian extension $Γ$ of $S^1$ by $Z/p \times Z/p$, and prove that any finite subgroup of $Γ$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. In particular, for each odd prime $p$ we obtain free smooth actions of infinitely many non-metacyclic rank two $p$-groups on $S^{2p-1} \times S^{2p-1}$. These results arise from a general approach to the… ▽ More Let $p$ be an odd prime. We construct a non-abelian extension $Γ$ of $S^1$ by $Z/p \times Z/p$, and prove that any finite subgroup of $Γ$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. In particular, for each odd prime $p$ we obtain free smooth actions of infinitely many non-metacyclic rank two $p$-groups on $S^{2p-1} \times S^{2p-1}$. These results arise from a general approach to the existence problem for finite group actions on products of equidimensional spheres. △ Less

Submitted 3 March, 2009; v1 submitted 6 June, 2007; originally announced June 2007.

Comments: Our preprint "Free actions of extraspecial p-groups on S^n x S^n" (arXiv:math/0701558) is now divided into two separate papers. This is the final version of the second part - to appear in Transactions AMS

MSC Class: 57S17; 57R67

Journal ref: Trans. Amer. Math. Soc. 362 (2010), no. 6, 3289--3317

Examples of Free Actions on Products of Spheres

Authors: Ian Hambleton, Ozgun Unlu

Abstract: We construct a non-abelian extension $Γ$ of $S^1$ by $\cy 3 \times \cy 3$, and prove that $Γ$ acts freely and smoothly on $S^{5} \times S^{5}$. This gives new actions on $S^{5} \times S^{5}$ for an infinite family $\cP$ of finite 3-groups. We also show that any finite odd order subgroup of the exceptional Lie group $G_2$ admits a free smooth action on $S^{11}\times S^{11}$. This gives new action… ▽ More We construct a non-abelian extension $Γ$ of $S^1$ by $\cy 3 \times \cy 3$, and prove that $Γ$ acts freely and smoothly on $S^{5} \times S^{5}$. This gives new actions on $S^{5} \times S^{5}$ for an infinite family $\cP$ of finite 3-groups. We also show that any finite odd order subgroup of the exceptional Lie group $G_2$ admits a free smooth action on $S^{11}\times S^{11}$. This gives new actions on $S^{11}\times S^{11}$ for an infinite family $\cE $ of finite groups. We explain the significance of these families $\cP $, $\cE $ for the general existence problem, and correct some mistakes in the literature. △ Less

Submitted 15 June, 2008; v1 submitted 28 May, 2007; originally announced May 2007.

Comments: Our preprint "Free actions of extraspecial p-groups on S^n x S^n" (arXiv:math/0701558) is now divided into two separate papers. This is the final version of the first part (to appear in the "Quarterly Journal of Mathematics")

MSC Class: 57S17; 57R67

Journal ref: Q. J. Math. 60 (2009), no. 4, 461--474

Equivariant Bundles and Isotropy Representations

Authors: Ian Hambleton, Jean-Claude Hausmann

Abstract: We introduce a new construction, the isotropy groupoid, to organize the orbit data for split $Γ$-spaces. We show that equivariant principal $G$-bundles over split $Γ$-CW complexes $X$ can be effectively classified by means of representations of their isotropy groupoids. For instance, if the quotient complex $A=Γ\backslash X$ is a graph, with all edge stabilizers toral subgroups of $Γ$, we obtain… ▽ More We introduce a new construction, the isotropy groupoid, to organize the orbit data for split $Γ$-spaces. We show that equivariant principal $G$-bundles over split $Γ$-CW complexes $X$ can be effectively classified by means of representations of their isotropy groupoids. For instance, if the quotient complex $A=Γ\backslash X$ is a graph, with all edge stabilizers toral subgroups of $Γ$, we obtain a purely combinatorial classification of bundles with structural group $G$ a compact connected Lie group. If $G$ is abelian, our approach gives combinatorial and geometric descriptions of some results of Lashof-May-Segal and Goresky-Kottwitz-MacPherson. △ Less

Submitted 21 June, 2009; v1 submitted 20 April, 2007; originally announced April 2007.

Comments: Final version: to appear in "Groups, Geometry and Dynamics"

MSC Class: 55R91; 55R15; 22A22

Journal ref: Groups Geom. Dyn. 4 (2010), no. 1, 127--162

Free Actions of Extraspecial $p$-Groups on $S^n \times S^n$

Authors: Ian Hambleton, Ozgun Unlu

Abstract: Let $p$ be an odd regular prime, and let $G_p$ denote the extraspecial $p$--group of order $p^{3}$ and exponent $p$. We show that $G_p$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. For $p=3$ we explicitly construct a free smooth action of a Lie group $\widetilde{G}_3$ containing $G_3$ on $S^{5} \times S^{5}$. In addition, we show that any finite odd order subgroup of the exceptional L… ▽ More Let $p$ be an odd regular prime, and let $G_p$ denote the extraspecial $p$--group of order $p^{3}$ and exponent $p$. We show that $G_p$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. For $p=3$ we explicitly construct a free smooth action of a Lie group $\widetilde{G}_3$ containing $G_3$ on $S^{5} \times S^{5}$. In addition, we show that any finite odd order subgroup of the exceptional Lie group $\Gtwo $ admits a free smooth action on $S^{11}\times S^{11}$. △ Less

Submitted 19 January, 2007; originally announced January 2007.

MSC Class: 57S17; 57R67

Non-smoothable four-manifolds with cyclic fundamental group

Authors: Stefan Friedl, Ian Hambleton, Paul Melvin, Peter Teichner

Abstract: In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obt… ▽ More In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obtain topologically slice knots that are not smoothly slice in any rational homology ball. △ Less

Submitted 10 March, 2007; v1 submitted 3 November, 2006; originally announced November 2006.

Comments: We strengthened the statement of Corollary 1.4 and deleted the remark right after Corollary 1.4

MSC Class: 57R10 (smoothing)

The signature of a fibre bundle is multiplicative mod 4

Authors: Ian Hambleton, Andrew Korzeniewski, Andrew Ranicki

Abstract: We express the signature modulo 4 of a closed, oriented, $4k$-dimensional $PL$ manifold as a linear combination of its Euler characteristic and the new absolute torsion invariant defined in Korzeniewski [11]. Let $F \to E \to B$ be a $PL$ fibre bundle, where $F$, $E$ and $B$ are closed, connected, and compatibly oriented $PL$ manifolds. We give a formula for the absolute torsion of the total spa… ▽ More We express the signature modulo 4 of a closed, oriented, $4k$-dimensional $PL$ manifold as a linear combination of its Euler characteristic and the new absolute torsion invariant defined in Korzeniewski [11]. Let $F \to E \to B$ be a $PL$ fibre bundle, where $F$, $E$ and $B$ are closed, connected, and compatibly oriented $PL$ manifolds. We give a formula for the absolute torsion of the total space $E$ in terms of the absolute torsion of the base and fibre, and then combine these two results to prove that the signature of $E$ is congruent modulo 4 to the product of the signatures of $F$ and $B$. △ Less

Submitted 18 April, 2005; v1 submitted 16 February, 2005; originally announced February 2005.

Comments: v2: Improved proof of Proposition 9.3

Report number: MPI preprint MPIM2005-12 MSC Class: 55R25

Journal ref: Geom. Topol. 11 (2007) 251-314

Some Examples of Free actions on Products of Spheres

Authors: Ian Hambleton

Abstract: If $G_1$ and $G_2$ are finite groups with periodic Tate cohomology, then $G_1\times G_2$ acts freely and smoothly on some product $S^n \times S^n$. If $G_1$ and $G_2$ are finite groups with periodic Tate cohomology, then $G_1\times G_2$ acts freely and smoothly on some product $S^n \times S^n$. △ Less

Submitted 26 January, 2006; v1 submitted 8 September, 2003; originally announced September 2003.

Comments: 17 pages. Final version: to appear in Topology

MSC Class: 57S17; 57R67

Journal ref: Topology 45 (2006), no. 4, 735--749

Homotopy self-equivalences of 4-manifolds

Authors: Ian Hambleton, Matthias Kreck

Abstract: We establish a braid of interlocking exact sequences containing the group of homotopy self-equivalences of a smooth or topological 4-manifold. The braid is computed for manifolds whose fundamental group is finite of odd order. We establish a braid of interlocking exact sequences containing the group of homotopy self-equivalences of a smooth or topological 4-manifold. The braid is computed for manifolds whose fundamental group is finite of odd order. △ Less

Submitted 20 November, 2003; v1 submitted 23 July, 2003; originally announced July 2003.

Comments: Changes made to improve exposition following a referee's report

MSC Class: 57N13; 57R65

Journal ref: Math. Z. 248 (2004), no. 1, 147--172; Math. Z. 262 (2009), no. 2, 473--474 (erratum)

Permutations, isotropy and smooth cyclic group actions on definite 4-manifolds

Authors: Ian Hambleton, Mihail Tanase

Abstract: We use the equivariant Yang-Mills moduli space to investigate the relation between the singular set, isotropy representations at fixed points, and permutation modules realized by the induced action on homology for smooth group actions on certain 4-manifolds. We use the equivariant Yang-Mills moduli space to investigate the relation between the singular set, isotropy representations at fixed points, and permutation modules realized by the induced action on homology for smooth group actions on certain 4-manifolds. △ Less

Submitted 23 February, 2004; v1 submitted 22 July, 2003; originally announced July 2003.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper11.abs.html

MSC Class: 58D19; 57S17; 70S15

Journal ref: Geom. Topol. 8 (2004) 475-509

Topological Equivalence of Linear Representations for Cyclic Groups, I & II

Authors: Ian Hambleton, Erik K. Pedersen

Abstract: In the two parts of this paper we solve a problem of De Rham, proving that Reidemeister torsion invariants determine topological equivalence of linear G-representations, for G a finite cyclic group. Methods in controlled K-theory and surgery theory are developed to establish, and effectively calculate, a necessary and sufficient condition for non-linear similarity in terms of the vanishing of ce… ▽ More In the two parts of this paper we solve a problem of De Rham, proving that Reidemeister torsion invariants determine topological equivalence of linear G-representations, for G a finite cyclic group. Methods in controlled K-theory and surgery theory are developed to establish, and effectively calculate, a necessary and sufficient condition for non-linear similarity in terms of the vanishing of certain non-compact transfer maps. For cyclic groups of 2-power order, we obtain a complete classification of non-linear similarities. △ Less

Submitted 14 April, 2004; v1 submitted 5 September, 2001; originally announced September 2001.

Comments: The first version of this paper appeared as MPI Preprint 1997-58, Max Planck Institut fuer Mathematik, Bonn. The final version includes many improvements in exposition and new results. It is now divided into two parts. Part I (36 pages) will appear in Annals of Mathematics, and Part II (43 pages) will appear in Forum Math

MSC Class: 57S05; 57Q10; 19G24

Journal ref: Ann. of Math. (2) 161 (2005), no. 1, 61--104; Forum Math. 17 (2005), no. 6, 959--1010

Equivariant principal bundles over spheres and cohomogeneity one manifolds

Authors: Ian Hambleton, Jean-Claude Hausmann

Abstract: We classify SO(n)-equivariant principal bundles over $S^n$ in terms of their isotropy representations over the north and south poles. This is an example of a general result classifying equivariant $(Π, G)$-bundles over cohomogeneity one manifolds. We classify SO(n)-equivariant principal bundles over $S^n$ in terms of their isotropy representations over the north and south poles. This is an example of a general result classifying equivariant $(Π, G)$-bundles over cohomogeneity one manifolds. △ Less

Submitted 22 March, 2001; originally announced March 2001.

Comments: 25 pages, Max Planck Institut fuer Mathematik Preprint 2001-18

MSC Class: 55R91

Journal ref: Proc. London Math. Soc. (3) 86 (2003), no. 1, 250--272