coherent sheaf

coherent sheaf
Name	Coherent sheaf
Field	Algebraic geometry
Introduced	20th century
Notable for	Sheaf-theoretic methods in algebraic geometry

coherent sheaf

A coherent sheaf is a sheaf of modules over a ringed space that is locally of finite presentation and whose kernel of any local presentation is of finite type, providing a robust finiteness notion used in modern algebraic geometry, complex geometry, and number theory. Developed through contributions by mathematicians associated with institutions such as the École Normale Supérieure, University of Göttingen, and Institute for Advanced Study, coherent sheaves unify techniques relevant to schemes, complex manifolds, and arithmetic varieties.

Definition and Basic Properties

On a ringed space (X, O_X) one defines a coherent O_X-module as an O_X-module F such that locally there exists an exact sequence O_X^n -> O_X^m -> F -> 0 with kernel finitely generated. This notion refines earlier ideas from work at École Polytechnique and builds on foundations laid by figures associated with University of Cambridge and Princeton University. Key local properties include stability under kernels, cokernels, and extensions, reflecting algebraic structures emerging in contexts studied at Harvard University and Stanford University. Coherence behaves well under restriction to open subsets encountered in studies at Massachusetts Institute of Technology and University of Oxford.

Examples and Constructions

Basic examples arise from finitely generated modules over coherent rings such as coordinate rings of affine schemes like those studied at University of Bonn and University of Chicago. On complex manifolds like Riemann surfaces and higher-dimensional complex varieties appearing in seminars at Institut des Hautes Études Scientifiques the sheaf of holomorphic functions O_X and its ideal sheaves are coherent. Structure sheaves of projective varieties considered in lectures at California Institute of Technology and Columbia University give coherent O_X-modules, while pushforwards under proper morphisms studied in the context of projects at Max Planck Institute and Imperial College London produce coherent sheaves via direct image constructions. Torsion sheaves supported on subschemes featured in research at Sorbonne University and University of Tokyo provide further examples.

Cohomology and Derived Functors

Cohomology of coherent sheaves yields invariants crucial to classification problems addressed in collaborations at Princeton University and ETH Zurich. The coherent cohomology groups H^i(X, F) are computed using Čech methods on coverings used in courses at University of Michigan and spectral sequences appearing in work at Yale University. Derived functors such as R^i f_* for a morphism f: X -> Y, central to theorems formulated at Courant Institute and University of British Columbia, preserve coherence under properness hypotheses analogous to results presented at Weizmann Institute. Vanishing theorems and duality statements, influenced by developments at University of Paris and University of Münster, rely on cohomological properties of coherent sheaves.

Operations on Coherent Sheaves

Standard operations—tensor products, Hom, Ext, pullback, and pushforward—are defined for coherent sheaves and studied intensively at institutions like University of California, Berkeley and University of Edinburgh. Tensoring by line bundles from projects associated with Royal Society activities modifies coherence in ways exploited in work on moduli spaces at University of Warwick. Internal Hom and Ext groups compute deformation and obstruction spaces featured in seminars at Kavli Institute and Swiss Federal Institute of Technology Lausanne. Pullback along flat morphisms and proper pushforward under projective morphisms preserve coherence in settings examined at National University of Singapore and University of Sydney.

Coherent Sheaves in Algebraic Geometry

In algebraic geometry coherent sheaves underpin the formulation of schemes introduced at University of Kansas-linked seminars and are central to the study of projective varieties investigated at University of Leiden and University of Milan. Coherent sheaves serve to define Hilbert schemes and moduli stacks analyzed in collaboration between researchers at Institute for Advanced Study and Max Planck Institute for Mathematics. The use of coherent sheaves is essential in the statements of theorems proved at Princeton University and Harvard University concerning ampleness, base change, and flattening stratification in families of varieties.

Relation to Vector Bundles and Locally Free Sheaves

Locally free sheaves (vector bundles) form a full subcategory of coherent sheaves; this relationship appears in the study of tangent bundles of varieties treated in symposia at University of Cambridge and in gauge-theoretic contexts explored at University of Oxford. Notions of rank, determinant line bundles, and splitting types studied at University of Wisconsin–Madison and Rutgers University connect vector bundle theory with coherent sheaf methods. Many classification results for vector bundles on curves and surfaces, as in work associated with Columbia University and University of Geneva, use coherent sheaf techniques to handle degenerations and singularities.

Applications and Key Theorems

Key theorems involving coherent sheaves include Cartan's theorems A and B for coherent analytic sheaves on Stein spaces popularized in seminars at École Normale Supérieure and Grothendieck's coherence results and finiteness theorems developed at Université de Paris and IHÉS. Theorems on cohomology vanishing, Serre duality, and the Riemann–Roch theorem for coherent sheaves are foundational in research programs at Princeton University and University of Cambridge. Applications stretch to deformation theory of complex structures explored at Institute for Advanced Study, moduli problems in algebraic geometry pursued at Mathematical Sciences Research Institute, and arithmetic geometry questions engaged by researchers at University of Oxford and Massachusetts Institute of Technology.

Category:Sheaf theory