1 · The essentials
The result concerns mathematical systems called complex von Neumann algebras. It asks whether certain bounded rules on such a system can always be obtained from a simpler bounded rule. Here, bounded means that the size of a rule’s output is controlled by the sizes of its inputs. The main result says that such a simpler rule exists whenever the original rule satisfies the required consistency condition and has two or more inputs. Crucially, both rules take their values in the same algebra they act on. Combined with an established result for rules with one input, this gives a positive resolution of the Kadison–Ringrose cohomology conjecture. The main result has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a set of bookkeeping adjustments that satisfy a consistency check, and ask whether they all come from an underlying set of entries. The result says that, under its specific mathematical conditions, underlying entries always exist—and their sizes remain controlled too.
Why it matters
The result gives a positive answer to the Kadison–Ringrose cohomology conjecture by eliminating the higher bounded Hochschild cohomology groups in the stated setting. It covers every complex von Neumann algebra, provided the coefficients are in the algebra itself. The boundedness of the primitive is part of the conclusion, not merely its existence.
2 · Going further
Let be a complex von Neumann algebra. The precise assertion is that, for every degree , every bounded Hochschild cocycle with values in has a bounded primitive : in the notation of the Hochschild differential, . A cocycle satisfies the consistency equation ; a primitive expresses that cocycle as the differential of a cochain of one lower degree. Equivalently, for every .
The abstract places this result alongside the established degree-one inner-derivation theorem. Together, the higher-degree vanishing result and that degree-one theorem resolve the Kadison–Ringrose cohomology conjecture positively. The supplied abstract states the conclusion but gives no construction of the primitive or other details of the argument, so no proof strategy can be extracted from it. Only the main manuscript is supplied; no companion-manuscript relationship is described. The main result has a Lean formalization, though the supplied material does not specify its detailed coverage.
Useful notions
- Complex algebras and von Neumann algebras
- Bounded multilinear maps
- Hochschild cochains and their differential
- Cocycles, primitives, and cohomology
- Derivations and inner derivations
What was known before / what is new
Before
The abstract identifies the degree-one inner-derivation theorem as established. It presents the higher-degree assertion as the part needed, together with that theorem, to resolve the Kadison–Ringrose cohomology conjecture.
New
The main result states that every bounded Hochschild cocycle of degree at least two on a complex von Neumann algebra has a bounded primitive when its values lie in the algebra itself. This is the vanishing of all higher bounded Hochschild cohomology groups with these coefficients. The main result has a Lean formalization.
Limits and assumptions
The hypotheses require a complex von Neumann algebra, bounded Hochschild cocycles, degree at least two, and coefficients in the algebra itself. The supplied statement does not address other coefficient spaces or other classes of algebras. The main result has a Lean formalization, but no detailed formalization scope is supplied, so coverage of the separately cited degree-one theorem should not be inferred. The abstract supplies neither an argument nor a list of remaining open questions.
Mini glossary
- Bounded Hochschild cocycle —
- A bounded multilinear map satisfying the consistency equation given by the Hochschild differential.
- Primitive —
- A cochain of one lower degree whose Hochschild differential is the given cocycle.
- Higher bounded Hochschild cohomology —
- The groups in degrees at least two that measure bounded cocycles modulo those having bounded primitives.
- Coefficients in the algebra itself —
- The requirement that the cochains take their values in the same algebra on which their inputs lie.
- Inner derivation —
- A derivation expressed using a fixed algebra element in the form .
Keywords : Von Neumann algebras · Bounded Hochschild cohomology · Kadison–Ringrose conjecture
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 that every bounded Hochschild cocycle of degree at least two on a complex von Neumann algebra, with coefficients in the algebra itself, has a bounded primitive. Equivalently, all higher bounded Hochschild cohomology groups vanish, resolving the Kadison–Ringrose 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.
Manuscripts in this family
Vanishing of higher bounded Hochschild cohomology
23/09/2026We prove that every bounded Hochschild cocycle of degree at least two on a complex von Neumann algebra, with values in the algebra itself, has a bounded primitive. Together with the established degree-one inner-derivation theorem, this resolves the Kadison–Ringrose cohomology conjecture positively.