BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Ian J. Leary contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In dimension 3 and above, Bredon cohomology gives an acurate purely algebraic description of the minimal dimension of the classifying space for actions of a group with stabilisers in any given family of subgroups. For some Coxeter groups and the family of virtually cyclic subgroups we show that the Bredon cohomological dimension is 2 while the Bredon geometric dimension is 3.
For every simplicial complex X, we construct a locally CAT(0) cubical complex T_X, a cellular isometric involution i on T_X and a map t_X from T_X to X with the following properties: t_Xi = t_X; t_X is a homology isomorphism; the induced map from the quotient of T_X by the involution i to X is a homotopy equivalence; the induced map from the fixed point subspace for i in T_X to X is a homology isomorphism. The construction is functorial in X. One corollary is an equivariant Kan-Thurston theorem: every connected proper G-CW-complex has the same equivariant homology as the classifying space for proper actions of some other group. From this we obtain an extension of Quillen's theorem on the spectrum of an equivariant cohomology ring and an extension of a result of Block concerning assembly conjectures. Another corollary of our main result is that there can be no algorithm to decide whether a CAT(0) cubical group is generated by torsion. In appendices we prove some foundational results concerning cubical complexes, including the infinite dimensional case. We characterize the cubical complexes for which the natural metric is complete; we establish Gromov's criterion for infinite-dimensional cubical complexes; we show that every CAT(0) cube complex is cubical; we deduce that the second cubical subdivision of any locally CAT(0) cube complex is cubical.
For a connected graph L, let G(L) be a group with generators the vertex set of L, subject only to the relations that the ends of each edge commute. Now let H(L) be the kernel of the homomorphism from G(L) to the integers that takes each vertex to 1. M. Bestvina and N. Brady have shown that finiteness properties of H(L) are intimately related to the topology of the clique complex of L. We give a presentation for H(L), with generators the edges of L, and an infinite family of relators for each 1-cycle in L. In the case when the clique complex for L is simply-connected, we give a finite presentation for H(L), with generators the edges (or 2-cliques) of L, and two relators for each 3-clique in L.
We exhibit free-by-cyclic groups containing non-free locally-free subgroups, including some word hyperbolic examples. We also show that these groups are not subgroup separable. We use Bestvina-Brady Morse theory in our arguments.
For certain subrings of the mod-p cohomology ring of a compact Lie group, we give a description of the prime ideal spectrum, analogous to Quillen's description of the spectrum of the whole ring. Examples of such subrings include the Chern subring (the subring generated by Chern classes of all unitary representations), and for finite groups the subring generated by Chern classes of representations realizable over any specified field. As a corollary, we deduce that the inclusion of the Chern subring in the cohomology ring is an F-isomorphism for a compact Lie group G if and only if the following condition holds: For any homomorphism f between elementary abelian p-subgroups of G such that f(v) is always conjugate to v, there is an element g of G such that f is equal to conjugation by g.
An Artin HNN-extension is an HNN-extension of an Artin group in which the stable letter conjugates a pair of suitably chosen subsets of the standard generating set. We show that some finite index subgroup of an Artin HNN-extension embeds in an Artin group. We also obtain an analogous result for Coxeter groups.
We determine the mod-p cohomology rings of an infinite family of p-groups, for odd primes p, with cyclic derived subgroups. Our method involves embedding the groups in a compact Lie group of dimension one, and was suggested by P. H. Kropholler and J. Huebschmann.