Related papers: Cartier duality via Mittag-Leffler modules
We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…
We study Mittag-Leffler conditions on modules providing relative versions of classical results by Raynaud and Gruson. We then apply our investigations to several contexts. First of all, we give a new argument for solving the Baer splitting…
Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate…
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…
Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.
For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules…
The paper deals with group dualities. A group duality is simply a pair $(G, H)$ where $G$ is an abstract abelian group and $H$ a subgroup of characters defined on $G$. A group topology $\tau$ defined on $G$ is {\it compatible} with the…
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 R be a commutative ring with identity and M be an R- module. The aim of this paper is to introduce and investigate the notions of nil-M-Noetherian and nil-M-Artinian modules as generalizations of Noetherian and Artinian modules. Also,…
Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$,…
A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one…
Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.
We study the relative Picard group $Pic(f)$ of a map $f:X\to S$ of schemes. If $f$ is faithful affine, it is the relative Cartier divisor group $I(f)$. The relative group $K_0(f)$ has a $\gamma$-filtration, and $Pic(f)$ is the top quotient…
It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…
Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from…
The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…
For a compact Lie group G we define a regularized version of the Dolbeault cohomology of a G-equivariant holomorphic vector bundles over non-compact Kahler manifolds. The new cohomology is infinite-dimensional, but as a representation of G…
For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic…
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)$…
We generalize the Cartier transform of Ogus and Vologodsky to log smooth schemes. More precisely, we generalize a local version of this transform, due to Shiho, and a topos-theoretic version, due to Oyama. Let $k$ be a perfect field of…