nLab coherent sheaf

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Schanuel's lemma

Homology theories

Theorems

Contents

Idea

A coherent sheaf of modules is a geometric globalization of the notion of coherent module.

Definition

Over a ringed topos

Let (X,𝒪)(X,\mathcal{O}) be a ringed space or, more generally, a ringed site.

A sheaf \mathcal{E} on XX of 𝒪\mathcal{O}-modules is

  • finitely generated, or of finite type , if every point xXx \in X has an open neighbourhood such that there is a surjective morphism

    𝒪 n| U| U\mathcal{O}^n|_U \to \mathcal{E}|_U

    from a free module to | U\mathcal{E}|_{U}, where nn is finite.

  • coherent if it is

    1. finitely generated

    2. for every open UU in the base space (resp. every object UU in the base site), every finite pp \in \mathbb{N} and every morphism

      𝒪 p| U| U\mathcal{O}^p|_U\to \mathcal{E}|_U

      of 𝒪| U\mathcal{O}|_U-modules has a finitely generated kernel.

  • finitely presented if there is an exact sequence of the form

    𝒪 p𝒪 n0\mathcal{O}^p\to\mathcal{O}^n\to\mathcal{E}\to 0

    with pp and nn finite.

    Every finitely presented 𝒪\mathcal{O}-module is finitely generated.

  • quasi coherent if it is locally – on a cover {U i}\{U_i\}presentable, i.e. for each ii there is an exact sequences

    𝒪 I i| U i𝒪 J i| U i| U i0, \mathcal{O}^{I_i}|_{U_i} \to \mathcal{O}^{J_i}|_{U_i} \to \mathcal{E}|_{U_i} \to 0\,,

    where I iI_i and J iJ_i may be infinite, i.e. \mathcal{E} is locally the cokernel of free modules. For more see quasicoherent sheaf.

Over a structured (,1)(\infty,1)-topos

Over a spectral Deligne-Mumford stack:

(Lurie QCoh, def. 2.6.20)

Properties

For a coherent sheaf \mathcal{E} over a ringed space, for every point yy in the base space XX there is a neighborhood VV such that the 𝒪 X(V)\mathcal{O}_X(V)-module (V)\mathcal{E}(V) of sections of \mathcal{E} over VV is finitely presented. On a noetherian scheme the notions of finitely presented and coherent sheaves of 𝒪\mathcal{O}-modules agree, but this is not true on a general scheme or general analytic space; sometimes even the structure sheaf 𝒪\mathcal{O} itself is a counterexample (not coherent while finitely presented).

The notion of coherent sheaf behaves well on the category of noetherian schemes. On a general topological space, by a basic result of Serre, if two of the sheaves of 𝒪\mathcal{O}-modules in a short exact sequence

00 0\to \mathcal{E}\to\mathcal{E}'\to \mathcal{E}''\to 0

are coherent then so is the third. All this holds even if 𝒪\mathcal{O} is a sheaf of noncommutative rings. For commutative 𝒪\mathcal{O}, the inner hom Hom 𝒪(,)Hom_{\mathcal{O}}(\mathcal{E},\mathcal{F}) in the category of sheaves of 𝒪\mathcal{O}-modules is coherent if ,\mathcal{E},\mathcal{F} are coherent.

A theorem of Serre says that the category of coherent sheaves over a projective variety of the form ProjRProj R where RR is a graded commutative Noetherian ring is equivalent to the localization of the category of finitely generated graded RR-modules modulo its (“torsion”) subcategory of (finitely generated graded) RR-modules of finite length.

Historical note and definition variants

First works on coherent sheaves in complex analytic geometry. Serre adapted their work to algebraic framework in his famous article FAC. Hartshorne’s definitions are changed/adapted to the special setup of Noetherian schemes with the excuse that the coherence does not behave that well otherwise; thus they differ from the definitions in EGA and FAC.

A. Vistoli commented at MathOverflow here that for some categorical purposes

one should interpret “coherent” as meaning “quasi-coherent of finite presentation”. The notion of coherent sheaf, as defined in EGA, is not functorial, that is, pullbacks of coherent sheaves are not necessarily coherent. Hartshorne’s book defines “coherent” as “quasi-coherent and finitely generated”, but this is a useless notion when working with non-noetherian schemes.

References

  • J-P. Serre, Faisceaux algébriques cohérents, Ann. of Math. (2) 61, (1955) 197–278, doi.

  • H. Grauert, R. Remmert, Coherent analytic sheaves, Grundlehren der Math. Wissenschaften 265, Springer 1984. xviii+249 pp.

  • M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous spaces, Invent. Math. 92 (1988), no. 3, 479–508, doi.

  • D. O. Orlov, Производные категории когерентных пучков и эквивалентности между ними (pdf, Russian) Uspekhi Mat. Nauk 58 (2003), no. 3(351), 89–172; Engl. transl. Derived categories of coherent sheaves and equivalences between them, Russian Math. Surveys 58 (2003), no. 3, 511–591.

  • V. D. Golovin, Homology of analytic sheaves and duality theorems, Contemporary Soviet Mathematics (1989) viii+210 pp. transl. from Russian original Гомологии аналитических пучков и теоремы двойственности, Moskva, Nauka 1986. (192 pp.)

  • EGA 0.5.3.1

  • Qing Liu, Algebraic geometry and arithmetic curves, 5.1.3

Categories of ind-coherent sheaves on schemes and stacks are studied in Dennis Gaitsgory, Notes on Geometric Langlands: ind-coherent sheaves, arxiv/1105.4857

Discussion in (∞,1)-topos theory

Last revised on July 27, 2023 at 16:22:21. See the history of this page for a list of all contributions to it.