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

A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…

G-equivariant modular categories provide the input for a standard method to construct 3d homotopy field theories. Virelizier constructed a G-equivariant category from the action of a group G on a Hopf algebra H by Hopf algebra…

We prove that an action $\rho:A\to M(C_0(\mathbb{G})\otimes A)$ of a locally compact quantum group on a $C^*$-algebra has a universal equivariant compactification, and prove a number of other category-theoretic results on…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a…

In a previous work by the author it was shown that every finite dimensional algebraic structure over an algebraically closed field of characteristic zero K gives rise to a character $K[X]_{aug}\to K$, where $K[X]_aug$ is a commutative Hopf…

We put a model structure on a full subcategory of based multicategories in which the weak equivalences are created by the K-theory functor of Elmendorf-Mandell, providing a model categorical lift of Thomason's theorem on the modeling of…

We introduce a notion of partial presentability in parametrized higher category theory and investigate its interaction with the concepts of parametrized semiadditivity and stability from arXiv:2301.08240. In particular, we construct the…

We define united KK-theory for real C*-algebras A and B such that A is separable and B is sigma-unital, extending united K-theory in the sense that KK\crt(\R, B) = K\crt(B). United KK-theory contains real, complex, and self-conjugate…

Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$,…

Let $K$ be a field and $G$ be a group of its automorphisms endowed with the compact-open topology. There are many situations, where it is natural to study the category $Sm_K(G)$ of smooth (i.e. with open stabilizers) $K$-semilinear…

Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of \v{S}penko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves…

The Gersten conjecture is still an open problem of algebraic $K$-theory for mixed characteristic discrete valuation rings. In this paper, we establish non-unital algebraic $K$-theory which is modified to become an exact functor from the…

We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with…

Let $\mathcal{A}$ be a locally bounded $k$-category and $G$ a torsion-free group of $k$-linear automorphisms of $\mathcal{A}$ acting freely on the objects of $\mathcal{A},$ and $F:\mathcal{A}\rightarrow \mathcal{B}$ is a Galois functor. We…

Given a finite group $G$ and a commutative ring $G$-spectrum $R$, we study the separable commutative algebras in the category of compact $R$-modules. We isolate three conditions on the geometric fixed points of $R$ which ensure that every…

We study actions of monoidal categories on objects in a suitably enriched $2$-category, and applications in stable homotopy theory. Given a monoidal category $\mathcal{I}$ and an $\mathcal{I}$-object $\mathcal{A}$, the (co)stabilization of…

(This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy…

In this paper we develop the basic homotopy theory of G-symmetric spectra (that is, symmetric spectra with a G-action) for a finite group G, as a model for equivariant stable homotopy with respect to a G-set universe. This model lies in…

We prove a monoidal equivalence, called universal Koszul duality, between genuine equivariant K-motives on a Kac-Moody flag variety and constructible monodromic sheaves on its Langlands dual. The equivalence is obtained by a…