On stationary solutions to the non-vacuum Einstein field equations

We derive a local curvature estimate for four-dimensional stationary solutions to the inheriting Einstein-Maxwell-Klein-Gordon equations. In particular, it implies that any such stationary geodesically complete solution with vanishing Poynting vector and proper coupling constants (like dark energy) is flat. We also generalize the result to higher dimensions.