Showing 1–37 of 37 results for author: Kasprowski, D

Stable equivalence relations on 4-manifolds

Authors: Daniel Kasprowski, John Nicholson, Simona Veselá

Abstract: Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to study various stable equivalence relations which we compare to stable diffeomorphism. Most importantly, we consider homotopy equivalence up to stabilisation wi… ▽ More Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to study various stable equivalence relations which we compare to stable diffeomorphism. Most importantly, we consider homotopy equivalence up to stabilisation with copies of $S^2 \times S^2$. As an application, we show that closed oriented homotopy equivalent 4-manifolds with abelian fundamental group are stably diffeomorphic. We give analogues of the cancellation theorems of Hambleton--Kreck for stable homeomorphism for homotopy up to stabilisations. Finally, we give a complete algebraic obstruction to the existence of closed smooth 4-manifolds which are homotopy equivalent but not simple homotopy equivalent up to connected sum with $S^2 \times S^2$. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: 25 pages

MSC Class: 57K40; 57N65; 57Q10; 57R67; 19J25

Immersions of punctured 4-manifolds

Authors: Michael Freedman, Daniel Kasprowski, Matthias Kreck, Alan W. Reid, Peter Teichner

Abstract: Motivated by applications to pulling back quantum cellular automata from one manifold to another, we study the existence of immersions between certain smooth 4-manifolds. We show that they lead to a very interesting partial order on closed 4-manifolds. Motivated by applications to pulling back quantum cellular automata from one manifold to another, we study the existence of immersions between certain smooth 4-manifolds. We show that they lead to a very interesting partial order on closed 4-manifolds. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Comments: 43 pages, with an appendix by Alan W. Reid

Report number: MPIM-Bonn-2022

Gluck twists on concordant or homotopic spheres

Authors: Daniel Kasprowski, Mark Powell, Arunima Ray

Abstract: Let $M$ be a compact $4$-manifold and let $S$ and $T$ be embedded $2$-spheres in $M$, both with trivial normal bundle. We write $M_S$ and $M_T$ for the $4$-manifolds obtained by the Gluck twist operation on $M$ along $S$ and $T$ respectively. We show that if $S$ and $T$ are concordant, then $M_S$ and $M_T$ are $s$-cobordant, and so if $π_1(M)$ is good, then $M_S$ and $M_T$ are homeomorphic. Simila… ▽ More Let $M$ be a compact $4$-manifold and let $S$ and $T$ be embedded $2$-spheres in $M$, both with trivial normal bundle. We write $M_S$ and $M_T$ for the $4$-manifolds obtained by the Gluck twist operation on $M$ along $S$ and $T$ respectively. We show that if $S$ and $T$ are concordant, then $M_S$ and $M_T$ are $s$-cobordant, and so if $π_1(M)$ is good, then $M_S$ and $M_T$ are homeomorphic. Similarly, if $S$ and $T$ are homotopic then we show that $M_S$ and $M_T$ are simple homotopy equivalent. Under some further assumptions, we deduce that $M_S$ and $M_T$ are homeomorphic. We show that additional assumptions are necessary by giving an example where $S$ and $T$ are homotopic but $M_S$ and $M_T$ are not homeomorphic. We also give an example where $S$ and $T$ are homotopic and $M_S$ and $M_T$ are homeomorphic but not diffeomorphic. △ Less

Submitted 12 April, 2023; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 14 pages, 1 figure, 1 table; v2: some typos corrected; v3: minor changes following a referee report, to appear in Mathematical Research Letters

Report number: MPIM-Bonn-2022 MSC Class: 57K40; 57N70; 57R80

Counterexamples in 4-manifold topology

Authors: Daniel Kasprowski, Mark Powell, Arunima Ray

Abstract: We illustrate the rich landscape of 4-manifold topology through the lens of counterexamples. We consider several of the most commonly studied equivalence relations on 4-manifolds and how they are related to one another. We explain implications e.g. that $h$-cobordant manifolds are stably homeomorphic, and we provide examples illustrating the failure of other potential implications. The information… ▽ More We illustrate the rich landscape of 4-manifold topology through the lens of counterexamples. We consider several of the most commonly studied equivalence relations on 4-manifolds and how they are related to one another. We explain implications e.g. that $h$-cobordant manifolds are stably homeomorphic, and we provide examples illustrating the failure of other potential implications. The information is conveniently organised in a flowchart and a table. △ Less

Submitted 23 April, 2023; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: 37 pages, 4 figures, 1 table; in v2, we have made several changes in response to a referee report, including writing a more detailed introduction, adding more details about the surgery exact sequence, uniformising the structure of the subsections describing counterexamples, and adding Proposition 5.6. This is the version published in EMS Surveys

Report number: MPIM-Bonn-2022 MSC Class: 57K40

Journal ref: EMS Surv. Math. Sci. 9 (2022), no. 1, 193-249

Embedding surfaces in 4-manifolds

Authors: Daniel Kasprowski, Mark Powell, Arunima Ray, Peter Teichner

Abstract: We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a combinatorial formula for its computation. For this we introduce the notion of band characteristic surfaces. We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a combinatorial formula for its computation. For this we introduce the notion of band characteristic surfaces. △ Less

Submitted 12 April, 2023; v1 submitted 11 January, 2022; originally announced January 2022.

Comments: 56 pages, 20 figures; in v2, we have added a new section (Section 1.5) containing applications to knot theory; v3: several minor changes and corrections following a referee report, to appear in Geometry & Topology

Report number: MPIM-Bonn-2022 MSC Class: 57K40; 57N35

On the Farrell-Jones conjecture for localising invariants

Authors: Ulrich Bunke, Daniel Kasprowski, Christoph Winges

Abstract: We show the Farrell-Jones conjecture with coefficients in left-exact $\infty$-categories for finitely $\mathcal{F}$-amenable groups and, more generally, Dress-Farrell-Hsiang-Jones groups. Our result subsumes and unifies arguments for the K-theory of additive categories and spherical group rings and extends it for example to categories of perfect modules over $\mathbb{E}_{1}$-ring spectra. We show the Farrell-Jones conjecture with coefficients in left-exact $\infty$-categories for finitely $\mathcal{F}$-amenable groups and, more generally, Dress-Farrell-Hsiang-Jones groups. Our result subsumes and unifies arguments for the K-theory of additive categories and spherical group rings and extends it for example to categories of perfect modules over $\mathbb{E}_{1}$-ring spectra. △ Less

Submitted 21 December, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 133 pages; minor changes following a referee report

The Kervaire-Milnor invariant in the stable classification of spin 4-manifolds

Authors: Daniel Kasprowski, Mark Powell, Peter Teichner

Abstract: We consider the role of the Kervaire-Milnor invariant in the classification of closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. This stable classification is detected by a spin bordism group over the classifying space $Bπ$ of the fundamental group. Part of the computation of this bordism group via an Atiyah-Hirzebruch spectral sequence is d… ▽ More We consider the role of the Kervaire-Milnor invariant in the classification of closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. This stable classification is detected by a spin bordism group over the classifying space $Bπ$ of the fundamental group. Part of the computation of this bordism group via an Atiyah-Hirzebruch spectral sequence is determined by a collection of codimension two Arf invariants. We show that these Arf invariants can be computed by the Kervaire-Milnor invariant evaluated on certain elements of $π_2$. In particular this yields a new stable classification of spin 4-manifolds with 2-dimensional fundamental groups. △ Less

Submitted 19 October, 2021; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 17 pages, 2 figures. This paper has been extracted from arXiv:2006.06127 in order to highlight these results and to shorten that article, a new version of which will appear shortly

Report number: MPIM-Bonn-2021 MSC Class: 57K40

Homotopy classification of 4-manifolds whose fundamental group is dihedral

Authors: Daniel Kasprowski, John Nicholson, Benjamin Ruppik

Abstract: We show that the homotopy type of a finite oriented Poincaré 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and Bauer, this applies in the case of smooth oriented 4-manifolds whose fundamental group is a finite subgroup of SO(3). An important class of examples are elliptic su… ▽ More We show that the homotopy type of a finite oriented Poincaré 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and Bauer, this applies in the case of smooth oriented 4-manifolds whose fundamental group is a finite subgroup of SO(3). An important class of examples are elliptic surfaces with finite fundamental group. △ Less

Submitted 15 July, 2021; v1 submitted 6 November, 2020; originally announced November 2020.

Comments: 23 pages. Final version, to appear in Algebraic & Geometric Topology

Report number: MPIM-Bonn-2020 MSC Class: 57K40; 16E05; 57N65; 57P10

Journal ref: Algebr. Geom. Topol. 22 (2022) 2915-2949

Topological 4-manifolds with 4-dimensional fundamental group

Authors: Daniel Kasprowski, Markus Land

Abstract: 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 i… ▽ More 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. △ Less

Submitted 28 June, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: Results are generalized to the non-orientable case, to appear in Glasgow Math. J., 8 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57K40; 57N65

Journal ref: Glasgow Math. J. 64 (2022), no. 2, 454-461

Algebraic criteria for stable diffeomorphism of spin 4-manifolds

Authors: Daniel Kasprowski, Mark Powell, Peter Teichner

Abstract: We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature lead to a complete stable classification. The primary obstruction exactly detects $\mathbb{CP}^2$-stable diffeomorphism and was previously related to algebraic inv… ▽ More We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature lead to a complete stable classification. The primary obstruction exactly detects $\mathbb{CP}^2$-stable diffeomorphism and was previously related to algebraic invariants by Kreck and the authors. In this article we formulate conjectural relationships of the secondary and tertiary obstructions with algebraic invariants: the secondary obstruction should be determined by the (stable) equivariant intersection form and the tertiary obstruction via a $τ$-invariant recording intersection data between 2-spheres, with trivial algebraic self-intersection, and their Whitney discs. We prove our conjectures for the following classes of fundamental groups: groups of cohomological dimension at most 3, right-angled Artin groups, abelian groups, and finite groups with quaternion or abelian 2-Sylow subgroups. We apply our theory to give a complete algebraic stable classification of spin $4$-manifolds with fundamental group $\mathbb{Z} \times \mathbb{Z}/2$. △ Less

Submitted 6 June, 2024; v1 submitted 10 June, 2020; originally announced June 2020.

Comments: 102 pages. Version 2: Some results on the Kervaire-Milnor invariant have been extracted to create arXiv:2105.12153. A new Chapter 7 gives an application of our theory. Version 3: Changes following a referee report. Accepted for publication in Memoirs of the American Mathematical Society

Report number: MPIM-Bonn-2021 MSC Class: 57K40

Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

Authors: Daniel Kasprowski, Mark Powell, Benjamin Ruppik

Abstract: We show that for an oriented 4-dimensional Poincaré complex with finite fundamental group, whose 2-Sylow subgroup is abelian with at most 2 generators, the homotopy type is determined by its quadratic 2-type. We show that for an oriented 4-dimensional Poincaré complex with finite fundamental group, whose 2-Sylow subgroup is abelian with at most 2 generators, the homotopy type is determined by its quadratic 2-type. △ Less

Submitted 6 June, 2024; v1 submitted 1 May, 2020; originally announced May 2020.

Comments: 17 pages. Minor changes following a referee report. To appear in Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: 57K40; 57N65; 57P10; 55Q15

Controlled objects in left-exact $\infty$-categories and the Novikov conjecture

Authors: Ulrich Bunke, Denis-Charles Cisinski, Daniel Kasprowski, Christoph Winges

Abstract: We associate to every $G$-bornological coarse space $X$ and every left-exact $\infty$-category with $G$-action a left-exact infinity-category of equivariant $X$-controlled objects. Postcomposing with algebraic K-theory leads to {new} equivariant coarse homology theories. This allows us to apply the injectivity results for assembly maps by Bunke, Engel, Kasprowski and Winges to the algebraic K-theo… ▽ More We associate to every $G$-bornological coarse space $X$ and every left-exact $\infty$-category with $G$-action a left-exact infinity-category of equivariant $X$-controlled objects. Postcomposing with algebraic K-theory leads to {new} equivariant coarse homology theories. This allows us to apply the injectivity results for assembly maps by Bunke, Engel, Kasprowski and Winges to the algebraic K-theory of left-exact $\infty$-categories. △ Less

Submitted 13 March, 2024; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: 136 p revised version

Topologically flat embedded 2-spheres in specific simply connected 4-manifolds

Authors: Daniel Kasprowski, Peter Lambert-Cole, Markus Land, Ana G. Lecuona

Abstract: In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres. In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Comments: 5 pages

Journal ref: 2019-20 MATRIX Annals, MATRIX Book Ser. 4 (2021), 111-116

Connected sum decompositions of high-dimensional manifolds

Authors: Imre Bokor, Diarmuid Crowley, Stefan Friedl, Fabian Hebestreit, Daniel Kasprowski, Markus Land, Johnny Nicholson

Abstract: 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. 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. △ Less

Submitted 7 September, 2020; v1 submitted 5 September, 2019; originally announced September 2019.

Comments: 25 pages, fixed several minor mistakes, final version

Journal ref: 2019-20 MATRIX Annals, MATRIX Book Ser. 4 (2021), 5-30

$\mathbb{CP}^2$-stable classification of $4$-manifolds with finite fundamental group

Authors: Daniel Kasprowski, Peter Teichner

Abstract: We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees. We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees. △ Less

Submitted 1 December, 2020; v1 submitted 27 July, 2019; originally announced July 2019.

Comments: 16 pages, minor changes following a referee report, to appear in Pacific Journal of Math

MSC Class: 57N13

Journal ref: Pacific J. Math. 310 (2021) 355-373

K- and L-theory of graph products of groups

Authors: Daniel Kasprowski, Kevin Li, Wolfgang Lück

Abstract: 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. 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. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Comments: 32 pages

MSC Class: 18F25; 20F36; 20F55

Journal ref: Groups Geom. Dyn. 15 (2021), no. 1, 269-311

Split injectivity of A-theoretic assembly maps

Authors: Ulrich Bunke, Daniel Kasprowski, Christoph Winges

Abstract: 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. 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. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Comments: 41 pages

Journal ref: Int. Math. Res. Not. 2021 (2021), no. 2, 885-947

$K_1$-groups via binary complexes of fixed length

Authors: Daniel Kasprowski, Bernhard Köck, Christoph Winges

Abstract: 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. 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. △ Less

Submitted 15 July, 2019; v1 submitted 27 November, 2018; originally announced November 2018.

Comments: 10 pages, minor changes following a referee report, to appear in HHA

MSC Class: Primary 19D06; Secondary 18E10; 19B99

Journal ref: Homology Homotopy Appl. 22 (2020), no. 1, 203-213

Homotopy theory with marked additive categories

Authors: Ulrich Bunke, Alexander Engel, Daniel Kasprowski, Christoph Winges

Abstract: 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 res… ▽ More 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. △ Less

Submitted 9 November, 2018; originally announced November 2018.

Comments: 44 pages

Journal ref: Theory Appl. Categ. 35 (2020), no. 13, 371-416

Coarse embeddings into products of trees

Authors: Daniel Kasprowski

Abstract: We give a short and elementary proof of the fact that every metric space of finite asymptotic dimension can be embedded into a finite product of trees. We give a short and elementary proof of the fact that every metric space of finite asymptotic dimension can be embedded into a finite product of trees. △ Less

Submitted 14 April, 2020; v1 submitted 31 October, 2018; originally announced October 2018.

Comments: 4 pages; mistake in the proof of Lemma 6 fixed and some typos corrected; to appear in Kyoto Journal of Mathematics

Journal ref: Kyoto J. Math. 62, no. 1 (2022), 225-229

Injectivity results for coarse homology theories

Authors: Ulrich Bunke, Alexander Engel, Daniel Kasprowski, Christoph Winges

Abstract: 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. 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. △ Less

Submitted 15 July, 2020; v1 submitted 28 September, 2018; originally announced September 2018.

Comments: 81 pages; several minor changes and corrections following a referee report; to appear in Proc. LMS

Journal ref: Proc. London Math. Soc. 121 (2020), no. 6, 1619-1684

Transfers in coarse homology

Authors: Ulrich Bunke, Alexander Engel, Daniel Kasprowski, Christoph Winges

Abstract: 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 coar… ▽ More 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. △ Less

Submitted 21 September, 2018; originally announced September 2018.

Comments: 73 pages

Journal ref: Münster J. Math. 13 (2020), 353-424

Algebraic K-theory of stable $\infty$-categories via binary complexes

Authors: Daniel Kasprowski, Christoph Winges

Abstract: We adapt Grayson's model of higher algebraic $K$-theory using binary acyclic complexes to the setting of stable $\infty$-categories. As an application, we prove that the $K$-theory of stable $\infty$-categories preserves infinite products. We adapt Grayson's model of higher algebraic $K$-theory using binary acyclic complexes to the setting of stable $\infty$-categories. As an application, we prove that the $K$-theory of stable $\infty$-categories preserves infinite products. △ Less

Submitted 29 January, 2019; v1 submitted 16 May, 2018; originally announced May 2018.

Comments: 20 pages; accepted for publication by the Journal of Topology

MSC Class: 19D99; 18F25

Journal ref: J. Topol. 12 (2019), no. 2, 442-462

Four-manifolds up to connected sum with complex projective planes

Authors: Daniel Kasprowski, Mark Powell, Peter Teichner

Abstract: We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy group. For fundamental groups that are torsion free or have one end, we reduce this further to a classification in terms of the homotopy 2-type. We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy group. For fundamental groups that are torsion free or have one end, we reduce this further to a classification in terms of the homotopy 2-type. △ Less

Submitted 17 August, 2021; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: 37 pages. v2: former sections 5 and 6 rewritten and split into current sections 5, 6, and 7. Accepted for publication in American Journal of Mathematics

MSC Class: 57N13; 57N65

Journal ref: Am. J. Math. 144 (2022), no. 1, 75-118

Coarse homology theories and finite decomposition complexity

Authors: Ulrich Bunke, Alexander Engel, Daniel Kasprowski, Christoph Winges

Abstract: Using the language of coarse homology theories, we provide an axiomatic account of vanishing results for the fibres of forget-control maps associated to spaces with equivariant finite decomposition complexity. Using the language of coarse homology theories, we provide an axiomatic account of vanishing results for the fibres of forget-control maps associated to spaces with equivariant finite decomposition complexity. △ Less

Submitted 19 December, 2017; originally announced December 2017.

Comments: 32 pages

Journal ref: Algebr. Geom. Topol. 19 (2019) 3033-3074

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

Authors: Ulrich Bunke, Alexander Engel, Daniel Kasprowski, Christoph Winges

Abstract: 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 equivari… ▽ More 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. △ Less

Submitted 21 September, 2018; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: 110 pages, minor improvements

Journal ref: K-theory in Algebra, Analysis and Topology, Contemp. Math. 749 (2020), 13-104

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

Authors: Daniel Kasprowski, Christoph Winges

Abstract: 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. 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. △ Less

Submitted 25 May, 2017; originally announced May 2017.

Comments: 23 pages

MSC Class: 19D06 (Primary); 18E10 (Secondary)

Journal ref: Trans. Amer. Math. Soc. Ser. B 7 (2020), 1-23

The A-theoretic Farrell-Jones Conjecture for virtually solvable groups

Authors: Daniel Kasprowski, Mark Ullmann, Christian Wegner, Christoph Winges

Abstract: We prove the A-theoretic Farrell-Jones Conjecture for virtually solvable groups. As a corollary, we obtain that the conjecture holds for S-arithmetic groups and lattices in almost connected Lie groups. We prove the A-theoretic Farrell-Jones Conjecture for virtually solvable groups. As a corollary, we obtain that the conjecture holds for S-arithmetic groups and lattices in almost connected Lie groups. △ Less

Submitted 11 October, 2016; v1 submitted 23 September, 2016; originally announced September 2016.

Comments: 10 pages; added remark about related work of Farrell and Wu; updated author addresses. arXiv admin note: text overlap with arXiv:1607.06395

MSC Class: 19D10

Journal ref: Bull. Lond. Math. Soc. 50, No. 2, 219-228 (2018)

Regular Finite Decomposition Complexity

Authors: Daniel Kasprowski, Andrew Nicas, David Rosenthal

Abstract: 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 Quot… ▽ More 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. △ Less

Submitted 14 December, 2017; v1 submitted 16 August, 2016; originally announced August 2016.

Comments: 29 pages. Final version, containing several minor improvements. To appear in the Journal of Topology and Analysis

Journal ref: J. Topol. Anal. 11 (2019), no. 3, 691-719

The asymptotic dimension of quotients by finite groups

Authors: Daniel Kasprowski

Abstract: Let $X$ be a proper metric space and let $F$ be a finite group acting on $X$ by isometries. We show that the asymptotic dimension of $F\backslash X$ is the same as the asymptotic dimension of $X$. Let $X$ be a proper metric space and let $F$ be a finite group acting on $X$ by isometries. We show that the asymptotic dimension of $F\backslash X$ is the same as the asymptotic dimension of $X$. △ Less

Submitted 14 May, 2016; originally announced May 2016.

Comments: 7 pages

Journal ref: Proc. Amer. Math. Soc. 145 (2017), 2383-2389

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

Authors: Daniel Kasprowski, Markus Land, Mark Powell, Peter Teichner

Abstract: 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. 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. △ Less

Submitted 15 June, 2017; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: 55 pages, 2 figures

MSC Class: 57N13; 57N70

Journal ref: Journal of Topology 10 (2017), no. 3, 827-881

The Farrell-Jones conjecture for hyperbolic and CAT(0)-groups revisited

Authors: Daniel Kasprowski, Henrik Rue**

Abstract: We generalize the proof of the Farrell-Jones conjecture for CAT(0)-groups to a larger class of groups in particular also containing all hyperbolic groups. This way we give a unified proof for both classes of groups. We generalize the proof of the Farrell-Jones conjecture for CAT(0)-groups to a larger class of groups in particular also containing all hyperbolic groups. This way we give a unified proof for both classes of groups. △ Less

Submitted 30 March, 2016; v1 submitted 12 September, 2015; originally announced September 2015.

Comments: 17 pages

MSC Class: 18F25; 20F67

Journal ref: Journal of Topology and Analysis Vol. 09, No. 04, pp. 551-569 (2017)

Long and thin covers for flow spaces

Authors: Daniel Kasprowski, Henrik Rue**

Abstract: 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. 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. △ Less

Submitted 8 August, 2017; v1 submitted 17 February, 2015; originally announced February 2015.

Comments: 22 pages; the title no longer contains the word cocompact, some more changes following a referee report; to appear in Groups, Geometry, and Dynamics

MSC Class: 18F25

Journal ref: Groups Geom. Dyn. 11 (2017), no. 4, 1201-1229

On the K-theory of linear groups

Authors: Daniel Kasprowski

Abstract: We prove that for a finitely generated linear group G over a field of positive characteristic the family of quotients by finite subgroups has finite asymptotic dimension. We use this to show that the K-theoretic assembly map for the family of finite subgroups is split injective for every finitely generated linear group G over a commutative ring with unit under the assumption that G admits a finite… ▽ More We prove that for a finitely generated linear group G over a field of positive characteristic the family of quotients by finite subgroups has finite asymptotic dimension. We use this to show that the K-theoretic assembly map for the family of finite subgroups is split injective for every finitely generated linear group G over a commutative ring with unit under the assumption that G admits a finite-dimensional model for the classifying space for the family of finite subgroups. Furthermore, we prove that this is the case if and only if an upper bound on the rank of the solvable subgroups of G exists. △ Less

Submitted 23 October, 2015; v1 submitted 8 February, 2015; originally announced February 2015.

Comments: 14 pages, to appear in Annals of K-Theory

MSC Class: 18F25; 19A31; 19B28; 19G24

Journal ref: Annals of K-Theory 1 (2016), no. 4, 441-456

On the K-theory of subgroups of virtually connected Lie groups

Authors: Daniel Kasprowski

Abstract: We prove that for every finitely generated subgroup of a virtually connected Lie group which admits a finite dimensional model for the classifying space for proper actions the assembly map in algebraic K-theory is split injective. We also prove a similar statement for algebraic L-theory, which in particular implies the integral Novikov conjecture for such groups. We prove that for every finitely generated subgroup of a virtually connected Lie group which admits a finite dimensional model for the classifying space for proper actions the assembly map in algebraic K-theory is split injective. We also prove a similar statement for algebraic L-theory, which in particular implies the integral Novikov conjecture for such groups. △ Less

Submitted 15 January, 2016; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: 13 pages

MSC Class: 18F25; 19D50; 19G24

Journal ref: Algebraic & Geometric Topology 15-6 (2015), 3467--3483

Shrinking of toroidal decomposition spaces

Authors: Daniel Kasprowski, Mark Powell

Abstract: Given a sequence of oriented links L^1,L^2,L^3,... each of which has a distinguished, unknotted component, there is a decomposition of the 3-sphere naturally associated to it, which is constructed as the components of the intersection of an infinite sequence of nested solid tori. The Bing and Whitehead continua are simple, well known examples. We give a necessary and sufficient criterion to determ… ▽ More Given a sequence of oriented links L^1,L^2,L^3,... each of which has a distinguished, unknotted component, there is a decomposition of the 3-sphere naturally associated to it, which is constructed as the components of the intersection of an infinite sequence of nested solid tori. The Bing and Whitehead continua are simple, well known examples. We give a necessary and sufficient criterion to determine whether such a decomposition is shrinkable, generalising previous work of F. Ancel and M. Starbird and others. This criterion can effectively determine, in many cases, whether the quotient map which identifies the elements of the decomposition to points can be approximated by homeomorphisms. △ Less

Submitted 29 July, 2014; v1 submitted 29 June, 2013; originally announced July 2013.

Comments: 31 pages, 6 figures. To appear in Fundamenta Mathematicae

Journal ref: Fundamenta Mathematicae 227 (2014), 271-296

On the K-theory of groups with Finite Decomposition Complexity

Authors: Daniel Kasprowski

Abstract: It is proved that the assembly map in algebraic K- and L-theory with respect to the family of finite subgroups is injective for groups $Γ$ with finite quotient finite decomposition complexity (a strengthening of finite decomposition complexity introduced by Guentner, Tesser and Yu) that admit a finite dimensional model for $\underbar EΓ$ and have an upper bound on the order of their finite subgrou… ▽ More It is proved that the assembly map in algebraic K- and L-theory with respect to the family of finite subgroups is injective for groups $Γ$ with finite quotient finite decomposition complexity (a strengthening of finite decomposition complexity introduced by Guentner, Tesser and Yu) that admit a finite dimensional model for $\underbar EΓ$ and have an upper bound on the order of their finite subgroups. In particular this applies to finitely generated linear groups over fields with characteristic zero with a finite dimensional model for $\underbar EΓ$. △ Less

Submitted 28 October, 2014; v1 submitted 15 April, 2013; originally announced April 2013.

Comments: 35 pages; Several changes made due to referee report and a simplified definition of Karoubi filtration added; to appear in Proceedings of the London Mathematical Society

MSC Class: 18F25; 19D50 (Primary) 19G24; 20F69 (Secondary)

Journal ref: Proc. Lond. Math. Soc. 110 (2015), no. 3, 565-592