[Paper Review] Moduli space of filtered lambda-ring structures over a filtered ring

Donald Yau|ArXiv.org|Sep 4, 2002

Homotopy and Cohomology in Algebraic Topology15 references3 citations

TL;DR

This paper establishes a canonical topology on the moduli space of filtered λ-ring structures over a filtered ring using the functor of big Witt vectors. It proves that for power series rings over Q-algebras, filtered λ-ring structures correspond bijectively to ring maps from a universal ring, and provides a Hasse-type principle to distinguish non-isomorphic structures via Adams operations even when leading coefficients coincide.

ABSTRACT

Motivated by recent works on the genus of classifying spaces of compact Lie groups, here we study the set of filtered $λ$-ring structures over a filtered ring from a purely algebraic point of view. From a global perspective, we first show that this set has a canonical topology compatible with the filtration on the given filtered ring. For power series rings $R \llbrack x rbrack$, where $R$ is between $\bZ$ and $\bQ$, with the $x$-adic filtration, we mimic the construction of the Lazard ring in formal group theory and show that the set of filtered $λ$-ring structures over $R \llbrack x rbrack$ is canonically isomorphic to the set of ring maps from some ``universal'' ring $U$ to $R$. From a local perspective, we demonstrate the existence of uncountably many mutually non-isomorphic filtered $λ$-ring structures over some filtered rings, including rings of dual numbers over binomial domains, (truncated) polynomial and powers series rings over torsionfree $\bQ$-algebras.

Motivation & Objective

• To develop a canonical topology on the set of filtered λ-ring structures over a filtered ring, compatible with the filtration.
• To show that for power series rings R[[x]] with R a Q-algebra, filtered λ-ring structures are in bijection with ring maps from a universal ring U.
• To provide a criterion for distinguishing uncountably many non-isomorphic filtered λ-ring structures over filtered power series rings, even when Adams operations have identical leading coefficients.
• To apply these algebraic results to topological problems, particularly in classifying spaces of compact Lie groups via K-theory λ-rings.

Proposed method

• Utilizes the big Witt vector functor W(R) as a comonad on filtered rings to endow the moduli space with a canonical topology.
• Constructs a universal ring U such that filtered λ-ring structures on R[[x]] are in canonical bijection with ring maps U → R.
• Applies Lubin’s theorem on commuting power series to derive a criterion for filtered λ-ring isomorphisms based on compatibility of Adams operations.
• Uses the x-adic filtration on R[[x]] to define the filtered structure and analyze λ-operations via their action on the generator x.
• Employs the condition that αp is neither 0 nor a root of unity to ensure invertibility in the coefficient field, enabling unique power series solutions.
• Establishes that a filtered ring homomorphism is a filtered λ-ring map if and only if it commutes with Adams operations ψ^p for some prime p.

Experimental results

Research questions

• RQ1 Can a canonical topology be defined on the set of filtered λ-ring structures over a filtered ring, compatible with the filtration?
• RQ2 For power series rings R[[x]] over Q-algebras, is there a universal ring U such that filtered λ-ring structures correspond bijectively to ring maps U → R?
• RQ3 How can non-isomorphic filtered λ-ring structures on power series rings be distinguished when their Adams operations have identical leading coefficients?
• RQ4 What is the role of the Witt vector functor in organizing the moduli space of filtered λ-ring structures?
• RQ5 Can the algebraic structure of filtered λ-rings on K-theory of classifying spaces be used to classify spaces in the same genus?

Key findings

• The set of filtered λ-ring structures over a filtered ring R admits a canonical topology via the big Witt vector functor W(R), which acts as a comonad on the category of filtered rings.
• For R[[x]] with R a Q-algebra, the set of filtered λ-ring structures is canonically isomorphic to the set of ring maps from a universal ring U to R.
• There exist uncountably many mutually non-isomorphic filtered λ-ring structures over filtered rings such as dual numbers over binomial domains and truncated polynomial rings over torsion-free Q-algebras.
• When Adams operations ψ^p have the same leading coefficient αp ≠ 0, ∉ roots of unity, a filtered ring homomorphism φ: S1 → S2 is a filtered λ-ring map if and only if φψ^p_1 = ψ^p_2φ for some prime p.
• The criterion in Theorem 4.3.1 provides a practical way to distinguish non-isomorphic filtered λ-ring structures on power series rings, even when standard invariants like leading coefficients fail.
• The results have direct topological applications: they explain the uncountable genus of classifying spaces like BSU(2) and classify maps from infinite complex projective space to such spaces via K-theory λ-rings.