Constructing explicit elements of (L^2(μ))^∞ outside the closure of C^{∞,∞}(Y_0)
Construct an explicit element f \in L = (L^2(\mu))^\infty that does not lie in the closure of A = C^{\infty,\infty}(Y_0) with respect to the topology on L, thereby exhibiting a strict separation between L and the closure of A.
References
It is possible that L is substantially larger than A, but we have not been able to construct explicit elements of L that do not lie in the closure of A.
                — Ergodic maps and the cohomology of nilpotent Lie groups
                
                (2405.18598 - Antonelli et al., 28 May 2024) in Remark (Section 5: Amenable averages and the vanishing lemma)