Constraining the physical state by symmetries
After reviewing the hole argument and its relations with initial value problem and general covariance, we shall discuss how much freedom one has to define the physical state in a generally covariant field theory (with or without internal gauge symmetries). Our analysis relies on Cauchy problems, thus it is restricted to globally hyperbolic spacetimes. We shall show that in generally covariant theories on a compact space (as well as for internal gauge symmetries on any spacetime) one has no freedom and one is forced to declare as physically equivalent two configurations which differ by a global spacetime diffeomorphism (or by an internal gauge transformation) as it is usually prescribed. On the contrary, when space is not compact, the result does not hold true and one may have different options to define physically equivalent configurations, still preserving determinism. - Highlights: • Investigate the relation between the hole argument, covariance, determinism and physical state. • Show that if space is compact then any diffeomorphism is a gauge symmetry. • Show that if space is not compact then there may be more freedom in choosing gauge group.