Dice Question Streamline Icon: https://streamlinehq.com

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.

Information Square Streamline Icon: https://streamlinehq.com

Background

The authors suspect L may be larger than A and note obstacles to approximating elements of L by A in the appropriate topology. A concrete example of an element of L not in the closure of A would confirm this disparity and clarify the relationship between analytic structures used in the amenable averaging framework.

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)