Spaces of Observables from Solving PDEs. I. Translation-Invariant Theory

Abstract

Finding classical canonical observables consists of taking a function space over phase space. For constrained theories, these functions must form zero brackets with a closed algebraic structure of first-class constraints. This brackets condition can moreover be recast as a first-order PDE system, to be treated as a free characteristic problem. We explore explicit observables equations and their concrete solutions for a translation- and reparametrization-invariant action, thereby populating the following variety of notions of observables with examples. 1) The brackets can be strongly or weakly zero in Dirac's sense, i.e.\ a linear combination of constraints. 2) Observables can admit pure-configuration and pure-momentum restrictions. 3) Our model provides the translation constraint P${}_i$ encoding zero total momentum of the model universe and depending homogeneous-linearly on momenta, and the Chronos constraint equation of time reinterpretation of the `constant-energy condition' and depending quadratically on momenta. These are mechanical analogues of GR's momentum M${}_i$ and Hamiltonian H constraints respectively. P${}_i$ and Chronos moreover algebraically close separately (only M${}_i$ does for GR). Our model thus supports translation gauge-observables $G$ and Chronos observables $C$, as well as unrestricted observables $U$ and Dirac observables $D$ brackets-commuting with neither and both respectively. We relate the strong to properly-weak split of weak observables to the complementary-function to particular-integral split of the complete solution, with the properly-weak rendered of measure-0 relative to the strong by the latter's free characteristicness. The closed algebraic structures form a bounded lattice and the corresponding notions of observables a dual lattice, with the observables themselves forming a presheaf of function spaces thereover.

33 pages including 3 Figures. Minor typos corrected

References in corpus (12)

• Some remarks on the notions of general covariance and background independence
• Nonparametric statistics on manifolds with applications to shape spaces
• Foundations of Relational Particle Dynamics
• Problem of Time and Background Independence: the Individual Facets
• New interpretation of variational principles for gauge theories. I. Cyclic coordinate alternative to ADM split
• Machian Time Is To Be Abstracted From What Change?
• A Local Resolution of the Problem of Time
• TRiPoD (Temporal Relationalism incorporating Principles of Dynamics)
• Specific PDEs for Preserved Quantities in Geometry. I. Similarities and Subgroups
• Specific PDEs for Preserved Quantities in Geometry. III. 1-d Projective Transformations and Subgroups
• Specific PDEs for Preserved Quantities in Geometry. II. Affine Transformations and Subgroups
• Problem of Time: Temporal Relationalism Compatibility of Other Local Classical Facets Completed

Cited by in corpus (12)

• A Local Resolution of the Problem of Time
• A Local Resolution of the Problem of Time. III. The other classical facets piecemeal
• A Local Resolution of the Problem of Time. I. Introduction and Temporal Relationalism
• Specific PDEs for Preserved Quantities in Geometry. I. Similarities and Subgroups
• Geometry from Brackets Consistency
• Specific PDEs for Preserved Quantities in Geometry. II. Affine Transformations and Subgroups
• Specific PDEs for Preserved Quantities in Geometry. III. 1-d Projective Transformations and Subgroups
• A Local Resolution of the Problem of Time. XIV. Grounding on Lie's Mathematics
• Nambu variant of Local Resolution of Problem of Time and Background Independence
• Quadrilaterals in Shape Theory. II. Alternative Derivations of Shape Space: Successes and Limitations
• Isotropy Groups and Kinematic Orbits for 1 and 2-$d$ $N$-Body Problems
• A Local Resolution of the Problem of Time. VIII. Assignment of Observables