A well-known question by Gromov asks whether the vanishing of the simplicial volume of oriented closed connected aspherical manifolds implies the vanishing of the Euler characteristic. We study vario
Johnsons characterization of amenable groups states that a discrete group $Gamma$ is amenable if and only if $H_b^{n geq 1}(Gamma; V) = 0$ for all dual normed $mathbb{R}[Gamma]$-modules $V$. In this paper, we extend the previous result to homomorphis
ms by proving the converse of the Mapping Theorem: a surjective homomorphism $phi colon Gamma to K$ has amenable kernel $H$ if and only if the induced inflation map $H^bullet_b(K; V^H) to H^bullet_b(Gamma; V)$ is an isometric isomorphism for every dual normed $mathbb{R}[Gamma]$-module $V$. In addition, we obtain an analogous characterization for the (smaller) class of surjective homomorphisms $phi colon Gamma to K$ with the property that the inflation maps in bounded cohomology are isometric isomorphisms for all normed $mathbb{R}[Gamma]$-modules. Finally, we also prove a characterization of the (larger) class of boundedly acyclic homomorphisms $phi colon Gamma to K$, for which the restriction maps in bounded cohomology $H^bullet_b(K; V) to H^bullet_b(Gamma; phi^{-1}V)$ are isomorphisms for suitable dual normed $mathbb{R}[K]$-module $V$. We then extend the first and third results to spaces and obtain characterizations of amenable maps and boundedly acyclic maps in terms of the vanishing of the bounded cohomology of their homotopy fibers with respect to appropriate choices of coefficients.
We discuss an approach to the emph{covering} and emph{vanishing} theorems for the comparison map from bounded cohomology to singular cohomology, based on the observation that the comparison map is the coassembly map for bounded cohomology.
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $infty$-categories -- in particular, these $n$-categories do not admit all small (co)l
imits in general. We also introduce Brown representability for (homotopy) $n$-categories and prove a Brown representability theorem for localizations of compactly generated $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of presentable $infty$-categories if $n geq 2$ and the homotopy $n$-categories of stable presentable $infty$-categories for any $n geq 1$.
For every $infty$-category $mathscr{C}$, there is a homotopy $n$-category $mathrm{h}_n mathscr{C}$ and a canonical functor $gamma_n colon mathscr{C} to mathrm{h}_n mathscr{C}$. We study these higher homotopy categories, especially in connection with
the existence and preservation of (co)limits, by introducing a higher categorical notion of weak colimit. Based on the idea of the homotopy $n$-category, we introduce the notion of an $n$-derivator and study the main examples arising from $infty$-categories. Following the work of Maltsiniotis and Garkusha, we define $K$-theory for $infty$-derivators and prove that the canonical comparison map from the Waldhausen $K$-theory of $mathscr{C}$ to the $K$-theory of the associated $n$-derivator $mathbb{D}_{mathscr{C}}^{(n)}$ is $(n+1)$-connected. We also prove that this comparison map identifies derivator $K$-theory of $infty$-derivators in terms of a universal property. Moreover, using the canonical structure of higher weak pushouts in the homotopy $n$-category, we define also a $K$-theory space $K(mathrm{h}_n mathscr{C}, mathrm{can})$ associated to $mathrm{h}_n mathscr{C}$. We prove that the canonical comparison map from the Waldhausen $K$-theory of $mathscr{C}$ to $K(mathrm{h}_n mathscr{C}, mathrm{can})$ is $n$-connected.
We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$-theory characteristic of such a fiber bundle factors canonically through the assembl
y map of $A$-theory. Furthermore our main result shows a refinement of this statement by providing such a factorization for an extended $A$-theory characteristic, defined on the parametrized topological cobordism category. The proof uses a convenient framework for bivariant theories and recent results of Gomez-Lopez and Kupers on the homotopy type of the topological cobordism category. We conjecture that this lift of the extended $A$-theory characteristic becomes highly connected as the manifold dimension increases.
We show that the Waldhausen trace map $mathrm{Tr}_X colon A(X) to QX_+$, which defines a natural splitting map from the algebraic $K$-theory of spaces to stable homotopy, is natural up to emph{weak} homotopy with respect to transfer maps in algebraic
$K$-theory and Becker-Gottlieb transfer maps respectively.
A devissage--type theorem in algebraic $K$-theory is a statement that identifies the $K$-theory of a Waldhausen category $mathscr{C}$ in terms of the $K$-theories of a collection of Waldhausen subcategories of $mathscr{C}$ when a devissage condition
about the existence of appropriate finite filtrations is satisfied. We distinguish between devissage theorems of emph{single type} and of emph{multiple type} depending on the number of Waldhausen subcategories and their properties. The main representative examples of such theorems are Quillens original devissage theorem for abelian categories (single type) and Waldhausens theorem on spherical objects for more general Waldhausen categories (multiple type). In this paper, we study some general aspects of devissage--type theorems and prove a general devissage theorem of single type and a general devissage theorem of multiple type.
We consider the topological category of $h$-cobordisms between manifolds with boundary and compare its homotopy type with the standard $h$-cobordism space of a compact smooth manifold.
Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $infty$-categories. One of our main results is an $infty$-categorical ge
neralization of Freyds classical General Adjoint Functor Theorem. As an application of this result, we recover Luries adjoint functor theorems for presentable $infty$-categories. We also discuss the comparison between adjunctions of $infty$-categories and homotopy adjunctions, and give a treatment of Brown representability for $infty$-categories based on Hellers purely categorical formulation of the classical Brown representability theorem.
