A measurable equivariant Weierstrass theorem

This paper is a prequel to our recent work, "Equivariant Borel liftings in complex analysis and PDE" (arXiv:2507.12058). While the results presented here were established in that work in a more general and abstract setting, the purpose of this paper is to provide a direct proof of the equivariant Weierstrass theorem. It states that there exists a Borel map assigning to each non-periodic positive divisor $\Lambda$ an entire function $F_\Lambda$ such that the divisor of zeroes of $F_\Lambda$ is $\Lambda$ and such that $F_{\Lambda-w}(z) = F_\Lambda (z+w)$, $w\in\mathbb{C}$. In general, non-periodicity cannot be omitted, and Borel measurability cannot be strengthened to continuity. The two key ingredients are the Runge approximation theorem and the existence of "Borel toasts", which are Borel counterparts of Rokhlin towers from ergodic theory. We do not assume prior knowledge of descriptive set theory and have aimed to make the exposition self-contained, aside from several results taken from graduate textbooks.