Searcharxiv⌕ Search

arXiv subjects

Bastiaan Cnossen

Publications and source records attributed to Bastiaan Cnossen.

13 recordsLinked to original sources
arXiv2026

Hammock localization via Segal animae

We give a short, conceptual account of Dwyer--Kan's hammock localization in the setting of $\infty$-categories. Starting from Mazel-Gee's formula for localization via the relative Rezk nerve, we show that its Segalification can be described explicitly as a Segal anima of zig-zags. We also compute its mapping animae and recover and generalize Dwyer--Kan's hammock formula. As an application, we show that, when a relative $\infty$-category supports fractions, the mapping animae of localization admit a simple description. This gives a unifying treatment for several formulas of this type in the existing literature.

math.CT↗
arXiv2026

Global spaces and the homotopy theory of stacks

We show that the $\infty$-category of global spaces is equivalent to the homotopy localization of the $\infty$-category of sheaves on the site of separated differentiable stacks, following a philosophy proposed by Gepner-Henriques. We further prove that this $\infty$-category of sheaves is a cohesive $\infty$-topos and that it fully faithfully contains the singular-cohesive $\infty$-topos of Sati-Schreiber.

math.AT↗
arXiv2026

Universality of span 2-categories and the construction of 6-functor formalisms

Given an $\infty$-category $C$ equipped with suitable wide subcategories $I, P \subset E\subset C$, we show that the $(\infty,2)$-category $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_{P,I}$ of higher (or iterated) spans defined by Haugseng has the universal property that 2-functors $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_{P,I} \to \mathbb D$ correspond precisely to $(I, P)$-biadjointable functors $C^\text{op} \to \mathbb D$, i.e. functors $F$ where $F(i)$ for $i \in I$ admits a left adjoint and $F(p)$ for $p \in P$ admits a right adjoint satisfying various Beck-Chevalley conditions. We also extend this universality to the symmetric monoidal and lax symmetric monoidal settings. This provides a conceptual explanation for - and an independent proof of - the Mann-Liu-Zheng construction of 6-functor formalisms from suitable functors $C^\text{op}\to\text{CAlg}(\text{Cat})$.

math.CT↗
arXiv2025

Parametrized stability and the universal property of global spectra

We develop a framework of parametrized semiadditivity and stability with respect to so-called atomic orbital subcategories of an indexing $\infty$-category $T$, extending work of Nardin. Specializing this framework, we introduce global $\infty$-categories and the notions of equivariant semiadditivity and stability, yielding a higher categorical version of the notion of a Mackey 2-functor studied by Balmer-Dell'Ambrogio. As our main result, we identify the free presentable equivariantly stable global $\infty$-category with a natural global $\infty$-category of global spectra for finite groups, in the sense of Schwede and Hausmann.

math.AT↗
arXiv2025

Parametrized (higher) semiadditivity and the universality of spans

Semiadditivity of an $\infty$-category, i.e. the existence of biproducts, provides it with useful algebraic structure in the form of a canonical enrichment in commutative monoids. This ultimately comes from the fact that the $\infty$-category of commutative monoids is the universal semiadditive $\infty$-category equipped with a finite-product-preserving functor to spaces, or equivalently that the $(2,1)$-category of spans of finite sets is the universal semiadditive $\infty$-category. In this article, we prove a vast generalization of these facts in the context of parametrized semiadditivity, a notion we define using Hopkins-Lurie's framework of ambidexterity. This simultaneously generalizes a result of Harpaz for higher semiadditivity and a result of Nardin for equivariant semiadditivity. We deduce that every parametrized semiadditive $\infty$-category is canonically enriched in Mackey functors/sheaves with transfers. As an application, we reprove the Mackey functor description of global spectra first obtained by the second-named author and generalize it to $G$-global spectra. Moreover, we obtain universal characterizations of the $\infty$-categories of $\mathbb Z$-valued $G$-Mackey profunctors and of quasi-finitely genuine $G$-spectra as studied by Kaledin and Krause-McCandless-Nikolaus, respectively.

math.AT↗
arXiv2025

Homotopical commutative rings and bispans

We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors from the $(2,1)$-category of bispans of finite sets. In other words, we identify the latter as the Lawvere theory for commutative semirings in the $\infty$-categorical context. This implies that connective commutative ring spectra can be described as grouplike product-preserving functors from bispans of finite sets to spaces. A key part of the proof is a localization result for $\infty$-categories of spans, and more generally for $\infty$-categories with factorization systems, that may be of independent interest.

math.CT↗
arXiv2025

Partial parametrized presentability and the universal property of equivariant spectra

We introduce a notion of partial presentability in parametrized higher category theory and investigate its interaction with the concepts of parametrized semiadditivity and stability from arXiv:2301.08240. In particular, we construct the free partially presentable $T$-categories in the unstable, semiadditive, and stable contexts and explain how to exhibit them as full subcategories of their fully presentable analogues. Specializing our results to the setting of (global) equivariant homotopy theory, we obtain a notion of equivariant presentability for the global categories of arXiv:2301.08240, and we show that the global category of genuine equivariant spectra is the free global category that is both equivariantly presentable and equivariantly stable. As a consequence, we deduce the analogous result about the $G$-category of genuine $G$-spectra for any finite group $G$, previously formulated by Nardin.

math.AT↗
arXiv2025

Universality of Barwick's unfurling construction

Given an $\infty$-category $\mathcal{C}$ with pullbacks, its $(\infty,2)$-category $\mathbf{Span}(\mathcal{C})$ of spans has the universal property of freely adding right adjoints to morphisms in $\mathcal{C}$ satisfying a Beck--Chevalley condition. We show that this universal property is implemented by an $(\infty,2)$-categorical refinement of Barwick's \emph{unfurling construction}: For any right adjointable functor $\mathcal{C} \to \mathrm{Cat}_{\infty}$, the unstraightening of its unique extension to $\mathbf{Span}(\mathcal{C})$ can be explicitly written down as another span $(\infty,2)$-category, and on underlying $(\infty,1)$-categories this recovers Barwick's construction. As an application, we show that the constructions of cartesian normed structures by Nardin--Shah and Cnossen--Haugseng--Lenz--Linskens coincide.

math.AT↗
arXiv2025

Characters and transfer maps via categorified traces

We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is that we utilize the interaction between traces and their categorifications. We apply this theory to reprove and refine various results on the composability of Becker-Gottlieb transfers, the Hochschild homology of Thom spectra, and the additivity of traces in stable $\infty$-categories.

math.AT↗
arXiv2024

The Adams isomorphism revisited

We establish abstract Adams isomorphisms in an arbitrary equivariantly presentable equivariantly semiadditive global category. This encompasses the well-known Adams isomorphism in equivariant stable homotopy theory, and applies more generally in the settings of $G$-Mackey functors, $G$-global homotopy theory, and equivariant Kasparov categories.

math.AT↗
arXiv2024

Normed equivariant ring spectra and higher Tambara functors

In this paper we extend equivariant infinite loop space theory to take into account multiplicative norms: For every finite group $G$, we construct a multiplicative refinement of the comparison between the $\infty$-categories of connective genuine $G$-spectra and space-valued Mackey functors, first proven by Guillou-May, and use this to give a description of connective normed equivariant ring spectra as space-valued Tambara functors. In more detail, we first introduce and study a general notion of homotopy-coherent normed (semi)rings, and identify these with product-preserving functors out of a corresponding $\infty$-category of bispans. In the equivariant setting, this identifies space-valued Tambara functors with normed algebras with respect to a certain normed monoidal structure on grouplike $G$-commutative monoids in spaces. We then show that the latter is canonically equivalent to the normed monoidal structure on connective $G$-spectra given by the Hill-Hopkins-Ravenel norms. Combining our comparison with results of Elmanto-Haugseng and Barwick-Glasman-Mathew-Nikolaus, we produce normed ring structures on equivariant algebraic K-theory spectra.

math.AT↗
arXiv2023

Twisted ambidexterity in equivariant homotopy theory

We develop the concept of twisted ambidexterity in a parametrized presentably symmetric monoidal $\infty$-category, which generalizes the notion of ambidexterity by Hopkins and Lurie and the Wirthmüller isomorphisms in equivariant stable homotopy theory, and is closely related to Costenoble-Waner duality. Our main result establishes the parametrized $\infty$-category of genuine $G$-spectra for a compact Lie group $G$ as the universal example of a presentably symmetric monoidal $\infty$-category parametrized over $G$-spaces which is both stable and satisfies twisted ambidexterity for compact $G$-spaces. We further extend this result to the settings of orbispectra and proper genuine $G$-spectra for a Lie group $G$ which is not necessarily compact.

math.AT↗