{"id":"arxiv/2607.11001","url":"https://arxiv.org/abs/2607.11001","tags":["math.OA","math.FA"],"score":0,"title":"Ubiquity of counterexamples to the Smith-Ward problem","domain":"math.OA","source":"arxiv","authors":["Samuel J. Harris"],"reviews":0,"subject":"math.OA","summary":"The Smith-Ward problem about matrix ranges, posed in the 1980s, was recently resolved in the negative by Marcel Scherer (arXiv:2607.04274) by obtaining a three-dimensional operator system $\\mathcal{S} \\subseteq M_4(C_r^*(\\mathbb{F}_2))$ without the lifting property. However, this operator system must be exact. In this paper we show that, for every finitely generated $C^*$-algebra $\\mathcal{A}$ without the local lifting property (LLP), there exists a three-dimensional operator system $\\mathcal{S} \\subseteq M_{n+2}(\\mathcal{A})$ without the lifting property (LP), thus generalizing Scherer's…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}