Showing 1–17 of 17 results for author: Degrijse, D

Proper equivariant stable homotopy theory

Authors: Dieter Degrijse, Markus Hausmann, Wolfgang Lück, Irakli Patchkoria, Stefan Schwede

Abstract: This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from equivariant cells with compact isotropy groups; the adjective `genuine' indicates that the theory comes with appropriate transfers and Wirthmüller isomorphisms… ▽ More This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from equivariant cells with compact isotropy groups; the adjective `genuine' indicates that the theory comes with appropriate transfers and Wirthmüller isomorphisms, and the resulting equivariant cohomology theories support the analog of an $RO(G)$-grading. Our model for genuine proper $G$-equivariant stable homotopy theory is the category of orthogonal $G$-spectra; the equivalences are those morphisms that induce isomorphisms of equivariant stable homotopy groups for all compact subgroups of $G$. This class of $π_*$-isomorphisms is part of a symmetric monoidal stable model structure and the associated tensor triangulated homotopy category is compactly generated. Every orthogonal $G$-spectrum represents an equivariant cohomology theory on the category of $G$-spaces, depending only on the `proper $G$-homotopy type', tested by fixed points under all compact subgroups. An important special case are infinite discrete groups. For these, our genuine equivariant theory is related to finiteness properties, in the sense of geometric group theory; for example, the $G$-sphere spectrum is a compact object in the equivariant homotopy category if the universal space for proper $G$-actions has a finite $G$-CW-model. For discrete groups, the represented equivariant cohomology theories on finite proper $G$-CW-complexes admit a more explicit description in terms of parameterized equivariant homotopy theory, suitably stabilized by $G$-vector bundles. Via this description, we can identify the previously defined $G$-cohomology theories of equivariant stable cohomotopy and equivariant K-theory as cohomology theories represented by specific orthogonal $G$-spectra. △ Less

Submitted 14 October, 2020; v1 submitted 2 August, 2019; originally announced August 2019.

Comments: several minor corrections and updates; v+142 pp

Report number: CPH-SYM-DNRF92 MSC Class: 55P91

Journal ref: Memoirs of the American Mathematical Society 288 (2023), No. 1432

Amenable groups of finite cohomological dimension and the zero divisor conjecture

Authors: Dieter Degrijse

Abstract: We prove that every amenable group of cohomological dimension two whose integral group ring is a domain is solvable and investigate certain homological finiteness properties of groups that satisfy the analytic zero divisor conjecture and act on an acyclic CW-complex with amenable stabilisers. We prove that every amenable group of cohomological dimension two whose integral group ring is a domain is solvable and investigate certain homological finiteness properties of groups that satisfy the analytic zero divisor conjecture and act on an acyclic CW-complex with amenable stabilisers. △ Less

Submitted 24 September, 2016; originally announced September 2016.

Comments: 12 pages

Report number: CPH-SYM-DNRF92

Stable finiteness properties of infinite discrete groups

Authors: Noé Bárcenas, Dieter Degrijse, Irakli Patchkoria

Abstract: Let $G$ be an infinite discrete group. A classifying space for proper actions of $G$ is a proper $G$-CW-complex $X$ such that the fixed point sets $X^H$ are contractible for all finite subgroups $H$ of $G$. In this paper we consider the stable analogue of the classifying space for proper actions in the category of proper $G$-spectra and study its finiteness properties. We investigate when $G$ admi… ▽ More Let $G$ be an infinite discrete group. A classifying space for proper actions of $G$ is a proper $G$-CW-complex $X$ such that the fixed point sets $X^H$ are contractible for all finite subgroups $H$ of $G$. In this paper we consider the stable analogue of the classifying space for proper actions in the category of proper $G$-spectra and study its finiteness properties. We investigate when $G$ admits a stable classifying space for proper actions that is finite or of finite type and relate these conditions to the compactness of the sphere spectrum in the homotopy category of proper $G$-spectra and to classical finiteness properties of the Weyl groups of finite subgroups of $G$. Finally, if the group $G$ is virtually torsion-free we also show that the smallest possible dimension of a stable classifying space for proper actions coincides with the virtual cohomological dimension of $G$, thus providing the first geometric interpretation of the virtual cohomological dimension of a group. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: 25 pages

Report number: CPH-SYM-DNRF92

Dimension invariants of outer automorphism groups

Authors: Dieter Degrijse, Juan Souto

Abstract: The geometric dimension for proper actions $\underline{\mathrm{gd}}(G)$ of a group $G$ is the minimal dimension of a classifying space for proper actions $\underline{E}G$. We construct for every integer $r\geq 1$, an example of a virtually torsion-free Gromov-hyperbolic group $G$ such that for every group $Γ$ which contains $G$ as a finite index normal subgroup, the virtual cohomological dimension… ▽ More The geometric dimension for proper actions $\underline{\mathrm{gd}}(G)$ of a group $G$ is the minimal dimension of a classifying space for proper actions $\underline{E}G$. We construct for every integer $r\geq 1$, an example of a virtually torsion-free Gromov-hyperbolic group $G$ such that for every group $Γ$ which contains $G$ as a finite index normal subgroup, the virtual cohomological dimension $\mathrm{vcd}(Γ)$ of $Γ$ equals $\underline{\mathrm{gd}}(Γ)$ but such that the outer automorphism group $\mathrm{Out}(G)$ is virtually torsion-free, admits a cocompact model for $\underline E\mathrm{Out}(G)$ but nonetheless has $\mathrm{vcd}(\mathrm{Out}(G))\le\underline{\mathrm{gd}}(\mathrm{Out}(G))-r$. △ Less

Submitted 13 February, 2016; originally announced February 2016.

Comments: 24 pages

Report number: CPH-SYM-DNRF92

A cohomological characterization of locally virtually cyclic groups

Authors: Dieter Degrijse

Abstract: We show that a countable group is locally virtually cyclic if and only if its Bredon cohomological dimension for the family of virtually cyclic subgroups is at most one. We show that a countable group is locally virtually cyclic if and only if its Bredon cohomological dimension for the family of virtually cyclic subgroups is at most one. △ Less

Submitted 24 September, 2016; v1 submitted 20 June, 2015; originally announced June 2015.

Comments: 14 pages, correction to Theorem 4.1, added countability assumption, typos corrected

Report number: CPH-SYM-DNRF92 MSC Class: 20J05; 20J06

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

Geometric dimension of lattices in classical simple Lie groups

Authors: Javier Aramayona, Dieter Degrijse, Conchita Martinez-Perez, Juan Souto

Abstract: We prove that if $Γ$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $Γ$-equivariantly homotopy equivalent to a proper cocompact $Γ$-CW complex of dimension the virtual cohomological dimension of $Γ$. We prove that if $Γ$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $Γ$-equivariantly homotopy equivalent to a proper cocompact $Γ$-CW complex of dimension the virtual cohomological dimension of $Γ$. △ Less

Submitted 10 April, 2015; originally announced April 2015.

Comments: 43 pages

Report number: CPH-SYM-DNRF92

Classifying spaces with virtually cyclic stabilizers for linear groups

Authors: Dieter Degrijse, Ralf Köhl, Nansen Petrosyan

Abstract: We show that every discrete subgroup of $\mathrm{GL}(n,\mathbb{R})$ admits a finite dimensional classifying space with virtually cyclic stabilizers. Applying our methods to $\mathrm{SL}(3,\mathbb{Z})$, we obtain a four dimensional classifying space with virtually cyclic stabilizers and a decomposition of the algebraic $K$-theory of its group ring. We show that every discrete subgroup of $\mathrm{GL}(n,\mathbb{R})$ admits a finite dimensional classifying space with virtually cyclic stabilizers. Applying our methods to $\mathrm{SL}(3,\mathbb{Z})$, we obtain a four dimensional classifying space with virtually cyclic stabilizers and a decomposition of the algebraic $K$-theory of its group ring. △ Less

Submitted 19 February, 2014; originally announced February 2014.

Comments: 12 pages

Report number: CPH-SYM-DNRF92

Dimension invariants for groups admitting a cocompact model for proper actions

Authors: Dieter Degrijse, Conchita Martinez-Perez

Abstract: Let $G$ be a group that admits a cocompact classifying space for proper actions $X$. We derive a formula for the Bredon cohomological dimension for proper actions of $G$ in terms of the relative cohomology with compact support of certain pairs of subcomplexes of $X$. We use this formula to compute the Bredon cohomological dimension for proper actions of fundamental groups of non-positively curved… ▽ More Let $G$ be a group that admits a cocompact classifying space for proper actions $X$. We derive a formula for the Bredon cohomological dimension for proper actions of $G$ in terms of the relative cohomology with compact support of certain pairs of subcomplexes of $X$. We use this formula to compute the Bredon cohomological dimension for proper actions of fundamental groups of non-positively curved simple complexes of finite groups. As an application we show that if a virtually torsion-free group acts properly and chamber transitively on a building, its virtual cohomological dimension coincides with its Bredon cohomological dimension. This covers the case of Coxeter groups and graph products of finite groups. △ Less

Submitted 26 November, 2013; v1 submitted 25 November, 2013; originally announced November 2013.

Comments: results on relative cohomological dimension added, 18 pages

Report number: CPH-SYM-DNRF92

Bredon cohomological dimensions for proper actions and Mackey functors

Authors: Dieter Degrijse

Abstract: For groups with a uniform bound on the length of chains of finite subgroups, we study the relationship between the Bredon cohomological dimension for proper actions and the notions of cohomological dimension one obtains by restricting the coefficients of Bredon cohomology to (cohomological) Mackey functors or fixed point functors. We also investigate the closure properties of the class of groups w… ▽ More For groups with a uniform bound on the length of chains of finite subgroups, we study the relationship between the Bredon cohomological dimension for proper actions and the notions of cohomological dimension one obtains by restricting the coefficients of Bredon cohomology to (cohomological) Mackey functors or fixed point functors. We also investigate the closure properties of the class of groups with finite Bredon cohomological dimension for Mackey functors. △ Less

Submitted 6 May, 2013; originally announced May 2013.

Comments: 33 pages

MSC Class: 20J05 (primary); 18G; 55N25 (secondary)

Bredon cohomological dimensions for groups acting on CAT(0)-spaces

Authors: Dieter Degrijse, Nansen Petrosyan

Abstract: Let G be a group acting isometrically with discrete orbits on a separable complete CAT(0)-space of bounded topological dimension. Under certain conditions, we give upper bounds for the Bredon cohomological dimension of G for the families of finite and virtually cyclic subgroups. As an application, we prove that the mapping class group of any closed, connected, and orientable surface of genus g gre… ▽ More Let G be a group acting isometrically with discrete orbits on a separable complete CAT(0)-space of bounded topological dimension. Under certain conditions, we give upper bounds for the Bredon cohomological dimension of G for the families of finite and virtually cyclic subgroups. As an application, we prove that the mapping class group of any closed, connected, and orientable surface of genus g greater than 1 admits a (9g-8)-dimensional classifying space with virtually cyclic stabilizers. In addition, our results apply to fundamental groups of graphs of groups and groups acting on Euclidean buildings. In particular, we show that all finitely generated linear groups of positive characteristic have a finite dimensional classifying space for proper actions and a finite dimensional classifying space for the family of virtually cyclic subgroups. We also show that every generalized Baumslag-Solitar group has a 3-dimensional model for the classifying space with virtually cyclic stabilizers. △ Less

Submitted 19 August, 2012; originally announced August 2012.

Comments: 28 pages

MSC Class: 20J05; 20F65

Geometric dimension of groups for the family of virtually cyclic subgroups

Authors: Dieter Degrijse, Nansen Petrosyan

Abstract: By studying commensurators of virtually cyclic groups, we prove that every elementary amenable group of finite Hirsch length h and cardinality aleph-n admits a finite dimensional classifying space with virtually cyclic stabilizers of dimension n+h+2. We also provide a criterion for groups that fit into an extension with torsion-free quotient to admit a finite dimensional classifying space with vir… ▽ More By studying commensurators of virtually cyclic groups, we prove that every elementary amenable group of finite Hirsch length h and cardinality aleph-n admits a finite dimensional classifying space with virtually cyclic stabilizers of dimension n+h+2. We also provide a criterion for groups that fit into an extension with torsion-free quotient to admit a finite dimensional classifying space with virtually cyclic stabilizers. Finally, we exhibit examples of integral linear groups of type F whose geometric dimension for the family of virtually cyclic subgroups is finite but arbitrarily larger than the geometric dimension for proper actions. This answers a question posed by W. Lueck. △ Less

Submitted 5 June, 2012; v1 submitted 16 April, 2012; originally announced April 2012.

Comments: Theorem C and its application Example 6.5 were added, 36 pages

MSC Class: 20J05; 20F65

Commensurators and classifying spaces with virtually cyclic stabilizers

Authors: Dieter Degrijse, Nansen Petrosyan

Abstract: By examining commensurators of virtually cyclic groups, we show that for each natural number n, any locally finite-by-virtually cyclic group of cardinality aleph_n admits a finite dimensional classifying space with virtually cyclic stabilizers of dimension n+3. As a corollary, we prove that every elementary amenable group of finite Hirsch length and cardinality aleph_n admits a finite dimensional… ▽ More By examining commensurators of virtually cyclic groups, we show that for each natural number n, any locally finite-by-virtually cyclic group of cardinality aleph_n admits a finite dimensional classifying space with virtually cyclic stabilizers of dimension n+3. As a corollary, we prove that every elementary amenable group of finite Hirsch length and cardinality aleph_n admits a finite dimensional classifying space with virtually cyclic stabilizers. △ Less

Submitted 31 August, 2011; originally announced August 2011.

Comments: 12 pages

MSC Class: 20F65

F-structures and Bredon-Galois cohomology

Authors: Dieter Degrijse, Nansen Petrosyan

Abstract: Let F be an arbitrary family of subgroups of a group G and let Orb be the associated orbit category. We investigate interpretations of low dimensional F-Bredon cohomology of G in terms of abelian extensions of Orb. Specializing to fixed point functors as coefficients, we derive several group theoretic applications and introduce Bredon-Galois cohomology. We prove an analog of Hilbert's Theorem 90 a… ▽ More Let F be an arbitrary family of subgroups of a group G and let Orb be the associated orbit category. We investigate interpretations of low dimensional F-Bredon cohomology of G in terms of abelian extensions of Orb. Specializing to fixed point functors as coefficients, we derive several group theoretic applications and introduce Bredon-Galois cohomology. We prove an analog of Hilbert's Theorem 90 and show that the second Bredon-Galois cohomology is a certain intersection of relative Brauer groups. As applications, we realize the relative Brauer group Br(L/K) of a finite separable non-normal extension of fields L/K as a second Bredon cohomology group and show that this approach is quite suitable for finding nonzero elements in Br(L/K). △ Less

Submitted 10 April, 2011; originally announced April 2011.

Comments: 39 pages

MSC Class: 18G60; 55N99; 11R34

On a filtration of the second cohomology of nilpotent Lie algebras

Authors: Dieter Degrijse

Abstract: We study a known filtration of the second cohomology of a finite dimensional nilpotent Lie algebra $\mathfrak{g}$ with coefficients in a finite dimensional nilpotent $\mathfrak{g}$-module $M$, that is based upon a refinement of the correspondence between $\mathrm{H}^2(\mathfrak{g},M)$ and equivalence classes of abelian extensions of $\mathfrak{g}$ by $M$. We give a different characterization of th… ▽ More We study a known filtration of the second cohomology of a finite dimensional nilpotent Lie algebra $\mathfrak{g}$ with coefficients in a finite dimensional nilpotent $\mathfrak{g}$-module $M$, that is based upon a refinement of the correspondence between $\mathrm{H}^2(\mathfrak{g},M)$ and equivalence classes of abelian extensions of $\mathfrak{g}$ by $M$. We give a different characterization of this filtration and as a corollary, we obtain an expression for the second Betti number of $\mathfrak{g}$. Using this expression, we find bounds for the second Betti number and derive a cohomological criterium for the existence of certain central extensions of $\mathfrak{g}$. △ Less

Submitted 9 March, 2011; v1 submitted 29 July, 2010; originally announced July 2010.

Comments: 20 pages

MSC Class: 17B56

Journal ref: Journal of Lie Theory 23(2) (2013), 551-573

Characteristic classes for cohomology of split Hopf algebra extensions

Authors: Dieter Degrijse, Nansen Petrosyan

Abstract: We introduce characteristic classes for the spectral sequence associated to a split short exact sequence of Hopf algebras. We show that these characteristic classes can be seen as obstructions for the vanishing of differentials in the spectral sequence and prove a decomposition theorem. We also interpret our results in the settings of group and Lie algebra extensions and prove some interesting cor… ▽ More We introduce characteristic classes for the spectral sequence associated to a split short exact sequence of Hopf algebras. We show that these characteristic classes can be seen as obstructions for the vanishing of differentials in the spectral sequence and prove a decomposition theorem. We also interpret our results in the settings of group and Lie algebra extensions and prove some interesting corollaries concerning the collapse of the (Lyndon-)Hochschild-Serre spectral sequence and the order of characteristic classes. △ Less

Submitted 9 March, 2011; v1 submitted 30 January, 2010; originally announced February 2010.

Comments: 22 pages

MSC Class: 55T99 (Primary) 17B56; 20J06 (Secondary)

Journal ref: Journal of Algebra, Volume 332, Issue 1, 15 April 2011, Pages 366-385

On cohomology of split Lie algebra extensions

Authors: Dieter Degrijse, Nansen Petrosyan

Abstract: We introduce the notion of compatible actions in the context of split extensions of finite dimensional Lie algebras over a field. Using compatible actions, we construct a new resolution to compute the cohomology of semi-direct products of Lie algebras. We also give an alternative way to construct the Hochschild-Serre spectral sequence associated to a split extension of finite dimensional Lie algeb… ▽ More We introduce the notion of compatible actions in the context of split extensions of finite dimensional Lie algebras over a field. Using compatible actions, we construct a new resolution to compute the cohomology of semi-direct products of Lie algebras. We also give an alternative way to construct the Hochschild-Serre spectral sequence associated to a split extension of finite dimensional Lie algebras and obtain a sharper bound for the length of this spectral sequence. △ Less

Submitted 22 June, 2011; v1 submitted 3 November, 2009; originally announced November 2009.

Comments: 21 pages

MSC Class: 17B56 (Primary); 18G60; 18G40 (Secondary)

Journal ref: Journal of Lie Theory, 22 (1) (2012), 1-15