3
$\begingroup$

Hi,

I try to understand the orientation sheaves. When searching it in the google, i meet new areas such as local coefficient system and locally constant sheaves. I realize that any system of local coefficients on X is a locally constant sheaves. But what is the relation with orientation sheaves. Which refferences are there to read it?

$\endgroup$
1
  • $\begingroup$ Could someone retag, please? Say, some "sheaf-theory" and "at.algebraic-topology". $\endgroup$ Commented Jul 6, 2012 at 11:00

1 Answer 1

10
$\begingroup$

These are purely topological notions and have nothing to do with algebraic geometry in particular.

Let $M$ for simplicity be a topological manifold of dimension $n$. Then the orientation sheaf $\mathcal{L}_{or}(M)$ is the sheafification of the presheaf $U\mapsto H_n(M,M-U;\mathbb{Z})$. It's always a locally constant sheaf with stalks equal to $\mathbb{Z}$. One immediately checks that $\mathcal{L}_{or}$ is trivial if and only if $M$ is orientable. This definition can be generalized.

As for the references, I'd suggest checking A.Dimca, Sheaves in Topology or B.Iversen, Cohomology of Sheaves.

$\endgroup$
3
  • 1
    $\begingroup$ to be more explicit one could say that the stalks of $L_{or}(M)$ depend only on the presheaf you defined. To see what the stalks are we can reduce to $\mathbb{R}^n$ as $M$ is a manifold. There we can take a direct system of concentric balls. The relative homology then becomes the n-th homology of the sphere $S^n$ which is $\mathbb{Z}$. Hence $L_{or}(M)$ is indeed locally constant. $\endgroup$ Commented Jul 6, 2012 at 15:09
  • $\begingroup$ what does the trivial orientation sheaf mean? $\endgroup$
    – zatilokum
    Commented Aug 1, 2012 at 22:59
  • $\begingroup$ @zatilokum It means that this is a constant sheaf. $\endgroup$ Commented Aug 2, 2012 at 12:04

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .