Weak pure infiniteness and Cuntz-algebra absorption

1 · The essentials

The manuscript studies when a condition on individual parts of a mathematical system guarantees a stronger condition on the whole system. It shows that, for the complex algebras under consideration, a particular form of unlimited capacity in every positive element is enough. This answers the ordinary-to-strong part of a comparison question attributed to Kirchberg and Rørdam. Under an additional assumption, it is enough to check the condition after enlarging every positive element by the same fixed finite amount. With further assumptions, the algebra can then absorb a particular algebra of infinite type without changing its mathematical structure. This last conclusion does not require the algebra to have a multiplicative identity or to lack nontrivial closed ideals. The main result has a Lean formalization, although the supplied source does not specify which additional claims it covers.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine checking the capacity of storage units: a test on each unit turns out to guarantee a stronger capacity condition for the entire arrangement. A second test allows every unit to be enlarged by the same fixed amount before checking it, but drawing the original conclusion from that test requires an extra assumption. This image is only a guide to the relationship between the conditions, not an explanation of mathematical infiniteness.

Why it matters

The result answers the ordinary-to-strong part of Kirchberg–Rørdam’s comparison question, connecting two conditions on complex $C^{*}$ -algebras. It also gives a sufficient condition for $O_{\infty}$ -absorption in the separable nuclear setting. The absorption conclusion explicitly avoids unitality and simplicity assumptions.

2 · Going further

The central statement concerns a complex $C^{*}$ -algebra $A$ : if every positive element of $A$ is properly infinite, then $A$ is strongly purely infinite. The manuscript identifies this as an answer to the ordinary-to-strong part of Kirchberg–Rørdam’s comparison question. The source describes the question in these terms but supplies no further historical context.

A second statement assumes that $A$ is exact. If there is one fixed finite amplification for which every positive element becomes properly infinite, then every positive element of $A$ is itself properly infinite. The order of the requirements matters: the amplification is fixed across all positive elements, rather than chosen separately for each one. The first statement then gives strong pure infiniteness.

The stated consequence is that every separable nuclear algebra with this fixed-amplification property absorbs $O_{\infty}$ . Neither unitality nor simplicity is required. The abstract gives this chain of implications, but it does not describe the technical argument behind them, so no further proof mechanism can be extracted from the supplied text.

Only the main manuscript, “Weak pure infiniteness and O-infinity absorption,” is supplied; no companion manuscripts are described. The main result has a Lean formalization, but the supplied material does not identify its precise scope, so formal verification should not automatically be attributed to every consequence.

Useful notions

Complex $C^{*}$ -algebras and positive elements
Proper infiniteness and strong pure infiniteness
Finite amplification
Exactness, nuclearity, and separability
Absorption of $O_{\infty}$

What was known before / what is new

Before

The source attributes a comparison question about ordinary and strong pure infiniteness to Kirchberg and Rørdam. It does not describe earlier partial results or the history of that question.

New

The manuscript shows that proper infiniteness of every positive element implies strong pure infiniteness for complex $C^{*}$ -algebras. For exact algebras, it also shows that one fixed finite amplification suffices to obtain proper infiniteness of every positive element. It states $O_{\infty}$ -absorption as a consequence for separable nuclear algebras with the fixed-amplification property.

Limits and assumptions

The main implication is stated for complex $C^{*}$ -algebras. The fixed-amplification implication requires exactness and a single finite amplification that works for every positive element. The absorption conclusion requires separability and nuclearity, but not unitality or simplicity. The main result has a Lean formalization; the supplied source does not specify whether the amplification statement and absorption consequence are included. It identifies the ordinary-to-strong part of the comparison question as answered, but gives no account of what other parts remain open.

Mini glossary

Proper infiniteness: The infiniteness condition imposed on each positive element in the main statement.
Strong pure infiniteness: The stronger algebra-level infiniteness condition obtained from the main hypothesis.
Fixed finite amplification: A finite enlargement used uniformly for every positive element in the second statement.
Exactness: The additional hypothesis required here to pass from the fixed-amplification condition to proper infiniteness of the original positive elements.
$O_{\infty}$ -absorption: The absorption property involving the Cuntz algebra $O_{\infty}$ that is the stated consequence for separable nuclear algebras with the fixed-amplification property.

Keywords : Pure infiniteness · Finite amplification · $\mathcal O_\infty$-absorption

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Resolves the ordinary-to-strong pure-infiniteness question of Kirchberg and Rørdam for complex C^∗-algebras. For exact algebras, proper infiniteness of one fixed finite amplification of every positive element also suffices. Consequently, every separable nuclear algebra with this property absorbs $O_{\infty}$ , without unitality or simplicity assumptions.

Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.

Scope of the Lean formalization (source text)

…

lean/docs/303.md

Manuscripts in this family

★

Weak pure infiniteness and O-infinity absorption

25/09/2026

To be verified

We prove that every complex C^∗-algebra in which each positive element is properly infinite is strongly purely infinite. This answers the ordinary-to-strong part of Kirchberg–Rørdam's comparison question. For exact algebras, we also prove that proper infiniteness of one fixed finite amplification of every positive element implies proper infiniteness of each positive element. Consequently, every separable nuclear algebra with this fixed-amplification property absorbs $O_{\infty}$ , without assumptions of unitality or simplicity.

PDF GitHub folder