Related papers: Faithfully flat descent for projectivity of module…
The complete class of conformally flat, pure radiation metrics is given, generalising the metric recently given by Wils.
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…
This article investigates the splitting problem for finitely generated projective modules $P$ over affine algebras over algebraically closed fields and their polynomial extensions. We then address an open question due to M. Roitman on monic…
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…
A characteristic property of cohomology with compact support is the long exact sequence that connects the compactly supported cohomology groups of a space, an open subspace and its complement. Given an arbitrary cohomology theory of…
We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…
We make a detailed study of idempotent ideals that are traces of countably generated projective right modules. We associate to such ideals an ascending chain of finitely generated left ideals and, dually, a descending chain of cofinitely…
The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective…
We discuss the flatness property of some fiber type contractions of complex smooth projective varieties of arbitrary dimensions. We relate the flatness of some morphisms having one-dimensional fibers with their conic bundles structures,…
We shall prove that a moduli space of flat irreducible Lie algebroid connections over a compact manifold has locally a natural structure of a smooth differentiable space. This is a generalization of some well known results for the moduli…
We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study…
The structure of a Frobenius manifold encodes the geometry associated with a flat pencil of metrics. However, as shown in the authors' earlier work, much of the structure comes from the compatibility properties of the pencil rather than…
The asymptotic stability of several homological invariants of the graded pieces of a graded module has attracted quite a lot of attention over the last decades. We provide in this text several stability results together with estimates of…
It is known that every $R$-module has a flat precover. We show in the paper that every $R$-module has a Gorenstein flat precover.
It is well-known that a class of all modules, which are torsion-free with respect to a set of ideals, is closed under injective envelopes. In this paper, we consider a kind of a dual to this statement - are the divisibility classes closed…
We construct the derived scheme of stable sheaves on a smooth projective variety via derived moduli of finite graded modules over a graded ring. We do this by dividing the derived scheme of actions of Ciocan-Fontanine and Kapranov by a…
Let H be a semisimple algebaric group and let X be a smooth projective curve defined over an algebraically closed field k. In the first part of this paper we show that the moduli of semistable principal H-bundles exists once given a…
We study flips of moduli schemes of stable torsion free sheaves as wall-crossing phenomena of moduli schemes of stable modules over certain finite dimensional algebra. They are described as stratified Grassmann bundles.
We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…
It is shown that moduli spaces of complete families of compact complex hypersurfaces in complex manifolds often come equipped canonically with projective structures satisfying some natural integrability conditions.