Result 292, Operator algebras

Kirchberg's $\mathcal O_2$ norm-ultrapower embedding problem

Constructs an explicit separable unital full group C^∗-algebra that cannot embed unitally into the norm ultrapower of any fixed nonzero unital nuclear C^∗-algebra, for any free ultrafilter on the natural numbers. Taking the target to be $\mathcal O_2$ answers Kirchberg's norm-ultrapower embedding problem negatively.

Lean formalization Disproof or counterexample

The bigger picture

Why it matters

A natural way to study an algebra of operators is to represent it faithfully inside a better-understood one. The manuscript reports an explicit example that defeats this strategy for an entire class of proposed targets.

What changes?

The manuscript constructs a separable, unital full group C*-algebra, encoding a group's unitary representations and having an identity and a countable dense subset. It cannot be embedded faithfully, with its identity preserved, into the norm ultrapower of any fixed nonzero unital nuclear C*-algebra B, for any free ultrafilter on the natural numbers. Nuclear algebras have finite-dimensional approximation properties. In particular, choosing B to be O_2 gives the claimed negative answer to Kirchberg's norm-ultrapower embedding problem.

What does that help mathematicians do?

A norm ultrapower enlarges B using bounded sequences, treating two sequences as equal when their difference tends to zero in norm along the chosen ultrafilter. The example therefore rules out not just an identity-preserving representation inside a nuclear algebra, but also this sequence-based enlargement as a universal host. Changing the nuclear target or the free ultrafilter cannot remove the obstruction for this same example.

Are there practical applications?

The immediate value is foundational, in organizing which operator algebras can be studied within nuclear norm-ultrapowers. An explicit counterexample supplies a concrete test case for proposed embedding criteria and prevents assuming that every separable unital algebra has such an identity-preserving representation. The abstract does not establish a downstream practical application.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

An explicit obstruction to nuclear norm-ultrapower embeddings

September 23, 2026 14 pages

We give a negative answer to Kirchberg's norm-ultrapower embedding problem. We construct an explicit separable unital full group C^∗-algebra that admits no unital embedding into B^ω, for any nonzero unital nuclear C^∗-algebra B and any free ultrafilter ω on ℕ. In particular, it does not embed unitally into $\mathcal O_2^\omega$ .

PDF LaTeX source

Cite (BibTeX)

@misc{OAI:An-explicit-obstruction-to-nuclear-norm-ultrapower-embeddings-September-23-2026,
  author = {{OpenAI}},
  title = {{An explicit obstruction to nuclear norm-ultrapower embeddings}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/An-explicit-obstruction-to-nuclear-norm-ultrapower-embeddings-September-23-2026/paper.pdf}{OAI:An-explicit-obstruction-to-nuclear-norm-ultrapower-embeddings-September-23-2026}},
  year = {2026}
}

Lean formalization

OpenAI's note on what the formalization covers, from lean/docs/292.md.

Kirchberg's $`\mathcal O_2`$ norm-ultrapower embedding problem

The following describes the scope of the Lean formalization related to the following accompanying paper(s):

An explicit obstruction to nuclear norm-ultrapower embeddings

Scope

Kirchberg's norm-ultrapower embedding problem asks whether separable $C^*$ -algebras embed into norm ultrapowers of nuclear algebras. The formalization constructs an explicit separable unital full group $C^*$ -algebra that has no unital embedding into $B^\omega$ for any nonzero unital nuclear $C^*$ -algebra $B$ and any free ultrafilter $\omega$ on $\mathbb N$ . In particular, it does not embed unitally into an ultrapower of the Cuntz algebra $\mathcal O_2$ .

Comparator links

Result	Comparator statement
Obstruction to nuclear norm-ultrapower embeddings	NuclearUltrapower.lean

At a glance

Subject: Operator algebras
Manuscripts: 1
Pages: 14
Dated: Sep 23, 2026
Lean formalization: Yes
Reasoning summary: No

Named problems addressed

Kirchberg's norm-ultrapower embedding problemDisproved

Indexed by Emergent Mind with an LLM from the text above; check the manuscripts for the precise statements.

Most similar results

293, Operator algebrasInvariant projections, hyperinvariant subspaces, and transitive algebras
294, Operator algebrasKaplansky's quasitrace conjecture and failure of tensor-product stable finiteness
297, Operator algebrasA ZFC counterexample to Naimark's problem
285, Operator algebrasCounterexamples to Baum–Connes and Kadison–Kaplansky
303, Operator algebrasWeak pure infiniteness and Cuntz-algebra absorption
299, Operator algebrasThe Kirchberg–Rørdam character criterion and infinite tensor-power Jiang–Su stability

By similarity of summaries and abstracts.

On the map

This result, outlined, and its most similar results among all 372. Open the full map.