Problem of Time and Background Independence: classical version's higher Lie Theory

Abstract

A local resolution of the Problem of Time has recently been given, alongside reformulation as a local theory of Background Independence. The classical part of this requires just Lie's Mathematics, much of which is basic: i) Lie derivatives to encode Relationalism. ii) Lie brackets for Closure giving Lie algebraic structures. iii) Observables defined by a Lie brackets relation, in the constrained canonical case as explicit PDEs to be solved using Lie's flow method, and themselves forming Lie algebras. iv) Lattices of constraint algebraic substructures induce dual lattices of observables subalgebras. The current Article focuses on two pieces of `higher Lie Theory' that are also required. Preliminarily, we extend Dirac's Algorithm for Constraint Closure to `Lie's Algorithm' for Generator Closure. 1) We then reinterpret `passing families of theories through the Dirac Algorithm' - a method used for Spacetime Construction (from space) and getting more structure from less structure assumed more generally - as the Dirac Rigidity subcase of Lie Rigidity. We also provide a Foundations of Geometry example of specifically Lie rather than Dirac Rigidity, to illustrate merit in extending from Dirac to Lie Algorithms. We point to such rigidity providing a partial cohomological (and thus global) selection principle for the Comparative Theory of Background Independence. 2) We finally pose the universal (theory-independent) analogue of GR's Refoliation Invariance for the general Lie Theory: Reallocation of Intermediary-Object Invariance. This is a commuting pentagon criterion: in evolving from an initial object to a final object, does switching which intermediary object one proceeds via amount to at most a difference by an automorphism of the final object? We argue for this to also be a selection principle in the Comparative Theory of Background Independence.

12 pages, including 2 figures. v2 has corrected various minor typos

References in corpus (26)

• Deformation quantization of Poisson manifolds, I
• The Dynamics of General Relativity
• Problem of Time in Quantum Gravity
• Canonical Quantum Gravity
• The Problem of Time in Quantum Gravity
• The Superspace of Geometrodynamics
• Beables/Observables in Classical and Quantum Gravity
• Hypersurface-deformation algebroids and effective space-time models
• Problem of Time and Background Independence: the Individual Facets
• Classical Machian Resolution of the Spacetime Reconstruction Problem
• A Local Resolution of the Problem of Time
• Theory of Transformation Groups, by S. Lie and F. Engel (Vol. I, 1888). Modern Presentation and English Translation
• A Local Resolution of the Problem of Time. III. The other classical facets piecemeal
• Shape Theory. III. Comparative Theory of Backgound Independence
• A Local Resolution of the Problem of Time. II. Configurational Relationalism via a generalization of Group Averaging
• A Local Resolution of the Problem of Time. I. Introduction and Temporal Relationalism
• A Local Resolution of the Problem of Time. IV. Quantum outline and piecemeal Conclusion
• A loop quantum multiverse?
• A Local Resolution of the Problem of Time. V. Combining Temporal and Configurational Relationalism for Finite Theories
• A Local Resolution of the Problem of Time. IX. Spacetime Constructability
• Geometry from Brackets Consistency
• A Local Resolution of the Problem of Time. VII. Constraint Closure
• Shape Theories. I. Their Diversity is Killing-Based and thus Nongeneric
• Shape Theories. II. Compactness Selection Principles
• Lie algebras : Classification, Deformations and Rigidity
• Leibniz--Mach foundations for GR and fundamental physics

Cited by in corpus (7)

• A Local Resolution of the Problem of Time. III. The other classical facets piecemeal
• A Local Resolution of the Problem of Time. IV. Quantum outline and piecemeal Conclusion
• Geometry from Brackets Consistency
• A Local Resolution of the Problem of Time. XIV. Grounding on Lie's Mathematics
• Nijenhuis-type variants of Local Theory of Background Independence
• Nambu variant of Local Resolution of Problem of Time and Background Independence
• Comparative Theory of Background Independence