Coherent dualityIn mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory. The historical roots of the theory lie in the idea of the adjoint linear system of a linear system of divisors in classical algebraic geometry. This was re-expressed, with the advent of sheaf theory, in a way that made an analogy with Poincaré duality more apparent.
Glossary of algebraic geometryThis is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
Dualizing moduleIn abstract algebra, a dualizing module, also called a canonical module, is a module over a commutative ring that is analogous to the canonical bundle of a smooth variety. It is used in Grothendieck local duality. A dualizing module for a Noetherian ring R is a finitely generated module M such that for any maximal ideal m, the R/m vector space Ext(R/m,M) vanishes if n ≠ height(m) and is 1-dimensional if n = height(m). A dualizing module need not be unique because the tensor product of any dualizing module with a rank 1 projective module is also a dualizing module.
Sheaf cohomologyIn mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper. Sheaves, sheaf cohomology, and spectral sequences were introduced by Jean Leray at the prisoner-of-war camp Oflag XVII-A in Austria.
Coherent sheaf cohomologyIn mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaf cohomology is a technique for producing functions with specified properties. Many geometric questions can be formulated as questions about the existence of sections of line bundles or of more general coherent sheaves; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one algebraic variety from another.