Products in $KK$- and $E$-theory
In this note, we give an explicit description of countable products in $KK$- and $E$-theory and provide several applications.
math.KT↗
arXiv subjects
Ulrich Bunke
Publications and source records attributed to Ulrich Bunke.
A characterization of sheaves among six functor formalisms on $\mathrm{LCH}$
Let $\mathcal{C}$ be any stable presentably symmetric monoidal $\infty$-category. In this paper, we characterize $\mathrm{Shv}(-,\mathcal{C})$ on locally compact Hausdorff spaces as the unique six functor formalism satisfying a list of very natural properties. As a consequence, we deduce that every continuous six functor formalism $D$ in the sense of Zhu is equivalent to $\mathrm{Shv}(-, D(\mathrm{pt}))$.
math.AT↗
$E$-theory of $X$-$C^{*}$-algebras and functor formalisms
We show that $E$-theory for locally compact Hausdorff spaces constitutes a six-functor formalism which is equivalent to the six-functor formalism of $\mathrm{E}$-valued sheaves. We furthermore show that the $E$-theory category for locales that can be written as unions of finite open sublocales is equivalent to the category of $\mathrm{E}$-valued cosheaves.
math.KT↗
Transgressions and Chern characters in coarse homotopy theory
This paper investigates a variety of coarse homology theories and natural transformations between them. We in particular study the commutativity of a square relating analytical and topological transgressions with algebraic and homotopy theoretic Chern characters. Here a transgression is a natural transformation from a coarse homology theory to a functor which factorizes over the Higson corona functor, and a Chern character is a transformation from a $K$-theory like coarse or Borel-Moore type homology theory to an ordinary version.
math.AT↗
Branched coarse coverings and transfer maps
We introduce the concepts of branched coarse coverings and transfers between coarse homology theories along them. We show that various versions of coarse $K$-homology theories admit the additional structure of transfers. We show versions of Atiyah's $L^{2}$-index theorem in coarse homotopy theory and apply them to give a new argument for the corresponding step in Higson's counterexample to the coarse Baum-Connes conjecture.
math.AT↗
Coarse cone quotients
We study the coarse motive of the quotient $\mathcal{O}^{\infty}(X)//G$ of the cone of a uniform bornological coarse space $X$ with $G$-action. If $X$ admits a sufficiently ergodic probability measure, then we show that the coarse assembly map for $\mathcal{O}^{\infty}(X)//G$ is not an equivalence. The main ideas are taken from a recent paper by C. Kitsios, T. Schick and F. Vigolo (arXiv:2504.21811) and adapted to the formalism of coarse homotopy theory based on bornological coarse spaces developed by A. Engel and the author.
math.AT↗
Breaking symmetries for equivariant coarse homology theories
We describe a symmetry breaking construction in coarse geometry which allows to obtain information about equivariant coarse homology classes by restriction to smaller groups and spaces. In the case of equivariant coarse $K$-homology theory we give an analytic interpretation of this construction. As a consequence we obtain applications to the spectral theory of invariant differential operators.
math.AT↗
$E$-theory is compactly assembled
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 $C^{*}$-algebras developed by Blackadar and Dardarlat and a new construction of $\mathrm{E}_{\mathrm{sep}}^{G}$. As an application we investigate a topological enrichment of the homotopy category of a compactly assembled $\infty$-category in general and argue that the results of Carrión and Schafhauser on the enrichment of the classical $E$-theory category can be derived by specialization.
math.KT↗
Finite asymptotic dimension and the coarse assembly map
In this note we give a simple argument for the fact that the coarse assembly map for a strong coarse homology theory with weak transfers and a bornological coarse space of weakly finite homotopical asymptotic dimension is a phantom equivalence.
math.AT↗
Coronas and Callias type operators in coarse geometry
We interpret the coarse symbol and index class of a Callias type Dirac operator $D+Ψ$ on a manifold $M$ as a pairing between the coarse symbol and index classes associated to $D$ and K-theory classes of the coarse corona of $M$ or $M$ itself determined by $Ψ$. Local positivity of $D$ and local invertibility of $Ψ$ are incorporated in terms of support conditions on the $K$-theoretic level.
math.KT↗
The coarse index class with support
We construct the coarse index class with support condition (as an element of coarse $K$-homology) of an equivariant Dirac operator on a complete Riemannian manifold endowed with a proper, isometric action of a group. We further show a coarse relative index theorem and discuss the compatibility of the index with the suspension isomorphism.
math.DG↗
KK- and E-theory via homotopy theory
We provide a homotopy theorist's point of view on $KK$- and $E$-theory for $C^{*}$-algebras. We construct stable $\infty$-categories representing these theories through a sequence of Dwyer-Kan localizations of the category of $C^{*}$-algebras. Thereby we will reveal the homotopic theoretic meaning of various classical construction from $C^{*}$-algebra theory, in particular of Cuntz' $q$-construction. We will also discuss operator algebra $K$-theory in this framework.
math.KT↗
Controlled objects in left-exact $\infty$-categories and the Novikov conjecture
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.
math.KT↗
Localization for coarse homology theories
We introduce the notion of a Bredon-style equivariant coarse homology theory. We show that such a Bredon-style equivariant coarse homology theory satisfies localization theorems and that a general equivariant coarse homology theory can be approximated by a Bredon-style version. We discuss the special case of algebraic and topological equivariant coarse $K$-homology and obtain the coarse analog of Segal's localization theorem.
math.KT↗
A survey on operator $K$-theory via homotopical algebra
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 purpose is to present, in the simplest case, homotopy theoretic arguments for classical results on operator $K$-theory, including Swan's theorems, Künneth and universal coefficient formulas, the bootstrap class, variations of Karoubi's conjecture, and spectra of units for strongly self-absorbing $C^*$-algebras, as well as some new aspects on twisted $K$-theory and coherent multiplicative structures on $C^*$-algebras, viewed as objects in the previously mentioned $\infty$-category.
math.OA↗
$K$-theory of crossed products via homotopy theory
In this paper we analyse for a $G$-$C^{*}$-algebra $A$ to which extent one can calculate the $K$-theory of the reduced crossed product $K(A\rtimes_{r}G)$ from the $K$-theory spectrum $K(A)$ with the induced $G$-action. We also consider some cases where one allows to use the $K$-theories of crossed products for some proper subgroups of $G$. Our central goal is to demonstrate the usefulness of a homotopy theoretic approach. We mainly concentrate on finite groups.
math.OA↗
Coarse geometry
This is a survey on coarse geometry with an emphasis on coarse homology theories.
math.AT↗
The topology of T-duality for T^n-bundles
In string theory, the concept of T-duality between two principal T^n-bundles E_1 and E_2 over the same base space B, together with cohomology classes h_1\in H^3(E_1) and h_2\in H^3(E_2), has been introduced. One of the main virtues of T-duality is that h_1-twisted K-theory of E_1 is isomorphic to h_2-twisted K-theory of E_2. In this paper, a new, very topological concept of T-duality is introduced. We construct a classifying space for pairs as above with additional "dualizing data", with a forgetful map to the classifying space for pairs (also constructed in the paper). On the first classifying space, we have an involution which corresponds to passage to the dual pair, i.e. to each pair with dualizing data exists a well defined dual pair (with dualizing data). We show that a pair (E,h) can be lifted to a pair with dualizing data if an only if h belongs to the second step of the Leray-Serre filtration of E (i.e. not always), and that in general many different lifts exist, with topologically different dual bundles. We establish several properties of the T-dual pairs. In particular, we prove a T-duality isomorphism of degree -n for twisted K-theory.
math.GT↗