Related papers: The derived $\infty$-category of Frobenius modules
We introduce twisted differential calculus of negative level and prove a descent theorem: Frobenius pullback provides an equivalence between finitely presented modules endowed with a topologically quasi-nilpotent twisted connection of level…
Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of…
Over a Noetherian, local ring R of prime characteristic p, the Frobenius functor F induces a diagonalizable map on certain quotients of rational Grothendieck groups. This leads to an explicit formula for the Dutta multiplicity, and it is…
Buchweitz related the singularity category of a (strongly) Gorenstein ring and the stable category of maximal Cohen-Macaulay modules by a triangle equivalence. We phrase his result in a relative categorical setting based on N-complexes…
Given a smooth scheme over $\Z/p^n\Z$ with a lift of relative Frobenius to $\Z/p^{n+1}\Z$, we construct a functor from the category of Higgs modules to that of modules with integrable connections as the composite of the level raising…
We study a category $\mathcal{C}_2$ of $\mathbb{Z}$-graded MCM modules over the $A_\infty$ curve singularity and demonstrate it has infinite type $A$ cluster combinatorics. In particular, we show that this Frobenius category (or a suitable…
We extend the notion of Frobenius Betti numbers and F-splitting ratio to large classes of finitely generated modules over rings of prime characteristic, which are not assumed to be local. We also prove that the strong F-regularity of a pair…
Let $X$ be a quasicompact quasiseparated scheme. Write $\operatorname{Gal}(X)$ for the category whose objects are geometric points of $X$ and whose morphisms are specializations in the \'etale topology. We define a natural profinite…
Let $\mathcal{X}$ be a smooth $p$-adic formal scheme over a mixed characteristic complete discrete valuation ring $\mathcal{O}_{K}$ with perfect residue field. We introduce a general category $\mathcal{M}\mathcal{F}_{[0,…
Via a construction due to V. Drinfel'd, we prove an equivalence of categories, generalizing the equivalence between commutative flat group schemes in characteristic $p$ with trivial Verschiebung and their Dieudonn\'e modules to group…
For any nullity $2$ extended affine Lie algebra $\mathcal{E}$ of maximal type and $\ell\in\mathbb{C}$, we prove that there exist a vertex algebra $V_{\mathcal{E}}(\ell)$ and an automorphism group $G$ of $V_{\mathcal{E}}(\ell)$ equipped with…
We extend the work of Pappas-Rapoport-Zhu on twisted affine Grassmannians to wildly ramified, quasi-split, and residually split groups, assuming the maximal torus is induced. This relies on the construction, inspired by Tits, of certain…
We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…
In this paper, we extend the notion of Shintani descent to general (possibly disconnected) algebraic groups defined over a finite field $\mathbb{F}_q$. For this, it is essential to treat all the pure inner $\mathbb{F}_q$-rational forms of…
We prove that the collection of model structures on (quasicoherent) module categories does not obey flat descent. In particular, it fails to be a separated presheaf, in the fppf topology, on Artin stacks.
Given a Frobenius category $\mathcal{F}$ satisfying certain finiteness conditions, we consider the localization of its Hall algebra $\mathcal{H(F)}$ at the classes of all projective-injective objects. We call it the {\it "semi-derived Hall…
We show that the moduli space of $A$-line bundles with minimal second Chern class is a fine moduli space, where $A$ is a maximal quaternion order on $\mathbb{P}^{2}$ ramified along a smooth quartic. We prove that there is a fully faithful…
Building on foundations introduced in a previous paper, we give several p-adic analytic descriptions of the categories of etale Zp-local systems and etale Qp-local systems on an affinoid algebra over a finite extension of Qp (or more…
By introducing Frobenius morphisms $F$ on algebras $A$ and their modules over the algebraic closure ${{\bar \BF}}_q$ of the finite field $\BF_q$ of $q$ elements, we establish a relation between the representation theory of $A$ over ${{\bar…
We describe the class of semi-stable model categories, which generalize the equivalence of finite products and coproducts in abelian and stable model categories, and use this to establish Morita equivalences among categories of functors. We…