  In this paper we construct a GL-equivariant complex of Schur modules over a
ring of positive characteristic that can be used to deduce classical
alternating sum identities for Schur polynomials. This complex globalizes to a
complex of vector bundles and can also be used to give an explicit construction
of an exact sequence predicted by work of Grayson involving Adams operations
identities on the algebraic K-theory of a given scheme $X$. The more general
complex gives an explicit construction that reproves the aforementioned Adams
operations identities in full generality.
