Related papers: Algebraic K-theory of stable $\infty$-categories v…

We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…

We introduce a new notion of regularity for rings and exact categories and we show important results in algebraic K-theory. In particular we prove a strong vanishing theorem for Nil groups and give an explicit class of groups, much bigger…

In this paper, we first establish a K-theory version of the equivariant family index theorem for a circle action, then use it to prove several rigidity and vanishing theorems on the equivariant K-theory level.

We study the category of discrete modules over the ring of degree zero stable operations in p-local complex K-theory. We show that the p-local K-homology of any space or spectrum is such a module, and that this category is isomorphic to a…

The bigravity models coupled with two scalar fields are constructed. We show that a wide class of the expansion history of the universe, especially corresponding to dark energy and/or inflation, can be described by a solution of the…

In a preprint released in 2016, Daniel Grayson introduces a conjectural presentation of the (higher) relative algebraic $K$-groups using purely combinatorial means. In this paper, we will show that this presentation is isomorphic to the…

We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories…

The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…

In this article, we extend the theorem of heart\cite{Barwick_2015}, which implies Quillen's d\'evissage theorem by \cite{Efimov2025}, to generic small stable $\infty$-categories. To be precise, we establish a necessary and sufficient…

We study the C*-algebra crossed product $C_0(X)\rtimes G$ of a locally compact group $G$ acting properly on a locally compact Hausdorff space $X$. Under some mild extra conditions, which are automatic if $G$ is discrete or a Lie group, we…

We prove that, when $n$ goes to infinity, the expression, with respect to the dual Kazhdan-Lusztig basis, of the product $\hat{\underline{H}}_x\underline{H}_y$ of elements of the dual and the usual Kazhdan-Lusztig bases in the Hecke algebra…

A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…

We develop an algebraic formalism for topological $\mathbb{T}$-duality. More precisely, we show that topological $\mathbb{T}$-duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known…

This is mostly an overview. Given finitely presentable abelian categories $A$ and $B$, we sketch the construction of an abelian category of continuous functors from $A$ to $B$ that has nice $2$-categorical behaviour and gives an explicit…

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 show that Mandell's inverse $K$-theory functor from $\Gamma$-categories to permutative categories preserves multiplicative structure. This is a first step towards an equivariant generalization that would be inverse to the construction of…

In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B…

In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to…

We determine the Balmer spectrum of dualisable objects in the stable module category for $\mathrm{H}_1\mathfrak{F}$ groups of type $\mathrm{FP}_{\infty}$ and show that the telescope conjecture holds for these categories. We also determine…

We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield…