Relative bicentralizers and modular spectral recovery

1 · The essentials

These manuscripts study when a smaller collection of operators can preserve important information about a larger one. Here, operators are mathematical objects acting on a Hilbert space. The main manuscript shows that, under stated assumptions, a smaller, more manageable collection can retain exactly the same information about which operators commute with the original collection inside an associated larger setting. This addresses what the source calls the relative bicentralizer conjecture. A companion manuscript studies how a signal detected by averaging over narrowing spectral ranges can be recovered using algebra elements that remain uniformly bounded. It applies this recovery result to the bicentralizer problem for a specified class of operator algebras. The companion result has a Lean formalization; the source does not say that the full relative result is formalized.

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

As an imperfect image, imagine replacing a large set of compatibility tests with a smaller set that accepts exactly the same objects. The smaller set need not reproduce every feature of the original tests—only their compatibility verdicts, much as the subalgebra here preserves a particular commutation test.

Why it matters

The main manuscript identifies an amenable subalgebra without changing the commutant inside the continuous core, resolving the relative bicentralizer conjecture under its hypotheses. The repository also reports a resolution of Connes’ bicentralizer conjecture for every type III $_{1}$ factor with separable predual and every faithful normal state. The companion supplies a spectral recovery route to bicentralizer triviality, with Lean verification attached to that manuscript.

2 · Going further

The relative problem begins with an inclusion $N \subset M$ of von Neumann algebras with separable preduals, admitting a faithful normal conditional expectation. The main manuscript shows that there is an amenable subalgebra $P \subset N$ , itself expected, such that $P^{'} \cap c (M) = N^{'} \cap c (M)$ . Here $c (M)$ is the continuous core of $M$ , and each side consists of the elements of that core commuting with the indicated algebra. Thus the replacement preserves precisely this commutant, not necessarily other information about $N$ .

The source describes this as resolving the relative bicentralizer conjecture in the stated setting. Its repository summary additionally reports Connes’ bicentralizer conjecture for type III $_{1}$ factors with separable predual and every faithful normal state. The main abstract states the existence result but does not describe how the amenable expected subalgebra is constructed.

The companion manuscript starts with a von Neumann algebra carrying a faithful normal state whose centralizer consists only of scalars. Its bounded spectral recovery theorem says that a positive averaged squared norm for an arbitrary bounded Hilbert-space operator on shrinking modular spectral bands can be recovered on uniformly bounded algebra elements with shrinking spectral support. The abstract then gives the chain of applications: bounded recovery leads to spectral intertwining rigidity and an alternative argument for bicentralizer triviality for type III $_{1}$ factors with separable predual. This companion is marked Lean-formalized; the supplied text does not specify a formalization of every application or of the full relative theorem.

Useful notions

Von Neumann algebras and their inclusions
Commutants and continuous cores
Faithful normal states and conditional expectations
Modular spectra and centralizers
Amenability

What was known before / what is new

Before

The source identifies Connes’ bicentralizer conjecture and the relative bicentralizer conjecture as the problems being addressed. It provides no account of earlier partial results or their history. The companion describes its bicentralizer argument as an alternative, without detailing the other argument.

New

The main manuscript shows the existence of an expected amenable $P \subset N$ preserving the commutant inside $c (M)$ for every inclusion satisfying its assumptions. The companion supplies bounded recovery from shrinking modular spectral bands while retaining a uniform bound on the recovering algebra elements. It applies this to spectral intertwining rigidity and bicentralizer triviality.

Limits and assumptions

The relative theorem assumes separable preduals and a faithful normal conditional expectation for $N \subset M$ ; its equality concerns commutants inside the continuous core. The spectral recovery theorem assumes a faithful normal state with scalar centralizer. The reported bicentralizer conclusion concerns type III $_{1}$ factors with separable predual. Lean formalization is explicitly attached to the bounded spectral recovery companion, not explicitly to the entire relative theorem or every stated application. The abstracts do not supply the construction details, a precise inventory of formalized claims, or conclusions beyond these hypotheses; they identify no further open problems.

Mini glossary

Commutant: The collection of operators in a specified ambient algebra that commute with every element of a given collection.
Continuous core: The algebra associated with $M$ , denoted $c (M)$ , in which the main theorem compares commutants.
Expected subalgebra: A subalgebra onto which there is a faithful normal conditional expectation.
Scalar centralizer: The condition that the centralizer of the chosen state contains only scalar multiples of the identity.
Uniformly bounded: Having norms bounded by a single common bound throughout the recovery process.

Keywords : Relative bicentralizer · Continuous core · Modular spectral recovery

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)

Proves Connes' bicentralizer conjecture for every type III₁ factor with separable predual and every faithful normal state. More generally, for every inclusion $N \subset M$ of von Neumann algebras with separable preduals admitting a faithful normal conditional expectation, constructs an amenable expected subalgebra $P \subset N$ with $P^{'} \cap c (M) = N^{'} \cap c (M)$ , resolving the relative bicentralizer conjecture.

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/290.md

Manuscripts in this family

★

Expected amenable subalgebras preserving core commutants

23/09/2026

To be verified

We prove that every inclusion $N \subset M$ of von Neumann algebras with separable preduals and a faithful normal conditional expectation contains an expected amenable subalgebra $P \subset N$ such that $P^{'} \cap c (M) = N^{'} \cap c (M)$ , where $c (M)$ denotes the continuous core of M. This resolves the relative bicentralizer conjecture in this setting.

PDF GitHub folder

Bounded recovery for modular spectral averages

23/09/2026

Verified by Lean

We prove a bounded spectral recovery theorem for a von Neumann algebra with a faithful normal state whose centralizer consists only of scalars. A positive averaged squared norm for an arbitrary bounded Hilbert-space operator on shrinking modular spectral bands can be recovered on uniformly bounded algebra elements with shrinking spectral support. We apply this theorem to spectral intertwining rigidity and obtain an alternative proof of bicentralizer triviality for type III₁ factors with separable predual.

PDF GitHub folder Lean formalization