Abstract:Is change missing in Hamiltonian Einstein-Maxwell theory? Given the most common definition of observables (having weakly vanishing Poisson bracket with each first-class constraint), observables are constants of the motion and nonlocal. Unfortunately this definition also implies that the observables for massive electromagnetism with gauge freedom (Stueckelberg) are inequivalent to those of massive electromagnetism without gauge freedom (Proca). The alternative Pons-Salisbury-Sundermeyer definition of observables, aiming for Hamiltonian-Lagrangian equivalence, uses the gauge generator G, a tuned sum of first-class constraints, rather than each first-class constraint separately, and implies equivalent observables for equivalent massive electromagnetisms. For General Relativity, G generates 4-dimensional Lie derivatives for solutions. The Lie derivative compares different space-time points with the same coordinate value in different coordinate systems, like 1 a.m. summer time vs. 1 a.m. standard time, so a vanishing Lie derivative implies constancy rather than covariance. Requiring equivalent observables for equivalent formulations of massive gravity confirms that $G$ must generate the $4$-dimensional Lie derivative (not $0$) for observables. These separate results indicate that observables are invariant under internal gauge symmetries but covariant under external gauge symmetries, but can this bifurcated definition work for mixed theories such as Einstein-Maxwell theory? Pons, Salisbury and Shepley have studied $G$ for Einstein-Yang-Mills. For Einstein-Maxwell, both $F_{\mu\nu}$ and $g_{\mu\nu}$ are invariant under electromagnetic gauge transformations and covariant (changing by a Lie derivative) under $4$-dimensional coordinate transformations. Using the bifurcated definition, these quantities count as observables, as one would expect on non-Hamiltonian grounds.

Foliation-Generating Observers under Lorentz Transformations

Foliation-generating observers under Lorentz transformations

Transverse Geometry of Lorentzian foliations with applications to Lorentzian orbifolds

Spacetime quantum and classical mechanics with dynamical foliation

Observers and Splitting Structures in Relativistic Electrodynamics

Equivariant formality of Hamiltonian transversely symplectic foliations

The Relativistic Rotation Transformation and the Observer Manifold

Nonlinear realizations of Lorentz symmetry

An invitation to singular foliations

Foliations transverse to a closed conformal vector field

Observables in classical canonical gravity: folklore demystified

In Pursuit of BRST Symmetry and Observables in 4D Topological Gauge-Affine Gravity

Black holes and foliation-dependent physics

Numerically flat foliations and holomorphic Poisson geometry

What Are Observables in Hamiltonian Einstein-Maxwell Theory?

Conformally Einstein Lorentzian Lie groups with Heisenberg symmetry

Existence of conformal symplectic foliations on closed manifolds

Hamiltonian Floer theory on surfaces: linking, positively transverse foliations and spectral invariants

Compact leaves of codimension one holomorphic foliations on projective manifolds