Related papers: Riemann-Hilbert correspondence for unit $F$-crysta…

For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…

For an $F$-finite scheme $X$ separated over a perfect field $k$ of characteristic $p>0$ which admits an embedding into a smooth $k$-scheme, we establish an equivalence between the bounded derived categories of Cartier crystals on $X$ and…

In this article, I define triangulated categories of constructible isocrystals on varieties over a perfect field of positive characteristic, in which Le Stum's abelian category of constructible isocrystals sits as the heart of a natural…

By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…

We extend the results of Riemannian geometry over finite groups and provide a full classification of all linear connections for the minimal noncommutative differential calculus over a finite cyclic group. We solve the torsion-free and…

Let X be a smooth variety over an algebraically closed field of characteristic p > 0, Z a smooth divisor, and j : U = X\Z --> X the natural inclusion. An axiomatizing of the properties of a V -filtration on a unit F-crystal is proposed and…

We apply the theory of $\phi$-coordinated modules, developed by H.-S. Li, to the Etingof--Kazhdan quantum affine vertex algebra associated with the trigonometric $R$-matrix of type $A$. We prove, for a certain associate $\phi$ of the…

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…

We show that the category of quasi-coherent Cartier crystals is equivalent to the category of unit Cartier modules on an F-finite noetherian ring R, and that these equivalent categories have finite global dimension, by showing that every…

By a result of Orlov there always exists an embedding of the derived category of a finite-dimensional algebra of finite global dimension into the derived category of a high-dimensional smooth projective variety. In this article we give some…

We study the problem of classifying triangulated categories with finite-dimensional morphism spaces and finitely many indecomposables over an algebraically closed field. We obtain a new proof of the following result due to Xiao and Zhu: the…

Let $R=\mathbb{F}_p[x_1,\ldots,x_n]$ and let $\mathbf{F}$ be the ring of Frobenius operators over $R$. We introduce a notion of Bernstein dimension and multiplicity for the class of finitely generated $\mathbf{F}$-modules whose structure…

To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…

For a Cohen-Macaulay ring $R$, we exhibit the equivalence of the bounded derived categories of certain resolving subcategories, which, amongst other results, yields an equivalence of the bounded derived category of finite length and finite…

Let $\widetilde{G}$ be a split connected reductive group with connected center $Z$ over a local non-Archimedean field $F$ of residue characteristic $p$, let $\widetilde{K}$ be a hyperspecial maximal compact open subgroup in $\widetilde{G}$.…

We show an equivalence of categories, over general $p$-adic bases, between finite locally $p^n$-torsion commutative group schemes and $\Int/p^n\Int$-modules in perfect $F$-gauges of Tor amplitude $[-1,0]$ with Hodge-Tate weights $0,1$. By…

In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…

An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…

We construct a full rectangular Lefschetz collection in the derived category of the adjoint Grassmannian in type $\mathrm{F}_4$. This gives the first example of a full exceptional collection on this variety and also completes the proof of a…

We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras.…