8.2 The Adams operations in K-theory

Adams operations are a family of ring homomorphisms in K-theory that provide powerful tools for studying algebraic structures. They form natural transformations, commute with pullbacks, and establish a λ-ring structure on K(X), enabling sophisticated manipulations and relations between K-theory classes.

These operations play a crucial role in connecting K-theory to other areas of mathematics. They relate to the Conner-Floyd Chern character, help recover Chern classes, and are essential in the Atiyah-Hirzebruch spectral sequence. Adams operations also find applications in detecting non-trivial elements and analyzing group actions.

Adams Operations in K-theory

Definition and Properties

Top images from around the web for Definition and Properties

• 

  Group homomorphism - Online Dictionary of Crystallography View original

  Is this image relevant?

• 

  Physical applications of Adams Operations | PhysicsOverflow View original

  Is this image relevant?

• 

  Group homomorphism - Online Dictionary of Crystallography View original

  Is this image relevant?

• 

  Physical applications of Adams Operations | PhysicsOverflow View original

  Is this image relevant?

1 of 2

Top images from around the web for Definition and Properties

• 

  Group homomorphism - Online Dictionary of Crystallography View original

  Is this image relevant?

• 

  Physical applications of Adams Operations | PhysicsOverflow View original

  Is this image relevant?

• 

  Group homomorphism - Online Dictionary of Crystallography View original

  Is this image relevant?

• 

  Physical applications of Adams Operations | PhysicsOverflow View original

  Is this image relevant?

1 of 2

• Adams operations form a family of ring homomorphisms ψk: K(X) → K(X) for each positive integer k, where K(X) represents the K-theory of a topological space X
• ψ1 acts as the identity map, while ψkψl = ψkl for all k, l > 0
• ψk(x + y) = ψk(x) + ψk(y) for all x, y in K(X) demonstrating additivity
• For line bundles L, Adams operations act as ψk(L) = Lk, where Lk denotes the k-th tensor power of L
• Natural transformations commute with pullbacks induced by continuous maps between spaces
• For virtual bundles of rank n, ψk(x) ≡ knx (mod k) in K(X)/kK(X)
• Stable operations commute with the suspension isomorphism in reduced K-theory
• Adams operations establish a λ-ring structure on K(X) providing a powerful tool for studying K-theory's algebraic structure
  • λ-ring structure allows for sophisticated algebraic manipulations in K-theory
  • Enables the study of operations and relations between different K-theory classes

Specific Examples

• Trivial bundle of rank n (denoted by n) ψk(n) = n for all k > 0
• Sum of line bundles L1 ⊕ L2 ⊕ ... ⊕ Ln ψk(L1 ⊕ L2 ⊕ ... ⊕ Ln) = L1k ⊕ L2k ⊕ ... ⊕ Lnk
• Tensor product of bundles E ⊗ F ψk(E ⊗ F) = ψk(E) ⊗ ψk(F)
• Complex projective spaces CPn canonical line bundle H ψk(H) = Hk
• Tautological bundle γn over infinite Grassmannian Gr(n,∞) expressed using symmetric polynomials in Chern roots
  • Chern roots represent the formal eigenvalues of the curvature form
  • Symmetric polynomials in Chern roots yield invariant expressions for characteristic classes
• K-theory with coefficients K(X; R) Adams operations extend R-linearly and satisfy similar properties as in the integral case
• Virtual bundles as formal differences [E] - [F] computed using the splitting principle and properties of ψk on sums and products
  • Splitting principle allows the reduction of computations to the case of line bundles
  • Properties of ψk on sums and products enable systematic calculations for virtual bundles

Computing Adams Operations

Techniques for Specific Cases

• Trivial bundles computation involves understanding the action on constant rank bundles
  • For a trivial bundle of rank n, ψk(n) = n for all k > 0
  • Illustrates the stability of Adams operations on trivial bundles
• Sum of line bundles calculation utilizes the additivity property of Adams operations
  • For L1 ⊕ L2 ⊕ ... ⊕ Ln, ψk(L1 ⊕ L2 ⊕ ... ⊕ Ln) = L1k ⊕ L2k ⊕ ... ⊕ Lnk
  • Demonstrates how Adams operations distribute over direct sums
• Tensor products of bundles employ the multiplicative property of Adams operations
  • For E ⊗ F, ψk(E ⊗ F) = ψk(E) ⊗ ψk(F)
  • Showcases the compatibility of Adams operations with tensor products
• Complex projective spaces involve understanding the action on canonical line bundles
  • For CPn with canonical line bundle H, ψk(H) = Hk
  • Illustrates the behavior of Adams operations on geometrically significant bundles

Advanced Computation Methods

• Tautological bundles over Grassmannians require symmetric polynomial techniques
  • For γn over Gr(n,∞), express ψk(γn) using symmetric polynomials in Chern roots
  • Utilizes the connection between K-theory and symmetric function theory
• K-theory with coefficients extends Adams operations R-linearly
  • For K(X; R), apply ψk while respecting the R-module structure
  • Allows for computations in more general coefficient systems
• Virtual bundles as formal differences employ the splitting principle
  • For [E] - [F], use ψk([E] - [F]) = ψk(E) - ψk(F) and reduce to line bundle cases
  • Demonstrates the power of the splitting principle in simplifying calculations
• Newton's identities and power sum symmetric functions aid in expressing Adams operations
  • Relate Adams operations to elementary symmetric functions and power sums
  • Provides a connection to classical symmetric function theory

Adams Operations and Chern Character

Fundamental Relationships

• Conner-Floyd Chern character forms a ring homomorphism ch: K(X) → H*(X; Q) from K-theory to rational cohomology
• Adams operations and Chern character relate through ch(ψk(x)) = kn ch(x) for x ∈ K(X) of virtual rank n
  • Illustrates the compatibility between Adams operations and cohomological invariants
  • Provides a bridge between K-theory and ordinary cohomology theories
• Chern character expressed in terms of Adams operations using Newton's identities and power sum symmetric functions
  • Allows for alternative computations of the Chern character using K-theoretic operations
  • Demonstrates the deep connection between different characteristic class theories
• Rationalization of K-theory K(X) ⊗ Q isomorphic to even-dimensional rational cohomology via Chern character
  • Reveals the rational structure of K-theory in terms of familiar cohomology groups
  • Provides a powerful tool for rational computations in K-theory

Applications and Implications

• Adams operations recover Chern classes of vector bundles from K-theory classes using Chern character
  • Enables the computation of cohomological invariants using K-theoretic techniques
  • Demonstrates the richness of information contained in Adams operations
• Relationship between Adams operations and Chern character facilitates study of rational invariants in K-theory
  • Allows for the analysis of torsion-free phenomena in K-theory using cohomological methods
  • Provides a framework for understanding the rational structure of K-theory
• Conner-Floyd Chern character and Adams operations play crucial role in Atiyah-Hirzebruch spectral sequence
  • Relates K-theory to ordinary cohomology through a spectral sequence
  • Enables the computation of K-theory groups using cohomological information

Applications of Adams Operations

Detecting Non-trivial Elements

• Adams operations identify non-trivial elements in K-theory not visible through ordinary cohomology
  • Provides a more refined invariant than cohomological methods alone
  • Enables detection of subtle differences between vector bundles
• Integrality of Adams operations proves divisibility results for Chern classes of vector bundles
  • Yields constraints on possible Chern classes of vector bundles
  • Demonstrates the power of K-theoretic methods in cohomological computations

Structural Analysis

• Adams operations analyze K-theory ring structure of classifying spaces of finite groups
  • Provides insights into the representation theory of finite groups
  • Enables the study of equivariant phenomena through K-theory
• Equivariant K-theory applications examine fixed point sets of group actions on spaces
  • Allows for the analysis of symmetries and group actions using K-theoretic tools
  • Provides a bridge between geometry, topology, and group theory
• Adams operations crucial in constructing Adams e-invariant for stable homotopy groups of spheres
  • Enables the detection of elements in higher homotopy groups
  • Provides a powerful tool for studying stable homotopy theory

Advanced Applications

• K-theory of Lie groups and homogeneous spaces studied using Adams operations
  • Yields information about representation theory of Lie groups
  • Connects geometric and algebraic aspects of Lie theory through K-theory
• Compatibility with various K-theory constructions enables solution of problems involving exact sequences and spectral sequences
  • Facilitates the computation of K-theory groups in complex situations
  • Provides a versatile tool for analyzing the structure of K-theory in diverse settings