Hostname: page-component-848d4c4894-cjp7w Total loading time: 0 Render date: 2024-06-28T22:37:29.167Z 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: butz@math.ruu.nl, moerdijk@math.ruu.nl 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: butz@math.ruu.nl, moerdijk@math.ruu.nl
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