Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-23T02:17:46.688Z Has data issue: false hasContentIssue false

Topological Representation of Sheaf Cohomology of Sites

Published online by Cambridge University Press:  04 December 2007

CARSTEN BUTZ
Affiliation:
Mathematisch Instituut, Universiteit Utrecht, Postbus 80.010, NL-3508 TA Utrecht, The Netherlands e-mail: [email protected], [email protected] BRICS, Basic Research in Computer Science, Centre of the Danish National Research Foundation, Department of Computer Science, University of Aarhus, Denmark
IEKE MOERDIJK
Affiliation:
Mathematisch Instituut, Universiteit Utrecht, Postbus 80.010, NL-3508 TA Utrecht, The Netherlands e-mail: [email protected], [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

For a site ${\mathcal S}$ (with enough points), we construct a topological space X$_($)$ and a full embedding φ$^*$ of the category of sheaves on ${\mathcal S}$ into those on X$_($) (i.e., a morphism of toposes φ:Sh (X$_($) →Sh(${\mathcal S}$)). The embedding will be shown to induce a full embedding of derived categories, hence isomorphisms coh$^*$(${\mathcal S}$,A) =coh$^**$(X$_($), φ$^*$A) for any Abelian sheaf A on ${\mathcal S}$. As a particular case, this will give for any scheme Y a topological space X and a functorial isomorphism between the étale cohomology H$^**$(et{Y},A) and the ordinary sheaf cohomology H$^**$(X,φ$^**$A), for any sheaf A for the étale topology on Y.

Type
Research Article
Copyright
© 1999 Kluwer Academic Publishers