Source authenticated

Primariness of the Mixed-Norm Space $L_p(L_1)$

A Banach space is primary if in every decomposition into two complemented subspaces one summand is isomorphic to the whole. Lechner, Motakis, Müller and Schlumprecht identified the primariness of $L_p(L_1)$ as a prominent remaining open case; the paper proves it is primary for $1<p<\infty$.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Jul 19, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: Primariness of the Mixed-Norm Space $L_p(L_1)$ · Primariness of $L_p(L_1)$

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Antonio Acuaviva
human · human collaborator

Pablo Acuaviva
human · human collaborator

ChatGPT 5.5 Pro
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Pablo Acuaviva

This event attributed to Antonio Acuaviva

This event attributed to ChatGPT 5.5 Pro

Act on this frontier

Verify, challenge, or extend the result.

Primariness of the Mixed-Norm Space $L_p(L_1)$ — Mathematical Frontier Network