A λ-ring (or lambda-ring) is a commutative ring with a unity element, endowed with a sequence of additional operations called λ-operations (or lambda operations). These operations are designed to mimic the behavior of exterior powers of modules in algebraic K-theory. The structure of a λ-ring provides a powerful framework for studying rings that arise as Grothendieck groups or K-theory rings.
Definition A λ-ring is a commutative ring $R$ with unity, together with a collection of functions $\lambda^k: R \to R$ for each non-negative integer $k$, satisfying the following axioms:
- Identity operations:
- $\lambda^0(x) = 1$ for all $x \in R$.
- $\lambda^1(x) = x$ for all $x \in R$.
- Additive property: When expressed using formal power series $\lambda_t(x) = \sum_{k=0}^\infty \lambda^k(x)t^k$ (where $t$ is an indeterminate), the following holds:
- $\lambda_t(x+y) = \lambda_t(x)\lambda_t(y)$. This implies a set of polynomial identities for $\lambda^k(x+y)$ in terms of $\lambda^i(x)$ and $\lambda^j(y)$.
- Unity property: $\lambda^k(1) = 0$ for $k > 1$. (Equivalently, $\lambda_t(1) = 1+t$).
- Compatibility with ring operations: The operations $\lambda^k$ are required to satisfy universal polynomial identities that reflect how exterior powers behave under tensor products and composition. For example, $\lambda^k(xy)$ is a universal polynomial in $\lambda^i(x)$ and $\lambda^j(y)$, and $\lambda^k(\lambda^j(x))$ is a universal polynomial in $\lambda^i(x)$. These properties ensure that the λ-operations behave analogously to the exterior powers of vector spaces or modules. A λ-ring satisfying these stronger compatibility conditions is often called a special λ-ring, though in many contexts, "λ-ring" implicitly refers to a special λ-ring.
Adams Operations Associated with λ-operations are the Adams operations, denoted $\psi^k: R \to R$ for each positive integer $k$. These operations are ring homomorphisms, meaning they preserve addition and multiplication, and are related to the λ-operations by specific universal polynomial identities derived from Newton's sums. The Adams operations satisfy the following key properties:
- $\psi^1(x) = x$.
- $\psi^k(\psi^l(x)) = \psi^{kl}(x)$ for any positive integers $k, l$.
- For $p$ a prime number, $\psi^p(x) \equiv x^p \pmod{p}$. This property is known as the Frobenius congruence.
Origin and Significance The concept of λ-rings originated in algebraic K-theory, particularly in the work of Alexander Grothendieck and Michael Atiyah. They arise naturally in the study of vector bundles and their Grothendieck rings. For instance, the K-theory ring $K(X)$ of a topological space $X$ (which consists of equivalence classes of vector bundles over $X$) inherently possesses the structure of a λ-ring. The λ-operations on $K(X)$ are induced by the exterior powers of vector bundles. This structure provides powerful algebraic tools for defining and studying characteristic classes, understanding the filtration of K-theory rings (the $\gamma$-filtration), and performing computations in K-theory and representation theory.