Loop quantisation of supergravity theories
Schleifenquantisierung von Supergravitationstheorien
Der Naturwissenschaftlichen Fakult¨at der Friedrich-Alexander-Universit¨atErlangen-N¨urnberg zur Erlangung des Doktorgrades Dr. rer. nat.
vorgelegt von Norbert Bodendorfer
aus Waldbr¨ol Als Dissertation genehmigt von der Naturwissen- schaftlichen Fakult¨atder Friedrich-Alexander Universit¨at Erlangen-N¨urnberg
Tag der m¨undlichen Pr¨ufung: 30. April 2013
Vorsitzende/r der Promotionskommission: Prof. Dr. Johannes Barth
Erstberichterstatter/in: Prof. Dr. Thomas Thiemann
Zweitberichterstatter/in: Prof. Dr. Kristina Giesel Contents
Table of contents 1
About this thesis 4
Abstract 5
Zusammenfassung (german abstract) 6
Notation 7
1 Introduction 8
2 Overview of the results 11
I Connection dynamics for classical higher-dimensional general relativity 14
3 Hints from the Palatini action 15 3.1 The Ashtekar-Barbero variables ...... 15 3.2 Canonical analysis of the higher-dimensional Palatini action ...... 16 3.3 Gauge unfixing ...... 20 3.3.1 Toy model ...... 20 3.3.2 General theory ...... 21 3.3.3 Application to gravity ...... 23
4 Canonical transformation 24 4.1 Phase space extension and canonical transformation ...... 24 4.2 The Hamiltonian constraint in the new variables ...... 28
5 The Linear simplicity constraint 30 5.1 Introduction ...... 30 5.2 Introducing linear simplicity constraints ...... 31
II Loop quantum gravity in higher dimensions 34
6 LQG-techniques in higher dimensions 35 6.1 Kinematical quantisation techniques ...... 35 6.1.1 Holonomies, fluxes, and right invariant vector fields ...... 35 6.1.2 Solution of the Gauß and spatial diffeomorphism constraints ...... 37 6.2 Regularisation of the Hamiltonian constraint operator ...... 38
1 6.2.1 Volume operator ...... 38 6.2.2 Poisson bracket identities and regularisation ...... 38 6.3 Regularisation of the simplicity constraint ...... 39
7 Hilbert space techniques for the linear simplicity constraint 42
8 The simplicity constraint 45 8.1 Introduction ...... 45 8.2 The quadratic simplicity constraint operators ...... 47 8.2.1 A maximal closing subset of vertex constraints ...... 47 8.2.2 The solution space of the maximal closing subset ...... 49 8.2.3 Remarks ...... 50 8.3 The linear simplicity constraint operators ...... 53 8.3.1 Regularisation and anomaly freedom ...... 53 8.3.2 Solution on the vertices ...... 55 8.3.3 Edge constraints ...... 56 8.3.4 Remarks ...... 57 8.3.5 Mixed quantisation ...... 60 8.4 Comparison to existing approaches ...... 61 8.4.1 Continuum vs. discrete starting point ...... 62 8.4.2 Projected spin networks ...... 62 8.4.3 EPRL model ...... 64 8.5 Discussion and conclusions ...... 65
III Extensions to supergravity 67
9 Standard matter 68
10 Rarita-Schwinger field 70 10.1 Introduction ...... 70 10.2 Review of canonical supergravity ...... 72 10.2.1 Status of canonical supergravity ...... 72 10.2.2 Canonical supergravity in the time gauge ...... 73 10.3 Phase space extension ...... 75 10.3.1 Symplectic structure in the SO(D) theory ...... 75 10.3.2 SO(D + 1) gauge supergravity theory ...... 79 10.4 Background independent Hilbert space representations for Majorana fermions . . 86 10.5 Generalisations to different multiplets ...... 90 10.5.1 Majorana spin 1/2 fermions ...... 90 10.5.2 Mostly plus / mostly minus conventions ...... 91 10.5.3 Weyl fermions ...... 91 10.6 Conclusions ...... 92
11 p-form gauge fields 94 11.1 Introduction ...... 94 11.2 Classical Hamiltonian analysis of the 3-index-photon action ...... 95 11.3 Reduced phase space quantisation ...... 99 11.4 Conclusions ...... 104
2 IV Initial value quantisation of higher-dimensional general relativity 105
12 Loop quantum gravity without the Hamiltonian constraint 106 12.1 Introduction ...... 106 12.2 Classical analysis ...... 108 12.3 Quantisation ...... 111 12.4 Geometric operators ...... 111 12.5 Application to black hole entropy ...... 112 12.6 Concluding remarks ...... 112
V Isolated horizon boundaries in higher-dimensional LQG 114
13 Classical phase space description of isolated horizon boundaries 115 13.1 Introduction ...... 115 13.2 General strategy ...... 116 13.3 Higher-dimensional isolated horizons and Lagrangian framework ...... 118 13.4 SO(D + 1) as internal gauge group ...... 120 13.5 Inclusion of distortion ...... 122 13.5.1 Beetle-Engle method ...... 122 13.5.2 Perez-Pranzetti method ...... 123 13.6 Comments on quantisation ...... 124 13.7 Concluding remarks ...... 125
VI Conclusion 127
14 Concluding remarks and further research 128 14.1 Summary of the results ...... 128 14.2 Towards loop quantum supergravity: Where do we stand? ...... 129 14.3 Further research ...... 130
A Simple irreps of SO(D + 1) and square integrable functions on the sphere SD 134
Danksagung (german acknowledgements) 136
Bibliography 137
3 About this thesis
This thesis has grown out of collaborations with Alexander Stottmeister, Thomas Thiemann, and Andreas Thurn. The work started during my diploma thesis in February 2009, while the official starting date is December 2009, when I obtained my physics diploma. The topic of this thesis has been proposed by my supervisor Prof. Dr. Thomas Thiemann.
The work for my diploma thesis, which contained parts of chapter 3, has been mainly conducted at the Albert-Einstein-Institute in Potsdam, which I thank for hospitality. Also during my diploma thesis, I have been supported by the Friedrich-Naumann-Foundation, the Max-Weber- Programme of Bavaria, the Leonardo-Kolleg of the University of Erlangen-N¨urnberg, the Elite Network Bavaria, and e-Fellows. My undergraduate and doctoral studies have been conducted in the Physics Advanced programme of the Universities Erlangen-N¨urnberg and Regensburg.
The research which lead to this thesis has been performed at the Institute for Theoretical Physics III of the University of Erlangen-N¨urnberg. I strongly acknowledge financial and ideational support of the German National Merit Foundation. Also, I acknowledge support of the Elite Network Bavaria and e-Fellows.
4 Abstract
The aim of this thesis is to develop loop quantisation techniques for higher-dimensional supergravities in order to make progress towards comparing loop quantum gravity to superstring theory. The abstract idea for this comparison is to look at loop quantum gravity and string theory as two methods of quantising an underlying gravity theory. While loop quantum gravity circumvents the usual problems associated with standard Fock-type quantisations of gravity theories by starting classically from a different Poisson-*-subalgebra of phase space functions, string theory introduces the string as a fundamental ingredient to cope with the short distance divergences arising in perturbative quantum gravity. The most obvious problem with comparing these two approaches to quantum gravity is that while it was only known how to formulate loop quantum gravity in four (or three) dimensions, including all types of standard model matter couplings, string theory requires a ten-dimensional spacetime with supersymmetry. The possible reductions of string theory to four dimensions on the other hand are highly non-unique, thus it is very hard to compare these approaches at this level. A possible solution to this problem, which is investigated in this thesis, is to extend the techniques of loop quantum gravity to higher-dimensional supergravities, which arise as the low energy limits of string theories. These supergravities have the same low energy particle content and live in the same spacetime dimension as the corresponding string theories and are thus suited to circumvent the above problem. Since this solution does not seem to be overly sophisticated at a first glance, it is important to remark that, prior to recent work on which this thesis is based, it was not even known how to formulate loop quantum gravity for pure higher-dimensional gravity, since the main ingredient at the classical level, the Ashtekar-Barbero connection, is only available in four dimensions. In this thesis, we will first develop a generalisation of this type of connection formulation for higher-dimensional general relativity. We will then show that the quantisation techniques from loop quantum gravity can be mainly carried over to this new formulation, while some new ingredients have to be introduced. Next, we are going to extend this formulation to higher-dimensional supergravities, thus providing a solution for the above problem. On a different route, we provide a partially reduced phase space quantisation of higher-dimensional general relativity conformally coupled to a scalar field based on the constant mean curvature gauge in the fourth part of this thesis. Finally, in the fifth part of this thesis, we will treat isolated horizons as boundaries of the spacetime manifold in order to take first steps to compare string theory and higher-dimensional loop quantum gravity in the presence of a black hole.
5 Zusammenfassung
Es ist das Ziel dieser Arbeit, Methoden zu entwickeln, die die Quantisierung von Super- gravitationstheorien mit Hilfe von Techniken aus der Schleifenquantengravitation erm¨oglichen, um Fortschritte beim Vergleichen der Schleifenquantengravitation mit der Superstringtheorie zu machen. Die abstrakte Idee dieses Vergleichs ist es, sowohl die Schleifenquantengravitation als auch die Superstringtheorie als Quantisierungen einer zugrundeliegenden Gravitationstheorie zu verstehen. W¨ahrenddie Schleifenquantengravitation die ¨ublichen Probleme bei Fock-Typ Quan- tisierungen von Gravitationstheorien vermeidet, indem sie von einer anderen Poisson-*-Algebra von Phasenraumfunktionen startet, postuliert die Superstringtheorie den String als neuen fun- damentalen Baustein um den UV-Divergenzen in der perturbativen Quantengravitation Herr zu werden, welche durch die Betrachtungen von beliebig kleinen Distanzen entstehen. Das offensichtlichste Problem, welches beim Vergleichen dieser beiden Theorien entsteht, ist dass w¨ahrendnur bekannt war, wie man Schleifenquantengravitation in vier (oder drei) Dimensionen formuliert und die Materiefelder des Standardmodells behandelt werden konnten, aber nicht notwendig waren, die Superstringtheorie eine zehndimensionale Raumzeit mit Supersymmetrie braucht. Andererseits sind m¨ogliche Reduktionen der Superstringtheorie auf vier Dimensionen hochgradig nicht-eindeutig und daher ist es sehr schwierig diese Reduktionen mit der Schleifen- quantengravitation zu vergleichen. Eine m¨ogliche L¨osung dieses Problems, welche in dieser Arbeit untersucht wird, ist es die Techniken der Schleifenquantengravitation auf h¨oherdimensionaleSupergravitationen zu erweit- ern, welche als Niederenergielimites von Superstringtheorien auftreten. Diese Supergravita- tionen haben das selbe Niederenergieteilchenspektrum und leben in der selben Raumzeitdi- mension wie die entsprechenden Superstringtheorien und sind deshalb gut geeignet, um das oben beschriebene Problem zu umgehen. Da dieser L¨osungsvorschlag auf den ersten Blick nicht sehr tiefsinnig erscheint, muss angemerkt werden, dass es bis vor einigen k¨urzlich er- schienenen Publikationen, welche zu dieser Arbeit gef¨uhrthaben, nicht einmal bekannt war, wie und ob man h¨oherdimensionaleGravitation mit den Methoden der Schleifenquantengravi- tation behandeln k¨onnte. Das Problem an dieser Stelle war, dass der Hauptinput in der klas- sischen Theorie, die Ashtekar-Barbero-Variablen, nur in vier Dimensionen verf¨ugbarsind. In dieser Arbeit wird erst eine Verallgemeinerung dieser Art von Zusammenhangsformulierung auf h¨oherdimensionaleallgemeine Relativit¨atstheorieentwickelt werden. Danach wird gezeigt wer- den, dass die meisten Quantisierungstechniken der Schleifenquantengravitation auf diese neue Formulierung angewendet werden k¨onnen,aber auch ein paar neue Techniken gebraucht werden. Als n¨achstes werden diese Techniken noch auf Supergravitationen erweitert werden, und damit ein L¨osungsvorschlag f¨urdas obige Problem pr¨asentiert werden. Abseits dieses Hauptthemas wird eine partiell reduzierte Phasenraumquantisierung von h¨oherdimensionaler allgemeiner Rela- tivit¨atstheoriemit einem konform gekoppeltem Skalarfeld, basierend auf der Konstante-mittlere- Kr¨ummungs-Eichung, im vierten Teil dieser Arbeit vorgestellt werden. Abschließend werden im f¨unftenTeil dieser Arbeit Raumzeiten mit isolierten Horizonten als R¨andernbetrachtet, um erste Schritte hin zu einem Vergleich der Superstringtheorie mit der h¨oherdimensionalenSchleifen- quantengravitation in Raumzeiten mit schwarzen L¨ochern zu machen.
6 Notation
Here, we gather some important reoccurring notation as a reference.
≈ weakly equal (equal up to constraints) (0.1) D spatial dimension (0.2) d = D + 1 spacetime dimension (0.3) s, ζ spacetime, internal signature (0.4)
ηIJ = diag(ζ, 1, 1, ...) (0.5) I, J, ... SO(D, 1) or SO(D + 1) indices (short: SO(η)) (0.6) i, j, ... SO(D) indices (0.7) α, β, ... spinor indices (except for chapter 13) (0.8) µ, ν, ... spacetime indices (0.9) a, b, ... spatial indices (0.10) a ei SO(D) D-bein (0.11) a Ei densitised SO(D) D-bein (0.12) a eI SO(1,D) or SO(D + 1) (hybrid)-D-bein (0.13) a EI densitised SO(1,D) or SO(D + 1) (hybrid)-D-bein (0.14) πaIJ densitised SO(1,D) or SO(D + 1) (hybrid)-D-bein (0.15) in adjoint representation
AaIJ SO(1,D) or SO(D + 1) connection, (0.16) canonically conjugate to πaIJ nµ normal vector on spatial hypersurfaces (0.17) γI , γJ = 2ηIJ (Clifford algebra) (0.18) (γI )† = ηII γI (no summation here) (0.19) γIJ...K := γ[I γJ ...γK] (with total weight one) (0.20) ⊥ µ γ := nµγ (0.21) i ΣIJ := − γIJ (SO(D + 1) generators in spinor representation) (0.22) 2 i ∇ (A) χ := ∂ χ + A ΣIJ χ (0.23) a a 2 aIJ i ΣIJ , ΣKL = ηLJ ΣKI − ηLI ΣKJ − ηKJ ΣLI + ηKI ΣLJ (0.24) χ¯ := χ†γ0 (0.25) χ¯ = χT C (Majorana condition) (0.26)
Note that the choice (0.19) is always possible [1]. Furthermore, note that in a Majorana repre- sentation the spinors will be real and then, from the Majorana condition (0.26) follows γ0 = C.
7 Chapter 1
Introduction
The main topic of this thesis is to establish a connection between two different approaches to quantum gravity, namely the string theory1 / M-theory / supergravity side and loop quantum gravity (LQG). The motivation for this kind of research stems from the observation that although important progress has been made in many branches of quantum gravity over the past decades, there is a general lack of convergence between the different approaches. In the presence of experiments which could discriminate among these different theories, this situation would not be very problematic, however, since such experiments are missing today, the present quantum gravity research has to be conducted on purely theoretical grounds. Accordingly, if one expects to be successful in constructing quantum gravity by purely theoretical means, the theory should be reasonably unique. Focussing on string theory and loop quantum gravity, the aim of this thesis is to establish a connection between these two theories by applying LQG methods to supergravity theories which arise as the low energy limits of superstring and M-theory. In the context of this thesis, superstring and M-theory [2, 3, 4, 5] will be only treated under the aspect of providing quantum theories with the supergravity theories in ten and eleven dimensions as their low energy limits. The arguments which lead one to the conclusion that supergravities are indeed the low energy limits of superstring and M-theory are mainly due to symmetry principles. As an example, Werner Nahm has classified all possible supergravity theories which do not lead to fields of spin greater than 2 upon dimensional reduction to four dimension [6]. Different superstring theories on the other hand yield the same massless particle spectrum as the corresponding supergravity theories in ten dimensions, from which one concludes by invoking Nahm’s results that dynamics of the theories also have to agree for the massless low energy limit of the superstring theories. Since the supergravity actions consist basically of the gravity action in higher dimension plus matter couplings, it seems straight forward to try to apply loop quantum gravity techniques to this system in order to compare this quantisation with the one of superstring and M-theory. While the quantisation of many higher-dimensional supergravity theories will be achieved in this thesis, the comparison with string theory will be left for further research. On the one hand, one could compare the results and explicit derivations of certain symmetry reduced situations like the black hole entropy calculations or cosmology. On the other hand, a more direct route would be to gain a better understanding of the quantum field theory on curved spacetime limit of loop quantum gravity, which would enable one to compare it to superstring theory also in the realm of scattering theory. Since, as said, the explicit form of superstring theory is not of importance for this thesis, we will not comment on it further. An introduction to supergravity theories and their canonical analysis is provided in the third part of this thesis. In the rest of this introduction, we will focus on the current state of the loop
1By string theory we will always mean superstring theory, i.e. we are not interested in the 26-dimensional bosonic string theories in this thesis.
8 quantum gravity programme and comment on where the main obstacles on the way towards a loop quantisation of higher-dimensional supergravities lie. The starting point of the loop quantum gravity research programme was the seminal paper by Ashtekar [7], in which he showed that general relativity can be written as a Yang-Mills theory. The connection proposed by him, nowadays known as the Ashtekar connection, is complex and results in complicated reality conditions which, up till now, could not be implemented on a Hilbert space. The strength of his proposal was however that the Hamiltonian constraint (with density weight two) becomes a fourth order polynomial in the canonical variables, which promised to be an important step in making mathematical sense out of the Wheeler-deWitt equation [8, 9, 10], one of the drawbacks of which is that it is non-polynomial in the canonical variables and thus very hard to define as an operator equation. Since progress with the reality conditions could not be achieved, Barbero proposed a real version of Ashtekar’s connection variables [11], nowadays known as the Ashtekar-Barbero connection. This connection is currently favoured for constructing loop quantum gravity, since its reality conditions are automatically implemented on the Ashtekar-Lewandowski Hilbert space of loop quantum gravity. Although the Hamiltonian becomes non-polynomial in the Ashtekar-Barbero variables, Thiemann was able to construct a well defined operator from the Hamiltonian constraint with density weight one [12, 13], thus providing a well defined proposal for the quantum Einstein equations. Meanwhile, a rigorous construction of the kinematical Hilbert space was provided in papers Ashtekar, Isham, Lewandowski, Marolf, Mour˜ao,and Thiemann [14, 15, 16, 17, 18, 19]. The key input of this construction was to make use of projective limits in order to be able to work with spin networks which are supported on finite graphs while maintaining invariance under arbitrary refinements of the graph. The compactness of the gauge group SU(2) used for the Asthekar-Barbero variables is the main input into this construction, necessary for constructing a measure on an infinitely refined graph. Moreover, the construction of the kinematical Hilbert space has been performed independently of the number of spatial dimensions and the compact gauge group used. Thus, the problem of kinematically quantising general relativity in higher dimensions had already been reduced to finding a connection formulation of general relativity in higher dimensions based on a compact gauge group. Matter coupling can be done rather naturally in the context of loop quantum gravity and several results are available. The technical framework for matter coupled LQG has been derived in [20, 21] and it has has been shown how to regularise the Hamiltonian constraint operator on the corresponding Hilbert space. However, due to the well known problem of time, it is difficult to interpret solutions to the Hamiltonian constraint operator and deparametrised models were developed [22, 23, 24, 25] in order to have a physical Hamiltonian encoding the “time” evolution with respect to a reference field. Also, the algebraic quantum gravity framework [26, 27, 28, 22] was developed in order to deal with the difficulties coming from the embedding of the graphs in the standard treatment of LQG. Meanwhile, kinematical coherent states [29, 30, 31, 32, 33, 34] offered a possibility to test the classical limit of the Hamiltonian constraint (or Master constraint, true Hamiltonian, ...), and in the presence of a complete deparametrisation, they even become physical coherent states [22]. Thus, a framework capable to complete the quantisation of general relativity coupled to interacting matter fields has been developed within LQG. Several explicit examples were con- structed and more can be given. Despite this success in treating matter coupled LQG, there are several open issues to deal with. Most prominently, the Hamiltonian constraint or the derived true Hamiltonians suffer from different quantisation ambiguities, the physical consequences of which are not very well understood. Since the action of a (true or constrained) Hamiltonian operator on spin network functions strongly depends on the precise regularisation procedure, it is hard to judge the results of possible calculations involving this operator without having
9 experimental results at one’s disposal. In this thesis, we will not focus on the issues concerning the quantisation ambiguities, but show that a loop quantisation of many higher-dimensional supergravities, including the four, ten, and eleven dimensional ones, exists. The main obstacle that will have to be removed is to construct a connection formulation of higher-dimensional general relativity with certain important properties, which will be the subject of the first part of the thesis. Following, in part two, we will extend the quantisation techniques developed for the four-dimensional case to higher dimensions. In a last step in part three, we extend the quantisation procedure for pure higher-dimensional general relativity to the matter fields appearing in higher-dimensional supergravities. In part four, we will further develop the quantisation of higher-dimensional general relativity (without supersymmetry) by constructing a partially reduced phase space quantisation with a geometric clock. In part five, we will further develop the classical phase space description in the presence of an isolated horizon boundary which is necessary for the derivation of black hole entropy within LQG. A more detailed overview of the research presented in this thesis is found in the next chapter.
10 Chapter 2
Overview of the results
In a series of papers [35, 36, 37, 38, 39, 40, 41], Thomas Thiemann, Andreas Thurn, and the author of this thesis were able to provide Hamiltonian formulations of higher-dimensional super- gravities as gauge theories on a Yang-Mills phase space, such that the Yang-Mills gauge group is compact, the canonical variables are real and obey simple commutation relations, and the con- straints of the theory form a closing Poisson algebra. It then follows1 that a non-perturbative and mathematically well defined quantisation of these theories, including d = 10, 11 supergrav- ities, can be explicitly constructed. A summary is given in [42] and the main results will be briefly sketched in the following. Also, together with Alexander Stottmeister and Andreas Thurn, a reduced phase space quanti- sation of general relativity conformally coupled to a scalar field has been proposed in [43, 44]. The “time” function of this model is conceptually different from the deparametrised models [22, 23, 24, 25] and results in a different range of applicability, details of which are also discussed below. Finally, together with Thomas Thiemann and Andreas Thurn, higher-dimensional isolated hori- zons have been incorporated in the proposed connection formulation in [45]. A boundary con- dition similar to the four-dimensional case has been derived and the symplectic structure was shown to obtain a boundary contribution of the higher-dimensional Chern-Simons type.
Part I: New canonical variables In [35, 36], it was shown that Hamiltonian Lorentzian general relativity in d = D + 1 space- time dimensions can be rewritten as an SO(d) Yang-Mills theory. The main ingredient of the canonical transformation which relates this new formulation to the ADM formulation [46] is the simplicity constraint familiar from spin foam models, which relates a “generalised” vielbein transforming in the adjoint representation of SO(d) to a usual vielbein, transforming in the fun- damental representation. The usage of this generalised vielbein allowed it to construct an SO(d) connection by adding the extrinsic curvature contracted with the generalised vielbein to the “hybrid” [47] spin connection annihilating the vielbein in the fundamental representation. The resulting connection formulation is, although classically equivalent, different from the Ashtekar- Barbero [7, 11] formulation. The simplicity constraint from spin foam models turns out to be a key input in the construction and it can be incorporated either in the quadratic or in the linear form. 1From the compact gauge group, construct the Ashtekar-Lewandowski measure, which is a positive linear functional on the holonomy-flux algebra based on the Yang-Mills connection and its conjugate momentum. The Ashtekar-Isham-Lewandowski representation of this algebra follows from the Gelfand-Naimark-Segal construction. The regularisation of the Hamiltonian and supersymmetry constraints can be done using Thiemann’s Poisson bracket tricks.
11 Part II: Quantum theory A loop quantisation of higher-dimensional general relativity using the new canonical variables was spelled out in [37]. The existing quantisation techniques from the literature were either already formulated independently of the dimension, as in the case of the Hilbert space construc- tion, or straight forward generalisations existed, as for geometrical operators or the regularisation of the Hamiltonian constraint operator. Also, a quantisation of the simplicity constraint was performed and turned out to be anomalous. Different approaches for the non-anomalous imple- mentation of the simplicity constraint in the canonical theory were then discussed in [39].
Part III: Matter coupling and supergravity While bosonic matter couplings were already available for higher dimensions, the use of SO(d) as an internal gauge group initially posed a problem for coupling fermions. While this problem could be circumvented by acting with SO(d) on the fermionic representation space in such a way that the theory reduced to general relativity coupled to fermions in a certain gauge [38], the use of Majorana fermions in supergravity theories required more work since Majorana conditions are sensitive to the signature of spacetime. The solution proposed in [40] is the usage of a compound object of fermionic and gravitational degrees of freedom which obeys the Lorentzian Majorana condition even when one acts on it with SO(d) [40]. Furthermore, the Abelian 3-form field (3-index photon) of d=11 supergravity [48] was discussed as an example for p-form fields which appear in ten and eleven dimensional supergravities. Due to the presence of a Chern-Simons term for the 3-index photon, which is due to local supersymmetry, the theory is self-interacting and the application of a direct generalisation of the LQG Hilbert space to Abelian p-forms was not possible. Nevertheless, a reduced phase space quantisation with respect to the 3-index pho- ton Gauß constraint was shown to be possible by using a state of the Narnhofer-Thirring type [49].
Part IV: Reduced phase space quantisation In [43, 44], a reduced phase space quantisation of general relativity conformally coupled to a scalar field has been achieved. While the quantisation can be seen as a variation of the model pro- posed in [23], it has some conceptual differences which result in a different range of applicability. The basic idea of the quantisation uses certain results from what has been called shape dynamics [50], i.e. that the Hamiltonian constraint can be traded for the generator D of a local rescaling of the canonical variables, which coincides with the CMC gauge condition. The physical mean- ing of this symmetry trade is to restrict oneself to a certain spatial slice which is given by the second class partner D of the Hamiltonian constraint H, i.e. D is a gauge fixing for H. It turns out that, when coupling a conformally coupled scalar field (as opposed to a minimally coupled scalar field), D can be chosen to be the generator of local rescalings for both, the gravitational and the scalar field variables. Due to this fact, a new metric and conjugate momentum, which are invariant under the local rescaling, can be constructed as combined objects of the scalar field and the original metric and momentum. It follows that the Dirac bracket associated with gauge fixing the Hamiltonian constraint with the generator of local rescalings agrees, when using the invariant variables, with the ADM Poisson bracket for the original metric and momentum. Thus, one can loop quantise the system using the well developed kinematical LQG techniques without having to worry about the Hamiltonian constraint. The downside of this formulation are difficulties when trying to implement a time evolution, i.e. a true Hamiltonian with respect to interpreting the gauge fixing condition as a time function. Nevertheless, as outlined in [43], an interesting application to black hole physics is possible since the gauge fixing condition is globally accessible in this case and it follows that state counting can be performed at the level
12 of the physical Hilbert space. In fact, the structure of the “time” function D employed is very different from the ones in the deparametrised models, since it consists of momenta instead of configuration space variables. Moreover, it is purely geometric.
Part V: Isolated horizon boundary degrees of freedom An immediate application of the results of the first three parts of this thesis is the calculation of black hole entropy in higher dimensions within the LQG framework. First steps towards this goal have been taken in [45], where the classical phase space description of the proposed connection formulation on a spacetime manifold with isolated horizon boundary was developed. It was shown that starting with the Palatini action on such a manifold, a boundary condition similar to the one known from the four-dimensional treatment can be derived. Furthermore, the symplectic structure obtains a boundary term which was shown to result in a higher-dimensional Chern-Simons symplectic structure. This boundary term was already familiar from [35], where it arises as a boundary contribution for the canonical transformation to higher-dimensional con- nection variables. Using this, the internal gauge group could be switched to SO(D + 1), as opposed to SO(1,D) in the treatment starting with the Palatini action.
13 Part I
Connection dynamics for classical higher-dimensional general relativity
14 Chapter 3
Hints from the Palatini action
In this chapter, we will perform a canonical analysis of the Palatini action in order to gain an understanding of its canonical structure. As in the four-dimensional case, the theory will turn out to be subject to second class constraints which have to be solved prior to quantisation. Since a solution yields either the ADM formulation of general relativity in terms of vielbeins or a non-commuting connection when using the Dirac bracket, a rather non-standard procedure, called gauge unfixing, will be employed to arrive at a first class constraint system. This contrasts our formulation from the derivation of the Ashtekar-Barbero variables, which can be derived by supplementing the Palatini action with the Holst modification, which is however only available in four spacetime dimensions. The original work on which this chapter is based is [36].
3.1 The Ashtekar-Barbero variables
The Ashtekar-Barbero variables were originally derived via a canonical transformation [11]. Of course, one expects that a corresponding derivation at the Lagrangian level should exist and the corresponding derivation was given by Holst [51]. In order to arrive at the Ashtekar-Barbero variables, it is important to start with a modified version of the Palatini action, it has to be supplemented by the Holst modification as Z Z s 4 µI νJ 1 s 4 µI νJ KL SHolst = d X ee e FµνIJ (A) + d X ee e Fµν (A)IJKL , (3.1.1) 2 M 2γ 2 M | {z } | {z } Palatini action Holst modification where γ ∈ R\0 is the Barbero-Immirzi parameter and s = ±1 denotes the spacetime signature. The Holst modification does not change the equations of motion at the classical level and it can be shown to vanish by the Bianchi identity when the equations of motion are satisfied. Later, it was shown by Sengupta [52] that it differs from the Nieh-Yan topological density only by a torsion term, which vanishes by the equations of motion. Thus, the classical equivalence to the Palatini action and thus also to the Einstein-Hilbert action is manifest. In order to derive the Asthekar-Barbero variables from this action, one first performs a canonical analysis. The steps involved are:
1. Split spacetime into space and time.
2. Perform the (singular) Legendre transform, which yields constraints.
3. Test the stability of the constraints using the Dirac algorithm [53].
15 We will go into more detail on this derivation later on, when we will perform the canonical analysis of the higher-dimensional Palatini action. For now, we will just cite the main results in order to understand the main ideas. Also, we will only comment the canonical analysis with imposing the time gauge, as was originally done by Holst [51]. In Holst’s analysis, the second class constraints mentioned below do not appear and he simply obtains a first class Hamiltonian theory with Hamiltonian constraint, spatial diffeomorphism constraint, and Gauß constraint in terms of the Ashtekar-Barbero variables. The canonical analysis of the Holst action without the time gauge was first performed by Barros et Sa [54] and Alexandrov [55]. The analysis yields the usual set of first class constraints, the Hamiltonian constraint H, the spatial diffeomorphism constraint Ha, and the Gauß con- straint GIJ , where a is a spatial tensor index and I,J are SO(1, 3) Lie algebra indices in the fundamental representation. Moreover, two second class constraints appear, the simplicity con- straint Sab and a second class partner Dab. The simplicity constraint essentially enforces that the conjugate momentum to the Palatini connection is constructed from a vielbein, thus killing superfluous degrees of freedom. Its second class Partner Dab is a consequence of the stability analysis and essentially enforces that a certain part of the torsion of the Palatini connection is zero. Since the naive quantisation of second class constraints results in an empty Hilbert space [53], they have to be solved classically. When resorting to the Dirac bracket for this purpose, the connection becomes non-selfcommuting, which spoils the applicability of the loop quantum gravity quantisation methods. On the other hand, when solving the second class constraints, one obtains the Ashtekar-Barbero formulation of general relativity and thus the goal which we were aiming for. We remark that in order for the symplectic reduction with respect to Sab and Dab to yield the Asthekar-Barbero formulation, it is mandatory to have a finite, non-zero Barbero- Immirzi parameter γ. Otherwise, the symplectic reduction would yield the ADM-formulation with vierbeins [47], a theory with SO(1, 3) gauge invariance, but without a connection, as noted by Peldan [47]. This problem also carries over to higher dimensions, as we will show later. It was already observed by Han, Ma, Ding, and Qin [56] that when imposing the time gauge prior to performing the canonical analysis of the Palatini action, one ends up with the ADM formulation with SO(D)-vielbeins also in higher dimensions. Moreover, adding a generalisation of the Holst term is difficult in higher dimensions. On the one hand, a naive extension of the Holst-modification does not seem to exist in higher dimensions, since the epsilon symbol used to construct it acquires additional indices for which a non-vanishing and gauge invariant contraction linear in the field strength could not be given so far. On the other hand, a generalisation of the Nieh-Yan topological density exists in 4n, n ∈ N , dimensions, but it contains higher powers of the field strength and would thus significantly complicate the canonical analysis and most likely not yield the desired result.
3.2 Canonical analysis of the higher-dimensional Palatini action
Since no suitable extension of the Host term exists in higher dimensions exists, we will proceed by trying to gain a better understanding for the canonical structure of the Palatini action by performing a detailed canonical analysis. The starting point for this analysis is the higher- dimensional Palatini action Z s D+1 µI νJ SPalatini = d X ee e FµνIJ (A), (3.2.1) 2 M
16 µI µI where e is an SO(1,D) vielbein, e is the determinant of e , FµνIJ is the curvature of the SO(1,D) connection AaIJ , D is the number of spatial dimensions, and s = ±1 is the signature of the spacetime and we are using the mostly plus signature convention. We assume our spacetime M to be globally hyperbolic and conclude that it is topologically of the form σ × R [57]. Thus, we can introduce a slicing of the spacetime manifold into Cauchy-hypersurfaces Σt := Xt(σ), where Xt : σ → M is an embedding defined by Xt(σ) = X(t, σ). t has the interpretation of a time and labels the Cauchy surfaces. Furthermore, we define the time evolution vector field T µ by LT t = 1, where L denotes the Lie derivative and split T according to
µ µ µ µ T = Nn + N , nµN = 0, (3.2.2)
µ where n is the unit normal on Σt. As in the usual treatments, we call N the lapse function and N µ the shift vector. Performing the D + 1 split, we obtain
Z Z Z 1 1 S = dt L = dt dDx π0aIJ L A − NH0 − N aH0 − λ G0IJ , (3.2.3) 2 T aIJ a 2 IJ σ e where all spacetime tensor indices are pulled back to σ (µ, ν, . . . → a, b, . . .) and
0aIJ [I k a|J] √ [I k a|J] I I µ √ π := 2n E := 2 qn e , n = eµn ,N := −N/ q , (3.2.4) e
0IJ 0aIJ 0aIJ 0a IJ G := Daπ := ∂aπ + [Aa, π ] , (3.2.5) 1 1 H0 := π0aIK π0bJ F and H0 := π0bIJ F . (3.2.6) 2 K abIJ a 2 abIJ 0 0 As we will see explicitly later on, H is the Hamiltonian constraint, Ha is the spatial diffeo- morphism constraint and G0IJ is the Gauß constraint. The primes appearing in the previous equations are to distinguish these constraints from constraints build purely in terms of AaIJ and its momentum, as we will do later on. Essentially, when performing the Legendre transform at this point, we will obtain the constraint
SaIJ = πaIJ − π0aIJ , (3.2.7)
aIJ where π is the momentum conjugate to AaIJ . Thus, our theory will have two sets of canon- aIJ a I ically conjugate pairs, (AaIJ , π ) and (EI ,Pa ), and the canonical analysis will be more elab- orate than when just dealing with the first pair, as we will do in the following. The canonical analysis including both pairs has been performed in [36] and we will not repeat it here, as it is not necessary for understanding the following. To prevent the second canonical pair from appearing, Peldan suggested [47], in close analogy to the Plebanski formulation of general relativity [58], to introduce a constraint which enforces (3.2.7), but only depends on πaIJ . This constraint is a canonical version of Plebanski’s constraint, which is heavily used in the spin foam literature [59, 60, 61] and referred to as the simplicity constraint. The generalisation to higher dimensions of this constraint reads Z ab h M i D 1 M aIJ bKL SM cab = d x cab IJKLM π π ≈ 0, (3.2.8) σ 4 the four dimensional version is obtained by removing the multi-index M := M1M2 ...MD−3, i.e. setting D = 3. Here and in the following, we denote by ≈ a weak equality, i.e. equality up to constraints. In the context of spin foam models, this constraint has been considered in higher dimensions by Freidel, Krasnov, and Puzio [62] and its kernel has been worked out both in the
17 classical context and for a spin foam quantisation. It is straight forward to carry their proof 1 aIJ b ab over to the canonical setting and we obtain that if the constraint is zero and sπ πIJ ≈ 2qq is positive definite2, then a √ a πIJ = ±2 qn[I eJ]. (3.2.9) A complication arises in D = 3, where an additional topological sector appears. We will however neglect this sector in the following, since we are mainly interested in D > 3, where this sector does h i not exist. Adding Sab cM to (3.2.3), we can substitute all π0aIJ for πaIJ and thus completely M ab a free the action of any dependence on EI . Thus, the Legendre transform will yield only the aIJ canonical pair (AaIJ , π ), while by introducing the additional simplicity constraint we have ensured equivalence with general relativity. Beginning the Legendre transform, we read off the symplectic structure
bKL b K L {AaIJ , π } = 2δaδ[I δJ] (3.2.10) and the constraints 1 H := πaIK πbJ F (3.2.11) 2 K abIJ 1 H := πbIJ F (3.2.12) a 2 abIJ IJ aIJ aIJ a IJ G := Daπ := ∂aπ + [Aa, π ] (3.2.13) 1 Sab := cM πaIJ πbKL. (3.2.14) M 4 ab IJKLM Applying the Dirac stability algorithm, we find one new constraint
ab cIJ (a|KN b)L DM = −IJKLM π π Dcπ N . (3.2.15) by calculating n ab M o ab h M i ab SM [cab ], H[N] = DM Ncab + SM [...]. (3.2.16) The relevant part of the remaining constraint algebra is given by
1 1 1 GIJ [f ], GKL[γ ] = GIJ λ γK − γ λK (3.2.17) 2 IJ 2 KL 2 IK J IK J 1 GIJ [f ], H [N a] = 0, (3.2.18) 2 IJ a 1 GIJ [f ], H[N] = 0 (3.2.19) 2 IJ "D−3 # 1 0 IJ ab M ab X Mi M1...Mi−1Mi Mi+1...MD−3 G [λIJ ],S [c ] = S λ M 0 c (3.2.20) 2 M ab M i ab i=1 "D−3 # 1 0 IJ ab M ab X Mi M1...Mi−1Mi Mi+1...MD−3 G [λIJ ],D [d ] = D λ M 0 d (3.2.21) 2 M ab M i ab i=1
1At least at the classical level, the quantum constraint is more subtle as discussed in the second part of this thesis 2This is a non-holonomic constraint and does not have to be taken into account in the constraint analysis. Essentially, it restricts the phase space to non-degenerate geometries.
18 n o 1 H [f a], H [N b] = H [(L N)a] − GIJ [f aN bF ] (3.2.22) a b a f 2 abIJ a IJ a b K {Ha[f ], H[N]} = H[Lf N] + G [Nf π I FabJK ] (3.2.23) n ˜ a ab M o ab h M i Ha[N ],SM [cab ] = −SM (LN c)ab (3.2.24) 1 h i {H[M], H[N]} = − H (M∂ N − N∂ M)πaIJ πb 2 a b b IJ 1 h i +s Sab (M∂ N − N∂ M) M πcIJ F KL . (3.2.25) 4 M a a IJKL cb It can furthermore be shown that Sab and Dab constitute a second class pair. However, many of M M these second class constraints are superfluous, as a count of the degrees of freedom they remove shows. In order to understand the structure of these constraints, we split ¯ ¯ AaIJ = ΓaIJ + KaIJ + 2n[I Ka|J], (3.2.26) where ΓaIJ is Peldan’s hybrid connection [47], see equation (4.1.11) for more details. The K¯ I notation indicates that all internal indices are orthogonal to nI , i.e. K¯aIJ n = 0. On the constraint surface of the simplicity constraint, we calculate
¯ IJKLM ab ¯ IJKLM cAB (a|C b)DE f(a|IJ π|b)KL DM = −f(a|IJ π|b)KL ABCDM π π EDcπ aIJ,bKL ¯ ≈ −(D − 3)!(D − 1)K¯aIJ F fbKL, (3.2.27) and ab D A cB (a|C b)E ¯ DM ≈ −2sABC M n E E E KcED, (3.2.28) where F aIJ,bKL = 4sEa[K η¯L][J Eb|I] (3.2.29) and its inverse s F −1 = E E η¯ABη¯ η¯ − 2¯ηBη¯ η¯A . (3.2.30) aIJ,bKL 4 aA bB K[I J]L [I J][K L] are defined on tensors of the type f¯bKL which are antisymmetric in K,L, orthogonal on nI , and ¯bKL −1 aIJ tracefree in the sense f EbK = 0. πaIJ is defined as q qabπ , with qab being the inverse of qab, and thus purely as a function of πaIJ . We conclude that using the “reduced” multiplier dM = f¯ π IJKLM of the above tensor type is enough to fulfill the constraint Dab = 0. ab (a|IJ |b)KL M Using this ansatz, we further calculate Z Z D D ¯T IJKLM n ab cd o T MNOP N d x d y [f(a|IJ πb)KL ](x) SM (x),DN (y) [¯g(c|MN πd)OP ](y) Z 2 2 D ¯T aIJ,bKL T ≈ 4(D − 1) ((D − 3)!) d x faIJ F g¯bKL. (3.2.31) and conclude that Sab and Dab constitute indeed a second class pair. The remaining Poisson M M brackets are not important, since we can ensure stability of Dab by adjusting the multiplier of M aI the simplicity constraint. It can furthermore be shown that the trace part K¯aIJ E , vanishes by the Gauß constraint [36], which shows that the all physical information about the extrinsic curvature has to be located in K¯aI . IJ Concluding, we found a constraint algebra with the first class subset H, Ha, and G as well as the second class constraints Sab and Dab . Since the quantisation of second class constraints M M is problematic, we will apply the algorithm of gauge unfixing in the next subsection in order to obtain a first class constraint algebra.
19 3.3 Gauge unfixing
3.3.1 Toy model In this introduction, we want to illustrate the main idea of gauge unfixing which is to relate first and second class constrained systems to each other. Given a first class constraint, we can always perform a gauge fixing by introducing a new constraint which does not Poisson commute with the original constraint. This new constraint then fixes a gauge in the sense that the previously first class constraint cannot generate gauge transformation any more (since it is now second class), but a certain representative of each gauge orbit is chosen which satisfies the newly introduced constraint. The idea of gauge unfixing is to relate the process of fixing a gauge by setting a certain phase space variable to zero, i.e. using second class constraints, with the process of cutting out all the dependence of the theory on this variable, i.e. using gauge invariant observables, leading to a first class system where the Hamiltonian and the observables are gauge invariant under the new first class constraints. As an elementary example, we consider the system with configuration variables x1, x2, i i momenta P1, P2, Poisson bracket {x ,Pj} = δj and the first class constraint S = P2 ≈ 0. A 1 2 phase space function f(x , x ,P1,P2) of this system is observable if and only if it is evaluated on the constraint surface S ≈ 0 and Poisson commutes with S. Poisson commutativity implies that 2 the phase space function does not depend on x . On the other hand, dependence on P2 = 0 is equivalent with non-dependence on P2 since we can Taylor-expand the phase space function into a series in P2 where only the constant term would survive. The argument also works when the 1 1 1 constraint says P2 = g(x ,P1), since every function f(x ,P1,P2 = g(x ,P1)) is already included 1 in the functions depending only on x and P1. The constraint surface of the second class theory, where a gauge fixing constraint is present, is 2-dimensional whereas the constraint surface of the first class theory is 3-dimensional. However, in the first class theory we have to mod out the gauge orbits of S. The different phase spaces have therefore effectively the same size. It remains to be shown that the dynamics of the two theories are the same. Starting with the first class theory, the most general first class Hamiltonian reads
1 H = A(x ,P1) + λS (3.3.1) where A represents the gauge invariant part and λ is the Lagrange multiplier for the first class 1 2 constraint S. Observables are phase space functions f(x ,P1). Clearly, imposing D = x ≈ 1 h(x ,P1) does not alter the observables or the Hamiltonian except for setting λ = {h, A} to ensure stability of D. But the observables are independent of λ so that the gauge fixing does not alter the gauge invariant information of the system. The connection with the gauge variant system S ≈ 0 is made by considering the observable 2 part of the system. In the first class system we saw that S renders both x and P2 unphysical, 2 P2 by explicitly fixing P2 = 0 and x by modding out gauge orbits. In the second class system, 2 1 both x and P2 are explicitly set to functions of x and P1. Therefore, the effective phase space and the dynamics of observables are the same when going from the gauge variant to the gauge invariant system. Note however that this statement is not true for non-observable quantities, i.e. functions depending on x2. Before proceeding to the general theory and its application to general relativity, we want to illustrate the idea in a toy model related to gravity. We start with the Hamiltonian system described by the previous phase space, the Hamiltonian 1 H = A(x1,P ) + (x2)2 + λS, (3.3.2) 1 2
20 2 and the constraint S = P2 ≈ 0. Stability of S yields the new constraint D = x ≈ 0. Stability of D sets λ = 0 and we have the consistent Hamiltonian system 1 H = A(x1,P ) + (x2)2, S ≈ D ≈ 0. (3.3.3) 1 2 We note that the Hamiltonian is only first class up to the second class constraint D when 1 2 Poisson commuted with S. We can change this by subtracting 2 D from the Hamiltonian since the square of a second class constraint is a first class constraint. We call this new Hamiltonian
1 H˜ = A(x ,P1) + λS (3.3.4) and note that it Poisson commutes with S independently of D. The idea is now that it shoud not matter to forget about the constraint D since observables of the first class theory S = 0 do not depend on the value of x2 and the Hamiltonian is also first class in this theory. The reason why this procedure works so well in this example is the choice of starting Hamil- tonian. As seen before, the constraint S ≈ 0 demands that the physics does not depend on x2. Therefore, the Hamiltonian should also not depend on x2, but it does. In the toy model, stability of S yields D = x2 ≈ 0 which can then be used to go to the new Hamiltonian H˜ . On the other hand, we can gauge fix the first class system with D ≈ 0 and go back to the initial second class system.
3.3.2 General theory After a seminal paper by Mitra and Rajaraman [63], the general theory of gauge unfixing was developed by Anishetty and Vytheeswaran [64, 65]. The main idea is to reverse the process of gauge fixing, which turns a first class system into a second class system by making a gauge choice. Neglecting complications coming from Gribov copies, gauge fixing consists of choosing a second class partner to a first class constraint which specifies a point in the gauge orbit of the first class constraint. We do not claim credit for the following, but try to give a pedagogical overview in the case of a single second class pair. The general case can be found in [65]. In analogy to gravity, we will illustrate gauge unfixing using a Hamiltonian system with i i i generalised coordinates x , pi, Hamiltonian H(x , pi), subject to the two constraints S(x , pi) ≈ 0 i i and D(x , pi) ≈ 0 with Poisson bracket {S, D} = F (x , pi) 6= 0. We are now going to forget about D. What does this mean for the Hamiltonian system? Detection of Dirac observables: i In the second class system, a Dirac observable is a function f(x , pi) defined on the phase space surface satisfying S ≈ D ≈ 0. In the first class system, the function f is defined on the surface S ≈ 0 and has to satisfy {f, S} ≈ 0, where ≈ means weakly with respect to S only. At any given point P in phase space, we can, at least locally, use S and D as coordinates on the phase space so that D parametrises the gauge orbit of S. We can then expand f into a Taylor series in D as i 2 f(x , pi) = f0 + f1D + f2D + ... , (3.3.5) where the coefficients fn, n = 0,..., ∞ do not depend on D. We then have {fn,S} ≈ 0 and {f, S} ≈ 0 is equivalent to fn = 0 for all n ≥ 1. Thus, {f, S} ≈ 0 forces f not to depend on D. Accordingly, it does not matter if f is defined on the surface S ≈ 0 or S ≈ D ≈ 0. In other words, the set of functions defined on S ≈ D ≈ 0 is exactly the same set as the set of functions defined on S ≈ 0 with {f, S} ≈ 0.
21 Construction of Dirac observables: We introduce a linear projector P (modulo the first class constraint S ≈ 0) on the set of i phase space functions f(x , pi) acting as 1 f˜ := Pf := f − D{F −1S, f} + D2{F −1S, {F −1S, f}} 2! 1 − D3{F −1S, {F −1S, {F −1S, f}}} + ... . (3.3.6) 3! Given convergence, it is easy to verify that {f,˜ S} ≈ 0. It has the properties
P2 ≈ P, P(αf + βg) = αP(f) + βP(g) and P(fg) = P(f)P(g), (3.3.7) where α, β are constants and f, g phase space functions. Furthermore, we have
{P(f), P(g)} = P ({f, g}DB) and (3.3.8)
{P(f), {P(g), P(h)}} + {P(g), {P(h), P(f)}} + {P(h), {P(f), P(g)}} ≈ 0, (3.3.9) where {, }DB denotes the Dirac bracket constructed from the second class pair (S, D). It follows that P is a Dirac bracket homomorphism and therefore a canonical transformation. Hamiltonian evolution: The Hamiltonian evolution has to preserve the constraint surface S ≈ 0. In the Hamiltonian system we started with, this was the case on the surface S ≈ D ≈ 0. The problem is that H might depend on D which would lead away from the surface S ≈ 0. We use the above projector to construct the gauge invariant Hamiltonian H˜ which ensures stability of S. Time evolution in the second class system using the Dirac bracket is equivalent to this treatment since the Dirac bracket also annihilates the second class constraints present in the Hamiltonian. A gauge invariant function has therefore the same time evolution using either H and the Dirac bracket or H˜ and the Poisson bracket. Global issues and uniqueness: Problems concerning uniqueness and global treatment might arise when D is not linear in i the coordinates it constrains, leading to ambiguities in the solution to D(x , pi) = 0. Since this will not be the case in general relativity, we will not deal with these problems here. Remarks: • In general, the result of applying the projection operator is a very complicated, maybe infinite, series, which does not seem to help. Surprisingly, this series contributes only one extra term to the Hamiltonian of (higher-dimensional) general relativity.
• Concerning quantisation, it seems that nothing is gained because the projector P is clas- sically a Dirac bracket homomorphism. Quantisation of the gauge invariant degrees of freedom is the same task as looking for a representation of the Dirac bracket. A rigorous quantisation of the projector in the case of general relativity is hopeless.
• However, a new option emerges in this framework: Since the first class system S = 0 with Hamiltonian H˜ and the set of gauge variant functions is equipped with the original Poisson bracket, we can quantise this system and implement the constraint S at the level of the kinematical Hilbert space as an operator equation. Of course, the task of finding observables at the quantum level remains open on this route. Nevertheless, a (kinematical) quantisation can still be achieved, as opposed to starting with the Dirac bracket or the set of gauge invariant functions at the classical level.
22 3.3.3 Application to gravity The application of gauge unfixing to the canonical formulation of general relativity derived in the previous section bears many problems at first sight, including: Why should the power series involved in calculating the gauge invariant extension of the Hamiltonian constraint terminate? If not, does it converge? Is there a natural first class subset? What about problems arising due to non-linearities in the gauge fixing condition? However, as it turns out, gauge unfixing works very well for general relativity due to the following special properties: First of all, the simplicity constraints constitute a natural choice for a first class subset, since they are Abelian among themselves. Furthermore, the gauge fixing condition Dab is then linear in the degrees of freedom it constrains, i.e. the trace free part of M K¯ vanishes. Also, the Dirac matrix will only depend on πaIJ , since Dab is at most linear in aIJ M AaIJ . On top of that, the Hamiltonian constraint is a second order polynomial in AaIJ , which means that the power series involved in calculating its gauge invariant extension terminates after the second term. A little subtlety at this point is that the Dirac matrix
ab cd ab cd {SM ,DN } = FM N (3.3.10) is only invertible on a subset of its multipliers as described above. However, motivated by (3.2.31), we can still define an inverse as described in equation (3.3.12) in the next paragraph. Using this definition for the inverse Dirac Matrix, we calculate 1 H˜ = H − Dab F −1 M N Dcd (3.3.11) 2 M ab cd N for the gauge invariant extension of the Hamiltonian constraint. In order to work out the remaining problem of the non-invertibility, we make the ansatz