{"id":"arxiv/2608.13142","url":"https://arxiv.org/abs/2608.13142","tags":["math.FA","math.GN"],"score":0,"title":"Pego theorem for Hilbert space-valued functions on compact groups","domain":"math.FA","source":"arxiv","authors":["Anaté Kodjovi Lakmon","Yaogan Mensah"],"reviews":0,"subject":"math.FA","summary":"We prove a Hilbert space-valued analogue of Pego's compactness theorem on compact groups. For square-integrable functions taking values in a Hilbert space rather than in the complex numbers, we show that a bounded family is precompact exactly when it is simultaneously well behaved in two complementary senses: its members do not change much under small translations of the group, and their Fourier coefficients decay uniformly across the family. This equivalence holds without restriction when the Hilbert space is finite-dimensional, and it specializes to the known scalar-valued theorem when the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}