Showing 1–47 of 47 results for author: Leary, J

Spectra of subrings of cohomology generated by characteristic classes for fusion systems

Authors: Ian J. Leary, Jason Semeraro

Abstract: If $\mathcal{F}$ is a saturated fusion system on a finite $p$-group $S$, we define the Chern subring $Ch(\mathcal{F})$ of $\mathcal{F}$ to be the subring of the mod-$p$ cohomology $H^*(S)$ of $S$ generated by the Chern classes of $\mathcal{F}$-stable representations of $S$. We show that $Ch(\mathcal{F})$ is contained in $H^*(\mathcal{F})$ and apply a result of Green and the first author to describ… ▽ More If $\mathcal{F}$ is a saturated fusion system on a finite $p$-group $S$, we define the Chern subring $Ch(\mathcal{F})$ of $\mathcal{F}$ to be the subring of the mod-$p$ cohomology $H^*(S)$ of $S$ generated by the Chern classes of $\mathcal{F}$-stable representations of $S$. We show that $Ch(\mathcal{F})$ is contained in $H^*(\mathcal{F})$ and apply a result of Green and the first author to describe its spectrum in terms of a certain category of elementary abelian subgroups of $S$. We obtain similar results for various related subrings, including those generated by characteristic classes of $\mathcal{F}$-stable $S$-sets. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Comments: 14 pages

MSC Class: 20J06; 20D20

Weighing Anchor on Credit Card Debt

Authors: Benedict Guttman-Kenney, Jesse Leary, Neil Stewart

Abstract: We find it is common for consumers who are not in financial distress to make credit card payments at or close to the minimum. This pattern is difficult to reconcile with economic factors but can be explained by minimum payment information presented to consumers acting as an anchor that weighs payments down. Building on Stewart (2009), we conduct a hypothetical credit card payment experiment to tes… ▽ More We find it is common for consumers who are not in financial distress to make credit card payments at or close to the minimum. This pattern is difficult to reconcile with economic factors but can be explained by minimum payment information presented to consumers acting as an anchor that weighs payments down. Building on Stewart (2009), we conduct a hypothetical credit card payment experiment to test an intervention to de-anchor payment choices. This intervention effectively stops consumers selecting payments at the contractual minimum. It also increases their average payments, as well as shifting the distribution of payments. By de-anchoring choices from the minimum, consumers increasingly choose the full payment amount - which potentially seems to act as a target payment for consumers. We innovate by linking the experimental responses to survey responses on financial distress and to actual credit card payment behaviours. We find that the intervention largely increases payments made by less financially-distressed consumers. We are also able to evaluate the potential external validity of our experiment and find that hypothetical responses are closely related to consumers' actual credit card payments. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Report number: FCA Occasional Paper No. 43

Coherence for elementary amenable groups

Authors: Sam Hughes, Dawid Kielak, Peter H. Kropholler, Ian J. Leary

Abstract: We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups. We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups. △ Less

Submitted 6 November, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: v2. updated with referee's comments, to appear in Proceedings of the American Mathematical Society; v1. 10 pages, comments welcome!

MSC Class: 20F19; 16P70; 20J05; 20J06; 43A07

Leveraging Contextual Relatedness to Identify Suicide Documentation in Clinical Notes through Zero Shot Learning

Authors: Terri Elizabeth Workman, Joseph L. Goulet, Cynthia A. Brandt, Allison R. Warren, Jacob Eleazer, Melissa Skanderson, Luke Lindemann, John R. Blosnich, John O Leary, Qing Zeng Treitler

Abstract: Identifying suicidality including suicidal ideation, attempts, and risk factors in electronic health record data in clinical notes is difficult. A major difficulty is the lack of training samples given the small number of true positive instances among the increasingly large number of patients being screened. This paper describes a novel methodology that identifies suicidality in clinical notes by… ▽ More Identifying suicidality including suicidal ideation, attempts, and risk factors in electronic health record data in clinical notes is difficult. A major difficulty is the lack of training samples given the small number of true positive instances among the increasingly large number of patients being screened. This paper describes a novel methodology that identifies suicidality in clinical notes by addressing this data sparsity issue through zero-shot learning. U.S. Veterans Affairs clinical notes served as data. The training dataset label was determined using diagnostic codes of suicide attempt and self-harm. A base string associated with the target label of suicidality was used to provide auxiliary information by narrowing the positive training cases to those containing the base string. A deep neural network was trained by map** the training documents contents to a semantic space. For comparison, we trained another deep neural network using the identical training dataset labels and bag-of-words features. The zero shot learning model outperformed the baseline model in terms of AUC, sensitivity, specificity, and positive predictive value at multiple probability thresholds. In applying a 0.90 probability threshold, the methodology identified notes not associated with a relevant ICD 10 CM code that documented suicidality, with 94 percent accuracy. This new method can effectively identify suicidality without requiring manual annotation. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Comments: 8 pages, 4 figures, 5 tables

ACM Class: I.2.7; J.3

Homological growth of Artin kernels in positive characteristic

Authors: Sam P. Fisher, Sam Hughes, Ian J. Leary

Abstract: We prove an analogue of the Lück Approximation Theorem in positive characteristic for certain residually finite rationally soluble (RFRS) groups including right-angled Artin groups and Bestvina--Brady groups. Specifically, we prove that the mod $p$ homology growth equals the dimension of the group homology with coefficients in a certain universal division ring and this is independent of the choice… ▽ More We prove an analogue of the Lück Approximation Theorem in positive characteristic for certain residually finite rationally soluble (RFRS) groups including right-angled Artin groups and Bestvina--Brady groups. Specifically, we prove that the mod $p$ homology growth equals the dimension of the group homology with coefficients in a certain universal division ring and this is independent of the choice of residual chain. For general RFRS groups we obtain an inequality between the invariants. We also consider a number of applications to fibring, amenable category, and minimal volume entropy. △ Less

Submitted 22 December, 2022; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 23 pages. Section 4 is new

MSC Class: 20J05 (primary) 16K99; 16S35; 20E26; 20F36; 20F65; 57M07 (secondary)

On the virtual and residual properties of a generalization of Bestvina-Brady groups

Authors: Ian J Leary, Vladimir Vankov

Abstract: Previously one of us introduced a family of groups $G^M_L(S)$, parametrized by a finite flag complex $L$, a regular covering $M$ of $L$, and a set $S$ of integers. We give conjectural descriptions of when $G^M_L(S)$ is either residually finite or virtually torsion-free. In the case that $M$ is a finite cover and $S$ is periodic, there is an extension with kernel $G_L^M(S)$ and infinite cyclic quot… ▽ More Previously one of us introduced a family of groups $G^M_L(S)$, parametrized by a finite flag complex $L$, a regular covering $M$ of $L$, and a set $S$ of integers. We give conjectural descriptions of when $G^M_L(S)$ is either residually finite or virtually torsion-free. In the case that $M$ is a finite cover and $S$ is periodic, there is an extension with kernel $G_L^M(S)$ and infinite cyclic quotient that is a CAT(0) cubical group. We conjecture that this group is virtually special. We relate these three conjectures to each other and prove many cases of them. △ Less

Submitted 2 August, 2022; v1 submitted 16 February, 2022; originally announced February 2022.

Comments: 23 pages, minor changes in version 2

MSC Class: 20F65 (primary) 20E26; 57M07 (secondary)

Operating Spacecraft Around Comets: Evaluation of the Near-Nucleus Environment

Authors: C. M. Lisse, M. R. Combi, T. L. Farnham, N. Dello Russo, S. Sandford, A. F. Cheng, U. Fink, W. M. Harris, J. McMahon, D. J. Scheeres, H. A. Weaver, J. Leary

Abstract: We present a study of the current state of knowledge concerning spacecraft operations and potential hazards while operating near a comet nucleus. Starting from simple calculations comparing the cometary coma environment to benign conditions on Earth, we progress to sophisticated engineering models of spacecraft behavior, and then confront these models with recent spacecraft proximity operations ex… ▽ More We present a study of the current state of knowledge concerning spacecraft operations and potential hazards while operating near a comet nucleus. Starting from simple calculations comparing the cometary coma environment to benign conditions on Earth, we progress to sophisticated engineering models of spacecraft behavior, and then confront these models with recent spacecraft proximity operations experience. Finally, we make recommendations from lessons learned for future spacecraft missions that enter into orbit around a comet for long-term operations. All of these considerations indicate that, with a proper spacecraft design and operations planning, the near-nucleus environment can be a relatively safe region in which to operate, even for an active short period comet near perihelion with gas production rates as high as 1e29 molecules/s. With gas densities similar to those found in good laboratory vacuums, dust densities similar to Class 100 cleanrooms, dust particle velocities of 10s of m/s, and microgravity forces that permit slow and deliberate operations, the conditions around a comet are generally more benign than a typical day on Mars. Even in strong dust jets near the nucleus surface, dust densities tend to be only a few grains/cm3, about the same as in a typical interior room on Earth. Stochastic forces on a modern spacecraft with tens of square meters of projected surface area can be accounted for using modern Attitude Control Systems to within tens of meters navigation error; surface contamination issues are only important for spacecraft spending months to years within a few kilometers of the nucleus surface; and the issues the Rosetta spacecraft faced, confusion of celestial star trackers by sunlit dust particles flying past the spacecraft, will be addressed using the next generation of star trackers implementing improved transient rejection algorithms. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: 38 Pages, 15 Figures, 1 Table; accepted for publication in Acta Astronautica 25-Nov-2021

A note on torsion length and torsion subgroups

Authors: Ian J. Leary, Ashot Minasyan

Abstract: Answering Questions 19.23 and 19.24 from the Kourovka notebook we construct polycyclic groups with arbitrary torsion lengths and give examples of finitely presented groups whose quotients by their torsion subgroups are not finitely presented. Answering Questions 19.23 and 19.24 from the Kourovka notebook we construct polycyclic groups with arbitrary torsion lengths and give examples of finitely presented groups whose quotients by their torsion subgroups are not finitely presented. △ Less

Submitted 23 July, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 4 pages Second version: 6 pages, more theory included

MSC Class: 20F99; 20F16

Journal ref: J. Group Theory 26 (2023), no. 4, pp. 741--750

Persephone: A Pluto-System Orbiter and Kuiper Belt Explorer

Authors: Carly Howett, Stuart Robbins, Bryan J. Holler, Amanda Hendrix, Karl Fielhauer, Mark Perry, Fazle Siddique, Clint Apland, James Leary, S. Alan Stern, Heather Elliott, Francis Nimmo, Simon B. Porter, Silvia Protopapa, Kelsi N. Singer, Orenthal J. Tucker, Anne J. Verbiscer, Bruce Andrews, Stewart Bushman, Adam Crifasi, Doug Crowley, Clint Edwards, Carolyn M. Ernst, Blair Fonville, David Frankford , et al. (18 additional authors not shown)

Abstract: Persephone is a NASA concept mission study that addresses key questions raised by New Horizons' encounters with Kuiper Belt objects (KBOs), with arguably the most important being "Does Pluto have a subsurface ocean?". More broadly, Persephone would answer four significant science questions: (1) What are the internal structures of Pluto and Charon? (2) How have the surfaces and atmospheres in the P… ▽ More Persephone is a NASA concept mission study that addresses key questions raised by New Horizons' encounters with Kuiper Belt objects (KBOs), with arguably the most important being "Does Pluto have a subsurface ocean?". More broadly, Persephone would answer four significant science questions: (1) What are the internal structures of Pluto and Charon? (2) How have the surfaces and atmospheres in the Pluto system evolved? (3) How has the KBO population evolved? (4) What are the particles and magnetic field environments of the Kuiper Belt? To answer these questions, Persephone has a comprehensive payload, and would both orbit within the Pluto system and encounter other KBOs. The nominal mission is 30.7 years long, with launch in 2031 on a Space Launch System (SLS) Block 2 rocket with a Centaur kick stage, followed by a 27.6 year cruise powered by existing radioisotope electric propulsion (REP) and a Jupiter gravity assist to reach Pluto in 2058. En route to Pluto, Persephone would have one 50- to 100-km-class KBO encounter before starting a 3.1 Earth-year orbital campaign of the Pluto system. The mission also includes the potential for an 8-year extended mission, which would enable the exploration of another KBO in the 100- to 150-km-size class. The mission payload includes 11 instruments: Panchromatic and Color High-Resolution Imager; Low-Light Camera; Ultra-Violet Spectrometer; Near-Infrared (IR) Spectrometer; Thermal IR Camera; Radio Frequency Spectrometer; Mass Spectrometer; Altimeter; Sounding Radar; Magnetometer; and Plasma Spectrometer. The nominal cost of this mission is $3.0B, making it a large strategic science mission. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Groups of type $FP$ via graphical small cancellation

Authors: Thomas Brown, Ian J Leary

Abstract: We construct an uncountable family of groups of type $FP$. In contrast to every previous construction of non-finitely presented groups of type $FP$ we do not use Morse theory on cubical complexes; instead we use Gromov's graphical small cancellation theory. We construct an uncountable family of groups of type $FP$. In contrast to every previous construction of non-finitely presented groups of type $FP$ we do not use Morse theory on cubical complexes; instead we use Gromov's graphical small cancellation theory. △ Less

Submitted 7 February, 2024; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: 5 figures. Sixth version: further clarification of some points concerning projective linear groups. Earlier versions: see earlier comments

MSC Class: 20F65; 20J05; 57M07

Iteration of functions and contractibility of acyclic 2-complexes

Authors: Ian J Leary

Abstract: We show that there can be no algorithm to decide whether infinite recursively described acyclic aspherical 2-complexes are contractible. We construct such a complex that is contractible if and only if the Collatz conjecture holds. We show that there can be no algorithm to decide whether infinite recursively described acyclic aspherical 2-complexes are contractible. We construct such a complex that is contractible if and only if the Collatz conjecture holds. △ Less

Submitted 20 March, 2020; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: Third version: more minor misprints removed

MSC Class: 20F10 (primary) 03D40; 57M05 (secondary)

Commensurating HNN-extensions: non-positive curvature and biautomaticity

Authors: Ian J. Leary, Ashot Minasyan

Abstract: We show that the commensurator of any quasiconvex abelian subgroup in a biautomatic group is small, in the sense that it has finite image in the abstract commensurator of the subgroup. Using this criterion we exhibit groups that are CAT(0) but not biautomatic. These groups also resolve a number of other questions concerning CAT(0) groups. We show that the commensurator of any quasiconvex abelian subgroup in a biautomatic group is small, in the sense that it has finite image in the abstract commensurator of the subgroup. Using this criterion we exhibit groups that are CAT(0) but not biautomatic. These groups also resolve a number of other questions concerning CAT(0) groups. △ Less

Submitted 20 May, 2021; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: v4: 41 pages, re-formatted in G&T style. Some misprints have been corrected and references to recent results by other authors have been added

MSC Class: 20F67; 20F10; 20E06

Journal ref: Geom. Topol. 25 (2021) 1819-1860

The Yagita invariant of symplectic groups of large rank

Authors: Cornelia M. Busch, Ian J. Leary

Abstract: Fix a prime $p$, and let $R$ be any subring of the complex numbers that is either integrally closed or contains a primitive $p$th root of 1. For each $n\geq p-1$ we compute the Yagita invariant at the prime $p$ for the symplectic group $Sp(2n,R)$. Fix a prime $p$, and let $R$ be any subring of the complex numbers that is either integrally closed or contains a primitive $p$th root of 1. For each $n\geq p-1$ we compute the Yagita invariant at the prime $p$ for the symplectic group $Sp(2n,R)$. △ Less

Submitted 25 April, 2019; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: Minor changes compared to first version

MSC Class: 20J05; 57T10

Uncountably many quasi-isometry classes of groups of type $FP$

Authors: Robert P Kropholler, Ian J Leary, Ignat Soroko

Abstract: Previously one of the authors constructed uncountable families of groups of type $FP$ and of $n$-dimensional Poincaré duality groups for each $n\geq 4$. We strengthen these results by showing that these groups comprise uncountably many quasi-isometry classes. We deduce that for each $n\geq 4$ there are uncountably many quasi-isometry classes of acyclic $n$-manifolds admitting free cocompact proper… ▽ More Previously one of the authors constructed uncountable families of groups of type $FP$ and of $n$-dimensional Poincaré duality groups for each $n\geq 4$. We strengthen these results by showing that these groups comprise uncountably many quasi-isometry classes. We deduce that for each $n\geq 4$ there are uncountably many quasi-isometry classes of acyclic $n$-manifolds admitting free cocompact properly discontinuous discrete group actions. △ Less

Submitted 28 September, 2018; v1 submitted 15 December, 2017; originally announced December 2017.

Comments: Version 2: minor corrections made, theorems now numbered by section

MSC Class: 20F65; 20J05; 20F05; 57S30

Journal ref: published version in American Journal of Mathematics volume 142, no. 6, pages 1931-1944

Subgroups of almost finitely presented groups

Authors: Ian J Leary

Abstract: We show that every countable group embeds in a group of type $FP_2$. We show that every countable group embeds in a group of type $FP_2$. △ Less

Submitted 26 April, 2018; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: Second version: some misprints corrected, one reference added also title changed. Third version: minor error in proof of Lemma 7 corrected. Fourth version: lengthened introduction, some misprints corrected. Fifth version: some misprints corrected, extra material in final section, Theorem numbering now by section

MSC Class: 20F05; 20J05; 20F65

Uncountably many groups of type $FP$

Authors: Ian J. Leary

Abstract: We construct uncountably many discrete groups of type $FP$; in particular we construct groups of type $FP$ that do not embed in any finitely presented group. We compute the ordinary, $\ell^2$- and compactly-supported cohomology of these groups. For each $n\geq 4$ we construct a closed aspherical $n$-manifold that admits an uncountable family of acyclic regular coverings with non-isomorphic coverin… ▽ More We construct uncountably many discrete groups of type $FP$; in particular we construct groups of type $FP$ that do not embed in any finitely presented group. We compute the ordinary, $\ell^2$- and compactly-supported cohomology of these groups. For each $n\geq 4$ we construct a closed aspherical $n$-manifold that admits an uncountable family of acyclic regular coverings with non-isomorphic covering groups. △ Less

Submitted 26 April, 2018; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: Second version 35 pages. Minor improvements to exposition, removal of misprints etc. Third version also 35 pages, one reference added, more misprints removed. Fourth version identical to third version, except that the Theorem numbering is now by Section

MSC Class: 20J05; 57M07; 20F36

Equivariant vector bundles over classifying spaces for proper actions

Authors: Dieter Degrijse, Ian J. Leary

Abstract: Let $G$ be an infinite discrete group and let $\underline{E}G$ be a classifying space for proper actions of $G$. Every $G$-equivariant vector bundle over $\underline{E}G$ gives rise to a compatible collection of representations of the finite subgroups of $G$. We give the first examples of groups $G$ with a cocompact classifying space for proper actions $\underline{E}G$ admitting a compatible colle… ▽ More Let $G$ be an infinite discrete group and let $\underline{E}G$ be a classifying space for proper actions of $G$. Every $G$-equivariant vector bundle over $\underline{E}G$ gives rise to a compatible collection of representations of the finite subgroups of $G$. We give the first examples of groups $G$ with a cocompact classifying space for proper actions $\underline{E}G$ admitting a compatible collection of representations of the finite subgroups of $G$ that does not come from a $G$-equivariant (virtual) vector bundle over $\underline{E}G$. This implies that the Atiyah-Hirzeburch spectral sequence computing the $G$-equivariant topological $K$-theory of $\underline{E}G$ has non-zero differentials. On the other hand, we show that for right angled Coxeter groups this spectral sequence always collapes at the second page and compute the $K$-theory of the classifying space of a right angled Coxeter group. △ Less

Submitted 19 May, 2016; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: version 2 up to 20 pages, version 3 minor typos corrected

Report number: CPH-SYM-DNRF92 MSC Class: 19L47 (primary); 55N15; 55N91 (secondary)

Journal ref: Algebr. Geom. Topol. 17 (2017) 131-156

On dimensions of groups with cocompact classifying spaces for proper actions

Authors: Ian J Leary, Nansen Petrosyan

Abstract: We construct groups G that are virtually torsion-free and have virtual cohomological dimension strictly less than the minimal dimension for any model for the classifying space for proper actions of G. They are the first examples that have these properties and also admit cocompact models for this classifying space. We exhibit groups G whose virtual cohomological dimension and Bredon cohomological d… ▽ More We construct groups G that are virtually torsion-free and have virtual cohomological dimension strictly less than the minimal dimension for any model for the classifying space for proper actions of G. They are the first examples that have these properties and also admit cocompact models for this classifying space. We exhibit groups G whose virtual cohomological dimension and Bredon cohomological dimension are two that do not admit any 2-dimensional contractible proper G-CW-complex. △ Less

Submitted 2 February, 2017; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: Minor changes relative to versions 1, 2, and 3

MSC Class: 20J05; 57S30; 57M60; 55N25

Some free-by-cyclic groups

Authors: Ian J. Leary, Graham A. Niblo, Daniel T. Wise

Abstract: 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. 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. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: Preprint version, not published version. Previously available at Dave Benson's archive

Journal ref: Groups St. Andrews in Bath 1997, London Math. Soc. Lecture Notes Series 261 (1999) 512-516

Presentations for subgroups of Artin groups

Authors: Warren Dicks, Ian J. Leary

Abstract: 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… ▽ More 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. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: Preprint version, not published version. Previously available on Dave Benson's archive

Journal ref: Proc. Amer. Math. Soc. 127 (1999) 343-348

The spectrum of the Chern subring

Authors: David J. Green, Ian J. Leary

Abstract: 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… ▽ More 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. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: Preprint version, not the published version. Available previously on Dave Benson's archive

Journal ref: Comm. Math. Helv. 73 (1998) 406-426

An Eilenberg-Ganea Phenomenon for Actions with Virtually Cyclic Stabilisers

Authors: Martin Fluch, Ian J. Leary

Abstract: 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. 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. △ Less

Submitted 24 April, 2014; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: Version 2 is as accepted by Groups, Geometry and Dynamics

MSC Class: 57M20; 20J05; 55N25

A metric Kan-Thurston theorem

Authors: Ian J. Leary

Abstract: 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 iso… ▽ More 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. △ Less

Submitted 15 October, 2012; v1 submitted 8 September, 2010; originally announced September 2010.

Comments: 41 pages, 4 figures made from 11 picture files. Version 2 contains some corrections to the proofs in the appendices, mainly section 16. Version 3 is the version accepted for publication in the Journal of Topology. Version 3 is down to 34 pages, partly due to page style, partly some material removed. Minor correction to proof of Theorem 6.1 of Version 3

MSC Class: 20F67 (Primary) 20J06; 55P99; 57S30 (Secondary)

Cohomology of hyperplane complements with group ring coefficients

Authors: Michael W Davis, Tadeusz Januszkiewicz, Ian J Leary, Boris Okun

Abstract: We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of the hyperplane arrangement. We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of the hyperplane arrangement. △ Less

Submitted 23 February, 2010; v1 submitted 16 February, 2010; originally announced February 2010.

Comments: Second version corrects some misprints in the definition of U_G

MSC Class: 55N25; 20J06; 32S22; 57N65

Groups possessing extensive hierarchical decompositions

Authors: T. Januszkiewicz, P. H. Kropholler, I. J. Leary

Abstract: Kropholler's class of groups is the smallest class of groups which contains all finite groups and is closed under the following operator: whenever $G$ admits a finite-dimensional contractible $G$-CW-complex in which all stabilizer groups are in the class, then $G$ is itself in the class. Kropholler's class admits a hierarchical structure, i.e., a natural filtration indexed by the ordinals. For e… ▽ More Kropholler's class of groups is the smallest class of groups which contains all finite groups and is closed under the following operator: whenever $G$ admits a finite-dimensional contractible $G$-CW-complex in which all stabilizer groups are in the class, then $G$ is itself in the class. Kropholler's class admits a hierarchical structure, i.e., a natural filtration indexed by the ordinals. For example, stage 0 of the hierarchy is the class of all finite groups, and stage 1 contains all groups of finite virtual cohomological dimension. We show that for each countable ordinal $α$, there is a countable group that is in Kropholler's class which does not appear until the $α+1$st stage of the hierarchy. Previously this was known only for $α= 0$, 1 and 2. The groups that we construct contain torsion. We also review the construction of a torsion-free group that lies in the third stage of the hierarchy. △ Less

Submitted 25 August, 2009; originally announced August 2009.

Comments: 9 pages

MSC Class: 57S30; 20J05

On groups acting on contractible spaces with stabilizers of prime power order

Authors: Ian J. Leary, Brita E. A. Nucinkis

Abstract: We study actions of discrete groups on contractible topological spaces in which either (1) all stabilizers lie in the family of subgroups of prime power order or (2) all stabilizers lie in the family of finite subgroups. We compare the classifying spaces for actions with stabilizers in these two families, the Kropholler hierarchies build on these two families, and group cohomology relative to th… ▽ More We study actions of discrete groups on contractible topological spaces in which either (1) all stabilizers lie in the family of subgroups of prime power order or (2) all stabilizers lie in the family of finite subgroups. We compare the classifying spaces for actions with stabilizers in these two families, the Kropholler hierarchies build on these two families, and group cohomology relative to these two families. △ Less

Submitted 25 August, 2009; v1 submitted 6 March, 2009; originally announced March 2009.

Comments: Version 2 contains a reference to related work of Yoav Segev, some other minor changes

MSC Class: 20J05; 55N25

Artin HNN-extensions virtually embed in Artin groups

Authors: Tim Hsu, Ian J. Leary

Abstract: 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. 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. △ Less

Submitted 12 February, 2008; originally announced February 2008.

MSC Class: 20F36; 20F55; 20F65

The cohomology of certain groups

Authors: Ian J Leary

Abstract: Computations in the cohomology of finite groups. Computations in the cohomology of finite groups. △ Less

Submitted 30 November, 2007; originally announced November 2007.

Comments: PhD thesis (Cambridge, 1990) with one extra chapter added 1992

MSC Class: 20J05; 20J06

The cohomology of Bestvina-Brady groups

Authors: Ian J Leary, Muge Saadetoglu

Abstract: For each subcomplex of the standard CW-structure on any torus, we compute the homology of a certain infinite cyclic regular covering space. In all cases when the homology is finitely generated, we also compute the cohomology ring. For aspherical subcomplexes of the torus our computation gives the homology and cohomology of Bestvina-Brady groups. We compute the cohomological dimension of each of… ▽ More For each subcomplex of the standard CW-structure on any torus, we compute the homology of a certain infinite cyclic regular covering space. In all cases when the homology is finitely generated, we also compute the cohomology ring. For aspherical subcomplexes of the torus our computation gives the homology and cohomology of Bestvina-Brady groups. We compute the cohomological dimension of each of these groups over any field and over any subring of the rationals. △ Less

Submitted 30 November, 2007; originally announced November 2007.

Comments: Submitted July 2006

MSC Class: 20J05

On the integral cohomology of wreath products

Authors: Ian J Leary

Abstract: Under mild conditions on the space X, we describe the additive structure of the integral cohomology of the space $X^p \times_{C_p}EC_p$ in terms of the cohomology of X. We give weaker results for other similar spaces, and deduce various corollaries concerning the cohomology of finite groups. Under mild conditions on the space X, we describe the additive structure of the integral cohomology of the space $X^p \times_{C_p}EC_p$ in terms of the cohomology of X. We give weaker results for other similar spaces, and deduce various corollaries concerning the cohomology of finite groups. △ Less

Submitted 30 November, 2007; originally announced November 2007.

MSC Class: 20J06

Journal ref: J. Algebra 198 (1996), 184-239

On the GL(V)-module structure of K(n)^*(BV)

Authors: I. J. Leary, B. Schuster

Abstract: We study the question of whether the Morava K-theory of the classifying space of an elementary abelian group V is a permutation module (in either of two distinct senses) for the automorphism group of V. We use Brauer characters and computer calculations. We construct and implement an algorithm for finding permutation submodules of maximal dimension inside modules for p-groups in characteristic… ▽ More We study the question of whether the Morava K-theory of the classifying space of an elementary abelian group V is a permutation module (in either of two distinct senses) for the automorphism group of V. We use Brauer characters and computer calculations. We construct and implement an algorithm for finding permutation submodules of maximal dimension inside modules for p-groups in characteristic p. △ Less

Submitted 30 November, 2007; originally announced November 2007.

MSC Class: 55R20; 20J06

Journal ref: Math. Proc. Cambridge Phil. Soc. 122 (1997) 73-89

On universally stable elements

Authors: I. J. Leary, B. Schuster, N. Yagita

Abstract: We show that certain subrings of the cohomology of a finite p-group P may be realised as the images of restriction from suitable virtually free groups. We deduce that the cohomology of P is a finite module for any such subring. Examples include the ring of `universally stable elements' defined by Evens and Priddy, and rings of invariants such as the mod-2 Dickson algebras. We show that certain subrings of the cohomology of a finite p-group P may be realised as the images of restriction from suitable virtually free groups. We deduce that the cohomology of P is a finite module for any such subring. Examples include the ring of `universally stable elements' defined by Evens and Priddy, and rings of invariants such as the mod-2 Dickson algebras. △ Less

Submitted 30 November, 2007; originally announced November 2007.

Journal ref: Quart. J. Math. Oxford 48 (1997) 493--498

Chern classes and extraspecial groups

Authors: David J Green, Ian J Leary

Abstract: The mod-p cohomology ring of the extraspecial p-group of exponent p is studied for odd p. We investigate the subquotient ch(G) generated by Chern classes modulo the nilradical. The subring of ch(G) generated by Chern classes of one-dimensional representations was studied by Tezuka and Yagita. The subring generated by the Chern classes of the faithful irreducible representations is a polynomial a… ▽ More The mod-p cohomology ring of the extraspecial p-group of exponent p is studied for odd p. We investigate the subquotient ch(G) generated by Chern classes modulo the nilradical. The subring of ch(G) generated by Chern classes of one-dimensional representations was studied by Tezuka and Yagita. The subring generated by the Chern classes of the faithful irreducible representations is a polynomial algebra. We study the interplay between these two families of generators, and obtain some relations between them. △ Less

Submitted 30 November, 2007; originally announced November 2007.

MSC Class: 20J06

Journal ref: Manuscripta Math. 88 (1995) 73-84

On subgroups of Coxeter groups

Authors: Warren Dicks, Ian J Leary

Abstract: A right-angled Coxeter group is a group with a given set of generators of order two, subject only to the relations that certain pairs of the generators commute. Various papers have shown how homological properties of the Coxeter group are related to homological properties of the simplicial complex whose simplices are the sets of commuting generators. Using these techniques, we construct torsio… ▽ More A right-angled Coxeter group is a group with a given set of generators of order two, subject only to the relations that certain pairs of the generators commute. Various papers have shown how homological properties of the Coxeter group are related to homological properties of the simplicial complex whose simplices are the sets of commuting generators. Using these techniques, we construct torsion-free groups which are Poincare duality groups over some rings but not over others, and a group whose integral cohomological dimension is finite but strictly greater than its cohomological dimension over any field. We determine which Coxeter groups have finite virtual cohomological dimension (it is classical that all finitely generated Coxeter groups have finite vcd, but there are others). We also give minimal presentations for certain torsion-free finite-index subgroups of right-angled Coxter groups. Finally we give a `bare-hands' construction (using free products with amalgamation and HNN extensions) of a torsion-free group whose integral cohomological dimension is strictly greater than its rational cohomological dimension. △ Less

Submitted 30 November, 2007; originally announced November 2007.

MSC Class: 20F55; 20F65

Journal ref: Geometry and Cohomology in Group Theory, Durham 1995, LMS Lecture Notes in Mathematics 252, CUP 1998, 124-160

The Yagita invariant of general linear groups

Authors: H. H. Glover, I. J. Leary, C. B. Thomas

Abstract: We give a definition of the Yagita invariant at a prime p of an arbitrary group G, and compute the invariant for each prime for the general linear groups over any integrally closed subring of the complex numbers. We also compute the invariants for special linear groups over the same rings, except in some cases when both the degree of the linear group and the ring are `small' compared to p. We give a definition of the Yagita invariant at a prime p of an arbitrary group G, and compute the invariant for each prime for the general linear groups over any integrally closed subring of the complex numbers. We also compute the invariants for special linear groups over the same rings, except in some cases when both the degree of the linear group and the ring are `small' compared to p. △ Less

Submitted 30 November, 2007; originally announced November 2007.

MSC Class: 20J05; 57T10

Journal ref: Proceedings of the 1994 Barcelona Conference on Algebraic Topology, Progress in Mathematics 136, Birkhaeuser (1996) 185-192

A bound on the exponent of the cohomology of BC-bundles

Authors: Ian J Leary

Abstract: We give a lower bound for the exponent of certain elements in the integral cohomology of the total spaces of principal BC-bundles for C a finite cyclic group. As applications we give a proof of the theorem of A. Adem and H.-W. Henn that a p-group is elementary abelian if and only if its integral cohomology has exponent p, and we exhibit some infinite groups of finite virtual cohomological dimens… ▽ More We give a lower bound for the exponent of certain elements in the integral cohomology of the total spaces of principal BC-bundles for C a finite cyclic group. As applications we give a proof of the theorem of A. Adem and H.-W. Henn that a p-group is elementary abelian if and only if its integral cohomology has exponent p, and we exhibit some infinite groups of finite virtual cohomological dimension whose Tate-Farrell cohomology contains torsion of order greater than the l.c.m. of the orders of their finite subgroups. We also give an upper bound for the exponent of all but finitely many of the integral cohomology groups of a finite group, in terms of the permutation representations of the group. △ Less

Submitted 30 November, 2007; originally announced November 2007.

MSC Class: 55R20; 20J06

Journal ref: Proceedings of the 1994 Barcelona Conference on Algebraic Topology, Progress in Mathematics 136, Birkhaeuser (1996) 255-260

3-groups are not determined by their integral cohomology rings

Authors: Ian J. Leary

Abstract: We compute the integral cohomology rings of a family of 3-groups. As a corollary, we exhibit, for each n greater than or equal to 5, a pair of groups of order 3^n whose integral cohomology rings are isomorphic. We compute the integral cohomology rings of a family of 3-groups. As a corollary, we exhibit, for each n greater than or equal to 5, a pair of groups of order 3^n whose integral cohomology rings are isomorphic. △ Less

Submitted 29 November, 2007; originally announced November 2007.

MSC Class: 20J06

Journal ref: J. Pure and Appl. Algebra 88 (1993), 61--79

p-Groups are not determined by their integral cohomology groups

Authors: Ian J. Leary

Abstract: For each prime p, we exhibit pairs of p-groups all of whose integral cohomology groups are isomorphic. The method used involves very little calculation. The groups are exhibited as kernels of homomorphisms from a compact Lie group G to U(1), and the main result is that kernels of `similar' elements of Hom(G,U(1)) have isomorphic integral cohomology groups. The 2-groups constructed in this vers… ▽ More For each prime p, we exhibit pairs of p-groups all of whose integral cohomology groups are isomorphic. The method used involves very little calculation. The groups are exhibited as kernels of homomorphisms from a compact Lie group G to U(1), and the main result is that kernels of `similar' elements of Hom(G,U(1)) have isomorphic integral cohomology groups. The 2-groups constructed in this version have been corrected (there was a mistake in the presentations given in the published paper). △ Less

Submitted 29 November, 2007; originally announced November 2007.

MSC Class: 20J06

Journal ref: Bull. London Math. Soc. 27 (1995) 585--589

A differential in the Lyndon-Hochschild-Serre spectral sequence

Authors: Ian J. Leary

Abstract: We consider the Lyndon-Hochschild-Serre spectral sequence with mod-p coefficients for a central extension with kernel cyclic of order a power of p and arbitrary discrete quotient group. For this spectral sequence the second and third differentials are known, and we give a description for the fourth differential. Using this result we deduce a similar formula for the Serre spectral sequence for a… ▽ More We consider the Lyndon-Hochschild-Serre spectral sequence with mod-p coefficients for a central extension with kernel cyclic of order a power of p and arbitrary discrete quotient group. For this spectral sequence the second and third differentials are known, and we give a description for the fourth differential. Using this result we deduce a similar formula for the Serre spectral sequence for a principal fibration with fibre the classifying space of a cyclic p-group. The differential from odd rows to even rows involves a Massey triple product, so we describe the calculation of such products in the cohomology of a finite abelian group. As an example we determine the Poincare series for the mod-3 cohomology of various 3-groups. Remarks. 1) My definition of the higher differentials $d_i$ for $i\geq 2$ in the spectral sequence for a double chain complex differs from the usual one by a factor of $(-1)^{i+1}$. Both conventions are consistent, but the usual definition has the advantage of agreeing with the ``obvious'' definition of the differentials in the spectral sequence for the associated filtered chain complex. All of the theorems in this paper remain true exactly as stated if the more usual definition of $d_i$ is taken. 2) Carles Broto found a small mistake in this paper: the result for fibrations with fibre the classifying space of a cyclic group is stated for arbitrary fibrations, although it is only proved for principal fibrations. Since it is apparent from the first sentence of the proof that only principal fibrations are being considered, I have not bothered to publish an erratum. △ Less

Submitted 29 November, 2007; originally announced November 2007.

MSC Class: 20J06

Journal ref: J. Pure and Appl. Algebra 88 (1993), 155--168

Some examples in the integral and Brown-Peterson cohomology of p-groups

Authors: Ian J Leary, Nobuaki Yagita

Abstract: For each odd prime p, we exhibit p-groups G of p-rank two such that (suitably defined) Chern classes of unitary representations of G fail to generate the following rings: 1. The even degree integral cohomology of G; 2. The final page of the Atiyah-Hirzebruch spectral sequence for G; 3. The Brown-Peterson generalized cohomology of G. It follows that these groups afford counterexamples to… ▽ More For each odd prime p, we exhibit p-groups G of p-rank two such that (suitably defined) Chern classes of unitary representations of G fail to generate the following rings: 1. The even degree integral cohomology of G; 2. The final page of the Atiyah-Hirzebruch spectral sequence for G; 3. The Brown-Peterson generalized cohomology of G. It follows that these groups afford counterexamples to conjectures of C. B. Thomas, M. F. Atiyah and P. Landweber. △ Less

Submitted 29 November, 2007; originally announced November 2007.

MSC Class: 20J06; 55N20

Journal ref: Bull. London Math. Soc. 24 (1992) 165--168

The mod-p cohomology rings of some p-groups

Authors: Ian J. Leary

Abstract: 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. 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. △ Less

Submitted 29 November, 2007; originally announced November 2007.

MSC Class: 20J06

Journal ref: Math. Proc. Cambridge Phil. Soc. 112 (1992) 63--75

The integral cohomology rings of some p-groups

Authors: Ian J Leary

Abstract: We determine the integral 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. We determine the integral 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. △ Less

Submitted 29 November, 2007; originally announced November 2007.

MSC Class: 20J06

Journal ref: Math. Proc. Cambridge Phil. Soc. 110 (1991) 25--32

Infinite groups with fixed point properties

Authors: G. Arzhantseva, M. R. Bridson, T. Januszkiewicz, I. J. Leary, A. Minasyan, J. Swiatkowski

Abstract: We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first examples of infinite finitely generated groups $Q$ with the property that for any action of $Q$ on any $X\in \mathcal{X}_{ac}$, there is a global fixed point. More… ▽ More We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first examples of infinite finitely generated groups $Q$ with the property that for any action of $Q$ on any $X\in \mathcal{X}_{ac}$, there is a global fixed point. Moreover, $Q$ may be chosen to be simple and to have Kazhdan's property (T). We construct a finitely presented infinite group $P$ that admits no non-trivial action by diffeomorphisms on any smooth manifold in $\mathcal{X}_{ac}$. In building $Q$, we exhibit new families of hyperbolic groups: for each $n\geq 1$ and each prime $p$, we construct a non-elementary hyperbolic group $G_{n,p}$ which has a generating set of size $n+2$, any proper subset of which generates a finite $p$-group. △ Less

Submitted 20 April, 2009; v1 submitted 27 November, 2007; originally announced November 2007.

Comments: Version 2: 29 pages. This is the final published version of the article

MSC Class: 20F65; 20F67; 57Sxx

Journal ref: Geom. Topol. 13 (2009) 1229-1263

Realising fusion systems

Authors: Ian J Leary, Radu Stancu

Abstract: We show that every fusion system on a p-group S is equal to the fusion system associated to a discrete group G with the property that every p-subgroup of G is conjugate to a subgroup of S. We show that every fusion system on a p-group S is equal to the fusion system associated to a discrete group G with the property that every p-subgroup of G is conjugate to a subgroup of S. △ Less

Submitted 30 January, 2007; originally announced January 2007.

MSC Class: 20D20 (primary) 20E08; 20F65; 20J15 (secondaries)

The l^2-cohomology of hyperplane complements

Authors: M. W. Davis, T. Januszkiewicz, I. J. Leary

Abstract: We compute the l^2-Betti numbers of the complement of a finite collection of affine hyperplanes in complex space. At most one of the l^2-Betti numbers is non-zero. We compute the l^2-Betti numbers of the complement of a finite collection of affine hyperplanes in complex space. At most one of the l^2-Betti numbers is non-zero. △ Less

Submitted 15 March, 2007; v1 submitted 14 December, 2006; originally announced December 2006.

Comments: v2: Correction to proof of main theorem

MSC Class: 52B30; 32S22; 52C35; 57N65; 58J22

On finite subgroups of groups of type VF

Authors: Ian J Leary

Abstract: For any finite group Q not of prime power order, we construct a group G that is virtually of type F, contains infinitely many conjugacy classes of subgroups isomorphic to Q, and contains only finitely many conjugacy classes of other finite subgroups. For any finite group Q not of prime power order, we construct a group G that is virtually of type F, contains infinitely many conjugacy classes of subgroups isomorphic to Q, and contains only finitely many conjugacy classes of other finite subgroups. △ Less

Submitted 31 October, 2005; originally announced October 2005.

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

MSC Class: 20F65; 19A31; 20E45; 20J05; 57M07

Journal ref: Geom. Topol. 9 (2005) 1953-1976

Classifying spaces for proper actions of locally-finite groups

Authors: Warren Dicks, Peter H. Kropholler, Ian J. Leary, Simon Thomas

Abstract: For each finite ordinal n, and each locally-finite group G of cardinality aleph-sub-n, we construct an (n+1)-dimensional, contractible CW-complex on which G acts with finite stabilizers. We use the complex to obtain information about cohomology with induced coefficients. Our techniques also give information about the location of some large free abelian groups in the hierarchy HF. For each finite ordinal n, and each locally-finite group G of cardinality aleph-sub-n, we construct an (n+1)-dimensional, contractible CW-complex on which G acts with finite stabilizers. We use the complex to obtain information about cohomology with induced coefficients. Our techniques also give information about the location of some large free abelian groups in the hierarchy HF. △ Less

Submitted 27 November, 2001; originally announced November 2001.

Comments: AMSTeX.amsppt, 25 pages, no figures

Report number: CRM preprint 479 MSC Class: 20F50 (Primary) 20J06; 20K20; 57M07 (Secondary)

Journal ref: J. Group Theory, 5 (2002), 453-480