Related papers: A survey on operator $K$-theory via homotopical al…

We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural…

We construct a compactly generated and closed symmetric monoidal stable $\infty$-category $\mathtt{NSp'}$ and show that $\mathtt{hNSp'}^{op}$ contains the suspension stable homotopy category of separable $C^*$-algebras $\mathtt{\Sigma…

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.…

This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.

KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the…

The homotopy symmetric $C^*$-algebras are those separable $C^*$-algebras for which one can unsuspend in E-theory. We find a new simple condition that characterizes homotopy symmetric nuclear $C^*$-algebras and use it to show that the…

Let X be a space, intended as a possibly curved spacetime, and A a precosheaf of C*-algebras on X. Motivated by algebraic quantum field theory, we study the Kasparov and Theta-summable K-homology of A interpreting them in terms of the…

Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.

We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…

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…

For C*-algebras $A$ and $B$, we generalize the notion of a quasihomomorphism from $A$ to $B$, due to Cuntz, by considering quasihomomorphisms from some C*-algebra $C$ to $B$ such that $C$ surjects onto $A$, and the two maps forming a…

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…

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…

We present a rigorous and fully consistent $K$-theoretic framework for studying gapped topological phases of free fermions such as topological insulators. It utilises and profits from powerful techniques in operator $K$-theory. From the…

We compute the K-theory of the C*-algebra of symmetric words in two universal unitaries. This algebra is the fixed point C*-algebra for the order-two automorphism of the full C*-algebra of the free group on two generators which switches the…

We study multivariate generalisations of the classical Wiener--Hopf algebra, which is the C$^*$-algebra generated by the Wiener--Hopf operators, given by the convolutions restricted to convex cones. By the work of Muhly and Renault, this…

We compute the $K$-theory of comparison $C^*$-algebra associated to a manifold with corners. These comparison algebras are an example of the abstract pseudodifferential algebras introduced by Connes and Moscovici \cite{M3}. Our calculation…

In this paper, we apply quantitative operator K-theory to develop an algorithm for computing K-theory for the class of filtered C *-algebras with asymptotic finite nuclear decomposition. As a consequence, we prove the K{\"u}nneth formula…

We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch…

In this paper we establish a direct connection between stable approximate unitary equivalence for $*$-homomorphisms and the topology of the KK-groups which avoids entirely C*-algebra extension theory and does not require nuclearity…