Separating Orbits by Entire Functions
We show that for any free probability measure-preserving action of $\mathbb{C}^{d}$ on a standard probability space, there exists a Borel entire function $F$ such that the factor map $x \mapsto F_{x}$, where $F_{x}(z) = F(z \cdot x)$, is injective. This work builds on a result of Glücksam and Weiss, who constructed non-constant measurable entire functions for such actions. The proof combines a separating cross-section whose cocycle values lie in a countable subgroup with Forstnerič's holomorphic approximation theorem with prescribed critical points.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.05169
curl -X POST /api/v1/records/arxiv/2604.05169/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.05169/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'