Searcharxiv⌕ Search

arXiv subjects

Dieter Degrijse

Publications and source records attributed to Dieter Degrijse.

17 recordsLinked to original sources
arXiv2020

Proper equivariant stable homotopy theory

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.

math.AT↗
arXiv2016

Equivariant vector bundles over classifying spaces for proper actions

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.

math.AT↗
arXiv2016

Stable finiteness properties of infinite discrete groups

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.

math.AT↗
arXiv2016

Dimension invariants of outer automorphism groups

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$.

math.GR↗
arXiv2014

Classifying spaces with virtually cyclic stabilizers for linear groups

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.

math.GR↗
arXiv2013

Dimension invariants for groups admitting a cocompact model for proper actions

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.

math.AT↗
arXiv2013

Bredon cohomological dimensions for proper actions and Mackey functors

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.

math.AT↗
arXiv2012

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

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.

math.GR↗
arXiv2012

Geometric dimension of groups for the family of virtually cyclic subgroups

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.

math.GR↗
arXiv2011

Commensurators and classifying spaces with virtually cyclic stabilizers

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.

math.AT↗
arXiv2011

On cohomology of split Lie algebra extensions

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.

math.AT↗
arXiv2011

F-structures and Bredon-Galois cohomology

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).

math.AT↗
arXiv2011

Characteristic classes for cohomology of split Hopf algebra extensions

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.

math.AT↗
arXiv2011

On a filtration of the second cohomology of nilpotent Lie algebras

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}$.

math.RA↗