Related papers: Equivalence of categories between coefficient syst…

Let $G$ be a $p$-adic group that splits over an unramified extension. We decompose $Rep_{\Lambda}^{0}(G)$, the abelian category of smooth level $0$ representations of $G$ with coefficients in $\Lambda=\overline{\mathbb{Q}}_{\ell}$ or…

Let p and $\ell$ be two distinct primes, F a p-adic field and n an integer. We show that any level 0 block of the category of smooth Z $\ell$-valued representations of GL n (F) is equivalent to the unipotent block of an appropriate product…

Let $G$ be the group of rational points of a split connected reductive group over a nonarchimedean local field of residue characteristic $p$. Let $I$ be a pro-$p$ Iwahori subgroup of $G$ and let $R$ be a commutative quasi-Frobenius ring. If…

We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the…

Let F be a non archimedean local field and G be the locally profinite group GL(N,F), N>0. We denote by X the Bruhat-Tits building of G. For all smooth complex representation V of G and for all level n>0, Schneider and Stuhler have…

Let $G$ and $\check{G}$ be Langlands dual connected reductive groups. We establish a monoidal equivalence of $\infty$-categories between equivariant quasicoherent sheaves on the formal neighborhood of the nilpotent cone in $G$ and…

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…

In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the…

Let $G$ be an inner form of a general linear group over a non-archimedean locally compact field of residue characteristic $p$, let $R$ be an algebraically closed field of characteristic different from $p$ and let $\mathscr{R}_R(G)$ be the…

Let F be a non-Archimedean locally compact field of residue characteristic p, let D be a finite dimensional central division F-algebra and let R be an algebraically closed field of characteristic different from p. To any irreducible smooth…

We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of…

Schneider-Stuhler and Vigneras have used cosheaves on the affine Bruhat-Tits building to construct natural finite type projective resolutions for admissible representations of reductive p-adic groups in characteristic not equal to p. We use…

We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…

We classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also: (1) Upgrade an…

Let $G$ be a finite group and $(K,\mathcal{O},k)$ be a $p$-modular system "large enough". Let $R=\mathcal{O}$ or $k$. There is a bijection between the blocks of the group algebra $RG$ and the central primitive idempotents (the blocks) of…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

Let $X$ be a smooth projective variety acted on by a reductive group $G$. Let $L$ be a positive $G$-equivariant line bundle over $X$. We use the Witten deformation of the Dolbeault complex of $L$ to show, that the cohomology of the sheaf of…

We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…

We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of "category" for which equality…