In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, 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
John Frank Adams (5 November 1930 – 7 January 1989) was a British mathematician, one of the major contributors to homotopy theory.
Life
He was born in Woolwich, a suburb in south-east London, and attended Bedford School. He began research ...
. 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.
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)= l
k if l is the class of a
line bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organisin ...
.
# ψ
''k'' are
functorial.
The fundamental idea is that for a vector bundle ''V'' on a
topological space ''X'', there is an analogy between Adams operators and
exterior powers, in which
:ψ
''k''(''V'') is to Λ
''k''(''V'')
as
:the
power sum In mathematics and statistics, sums of powers occur in a number of contexts:
* Sums of squares arise in many contexts. For example, in geometry, the Pythagorean theorem involves the sum of two squares; in number theory, there are Legendre's three-s ...
Σ α
''k'' is to the ''k''-th
elementary symmetric function
In mathematics, specifically in commutative algebra, the elementary symmetric polynomials are one type of basic building block for symmetric polynomials, in the sense that any symmetric polynomial can be expressed as a polynomial in elementary sym ...
σ
''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 polynomial
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) ...
s ''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
In the mathematical field of numerical analysis, interpolation is a type of estimation, a method of constructing (finding) new data points based on the range of a discrete set of known data points.
In engineering and science, one often has a n ...
theory).
Justification of the expected properties comes from the line bundle case, where ''V'' is a
Whitney sum 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 mathematics, the Leray–Hirsch theorem is a basic result on the algebraic topology of fiber bundles. It is named after Jean Leray and Guy Hirsch, who independently proved it in the late 1940s. It can be thought of as a mild generalization of th ...
). 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
:
References
* {{cite journal , last=Adams , first=J.F. , author-link=Frank Adams , title=Vector Fields on Spheres , journal=
Annals of Mathematics , series=Second Series , volume=75 , number=3 , date=May 1962 , pages=603–632 , zbl=0112.38102 , doi=10.2307/1970213
Algebraic topology
Symmetric functions