## Nijenhuis-type variants of Local Theory of Background Independence Edward Anderson 1

## 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 can be viewed as requiring just Lie's Mathematics, albeit entrenched in subsequent Topology and Differential Geometry developments and extended to the setting of contemporary Physics' state spaces. We now generalize this approach by mild recategorization to one based on Nijenhuis' generalization of Lie's Mathematics, as follows. 1) Relationalism is encoded using the Nijenhuis-Lie derivative. 2) Closure is assessed using the Schouten-Nijenhuis bracket, and a 'Schouten-Nijenhuis Algorithm' analogue of the Dirac and Lie Algorithms. This produces a class of Gerstenhaber algebraic structures of generators or of constraints. 3) Observables are defined by a Schouten-Nijenhuis brackets relation, reformulating the constrained canonical case as explicit PDEs to be solved using the Flow Method, and forming their own Gerstenhaber algebras of observables. Lattices of Schouten-Nijenhuis-Gerstenhaber constraint or generator algebraic substructures furthermore induce dual lattices of Gerstenhaber observables subalgebras. 4) Deformation of Gerstenhaber algebraic structures of generators or constraints encountering Rigidity gives a means of Constructing more structure from less. 5) Reallocation of Intermediary-Object Invariance gives the general Schouten-NijenhuisGerstenhaber algebraic structure's analogue of posing Refoliation Invariance for GR. We finally point to general Gerstenhaber bracket and Vinogradov bracket generalizations, with the former likely to play a significant role in Backgound-Independent Deformation Quantization and Quantum Operator Algebras.

1 dr.e.anderson.maths.physics *at* protonmail.com

## 1 Introduction

It has been recently demonstrated that [26, 28, 29, 30] Lie's Mathematics suffices to construct A Local Resolution of the Problem of Time [10, 6, 15, 22, 26], which in turn can be reformulated as [26, 27] A Local Theory of Background Independence.

This locally-smooth approach is moreover sufficiently well-defined to extend to various other (at least locally) differential-geometric structures. The purpose of the current Article is to outline one of the more interesting cases: the 'Nijenhuis Mathematics' [2, 5, 9] counterpart; see [31] for use of 'Nambu Mathematics' instead, while [26, 30] already made mention of the simpler graded, alias supersymmetric, extension. Nijenhuis Mathematics' distinctive primary structures are outlined in Sec 2, with further generalizations outlined in the concluding Sec 4: Vinogradov brackets [13, 20] - a unification of Nijenhuis brackets - and general Gerstenhaber algebras. The latter motivates our current study, due to its Deformation Quantization [11, 19, 17, 25] and quantum operator algebra applications.

The main part of the current Article is Sec 3, where the Abstract's structures 1) to 5) - Nijenhuis parallels of the Lie structures used in A Local Resolution of the Problem of Time and its reformulation as A Local Theory of Background Independence - are outlined. These include in particular a 'Nijenhuis Algorithm' analogue of the Dirac Algorithm, and a more general theory of observables than those based on, sequentially, Dirac's Mathematics [3, 6, 14, 26] or Lie's [24, 30].

## 2 Nijenhuis Mathematics

Definition 1 The Schouten-Nijenhuis (SN) bracket [2, 25] 1 on degree-r and thus shifted degree ¯ := r r -1 multivector fields X r is given by

$$\begin{array} {$$

where σ denotes a shuffle and S a permutation group formed by such. This obeys

$$[ P, Q ] _ { \text{SN} } \, = \, - \, ($$

$$( - 1 ) ^ { \widehat { p } ^ { r } } [ P, [ Q$$

1 Also note some related types of bracket are in use: Frölicher-Nijenhuis bracket[5, 16] and Nijenhuis-Richardson bracket[9], each on vector-valued differential forms rather than on multivector fields.

$$\text{Definition 2} \, & \text{The Nijenhuis-Lie derivative$$

$$\tilde { \tilde { N } }$$

Structure 3 The algebras formed by equipping (graded) vector spaces V with SN brackets are a subcase of Gerstenhaber algebras (defined in Sec 4), so we refer to them as SNG-algebras . Let us finally also extend consideration from algebras to algebroids [21], using the phrase 'algebraic structures' as a portmanteau of the two. Each of classical deformation theory [21, 29], kinematical quantization [19], and GR producing a constraint algebroid - the Dirac algebroid [6] - even before either of the previous are involved, justify this more generalized scope. SNG-algebroids and SNG-algebraic structures are thus in play.

## 3 Nijenhuis Local Background Independence

- 1) We here employ Nijenhuis-Lie derivatives (4) to encode Relationalism.
- A) In the canonical case, we work with changes of configuration

$$Q$$

$$( 5 )$$

in place of velocities ˙ Q = . Q /dt so as to stay free from time variables for the reasons given in Article I of [28].

$$\stackrel { \cdot \cdot } { Q } \stackrel { \cdot \cdot } { \to } \stackrel { \cdot } { Q } - \mathcal { L } _ { q } ^ { N } Q \,.$$

- B) We correct by Nijenhuis-Lie derivative along physically irrelevant group g 's changes a . ,
- C) We know what form these corrections take by solving the

$$\text{ng the generated Killing} - N i j e n h u i s \, e q u a t i o n$$

$$\lambda _ { 0 } \stackrel { \dots } { \mathcal { L } } ^ { \aleph } \sigma = \stackrel { \dots } { 0 }$$

for geometrical level of structure σ to obtain the corresponding physically irrelevant automorphism group in question, g .

- D) We complete this with a move using all of g to obtain g -invariant objects. [C.f. group averaging or Article II of [28] for a detailed review of all of B) to D)].

In the spacetime counterpart, 2 we are free to use plain auxiliary corrections A in place of change corrections a . on spacetime objects S :

$$S \longrightarrow S - \mathcal { L } _ { A } ^ { N } S \,,$$

with steps B) and C) then applying unaltered.

- 2) Closure is assessed using a) the SN bracket (2).
- b) An 'SN Algorithm' analogue of the Dirac [6] and Lie [1, 30] Algorithms. This permits six types of equation to arise from an initial set of generators Γ or constraints Χ , as follows.
- i) Inconsistencies : equations reducing to 0 = 1 as envisaged by Dirac [6].
- ii) Identities : equations reducing to 0 = 0.
- iii) New secondary generators Γ ′ or secondary constraints Χ ′ .
- iv) ' SN specifier equations ' are also possible if there is an appending process. I.e. a generalization of Dirac's appending of constraints to Hamiltonians H using Lagrange multipliers Λ , i.e.

$$H \longrightarrow H + \Lambda \cdot c$$

by which equations relating these a priori for Λ can also arise from one's algorithm.

- v) Rebracketing using SN-Dirac brackets in the event of encountering SN-secondary objects , i.e. ones that do not close under SN brackets.
- vi) Topological obsruction terms : Nijenhuis Mathematics' analogue of anomalies.

Termination occurs if the SN Algorithm (using [30]'s terminology) 0) hits an inconsistency , I) cascades to inconsistency , II) cascades to triviality , or III) arrives at an iteration producing no new objects while retaining some degrees of freedom. Successful candidates - terminating at iii) - produce an 'SNG' class of Gerstenhaber algebraic structures of generators

$$\mathfrak { g } ^ { S N G } \,,$$

or of SN-first-class constraints, Φ (those that do close under SN brackets) in the canonical case.

- 3) We next consider observables O [24, 3, 15, 26] defined in the present context by zero-commutant SN brackets with the generators, Γ (including with the Φ constraints as a subcase)

$$[ \sigma, 0 ] _ { S N } \, \ell = \, ^ { \prime } \, 0 \,.$$

2 We consider both canonical and spacetime settings for the structures discussed in the current Article; see e.g. [26, 28] for discussions of the merit of each of these positions, as well as for inter-relations between these two positions.

'=' is here the portmanteau of Dirac's notion of weak equality ≈ [6] - from equality up to a linear combination of constraints to [30] equality up to a linear combination of generators - and of strong vanishing: the standard notion of equality, =. In the constrained canonical subcontext, these are zero-commutants of the SN-first-class constraints. In this context, these equations can moreover be recast as explicit PDEs to be solved using the Flow Method [12, 23]. This particular application gives an SN integral theory of invariants . I.e. the SN version of Lie's Integral Approach to Invariants [1, 30], albeit in both cases elevated to restricting functional dependence on a function space over the phase space geometry in question. The spacetime version is, rather, over the space of spacetimes. Such functions are, in each case, observables. These functions moreover constitute SNG-algebras: observables SNG-algebras SNG

O

bs

,

(12)

whether canonical or spacetime. Each theory's lattice of SNG generators or constraints subalgebraic structures additionally induces a dual lattice of SNG observables subalgebras. (If the reader is unsure what this means, they should consult the third Article of [28] for the usual Lie subcase.)

- 4) Deformation of SNG-algebraic structures encountering Rigidity [8, 9, 21] gives a means of Constructing more structure from less. This generalizes, firstly, Spacetime Construction from space's 'passing families of theories through the Dirac Algorithm' approach. Secondly, obtaining more structure from less for each of space and spacetime separately. (See e.g. Article IX in [28] for Dirac and Lie Mathematics examples of each of these). On the one hand, we can pose rigidity for SNG-algebraic structures - that under deformations of generators

$$\varphi \, \longrightarrow \, \varphi _ { \alpha } \, = \, \varphi + \alpha \, \phi \,.$$

$$\text{for parameter $\alpha$ and functions $\phi$, the cohomology group condition}$$

$$\overset { \lambda } { H } ^ { 2 } ( \mathfrak { g } ^ { N S G }, \mathfrak { g } ^ { N S G } ) = 0$$

diagnoses rigidity. On the other hand, we are currently rather lacking in theorems for this SNG-algebra case. The idea is moreover to take Rigidity to be [29] a selection principle in the Comparative Theory of Background Independence.

- 5) Reallocation of Intermediary-Object (RIO) Invariance gives the general SNG-algebraic structures' commutingpentagon analogue of posing Refoliation Invariance for GR. RIO refers to whether, in going from an initial object to a final object, proceeding via intermediary object 1 or intermediary object 2 causes one to be out by at most just an automorphism of the final object,

$$O _ { 2 1 } ^ { \text{fin} } - O _ { 1 2 } ^ { \text{fin} } = A u t ( O ^ { \text{fin} } ) \.$$

Refoliation Invariance is then the case in which our objects are spatial slices within a given spacetime. Consult Article III in [28] for further details about Refoliation Invariance, or [29] and Article XII in [28] for RIO Invariance more generally. This is again a selection principle whose outcome remains unexplored in the SN case.

4) and 5) are thus identifications of new research directions, whereas 1), 2) and 3) constitute new confirmed structures and results.

## 4 Conclusion

We have considered Nijenhuis Mathematics, with concrete focus on Schouten-Nijenhuis brackets and subsequent algebraic structures and algorithms. This is a useful generalization and robustness check - a natural next port of call in developing the Comparative Theory of Background Independence - and also a stepping stone to further cases of interest that follow from introduction of each of the following two further structural elements.

- A) The Vinogradov bracket [13, 20] [ , ] V unifies the Schouten-Nijenhuis and Frölicher-Nijenhuis brackets.
- B) The general Gerstenhaber bracket [7, 25], is a bilinear product taking one between spaces of k -linear maps HC k ( V )

of a graded vector space

V

:

$$[ \,, \, ] _ { G } \, \colon \, \ H C ^ { \bar { p } } \times \mathrm H C ^ { \bar { q } } \longrightarrow \mathrm H C ^ { \bar { p } + \bar { q } } \,.$$

Like the SN bracket, this is of graded Lie bracket type, thus obeying graded-antisymmetry and graded-Jacobi identities similar to (2, 3). Such k -linear maps are moreover the basic objects entering Hochschild cohomology [25, 18], which then plays a major role in Deformation Quantization [11, 25, 17] and the theory of quantum-mechanically relevant operator algebras [19].

A) and B) are known to support, firstly, Vinogradov algebraic structures and Gerstenhaber algebraic structures . Secondly - as new results - a Vinogradov Algorithm and a Gerstenhaber Algorithm : analogues of the Dirac and Lie Algorithms. Thirdly - as new notions (as far as the author is aware) Vinogradov and Gerstenhaber notions of observables . I.e. the zero commutants with the corresponding type of algebraic structure's generators under the corresponding defining type of bracket. Fourthly, one can moreover at least pose Vinogradov and Gerstenhaber

deformations (not to be confused with Gerstenhaber having already worked out the deformations of simpler algebras). And then ask, as a selection principle, which subcases of each exhibit Rigidity. Finally, one can likewise pose RIO Invariance in both the Vinogradov and general Gerstenhaber contexts .

Acknowledgments I thank various friends for support and proofreading.

## References

- [1] S. Lie and F. Engel, Theory of Transformation Groups Vols 1 to 3 (Teubner, Leipzig 1888-1893); for an English translation with modern commentary of Volume I, see J. Merker (Springer, Berlin 2015), arXiv:1003.3202.
- [2] J.A. Schouten, 'Über Differentialkonkomitanten zweier kontravarianten Grössen", Indag. Math. 2: 449-452; 'On the Differential Operators of the First Order in Tensor Calculus", in Convegno Int. Geom. Diff. Italia. p1 (1953); A. Nijenhuis, 'Jacobi-Type Identities for Bilinear Differential Concomitants of Certain Tensor Fields I". Indagationes Math. 17 390 (1955).
- [3] P.A.M. Dirac, 'Forms of Relativistic Dynamics", Rev. Mod. Phys. 21 392 (1949).
- [4] K. Yano, 'Theory of Lie Derivatives and its Applications (North-Holland, Amsterdam 1955).
- [5] A. Frölicher and A. Nijenhuis, 'Theory of Vector Valued Differential Forms. Part I.", Indagationes Math. 18 338 (1956).
- [6] P.A.M. Dirac, Lectures on Quantum Mechanics (Yeshiva University, New York 1964).
- [7] M. Gerstenhaber, 'The Cohomology Structure of an Associative Ring". Ann. Math. 78 267 (1963).
- [8] M. Gerstenhaber, 'On the Deformation of Rings and Algebras", Ann. Math. 79 59 (1964).
- [9] A. Nijenhuis and R. Richardson, 'Cohomology and Deformations in Graded Lie Algebras" Bull. Amer. Math. 72 1 (1966); 'Deformation of Lie Algebra Structures", J. Math. Mech 67 89 (1967).
- [10] J.A. Wheeler, in Battelle Rencontres: 1967 Lectures in Mathematics and Physics ed. C. DeWitt and J.A. Wheeler (Benjamin, New York 1968); B.S. DeWitt, 'Quantum Theory of Gravity. I. The Canonical Theory." Phys. Rev. 160 1113 (1967).
- [11] F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz and D. Sternheimer, Deformation Theory and Quantization. I. Deformations of Symplectic Structures Ann. Phys. 111 61 (1978).
- [12] F. John, Partial Differential Equations (Springer, New York 1982).
- [13] A.M. Vinogradov, 'Unification of Schouten-Nijenhuis and Frölicher-Nijenhuis Brackets, Cohomology and Super Differential Operators". Sov. Math. Zametki. 47 (1990).
- [14] M. Henneaux and C. Teitelboim, Quantization of Gauge Systems (Princeton University Press, Princeton 1992).
- [15] K.V. Kuchař, 'Time and Interpretations of Quantum Gravity", in Proceedings of the 4th Canadian Conference on General Relativity and Relativistic Astrophysics ed. G. Kunstatter, D. Vincent and J. Williams (World Scientific, Singapore 1992); C.J. Isham, 'Canonical Quantum Gravity and the Problem of Time", in Integrable Systems, Quantum Groups and Quantum Field Theories ed. L.A. Ibort and M.A. Rodríguez (Kluwer, Dordrecht 1993), gr-qc/9210011.
- [16] I. Kolář, P.W. Michor and J. Slovák, Natural Operations in Differential Geometry (Springer-Verlag, New York 1993).
- [17] M. Kontsevich, 'Deformation Quantization of Poisson Manifolds, I.", Lett. Math. Phys. 66 157 (2003), q-alg/9709040.
- [18] See e.g. Chapter 1 of J.-L. Loday, Cyclic Cohomology (Springer-Verlag, Berlin 1998).
- [19] N.P. Landsman, Mathematical Topics between Classical and Quantum Mechanics (Springer-Verlag, New York 1998).
- [20] Y. Kosmann-Schwarzbach, 'Derived Brackets", Lett. Math. Phys. 69 61 (2004) arXiv:math/0312524.
- [21] M. Crainic and I. Moerdijk, 'Deformations of Lie Brackets: Cohomological Aspects", J. European Math. Soc. 10 4 (2008), arXiv:math/0403434.
- [22] E. Anderson, 'The Problem of Time", in Classical and Quantum Gravity: Theory, Analysis and Applications ed. V.R. Frignanni (Nova, New York 2011), arXiv:1009.2157. 'Problem of Time", Annalen der Physik, 524 757 (2012), arXiv:1206.2403.
- [23] J.M. Lee, Introduction to Smooth Manifolds 2nd Ed. (Springer, New York 2013).
- [24] E. Anderson, 'Beables/Observables in Classical and Quantum Gravity", SIGMA 10 092 (2014), arXiv:1312.6073.
- [25] C. Laurent-Gengoux, A. Pichereau and P. Vanhaecke, Poisson Structures (Springer-Verlag, Berlin 2013).
- [26] E. Anderson, Problem of Time. Quantum Mechanics versus General Relativity , (Springer International 2017) Found. Phys. 190 ; free access to its extensive Appendices is at https://link.springer.com/content/pdf/bbm
- [27] E. Anderson, 'Shape Theories", arXiv:1811.06516; arXiv:1811.06528; arXiv:1812.08771.
- [28] E. Anderson, 'A Local Resolution of the Problem of Time", arXiv:1905.06200; arXiv:1905.06206; arXiv:1905.06212; arXiv:1905.06294; arXiv:1906.03630; arXiv:1906.03635; arXiv:1906.03641; arXiv:1906.03642; forthcoming.
- [29] E. Anderson, 'Problem of Time and Background Independence: Classical Version's Higher Lie Theory", arXiv:1907.00912.
- [30] E. Anderson, 'A Local Resolution of the Problem of Time. XIV. Grounding on Lie's Mathematics", arXiv:1907.13595.
- [31] E. Anderson, 'Nambu variant of Local Resolution of Problem of Time and Background Independence", arXiv:1908.*****.
Edward Anderson
Nijenhuis-type variants of Local Theory of Background Independence
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 can be viewed as requiring just Lie's Mathematics, albeit entrenched in
subsequent Topology and Differential Geometry developments and extended to the
setting of contemporary Physics' state spaces. We now generalize this approach
by mild recategorization to one based on Nijenhuis' generalization of Lie's
Mathematics, as follows. 1) Relationalism is encoded using the Nijenhuis-Lie
derivative. 2) Closure is assessed using the Schouten-Nijenhuis bracket, and a
`Schouten-Nijenhuis Algorithm' analogue of the Dirac and Lie Algorithms. This
produces a class of Gerstenhaber algebraic structures of generators or of
constraints. 3) Observables are defined by a Schouten--Nijenhuis brackets
relation, reformulating the constrained canonical case as explicit PDEs to be
solved using the Flow Method, and forming their own Gerstenhaber algebras of
observables. Lattices of Schouten-Nijenhuis-Gerstenhaber constraint or
generator algebraic substructures furthermore induce dual lattices of
Gerstenhaber observables subalgebras. 4) Deformation of Gerstenhaber algebraic
structures of generators or constraints encountering Rigidity gives a means of
Constructing more structure from less. 5) Reallocation of Intermediary-Object
Invariance gives the general Schouten-Nijenhuis-Gerstenhaber algebraic
structure's analogue of posing Refoliation Invariance for GR. We finally point
to general Gerstenhaber bracket and Vinogradov bracket generalizations, with
the former likely to play a significant role in Backgound-Independent
Deformation Quantization and Quantum Operator Algebras.