pdf-File - Hausdorff Research Institute for Mathematics
pdf-File - Hausdorff Research Institute for Mathematics
pdf-File - Hausdorff Research Institute for Mathematics
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
• “A cocompletion theorem in K-theory <strong>for</strong> proper actions of adiscrete group”This refers to a paper joint with Michael Joachim [22] Let G be a discretegroup. We give methods to compute <strong>for</strong> a generalized (co-)homologytheory its values on the Borel construction EG × G X of a proper G-CW -complex X satisfying certain finiteness conditions. In particular wegive <strong>for</strong>mulas computing the topological K-(co)homology K ∗ (BG) andK ∗ (BG) up to finite abelian torsion groups. They apply <strong>for</strong> instance toarithmetic groups, word hyperbolic groups, mapping class groups and discretecocompact subgroups of almost connected Lie groups. For finitegroups G these <strong>for</strong>mulas are sharp. The main new tools we use <strong>for</strong> theK-theory calculation are a Cocompletion Theorem and Equivariant UniversalCoefficient Theorems which are of independent interest. In the casewhere G is a finite group these theorems reduce to well-known results ofGreenlees and Bökstedt. The cocompletion Theorem is obtained by dualizingthe equivariant version of the Atiyah-Segal completion theorem <strong>for</strong>proper actions of an infinite discrete group G in [62, 63].• “Waldhausen Additivity: Classical and Quasicategorical”Fiore and Lück [19] give a short proof of classical Waldhausen Additivity,and then prove Waldhausen Additivity <strong>for</strong> an ∞-version of WaldhausenK-theory. Namely, we prove that Waldhausen K-theory sends a splitexactsequence of Waldhausen quasicategories A → E → () to a stableequivalence of spectra K(E) → K(A) ∨ K(()) under a few mild hypotheses.For example, each cofiber sequence in A of the <strong>for</strong>m A 0 → A 1 → ∗is required to have the first map an equivalence. Model structures, presentability,and stability are not needed. In an ef<strong>for</strong>t to make the articleself-contained, we provide many details in our proofs, recall all the prerequisitesfrom the theory of quasicategories, and prove some of those aswell. For instance, we develop the expected facts about (weak) adjunctionsbetween quasicategories and (weak) adjunctions between simplicialcategories.• “Equivariant principal bundles and their classifying spaces”In the paper [76] Uribe and I consider Γ-equivariant principal G-bundlesover proper Γ-CW -complexes with prescribed family of local representations.We construct and analyze their classifying spaces <strong>for</strong> locally compact,second countable topological groups with finite covering dimensionΓ and G such that G almost connected.14 Survey articlesWe mention the following survey articles: [15, 42, 43, 45, 46, 51, 53, 54,56, 57, 67].8