Related papers: The derived $\infty$-category of Frobenius modules
By using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b(A\mbox{-}{\rm mod})$ admits a categorical…
We prove a decomposition theorem for irreducible components of Grassmannians of submodules, as well as for other schemes arising from representation theory, thus generalising the result of Crawley-Boevey and Schroer for module varieties.…
We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization…
In this paper we study singularities defined by the action of Frobenius in characteristic $p > 0$. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if $X$ is a Gorenstein…
We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…
Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in…
We give a new characterization of silting subcategories in the stable category of a Frobenius extriangulated category, generalizing the result of Di et al. (J. Algebra 525 (2019) 42-63) about the Auslander-Reiten type correspondence for…
In this paper, we first introduce $\mathcal {W}_F$-Gorenstein modules to establish the following Foxby equivalence: $\xymatrix@C=80pt{\mathcal {G}(\mathcal {F})\cap \mathcal {A}_C(R) \ar@<0.5ex>[r]^{C\otimes_R-} & \mathcal {G}(\mathcal…
A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms…
We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we…
The aim of this paper is to unify classification theories of torsion classes of finite dimensional algebras and commutative Noetherian rings. For a commutative Noetherian ring $R$ and a module-finite $R$-algebra $\Lambda$, we study the set…
Let p be an odd prime number and K be a p-adic field. In this paper, we develop an analogue of Fontaine's theory of (phi,Gamma)-modules replacing the p-cyclotomic extension by the extension K_infty obtained by adding to K a compatible…
It is a well established fact that the notions of quasi-abelian categories and tilting torsion pairs are equivalent. This equivalence fits in a wider picture including tilting pairs of $t$-structures. Firstly, we extend this picture into a…
We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein…
We show that the derived center of the category of simplicial algebras over every algebraic theory is homotopically discrete, with the abelian monoid of components isomorphic to the center of the category of discrete algebras. For example,…
Assume that $p>2$, and let $\mathscr{O}_K$ be a $p$-adic discrete valuation ring with residue field admitting a finite $p$-basis, and let $R$ be a formally smooth formally finite-type $\mathscr{O}_K$-algebra. (Indeed, we allow slightly more…
For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the…
We study the Deligne interpolation categories $\underline{\mathrm{Rep}}(GL_{t}(\mathbb{F}_q))$ for $t\in \mathbb{C}$, first introduced by F. Knop. These categories interpolate the categories of finite dimensional complex representations of…
In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we introduce the Frobenius P-categories giving two quite different definitions of them. In this paper, we exhibit a third equivalent definition based on the form of the…
We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue…