Related papers: The direct limit closure of perfect complexes
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
Motivated by the classical correspondence between short exact sequences and splitting properties in module theory, this paper examines the projective and injective analogues within the category of Lie algebras. We first show that no Lie…
We study a properly convex real projective manifold with (possibly empty) compact, strictly convex boundary, and which consists of a compact part plus finitely many convex ends. We extend a theorem of Koszul which asserts that for a compact…
We prove that every non-finitely generated projective module over the integral group ring of a polycyclic-by-finite group G is free if and only if G is polycyclic.
We prove that all finitely generated fully residually free groups (limit groups) have a sequence of finite dimensional unitary representations that `strongly converge' to the regular representation of the group. The corresponding statement…
An oriented compact closed manifold is called inflexible if the set of mapping degrees ranging over all continuous self-maps is finite. Inflexible manifolds have become of importance in the theory of functorial semi-norms on homology.…
We introduce pretty clean modules, extending the notion of clean modules by Dress, and show that pretty clean modules are sequentially Cohen-Macaulay. We also extend a theorem of Dress on shellable simplicial complexes to multicomplexes.
Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a…
For four wide classes of topological rings $\mathfrak R$, we show that all flat left $\mathfrak R$-contramodules have projective covers if and only if all flat left $\mathfrak R$-contramodules are projective if and only if all left…
Let $E$ be a directed graph, $K$ any field, and let $L_K(E)$ denote the Leavitt path algebra of $E$ with coefficients in $K$. For each rational infinite path $c^\infty$ of $E$ we explicitly construct a projective resolution of the…
An $R$-module $M$ is called absolutely self pure if for any finitely generated left ideal of $R$ whose kernel is in the filter generated by the set of all left ideals $L$ of $R$ with $L \supseteq$ ann $(m)$ for some $m \in M$, any map from…
We show that for singular hypersurfaces, a version of their genus-zero Gromov-Witten theory may be described in terms of a direct limit of fixed point Floer cohomology groups, a construction which is more amenable to computation and easier…
We introduce a similarity relation between submodules of a module $M$ over a ring $R$, extending the classical notion of similarity for right ideals. Focusing on (faithfully) projective modules, we establish a sharp lower bound for the…
Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…
The classes $\mathcal D _{\mathcal Q}$ of flat relative Mittag-Leffler modules are sandwiched between the class $\mathcal F \mathcal M$ of all flat (absolute) Mittag-Leffler modules, and the class $\mathcal F$ of all flat modules. Building…
In this paper, we consider finitely generated modules over commutative Noetherian rings whose tensor products have finite projective dimension. We construct examples of modules of infinite projective dimension (and also of infinite…
We present a homological characterisation of those chain complexes of modules over a Laurent polynomial ring in several indeterminates which are finitely dominated over the ground ring (that is, are a retract up to homotopy of a bounded…
Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and…
Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines…
In this paper, we study the resolving of $\mathcal{SGP}(-)$ and $\mathcal{SGF}(-)$, the classes of all strongly Gorenstein projective and flat modules respectively, over a direct product of commutative rings.