Related papers: A second note on homological systems
Let $k$ be a field, and $H$ a Hopf algebra with bijective antipode. If $H$ is commutative, noetherian, semisimple and cosemisimple, then the category ${}_{H}{\mathcal {YD}}^H$ of Yetter-Drinfeld modules is semisimple. We also prove a…
We present some homological properties of a relation $\beta$ on ordered groupoids that generalises the minimum group congruence for inverse semigroups. When $\beta$ is a transitive relation on an ordered groupoid $G$, the quotient $G /…
We consider algebras defined over a complete, local and noetherian ground ring. They are gentle algebras in case the ground ring is a field. The unbounded homotopy category of complexes of projective modules is considered. Complexes with…
We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick…
Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced…
In this paper we introduce and study the ''convergent'' algebra (containing ''a'' and ''b'' and acting on holomorphic germs in ''a'') which naturally acts on the ''generalized Brieskorn modules'' associated to the Gauss-Manin connections of…
Let $A$ be an artinian algebra, and let $\mathcal{C}$ be a subcategory of mod$A$ that is closed under extensions. When $\mathcal{C}$ is closed under kernels of epimorphisms (or closed under cokernels of monomorphisms), we describe the…
We consider homological mirror symmetry in the context of hypertoric varieties, showing that appropriate categories of B-branes (that is, coherent sheaves) on an additive hypertoric variety match a category of A-branes on a Dolbeault…
Let G be an algebraic group over an algebraically closed field of positive characteristic such that its neutral connected component is a unipotent group. We consider a certain class of closed idempotents in the braided monoidal category…
Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…
In this paper we study the category of graded modules for the current algebra associated to $\mathfrak{sl}_2$. The category enjoys many nice properties, including a tilting theory which was established in previous work of the authors. We…
In this article, we deal with several notions in dynamical systems. Firstly, we prove that both closure function and orbital function are idempotent on set-valued dynamical systems. And we show that the compact limit set of a connected set…
Let $A,B \subset \mathbb{R}$ be closed Ahlfors-regular sets with dimensions $\dim_{\mathrm{H}} A =: \alpha$ and $\dim_{\mathrm{H}} B =: \beta$. I prove that $$\dim_{\mathrm{H}} [A + \theta B] \geq \alpha + \beta \cdot \tfrac{1 - \alpha}{2 -…
We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…
Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [18], [12], [17]. If $R$ is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class…
We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…
The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite…
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…
For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered…
We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…