MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 sp

# Why does a group action on a scheme induce a group action on cohomolycohomology?

This is probably totally obvious but I have no clue how this is done: Say you have an endomorphism $f:X \rightarrow X$ of schemes. Why (if true, perhaps some additional assumptions are necessary!) do you get for a Zariski/étale/l-adic sheaf $\mathcal{F}$ on $X$ an induced endomorphism on the correspondig corresponding cohomology? How is this constructed? Are there conditions, when the induced morphism is an isomorphism (I'm having a Frobenius in mind)?

Perhaps the above is too general, so my real question is: Why does a group/monoid action on the Deligne-Lusztig variety induce a group/monoid action on the l-adic cohomology (with compact support) of this variety? In every book I looked at this is just mentioned but not explained.

2 added 23 characters in body

This is probably totally obvious but I have no clue how this is done: Say you have an endomorphism $f:X \rightarrow X$ of schemes. Why (if true, perhaps some additional assumptions are necessary!) do you get for a Zariski/étale/l-adic sheaf $\mathcal{F}$ on $X$ an induced endomorphism on the correspondig cohomology? How is this constructed? Are there conditions, when the induced morphism is an isomorphism (I'm having a Frobenius in mind)?

Perhaps the above is too general, so my real question is: Why does a group/monoid action on the Deligne-Lusztig variety induce a group/monoid action on the l-adic cohomology (with compact support) of this variety? In every book I looked at this is just mentioned but not explained.

1

# Why does a group action on a scheme induce a group action on cohomoly?

This is probably totally obvious but I have no clue how this is done: Say you have an endomorphism $f:X \rightarrow X$ of schemes. Why (if true, perhaps some additional assumptions are necessary!) do you get for a Zariski/étale/l-adic sheaf $\mathcal{F}$ on $X$ an induced endomorphism on the correspondig cohomology? How is this constructed? Are there conditions, when the induced morphism is an isomorphism (I'm having a Frobenius in mind)?

Perhaps the above is too general, so my real question is: Why does a group/monoid action on the Deligne-Lusztig variety induce a group/monoid action on the l-adic cohomology of this variety? In every book I looked at this is just mentioned but not explained.