In algebra, a perfect complex of
modules over a
commutative ring ''A'' is an object in the derived category of ''A''-modules that is quasi-isomorphic to a
bounded complex
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of ...
of finite projective ''A''-modules. A perfect module is a module that is perfect when it is viewed as a complex concentrated at degree zero. For example, if ''A'' is
Noetherian In mathematics, the adjective Noetherian is used to describe objects that satisfy an ascending or descending chain condition on certain kinds of subobjects, meaning that certain ascending or descending sequences of subobjects must have finite leng ...
, a module over ''A'' is perfect if and only if it is finitely generated and of finite
projective dimension
In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules. Various equivalent characteriza ...
.
Other characterizations
Perfect complexes are precisely the
compact object
In astronomy, the term compact star (or compact object) refers collectively to white dwarfs, neutron stars, and black holes. It would grow to include exotic stars if such hypothetical, dense bodies are confirmed to exist. All compact objects h ...
s in the unbounded derived category
of ''A''-modules. They are also precisely the
dualizable object In category theory, a branch of mathematics, a dual object is an analogue of a dual vector space from linear algebra for objects in arbitrary monoidal categories. It is only a partial generalization, based upon the categorical properties of dual ...
s in this category.
A compact object in the ∞-category of (say right)
module spectra over a
ring spectrum
In stable homotopy theory, a ring spectrum is a spectrum ''E'' together with a multiplication map
:''μ'': ''E'' ∧ ''E'' → ''E''
and a unit map
: ''η'': ''S'' → ''E'',
where ''S'' is the sphere spectrum. These maps have to satisfy a ...
is often called perfect;
[http://www.math.harvard.edu/~lurie/281notes/Lecture19-Rings.pdf ] see also
module spectrum In algebra, a module spectrum is a spectrum with an action of a ring spectrum; it generalizes a module in abstract algebra.
The ∞-category of (say right) module spectra is stable; hence, it can be considered as either analog or generalization of ...
.
Pseudo-coherent sheaf
When the structure sheaf
is not coherent, working with coherent sheaves has awkwardness (namely the kernel of a finite presentation can fail to be coherent). Because of this,
SGA 6 Expo I introduces the notion of a pseudo-coherent sheaf.
By definition, given a
ringed space
In mathematics, a ringed space is a family of ( commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf ...
, an
-module is called pseudo-coherent if for every integer
, locally, there is a
free presentation of finite type of length ''n''; i.e.,
:
.
A complex ''F'' of
-modules is called pseudo-coherent if, for every integer ''n'', there is locally a quasi-isomorphism
where ''L'' has degree bounded above and consists of finite free modules in degree
. If the complex consists only of the zero-th degree term, then it is pseudo-coherent if and only if it is so as a module.
Roughly speaking, a pseudo-coherent complex may be thought of as a limit of perfect complexes.
See also
*
Hilbert–Burch theorem
*
elliptic complex In mathematics, in particular in partial differential equations and differential geometry, an elliptic complex generalizes the notion of an elliptic operator to sequences. Elliptic complexes isolate those features common to the de Rham cohomology, ...
(related notion; discussed at SGA 6 Exposé II, Appendix II.)
References
*
*
Further reading
* https://mathoverflow.net/questions/354214/determinantal-identities-for-perfect-complexes
An alternative definition of pseudo-coherent complex
External links
*http://stacks.math.columbia.edu/tag/0656
*http://ncatlab.org/nlab/show/perfect+module
Abstract algebra
{{algebra-stub