The Structure of Strongly Stationary Systems

Motivated by a problem in ergodic Ramsey theory, Furstenberg and Katznelson introduced the notion of strong stationarity, showing that certain recurrence properties hold for arbitrary measure preserving systems if they are valid for strongly stationary ones. We construct some new examples and prove a structure theorem for strongly stationary systems. The building blocks are Bernoulli systems and rotations on nilmanifolds.