Searcharxiv⌕ Search

arXiv subjects

Daniel Kasprowski

Publications and source records attributed to Daniel Kasprowski.

At least 37 records · Page 2Linked to original sources
arXiv2021

Topological 4-manifolds with 4-dimensional fundamental group

Let $π$ be a group satisfying the Farrell-Jones conjecture and assume that $Bπ$ is a 4-dimensional Poincaré duality space. We consider topological, closed, connected manifolds with fundamental group $π$ whose canonical map to $Bπ$ has degree 1 and show that two such manifolds are s-cobordant if and only if their equivariant intersection forms are isometric and they have the same Kirby-Siebenmann invariant. If $π$ is good in the sense of Freedman, it follows that two such manifolds are homeomorphic if and only if they are homotopy equivalent and have the same Kirby--Siebenmann invariant. This shows rigidity in many cases that lie between aspherical 4-manifolds, where rigidity is expected by Borel's conjecture, and simply connected manifolds where rigidity is a consequence of Freedman's classification results.

math.GT↗
arXiv2020

Connected sum decompositions of high-dimensional manifolds

The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.

math.GT↗
arXiv2020

Injectivity results for coarse homology theories

We show injectivity results for assembly maps using equivariant coarse homology theories with transfers. Our method is based on the descent principle and applies to a large class of linear groups or, more general, groups with finite decomposition complexity.

math.KT↗
arXiv2019

$K_1$-groups via binary complexes of fixed length

We modify Grayson's model of $K_1$ of an exact category to give a presentation whose generators are binary acyclic complexes of length at most $k$ for any given $k \ge 2$. As a corollary, we obtain another, very short proof of the identification of Nenashev's and Grayson's presentations.

math.KT↗
arXiv2019

K- and L-theory of graph products of groups

We compute the group homology, the algebraic $K$- and $L$-groups, and the topological $K$-groups of right-angled Artin groups, right-angled Coxeter groups, and more generally, graph products.

math.KT↗
arXiv2018

Split injectivity of A-theoretic assembly maps

We construct an equivariant coarse homology theory arising from the algebraic $K$-theory of spherical group rings and use this theory to derive split injectivity results for associated assembly maps. On the way, we prove that the fundamental structural theorems for Waldhausen's algebraic $K$-theory functor carry over to its nonconnective counterpart defined by Blumberg--Gepner--Tabuada.

math.KT↗
arXiv2018

Homotopy theory with marked additive categories

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of pre-additive categories. These model category structures are used to present the corresponding $\infty$-categories obtained by inverting equivalences. We apply these results to explicitly calculate various limits and colimits in these $\infty$-categories.

math.AT↗
arXiv2018

Equivariant coarse homotopy theory and coarse algebraic $\boldsymbol{K}$-homology

We study equivariant coarse homology theories through an axiomatic framework. To this end we introduce the category of equivariant bornological coarse spaces and construct the universal equivariant coarse homology theory with values in the category of equivariant coarse motivic spectra. As examples of equivariant coarse homology theories we discuss equivariant coarse ordinary homology and equivariant coarse algebraic $K$-homology. Moreover, we discuss the cone functor, its relation with equivariant homology theories in equivariant topology, and assembly and forget-control maps. This is a preparation for applications in subsequent papers aiming at split-injectivity results for the Farrell-Jones assembly map.

math.KT↗
arXiv2018

Transfers in coarse homology

We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant coarse ordinary homology can be extended to equivariant coarse homology theories with transfers. In the case of a finite group we observe that equivariant coarse homology theories with transfers provide Mackey functors. We express standard constructions with Mackey functors in terms of coarse geometry, and we demonstrate the usage of transfers in order to prove injectivity results about assembly maps.

math.KT↗
arXiv2017

Regular Finite Decomposition Complexity

We introduce the notion of regular finite decomposition complexity of a metric family. This generalizes Gromov's finite asymptotic dimension and is motivated by the concept of finite decomposition complexity (FDC) due to Guentner, Tessera and Yu. Regular finite decomposition complexity implies FDC and has all the permanence properties that are known for FDC, as well as a new one called Finite Quotient Permanence. We show that for a collection containing all metric families with finite asymptotic dimension all other permanence properties follow from Fibering Permanence.

math.MG↗
arXiv2017

Long and thin covers for flow spaces

Long and thin covers of flow spaces are important ingredients in the proof of the Farrell--Jones conjecture for certain classes of groups, like hyperbolic and CAT(0)-groups. In this paper we provide an alternative construction of such covers which holds in a more general setting and simplifies some of the arguments.

math.AT↗
arXiv2017

Stable classification of 4-manifolds with 3-manifold fundamental groups

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invariants that determine the stable classification for spin manifolds in this class.

math.GT↗
arXiv2017

Shortening binary complexes and commutativity of $K$-theory with infinite products

We show that in Grayson's model of higher algebraic $K$-theory using binary acyclic complexes, the complexes of length two suffice to generate the whole group. Moreover, we prove that the comparison map from Nenashev's model for $K_1$ to Grayson's model for $K_1$ is an isomorphism. It follows that algebraic $K$-theory of exact categories commutes with infinite products.

math.KT↗