Adams Operation
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, an Adams operation, denoted ψ''k'' for natural numbers ''k'', is a cohomology operation in topological 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 bundle In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to eve ...
s or other representing object in more abstract theories. Adams operations can be defined more generally in any λ-ring.


Adams operations in K-theory

Adams operations ψ''k'' on K theory (algebraic or topological) are characterized by the following properties. # ψ''k'' are ring homomorphisms. # ψ''k''(l)= lk if l is the class of a line bundle. # ψ''k'' are functorial. The fundamental idea is that for a vector bundle ''V'' on a
topological space In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
''X'', there is an analogy between Adams operators and exterior powers, in which :ψ''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''). (Cf. Newton's identities.) 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 ''V'' is a
Whitney sum In mathematics, a vector bundle is a topological construction that makes precise the idea of a Family of sets, family of vector spaces parameterized by another space (mathematics), space X (for example X could be a topological space, a manifold, ...
of line bundles. In this special case the result of any Adams operation is naturally a vector bundle, not a linear combination of ones in ''K''-theory. 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.


Adams operations in group representation theory

The Adams operation has a simple expression in group representation theory. Let ''G'' be a group and ρ a representation of ''G'' with character χ. The representation ψ''k''(ρ) has character :\chi_(g) = \chi_\rho(g^k) \ .


References

* {{cite journal , last=Adams , first=J.F. , author-link=Frank Adams , title=Vector Fields on Spheres , journal=
Annals of Mathematics The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as t ...
, series=Second Series , volume=75 , number=3 , date=May 1962 , pages=603–632 , zbl=0112.38102 , doi=10.2307/1970213, jstor=1970213 Algebraic topology Symmetric functions