-
Parametrized scissors congruence $K$-theory of manifolds and cobordism categories
Abstract: We construct a parametrized version of scissors congruence $K$-theory of manifolds, which in particular gives a topologized version of the scissors congruence $K$-theory of oriented manifolds, and we describe this spectrum as mediating between the cobordism category and usual algebraic $K$-theory of spaces. We show that on $π_0$, the scissors congruence $K$-theory of oriented manifolds agrees with… ▽ More
Submitted 2 April, 2025; originally announced April 2025.
Comments: 30 pages. Comments welcome!
-
Scissors congruence K-theory for equivariant manifolds
Abstract: We introduce a scissors congruence $K$-theory spectrum which lifts the equivariant scissors congruence groups for compact $G$-manifolds with boundary, and we show that on $π_0$ this is the source of a spectrum level lift of the Burnside ring valued equivariant Euler characteristic of a compact $G$-manifold. We also show that the equivariant scissors congruence groups for varying subgroups assemble… ▽ More
Submitted 12 January, 2025; originally announced January 2025.
Comments: 20 pages, 1 figure
MSC Class: Primary: 19D55; 19D99; 57R91; Secondary: 19D10; 19A49; 55P91; 55S91
-
Topological $ΔG$ homology of rings with twisted $G$-action
Abstract: We provide a unifying framework for studying variants of topological Hochschild homology such as Real topological Hochschild homology. Associated to a crossed simplicial group $ΔG$, a category that generalizes Connes' cyclic category, we introduce an invariant of rings with twisted $G$-action, which we call topological $ΔG$-homology. Here a ring with twisted $G$-action is a common generalization o… ▽ More
Submitted 19 April, 2025; v1 submitted 26 September, 2024; originally announced September 2024.
Comments: Fixed some broken references
Report number: MPIM-Bonn-2024 MSC Class: 16E40; 55P43; 55P91; 18N60; 55P42
-
arXiv:2310.02852 [pdf, ps, other]
Algebraic $K$-theory for squares categories
Abstract: In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of exact and subtractive categories to satisfy a four-term relat… ▽ More
Submitted 4 October, 2023; originally announced October 2023.
Comments: 28 pages
-
On the functoriality of the space of equivariant smooth $h$-cobordisms
Abstract: We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal U}_{\mathrm{Diff}}(M)$ where the manifolds are stabilized with respect to representation discs. The functor structure is subtle to construct, and relies on several new id… ▽ More
Submitted 21 April, 2025; v1 submitted 26 March, 2023; originally announced March 2023.
Comments: 91 pages. Thorough revision and improved exposition. Notably, the smooth extension and tubular neighborhood results for equivariant manifolds with corners are much more detailed now. We thank a very careful referee for many useful suggestions
-
A trace map on higher scissors congruence groups
Abstract: Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case… ▽ More
Submitted 13 September, 2023; v1 submitted 14 March, 2023; originally announced March 2023.
Comments: 32 pages, 3 figures. Revision of the paper previously entitled "A Farrell--Jones isomorphism for $K$-theory of polyhedra."
-
Deformation retraction of the group of strict contactomorphisms of the three-sphere to the unitary group
Abstract: We prove that the group of strict contactomorphisms of the standard tight contact structure on the three-sphere deformation retracts to its unitary subgroup U(2).
Submitted 22 July, 2022; v1 submitted 19 August, 2021; originally announced August 2021.
Comments: Expanded both content and references. Separated into two parts. Part 1 is a more detailed proof of our new result of the deformation retraction of the group of strict contactomorphisms on the three-sphere. Part 2 gives a self-contained treatment and proofs of existing results scattered among several papers in the literature on the Fréchet bundle structure of the group of strict contactomorphisms
MSC Class: 53A07; 53C12; 53D10; 55R10
-
arXiv:2102.13246 [pdf, ps, other]
Multiplicative equivariant $K$-theory and the Barratt-Priddy-Quillen theorem
Abstract: We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space machine that manufactures orthogonal $G$-spectra from symmetric monoidal $G$-categories. The new machine produces highly structured associative ring and module… ▽ More
Submitted 25 February, 2021; originally announced February 2021.
MSC Class: Primary 19D23; 19L47; 55P48; Secondary 18D20; 18D40; 18M65; 55P91; 55U40
-
arXiv:2001.05563 [pdf, ps, other]
The equivariant parametrized $h$-cobordism theorem, the non-manifold part
Abstract: We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize… ▽ More
Submitted 21 April, 2021; v1 submitted 15 January, 2020; originally announced January 2020.
Comments: Improved exposition, reorganized and slightly expanded arguments in chapter 4
MSC Class: Primary 19D10; 57R80; 57R85; Secondary 55P91; 57R91; 55P42; 55P92; 55N91; 19M05
-
arXiv:2001.00176 [pdf, ps, other]
Cut and paste invariants of manifolds via algebraic K-theory
Abstract: Recent work of Jonathan Campbell and Inna Zakharevich has focused on building machinery for studying scissors congruence problems via algebraic $K$-theory, and applying these tools to studying the Grothendieck ring of varieties. In this paper we give a new application of their framework: we construct a $K$-space that recovers the classical $\mathrm{SK}$ ("schneiden und kleben," German for "cut and… ▽ More
Submitted 5 December, 2021; v1 submitted 1 January, 2020; originally announced January 2020.
Comments: Final version
-
arXiv:1904.05858 [pdf, ps, other]
Coassembly is a homotopy limit map
Abstract: We prove a claim by Williams that the coassembly map is a homotopy limit map. As an application, we show that the homotopy limit map for the coarse version of equivariant $A$-theory agrees with the coassembly map for bivariant $A$-theory that appears in the statement of the topological Riemann-Roch theorem.
Submitted 17 February, 2020; v1 submitted 11 April, 2019; originally announced April 2019.
Comments: Accepted version. Several improvements from the referee, including a more elegant proof of Lemma 3.8
MSC Class: 19D10; 55P91; 55P42
Journal ref: Ann. K-Th. 5 (2020) 373-394
-
arXiv:1809.03017 [pdf, ps, other]
Symmetric monoidal G-categories and their strictification
Abstract: We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power, and Lack, to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetr… ▽ More
Submitted 23 July, 2019; v1 submitted 9 September, 2018; originally announced September 2018.
Comments: Final version. To appear in Quarterly Journal of Mathematics
MSC Class: 18D10; 18C15; 55P48; 55P91; 55U40
-
arXiv:1801.06056 [pdf, ps, other]
The user's guide project: giving experiential context to research papers
Abstract: This paper was written in 2015, and published in the Journal of Humanistic Mathematics. This paper announces the first issue (2015) of Enchiridion: Mathematics User's Guides, a project to produce peer-reviewed User's Guides as companions to published papers. These User's Guides are meant to explain the key insights and organizing principles in their companion papers, the metaphors and imagery used… ▽ More
Submitted 11 January, 2018; originally announced January 2018.
Journal ref: Journal of Humanistic Mathematics, Volume 5 Issue 2 (July 2015), pages 186-188
-
arXiv:1711.09183 [pdf, ps, other]
A symmetric monoidal and equivariant Segal infinite loop space machine
Abstract: In [MMO] (arXiv:1704.03413), we reworked and generalized equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. In this paper, we construct a new variant of the equivariant Segal machine that starts from the category $\scr{F}$ of finite sets rather than from the category ${\scr{F}}_G$ of finite $G$-sets and which is equivalent to t… ▽ More
Submitted 5 September, 2018; v1 submitted 24 November, 2017; originally announced November 2017.
Comments: Title changed from "Equivariant infinite loop space II. The multiplicative Segal machine." Final version to appear in JPAA
MSC Class: 55P42; 55P43; 55P91 (Primary) 18A25; 18E30; 55P48; 55U35 (Secondary)
-
arXiv:1704.03413 [pdf, ps, other]
Equivariant infinite loop space theory, the space level story
Abstract: We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $Ω$-$G$-spectra for any topological group $G$, but our focus is on the construction of genuine $Ω$-$G$-spectra when $G$ is finite. We also show what is and is not true when $G$ is a compact Lie group.… ▽ More
Submitted 15 September, 2022; v1 submitted 11 April, 2017; originally announced April 2017.
Comments: Minor edits. Final version, to appear in Memoirs of the AMS. 121 pages
MSC Class: 55P42; 55P43; 55P91 (Primary) 18A25; 18E30; 55P48; 55U35 (Secondary)
-
Motivic Homotopical Galois Extensions
Abstract: We establish a formal framework for Rognes's homotopical Galois theory and adapt it to the context of motivic spaces and spectra. We discuss examples of Galois extensions between Eilenberg-MacLane motivic spectra and between the Hermitian and algebraic K-theory spectra.
Submitted 1 November, 2016; originally announced November 2016.
MSC Class: 55P42; 14F42
-
arXiv:1609.03429 [pdf, ps, other]
Equivariant $A$-theory
Abstract: We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over a $G$-space $X$, this produces an equivariant lift of Waldhausen's functor $A(X)$, and we show that the $H$-fixed points are the bivariant $A$-theor… ▽ More
Submitted 18 March, 2019; v1 submitted 12 September, 2016; originally announced September 2016.
Comments: Introduction and acknowledgements have been updated with more references to earlier work. Improved Theorem 2.9 (strictification of pseudoequivariant functors). The section on coassembly has been removed and will be treated in a forthcoming paper
MSC Class: 19D10; 55P91; 55P42
-
arXiv:1505.07562 [pdf, ps, other]
Equivariant algebraic K-theory of G-rings
Abstract: A group action on the input ring or category induces an action on the algebraic $K$-theory spectrum. However, a shortcoming of this naive approach to equivariant algebraic $K$-theory is, for example, that the map of spectra with $G$-action induced by a $G$-map of $G$-rings is not equivariant. We define a version of equivariant algebraic $K$-theory which encodes a group action on the input in a fun… ▽ More
Submitted 12 September, 2016; v1 submitted 28 May, 2015; originally announced May 2015.
Comments: Final version to appear in Mathematische Zeitschrift. The last section about Waldhausen G-categories has been removed from this paper
-
arXiv:1409.1553 [pdf, ps, other]
Unbased calculus for functors to chain complexes
Abstract: Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a discrete calculus tower for functors from an unbased simplicial model category to chain complexes over a fixed commutative ring. Much of the construction of the Taylo… ▽ More
Submitted 5 September, 2014; v1 submitted 4 September, 2014; originally announced September 2014.
Comments: 20 pages
MSC Class: 55U15
-
arXiv:1201.5178 [pdf, ps, other]
Categorical models for equivariant classifying spaces
Abstract: Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory.
Submitted 10 March, 2014; v1 submitted 24 January, 2012; originally announced January 2012.
Comments: 29 pages. Revised version, to appear in AGT. Considerable changes of notation and organization and other changes aimed at making the paper more user friendly
Journal ref: Algebr. Geom. Topol. 17 (2017) 2565-2602
-
arXiv:0906.3728 [pdf, ps, other]
Function Fields with Class Number Indivisible by a Prime $\ell$
Abstract: It is known that infinitely many number fields and function fields of any degree $m$ have class number divisible by a given integer $n$. However, significantly less is known about the indivisibility of class numbers of such fields. While it's known that there exist infinitely many quadratic number fields with class number indivisible by a given prime, the fields are not constructed explicitly, a… ▽ More
Submitted 19 June, 2009; originally announced June 2009.
MSC Class: 11R29; 11R58