Raimi's theorem for manifolds with circle symmetry

TL;DR

This paper extends Raimi's theorem, originally about natural numbers, to various geometric surfaces with circle symmetry, showing they admit unavoidable partitions under certain group actions.

Contribution

It generalizes Raimi's theorem from the circle group to non-group surfaces like spheres and paraboloids using a unified circle-bundle approach.

Findings

Established Raimi-type partitions for spheres, cones, and cylinders.

Demonstrated these surfaces have a natural circle action with a product structure.

Unified proof via a general circle-bundle theorem.

Abstract

Raimi's classical theorem establishes a partition of the natural numbers with a remarkable unavoidability property: for every finite coloring of $\mathbb{N}$, there is a color class whose translate meets both parts of the partition in infinitely many points. Recently, Kang, Koh, and Tran have extended this phenomenon to the circle group, proving that there exists a measurable partition of the circle such that every finite measurable cover admits a rotation whose image meets each part of the partition in positive measure. This paper shows that this phenomenon extends beyond compact abelian groups to a wide class of non-group geometric surfaces that still exhibit \textit{a hidden one-dimensional symmetry}. Specifically, we establish analogs of Raimi's theorem for three families of surfaces (with their natural surface measures): the unit sphere $S^{n-1} \subset \mathbb{R}^n$, rotational power surfaces (such as cones and paraboloids), and circular cylindrical surfaces. The common feature is that each of these surfaces carries a natural measure-preserving action of the circle group by rotation in a fixed plane and admits a measurable trivialization as a product $C \times Y$. This circle-bundle structure allows the measurable Raimi partition on the base circle to be lifted to an unavoidable partition on the manifold. Our approach is unified through a general circle-bundle theorem, which reduces all three geometric cases to verifying suitable equivariance and product disintegration properties of the surface measure.