相关论文: The derived $\infty$-category of Frobenius modules

We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical…

Let $k$ be a perfect field of characteristic $p$ and $W(k)$ its ring of Witt vectors. We construct an equivalence of categories between the full subcategory of the derived category of quasi-coherent sheaves on the syntomification of $W(k)$…

In "Frobenius Categories versus Brauer Blocks" and in "Ordinary Grothendieck groups of a Frobenius P-category" we consider suitable inverse limits of Grothendieck groups of categories of modules in characteristics p and zero, obtained from…

Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived…

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…

Let $\mathcal{E}$ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that $\mathcal{M} \subseteq \mathcal{E}$ is a rigid, contravariantly finite subcategory of $\mathcal{E}$ containing all…

We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…

Let ${\mathcal E}$ be a Frobenius category, ${\mathcal P}$ its subcategory of projective objects and $F:{\mathcal E} \to {\mathcal E}$ an exact automorphism. We prove that there is a fully faithful functor from the orbit category ${\mathcal…

For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…

In the first part of this article we prove that one of the conditions required in the original definition of nearly Frobenius algebra, the coassociativity, is redundant. Also, we determine the Frobenius dimension of the product and tensor…

We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of $\Bbbk$-group schemes $q:G\to A$, where $A$ is an abelian variety. We characterize the…

We prove analogs of faithfully flat descent and Galois descent for categories of modules over $E_{\infty}$-ring spectra using the $\infty$-categorical Barr-Beck theorem proved by Lurie. In particular, faithful $G$-Galois extensions are…

In this paper we study the derived categories of coherent sheaves on Grassmannians $\operatorname{Gr}(k,n),$ defined over the ring of integers. We prove that the category $D^b(\operatorname{Gr}(k,n))$ has a semi-orthogonal decomposition,…

We study fppf descent for enhanced derived categories. We revisit the work of [HS] and [TV08] in a lax context. More precisely, we construct a Cartesian and coCartesian fibration ${}^{\mathrm{op}}\mathscr D^+_S\rightarrow…

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

We describe a reduction technique for stably 2-Calabi--Yau Frobenius extriangulated categories $\mathcal{F}$ with respect to a functorially finite rigid subcategory $\mathcal{X}$. The reduction of such a category is another category…

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

We generalize Deng-Du's folding argument, for the bounded derived category $\mathcal{D}(Q)$ of an acyclic quiver $Q$, to the finite dimensional derived category $\mathcal{D}(\Gamma Q)$ of the Ginzburg algebra $\Gamma Q$ associated to $Q$.…

Given a split simply connected and connected algebraic group scheme $\mathbb G$ over $\mathbb Z$ and a split parabolic subgroup scheme $\mathbb P\subset \mathbb G$, this paper constructs semi-orthogonal decompositions of the bounded derived…

In this paper, given a semisimple algebraic group $\bf G$ of rank 2, we construct a special semiorthogonal decomposition in the derived category of coherent sheaves on the flag variety ${\bf G}/{\bf B}$. These decompositions are defined…