arXiv subjects
Publications and source records attributed to Ivo Dell'Ambrogio.
We compute the trace of an endomorphism in equivariant bivariant K-theory for a compact group G in several ways: geometrically using geometric correspondences, algebraically using localisation, and as a Hattori-Stallings trace. This results in an equivariant version of the classical Lefschetz fixed-point theorem, which applies to arbitrary equivariant correspondences, not just maps.
We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal tensor product, which generalizes that of C*-algebras, with the Ghez-Lima-Roberts C*-categories of *-functors, C*(A,B), providing the internal Hom's.
We initiate the theory of graded commutative 2-rings, a categorification of graded commutative rings. The goal is to provide a systematic generalization of Paul Balmer's comparison maps between the spectrum of tensor-triangulated categories and the Zariski spectra of their central rings. By applying our constructions, we compute the spectrum of the derived category of perfect complexes over any graded commutative ring, and we associate to every scheme with an ample family of line bundles an embedding into the spectrum of an associated graded commutative 2-ring.
In this article we establish the foundations of the Morita homotopy theory of C*-categories. Concretely, we construct a cofibrantly generated simplicial symmetric monoidal Quillen model structure M_Mor on the category C*cat1 of small unital C*-categories. The weak equivalences are the Morita equivalences and the cofibrations are the *-functors which are injective on objects. As an application, we obtain an elegant description of the Brown-Green-Rieffel Picard group in the associated Morita homotopy category Ho(M_Mor). We then prove that the Morita homotopy category is semi-additive. By group completing the induced abelian monoid structure at each Hom-set we obtain an additive category Ho(M_Mor)^{-1} and a canonical functor C*cat1 {\to} Ho(M_Mor)^{-1} which is characterized by two simple properties: inversion of Morita equivalences and preservation of all finite products. Finally, we prove that the classical Grothendieck group functor becomes co-represented in Ho(M_Mor)^{-1} by the tensor unit object.
In this article we initiate the study of the tensor triangular geometry of the categories Mot(k)_a and Mot(k)_l of non-commutative motives (over a base ring k). Since the full computation of the spectrum of Mot(k)_a and Mot(k)_l seems completely out of reach, we provide some information about the spectrum of certain subcategories. More precisely, we show that when k is a finite field (or its algebraic closure) the spectrum of the monogenic cores Core(k)_a and Core(k)_l (i.e. the thick triangulated subcategories generated by the tensor unit) is closely related to the Zariski spectrum of the integers. Moreover, we prove that if we slightly enlarge Core(k)_a to contain the non-commutative motive associated to the ring of polynomials k[t], and assume that k is a field of characteristic zero, then the corresponding spectrum is richer than the Zariski spectrum of the integers.
For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed localizing subcategories of the derived category, and, on the other hand, subsets of the homogeneous spectrum of prime ideals of the ring. We provide an application to weighted projective schemes.
Let G be a finite group. We systematically exploit general homological methods in order to reduce the computation of G-equivariant KK-theory to topological equivariant K-theory. The key observation is that the functor assigning to a separable G-C*-algebra the collection of all its equivariant K-theory groups lifts naturally to a homological functor taking values in the abelian tensor category of Mackey modules over the classical representation Green functor for G. This fact yields a new universal coefficient and a new Kuenneth spectral sequence for the G-equivariant Kasparov category, whose convergence behavior is nice for all G-C*-algebras in a certain bootstrap class.
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 canonical traces for endomorphisms of strongly dualisable objects in the bootstrap class in equivariant KK, in analogy to previous results for traces in stable homotopy theory. As an application, we prove an equivariant analogue of the Lefschetz trace formula for Hodgkin Lie groups.
We present some results on equivariant KK-theory in the context of tensor triangular geometry. More specifically, for G a finite group, we show that the spectrum of the tensor triangulated subcategory of KK^G generated by the tensor unit contains as a retract a canonical copy of the Zariski spectrum of the complex character ring of G. For G trivial, this inclusion is a homeomorphism. We also prove a general criterion for a support theory on a compactly generated tensor triangulated category to provide the universal support datum, in the sense of Paul Balmer, on its subcategory of compact objects.
Using the classical universal coefficient theorem of Rosenberg-Schochet, we prove a simple classification of all localizing subcategories of the Bootstrap category of separable complex C*-algebras. Namely, they are in bijective correspondence with subsets of the Zariski spectrum of the integers -- precisely as for the localizing subcategories of the derived category of complexes of abelian groups. We provide corollaries of this fact and put it in context with similar classifications available in the literature.