{"id":"arxiv/2603.17618","url":"https://arxiv.org/abs/2603.17618","tags":["math.FA"],"score":0,"title":"Constructive Peter--Weyl Theory: What Is Known and What Remains Open","domain":"math.FA","source":"arxiv","authors":["Takao Inoué"],"reviews":0,"subject":"math.FA","summary":"What is known about constructive Peter-Weyl theory, and what remains open? This expository article separates established theorems, comparisons between formulations, and questions requiring further investigation in the Bishop-Coquand-Spitters line. Its central finding is that constructive Peter-Weyl theory already has an established compact-group approximation core: under specified analytic and Gelfand hypotheses, finite-rank central convolution projections converge strongly in the Haar L2 norm. We make these hypotheses and the projection-kernel normalization explicit, and record the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-18","reactions":{}}