Top Qs
Timeline
Chat
Perspective

Perfect complex

From Wikipedia, the free encyclopedia

Remove ads

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 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, a module over A is perfect if and only if it is finitely generated and of finite projective dimension.

Remove ads

Other characterizations

Perfect complexes are precisely the compact objects in the unbounded derived category of A-modules.[1] They are also precisely the dualizable objects in this category.[2]

A compact object in the ∞-category of (say right) module spectra over a ring spectrum is often called perfect;[3] see also module spectrum.

Remove ads

Pseudo-coherent sheaf

Summarize
Perspective

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 , 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.

Remove ads

See also

References

Loading content...

Bibliography

Loading content...
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads