In mathematics, given an action of a group scheme G on a scheme X over a base scheme S, an equivariant sheaf F on X is a sheaf of -modules together with the isomorphism of -modules that satisfies the cocycle condition: writing m for multiplication, .