Related papers: Stratified categories, geometric fixed points and …

For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we…

We provide a unifying approach to different constructions of the algebraic $K$-theory of equivariant symmetric monoidal categories. A consequence of our work is that every connective genuine $G$-spectrum is equivalent to the equivariant…

A Mackey type decomposition for group actions on abelian categories is described. This allows us to define new Mackey functors which associates to any subgroup the $K$-theory of the corresponding equivariantized abelian category. In the…

In this article we use existing machinery to define connective $K$-theory spectra associated to topological ringoids. Algebraic $K$-theory of discrete ringoids, and the analytic $K$-theory of Banach categories are obtained as special cases.…

We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…

We prove that a perverse sheaf on a connected commutatitve algebraic group over a finite is generically unramified. This implies an equidistribution theorem for Tannakian monodromy groups in previously unavailable generality. We also prove…

A. Vistoli proved a decomposition theorem for the rational equivariant algebraic K-theory of a variety under the action of a finite group $G$. We generalize his result to more general algebraic (co)homology theories having the Mackey…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known constructions: the semitopological $K$-theory of a real…

This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to Specker's T-operation. Such a development leads one to…

Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…

We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…

We use a $K$-theory recipe of Thomason to obtain classifications of triangulated subcategories via refining some standard thick subcategory theorems. We apply this recipe to the full subcategories of finite objects in the derived categories…

Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors…

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

In this paper, we prove a window theorem for categorical Donaldson-Thomas theories on local surfaces as an analogue of window theorem for GIT quotient stacks. We give two applications of our main result. The first one is a proof of…

We prove a thick subcategory theorem for the category of $d$-excisive functors from finite spectra to spectra. This generalizes the Hopkins-Smith thick subcategory theorem (the $d=1$ case) and the $C_2$-equivariant thick subcategory theorem…

We provide a multiplicative classification of polynomial endofunctors on spectra in terms of their Mackey functors of cross--effects. More precisely, we prove that various categories of multivariable excisive functors from spectra to…

We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this…

We describe a deformation of the $\infty$-category of Borel $G$-spectra for a finite group $G$. This provides a new presentation of the $a$-complete real Artin--Tate motivic stable homotopy category when $G=C_2$ and gives a new…