Related papers: Stratification in equivariant Kasparov theory

We give a new proof of the Kat\v{e}tov-Tong theorem. Our strategy is to first prove the theorem for compact Hausdorff spaces, and then extend it to all normal spaces. The key ingredient is how the ring of bounded continuous real-valued…

The Guillemin-Sternberg conjecture states that "quantisation commutes with reduction" in a specific technical setting. So far, this conjecture has almost exclusively been stated and proved for compact Lie groups $G$ acting on compact…

Let $A$ be a graded C*-algebra. We characterize Kasparov's K-theory group $\hat{K}_0(A)$ in terms of graded *-homomorphisms by proving a general converse to the functional calculus theorem for self-adjoint regular operators on graded…

Let C be a finite EI category and k be a field. We consider the category algebra kC. Suppose K(C)=D^b(kC-mod) is the bounded derived category of finitely generated left modules. This is a tensor triangulated category and we compute its…

We study the tensor-triangular geometry of the category of rational $G$-spectra for a compact Lie group $G$. In particular, we prove that this category can be naturally decomposed into local factors supported on individual subgroups, each…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…

Braverman and Finkelberg recently proposed the geometric Satake correspondence for the affine Kac-Moody group $G_\aff$ [Braverman A., Finkelberg M., arXiv:0711.2083]. They conjecture that intersection cohomology sheaves on the Uhlenbeck…

Increasingly in recent years, probabilistic computation has been investigated through the lenses of categorical algebra, especially via string diagrammatic calculi. Whereas categories of discrete and Gaussian probabilistic processes have…

Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…

Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent conditions for second-order stochastic dominance, a widely…

The representations of the observable algebra of a low dimensional quantum field theory form the objects of a braided tensor category. The search for gauge symmetry in the theory amounts to finding an algebra which has the same…

We study equivariant projective compactifications of reductive groups obtained by closing the image of a group in the space of operators of a projective representation. We describe the structure and the mutual position of their orbits under…

We define and study square-integrable coactions of locally compact quantum groups on Hilbert modules, generalising previous work for group actions. As special cases, we consider square-integrable Hilbert space corepresentations and…

We introduce a categorical approach to classifying actions of C$^*$-tensor categories $\mathcal{C}$ on C$^*$-algebras up to cocycle conjugacy. We show that, in this category, inductive limits exist and there is a natural notion of…

We prove that the Balmer spectrum of a tensor triangulated category is homeomorphic to the Zariski spectrum of its graded central ring, provided the triangulated category is generated by its tensor unit and the graded central ring is…

In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different…

A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…

In this note, we prove a generalization of Efimov's computation for the universal localizing invariant of categories of sheaves with certain microsupport constraints. The proof is based on certain categorical equivalences given by the…

We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects…

We introduce a theory of stratifications of noncommutative stacks (i.e. presentable stable $\infty$-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem…