  We study global aspects of complete, non-singular asymptotically locally AdS
spacetimes solving the vacuum Einstein equations whose conformal infinity is an
arbitrary globally stationary spacetime. It is proved that any such solution
which is asymptotically stationary to the past and future is itself globally
stationary.
  This gives certain rigidity or uniqueness results for exact AdS and related
spacetimes.
