In mathematics, an Adams operation

ψ^k

is a cohomology operation in K-theory, or any allied operation in algebraic K-theory or other types of algebraic construction, defined on a pattern introduced by Frank Adams. The basic idea is to implement some fundamental identities in symmetric function theory, at the level of vector bundles or other representing object in more abstract theories. Here k ≥ 0 is a given integer.

The fundamental thought is that for a vector bundle V on a topological space X, we should have

ψ^k(V) is to Λ^k(V)

as

the power sum Σ α^k is to the k-th elementary symmetric function σ_k

of the roots α of a polynomial P(t). Here Λ^k denotes the k-th exterior power. From classical algebra it is known that the power sums are certain integral polynomials Q_k in the σ_k. The idea is to apply the same polynomials to the Λ^k(V), taking the place of σ_k. This calculation can be defined in a K-group, in which vector bundles may be formally combined by addition, subtraction and multiplication (tensor product). The polynomials here are called Newton polynomials (not, however, the Newton polynomials of interpolation theory).

Justification of the expected properties comes from the line bundle case, where for the case of V the Whitney sum of line bundles. For that case treating the line bundle direct factors formally as roots is something rather standard in algebraic topology (cf. the Leray-Hirsch theorem ). In general a mechanism for reducing to that case comes from the splitting principle for vector bundles .