Related papers: Overcoherence implies holonomicity
Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…
In this paper we study modules coinvariant under automorphisms of their projective covers. We first provide an alternative, and in fact, a more succinct and conceptual proof for the result that a module $M$ is invariant under automorphisms…
In this note, we show that a ring $R$ is $S$-coherent if and only if every finitely presented $R$-module is $S$-coherent, providing a positive answer to a question proposed in [D. Bennis, M. El Hajoui, {\it On $S$-coherence}, J. Korean…
Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…
Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. We consider the complete cohomology ring $\mathcal{E}_M^* = \sum_{n \in \mathbb{Z}} \widehat{Ext}^n_{kG}(M,M)$. We show that the ring has two distinguished…
We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…
The aim of this note is a combinatorial description of a category of $D$-modules over an affine space, smooth along the stratification defined by an arrangement of hyperplanes. These $D$-modules are assumed to satisfy certain non-resonance…
Let $\mathfrak{q}$ denote an ideal of a local ring $(A,\mathfrak{m})$. For a system of elements $\underline{a} = a_1,\ldots,a_t$ such that $a_i \in \mathfrak{q}^{c_i}, i = 1, \ldots,t,$ and $n \in \mathbb{Z}$ we investigate a subcomplex…
We introduce the notion of filtered perversity of a filtered differential complex on a complex analytic manifold $X$, without any assumptions of coherence, with the purpose of studying the connection between the pure Hodge modules and the…
If $M$ is an $R$-module, we study the submodules $K\leq M$ with the property that $K$ is invariant with respect to all monomorphisms $K\rightarrow M$. Such submodules are called \textsl{strictly invariant}. For the case of $%…
We consider the (graded) Matlis dual $\DD(M)$ of a graded $\D$-module $M$ over the polynomial ring $R = k[x_1, \ldots, x_n]$ ($k$ is a field of characteristic zero), and show that it can be given a structure of $\D$-module in such a way…
A polarizable variation of Hodge structure over a smooth complex quasi projective variety $S$ is said to be defined over a number field $L$ if $S$ and the algebraic connection associated to the variation are both defined over $L$.…
Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or…
Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log…
We establish the Hodge conjecture for the top dimensional cohomology group with integer coefficients of any $q$-complete complex manifold $X$ with $q<\dim X$. This holds in particular for the complement $X=\mathbb{C}\mathbb{P}^n\setminus A$…
A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform…
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…
We extend the usual definition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution…
Let M be a complex of D-modules with bounded holonomic cohomology on a complex manifold. In this note, we prove that if the derived tensor product of M with itself is regular, then M is regular.
In this paper we present the definition of quasi-bases for modules over a ring that is commutative but not necessarily division and discuss properties that guarantee the existence of quasi-bases. Based on this result we further prove that…