A measurable equivariant Weierstrass theorem

Abstract

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 $Λ$ an entire function $F_Λ$ such that the divisor of zeroes of $F_Λ$ is $Λ$ and such that $F_{Λ-w}(z) = F_Λ(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.

Disclosure

“2 Preliminaries 4 Use of AI tools AI tools were used during the preparation of this paper to aid with proofreading, editing, creating figures, and content critique. All mathematical ideas are due to the authors. Acknowledgement We are grateful to Benjamin Weiss and Oren Yakir for”

PDF page 4

Classification

Rewriting existing author-written text

Multiplier

4

Verified

2026-08-24T00:34:09.244Z

Structural counts