Related papers: A stable $\infty$-category for equivariant $KK$-th…

Algebraic $kk$-theory, introduced by Corti\~nas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor…

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\"uller isomorphisms in equivariant stable…

Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$ of characteristic $p > 0$ and let $\ell$ be a prime number different from $p$. Let $U \subseteq G$ be a maximal unipotent subgroup, $T$ a maximal torus…

Given a domain of characteristic zero $R$, we functorially construct a rigid symmetric monoidal stable $\infty$-category whose $K_0$ is $R$, solving a problem of Khovanov. We also functorially construct for any reduced commutative ring $R$…

Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of…

The goal of this paper is to associate functorially to every symmetric monoidal additive category $\mathbf{A}$ with a strict $G$-action a lax symmetric monoidal functor $\mathbf{V}_{\mathbf{A}}^{G}:G\mathbf{BornCoarse}\to…

This is a survey article with the goal to advertise spectrum valued versions of $K$- and $KK$- theory for $C^{*}$-algebras via a (stable and symmetric monoidal) $\infty$-categorical enhancement of Kasparov's classical $KK$-theory. The main…

We continue the work initiated in arXiv:1206.3645, where we introduced a new stable symmetric monoidal $(\infty,1)$-category $SH_{nc}$ encoding a motivic stable homotopy theory for the noncommutative spaces of Kontsevich and obtained a…

We construct Kasparov's bifunctor $KK$ and $E$-theory by stable homotopy theoretic methods. This is motivated by results concerning constructions of bivariant theories on more general categories such as, for example, bornological algebras.…

For a finite group $G$, the so-called $G$-Mackey functors form an abelian category $M(G)$ that has many applications in the study of $G$-equivariant stable homotopy. One would expect that the derived category $D(M(G))$ would be similarly…

Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different…

In this paper, we introduce Kasparov's bivariant K-theory that is equivariant under symmetries of a C*-tensor category. It is motivated by some dualities in quantum group equivariant KK-theory, and the classification theory of inclusions of…

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

Let G be reductive algebraic group over a field k, such that every semisimple normal subgroup of G has isotropic rank >=2. Let K_1^G be the non-stable K_1-functor associated to G (also called the Whitehead group of G in the field case). We…

Let $G$ be a discrete group. The topological category of finite dimensional unitary representations of $G$ is symmetric monoidal under direct sum and has an associated $\mathbb{E}_\infty$-space $\mathcal{K}^{\mathrm{def}}(G)$. We show that…

We show that the equivariant $E$-theory category $\mathrm{E}_{\mathrm{sep}}^{G}$ for separable $C^{*}$-algebras is a compactly assembled stable $\infty$-category. We derive this result as a consequence of the shape theory for…

In this paper, we investigate the properties of the category of equivariant diagram spectra indexed on the category W_G of based G-spaces homeomorphic to finite G-CW-complexes for a compact Lie group G. Using the machinery of Mandell, May,…

In a previous paper, we have constructed, for an arbitrary Lie group G and any of the fields F=R or C, a good equivariant cohomology theory KF_G^*(-) on the category of proper $G$-CW-complex and have justified why it deserved the label…

For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…

We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the…