English

Separating Orbits by Entire Functions

Dynamical Systems 2026-04-08 v1 Complex Variables Logic

Abstract

We show that for any free probability measure-preserving action of Cd\mathbb{C}^{d} on a standard probability space, there exists a Borel entire function FF such that the factor map xFxx \mapsto F_{x}, where Fx(z)=F(zx)F_{x}(z) = F(z \cdot x), is injective. This work builds on a result of Gl\"ucksam 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\v{c}'s holomorphic approximation theorem with prescribed critical points.

Keywords

Cite

@article{arxiv.2604.05169,
  title  = {Separating Orbits by Entire Functions},
  author = {Billy Duckworth and Konstantin Slutsky},
  journal= {arXiv preprint arXiv:2604.05169},
  year   = {2026}
}
R2 v1 2026-07-01T11:56:09.233Z