Exchangeability and Trivial Tails Do Not Imply the Coordinate Intersection Property
Manuscript 22 October 2026 · Online 23 October 2026
Abstract
For every prime p >= 5, we construct a minimal exchangeable sequence of trace-preserving embeddings of L(C_p) into a hyperfinite finite von Neumann algebra whose tail algebra is scalar but whose canonical filtration fails the intersection axiom for noncommutative factorizations. The intersection of the algebras on {0,1} and {1,2} has dimension p^2, while the algebra on {1} has dimension p. The example comes from an explicit class-three nilpotent group: a central coordinate is recovered by a triple commutator using any auxiliary index, but not from its single generator. We also identify the least enlargement of the coordinate algebras that does form a factorization. Thus the obstruction concerns retaining the given singleton ranges; it does not assert that the ambient algebra admits no factorization with enlarged coordinates. This is an unrefereed, AI-assisted preprint with a self-contained proof and exact reproducibility code. It makes no absolute priority claim.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Scoped counterexample to a coordinate-intersection implication
- Categories
- math.OA · math.PR · math.GR
- Manuscript
- 22 October 2026
- Online release
- 23 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Exchangeability and Trivial Tails Do Not Imply the Coordinate Intersection Property,” EulerSolve Research Papers, OWR-3392-002, 2026. https://doi.org/10.5281/zenodo.23587385.
BibTeX
@misc{ferudun2026owr3392002,
author = {Ferudun, Alper},
title = {Exchangeability and Trivial Tails Do Not Imply the Coordinate Intersection Property},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-3392-002/},
doi = {10.5281/zenodo.23587385},
note = {OWR-3392-002; unrefereed preprint}
}