0 00:00:00,269 --> 00:00:00,810 Marc Geiller: Say I'm 1 00:00:05,549 --> 00:00:05,910 Jorge Pullin: Yeah. 2 00:00:08,250 --> 00:00:10,860 Jorge Pullin: Can you hear me okay so speaker to this mark. 3 00:00:12,030 --> 00:00:12,300 Jorge Pullin: Yes. 4 00:00:20,610 --> 00:00:21,240 Jorge Pullin: Go ahead, Mark. 5 00:00:23,340 --> 00:00:23,790 Marc Geiller: Thanks. 6 00:00:24,000 --> 00:00:27,390 Marc Geiller: Hi, Jorge, it is like maybe I hope, everything's fine. 7 00:00:28,710 --> 00:00:40,650 Marc Geiller: So hi, everybody. Thank you for tuning in. And so first of all, I hope everybody is fine and healthy and doing well. So yes, I'd like to tell you about 8 00:00:41,640 --> 00:00:55,620 Marc Geiller: Aspects of quantum gravity at the corner. So I have decided to revive this old title used by ordinary humble and hopefully this will become clear. The reason for this title. And so this is a recent work. 9 00:00:57,750 --> 00:01:09,570 Marc Geiller: In collaboration with Raphael, and Daniel upon city. And so I will try to go through these three papers chronologically and review some of the materials inside of these papers. 10 00:01:11,220 --> 00:01:17,280 Marc Geiller: So our motivations for this work is of course quantum gravity. As always, and 11 00:01:18,360 --> 00:01:21,600 Marc Geiller: The questions we want to ask in quantum gravity is 12 00:01:22,650 --> 00:01:31,830 Marc Geiller: What type of degrees of freedom. We want to describe what are the fundamental degrees of freedom of quantum gravity. Where do these degrees of freedom live 13 00:01:33,450 --> 00:01:36,960 Marc Geiller: What is the role of matter in constructing quantum gravity. 14 00:01:38,910 --> 00:01:39,510 Marc Geiller: And 15 00:01:41,220 --> 00:01:48,510 Marc Geiller: We have received many different answers from different approaches to to these questions. What is clear is a first point here is that a 16 00:01:48,900 --> 00:02:01,770 Marc Geiller: central role in quantum gravity is played by the notion of cemeteries. And so what I would like to ask here is the question of which symmetries, we should use to construct and describe the theory of of quantum gravity. 17 00:02:03,360 --> 00:02:12,690 Marc Geiller: So for this, what we want to present is a new proposal for an approach to quantum gravity based on the notion of so called local or cause a local holography 18 00:02:13,590 --> 00:02:26,310 Marc Geiller: And the region. The reason for this name is that we would like to focus on the symmetry contents of local but arbitrary sub regions and corners associated to the sub regions. 19 00:02:26,970 --> 00:02:36,840 Marc Geiller: What you want to do, in turn, is to associate Hilbert spaces states and quantum numbers to these corners based on their algebra of symmetries. 20 00:02:37,830 --> 00:02:45,750 Marc Geiller: And we want, in a sense, to describe degrees of freedom, which are described and organized by her presentations have a notion of corner symmetry algebra. 21 00:02:46,560 --> 00:02:56,760 Marc Geiller: Then in this picture. Once we understand the corner symmetry algebra, and it's a presentation. We want to build space as an untangling and fusion of these corner degrees of freedom. 22 00:02:57,300 --> 00:03:04,080 Marc Geiller: And then the dynamics and spacetime evolution and the constraints as some notion of charge conservation. 23 00:03:05,070 --> 00:03:17,670 Marc Geiller: So just before I continue, let me make clear once and for all that by a corner here. I mean code. I mentioned two regions of space time. So in three plus one dimensional four dimensional space, time, this would be 24 00:03:18,780 --> 00:03:23,760 Marc Geiller: Two dimensional manifolds, which you can think of as boundaries of spatial sub regions. 25 00:03:25,470 --> 00:03:31,080 Marc Geiller: So if you look at this, the points of this new proposal here it should maybe come kind of 26 00:03:32,730 --> 00:03:40,710 Marc Geiller: apparent that this actually has lots of ingredients of what we are used to in a look quantum gravity and it's been four models. 27 00:03:41,550 --> 00:03:51,030 Marc Geiller: So I have just presented here this artist rendering of these little bubbles chunks of space democratized and then there is this collection of 28 00:03:51,600 --> 00:04:00,660 Marc Geiller: Building blocks of quantum geometry glued together connected by maybe some speed network or some, you know, fundamental quanta of geometry. 29 00:04:01,260 --> 00:04:12,210 Marc Geiller: And then we want to describe the evolution in time of these little bubbles is little building blocks so schematically, this will look a lot like quantum gravity. But what we want to do, actually. You will see 30 00:04:12,810 --> 00:04:19,020 Marc Geiller: What we naturally discover is that there are some built in ingredients of Luke quantum gravity. 31 00:04:19,800 --> 00:04:25,500 Marc Geiller: But we want to push the logic of look quantum gravity actually further. So of course the quantum gravity was initiated. 32 00:04:26,010 --> 00:04:36,780 Marc Geiller: Based very strongly on the, the idea that we should focus on the symmetries of general relativity and what we have done very successfully so far in Luke quantum gravity was to understand the role of 33 00:04:37,350 --> 00:04:48,570 Marc Geiller: Different Marxism symmetry and also internal as YouTube confirmations. But the question we want to ask you is, why not go further. If we can associate type of symmetries to other 34 00:04:49,110 --> 00:05:03,090 Marc Geiller: Structures of spacetime, namely here corners of our because the sub regions, maybe we should focus on trying to understand the physical content of these cemeteries and set aside for the moment before more systems and issue or whether 35 00:05:03,600 --> 00:05:08,310 Marc Geiller: extend them and try to understand what lies beyond different morph isn't an issue. 36 00:05:09,330 --> 00:05:20,700 Marc Geiller: And again, we want to maybe rediscovered this notion that space is a network of some quantum geometry building blocks, but we want also will see to discover or some kind of generalization of this notion 37 00:05:21,330 --> 00:05:28,410 Marc Geiller: And also recently. The third point is that there's been a lot of work into quantum gravity trying to think in terms of course grading of degrees of freedom. 38 00:05:28,860 --> 00:05:39,870 Marc Geiller: And also thinking in terms of topological theories and defects and this brings us to this idea of kind of enlarging the theory space that we're working with. So the question we want to ask is, 39 00:05:40,200 --> 00:05:49,410 Marc Geiller: Are we actually describing the proper fundamental degrees of freedom are we actually describing the proper quantum numbers which we should coarse grain and 40 00:05:50,580 --> 00:05:54,810 Marc Geiller: Build space with and build space time with. So that's the 41 00:05:56,370 --> 00:06:07,470 Marc Geiller: Sorry, the care. OK, so the further motivation for this work is that we will see that this feeling naturally enable us to start reconciling different approaches. 42 00:06:07,950 --> 00:06:25,800 Marc Geiller: So here I just mentioned approaches which are holographic like ADHD and more general notions of bolognesi which in a sense of the property of focusing more on what happens at the boundary of so usually a synthetic boundaries at infinity for space time 43 00:06:27,030 --> 00:06:36,000 Marc Geiller: And we want to reconcile this with approaches, more like energy. So, energy type approaches which focus more so far on the structure of the book. 44 00:06:37,620 --> 00:06:50,490 Marc Geiller: Also our motivation and you will see that this is what we will kind of nicely discover in this work is that we can actually consistently resolve and clarify some tensions which has 45 00:06:51,120 --> 00:07:00,270 Marc Geiller: subsisted so far in new quantum gravity. So, namely to list a few of them. We want to clarify the interplay between the world of these collectivization and quantization. 46 00:07:01,110 --> 00:07:12,300 Marc Geiller: Will also clarify the whole play by the multi parameter and also affiliated issue is, of course, that after the sweetness of the spectrum and internal line sometimes 47 00:07:13,110 --> 00:07:20,370 Marc Geiller: Will also clarify the whole of the simplicity constraints which are of course very important in the construction of the dynamics of quantum gravity. 48 00:07:21,120 --> 00:07:30,990 Marc Geiller: And also say something you would see in a minute about non committal activity of the fluxes, and also a key point is to have access for the first time now to the frame operator. 49 00:07:32,040 --> 00:07:40,170 Marc Geiller: And the hope in the long term, is that this will enable us to have a new look into the dynamics of quantum gravity and maybe the way to include matter, in theory, 50 00:07:41,970 --> 00:07:54,060 Marc Geiller: So these were the motivations. Now the roadmap for this proposal, and for this construction. So let me tell you where this construction comes from and what the idea is. So the starting point is just the organization that 51 00:07:55,290 --> 00:08:03,390 Marc Geiller: We work with the gauge theory imaging volatility gravity and when we have boundaries in a gauge theory, the boundaries actually turn 52 00:08:03,780 --> 00:08:11,610 Marc Geiller: Gauge symmetries into physical symmetries. This means that to boundaries, you can associate non trivial charges and analogy, poverty is charges. 53 00:08:12,090 --> 00:08:23,610 Marc Geiller: So if we think about little corner which are boundaries of special regions so called I mentioned two corners will have non trivial charges and algae was associated to these corners. 54 00:08:24,240 --> 00:08:34,590 Marc Geiller: Now it turns out as a mathematical tool that these charges and the algebra of these charges is best studied you know formalism, which is called the combined faith based formalism. 55 00:08:35,310 --> 00:08:42,840 Marc Geiller: So the starting point of the Covenant faith based formalism. It's just like an engine for your theory and by taking as usual variations of the technology and 56 00:08:43,350 --> 00:08:56,910 Marc Geiller: If you want to isolate the equations of motion. We have to integrate by parts. And this produces a boundary term with an object called Sita here and we can see that the syntactic potential. So this electric potential will be the, the central 57 00:08:58,320 --> 00:09:02,460 Marc Geiller: The central object of this of this construction and of this talk that will focus on 58 00:09:03,660 --> 00:09:11,520 Marc Geiller: From now on, so what you want to achieve is to actually find some classifying criterion for different formulations of gravity. 59 00:09:12,090 --> 00:09:19,590 Marc Geiller: And we want this to get us to a notion of we'll see is the notion of corner symmetry eligible. So what I want to motivate and argue is that 60 00:09:20,010 --> 00:09:31,560 Marc Geiller: This notion of corner symmetry algebra is able to distinguish between different formulations of of gravity. So what we want to focus on in order to do this, is that we want to make some 61 00:09:32,790 --> 00:09:43,950 Marc Geiller: Not simplifying assumptions, because these are not made for simplicity, but these are made for clarity, because in studying charges and algebra of charges. 62 00:09:45,060 --> 00:09:57,690 Marc Geiller: It's not possible to if you mix together boundary conditions and different locations of boundaries and regions we completely lose control over the structures that were constructing. So what we want to do here is 63 00:09:58,800 --> 00:10:06,090 Marc Geiller: Build everything with a very bottom up approach. And for this, what we want to do is consider only 64 00:10:07,290 --> 00:10:17,370 Marc Geiller: entangling spheres. So this means that these are Cornell's of regions which do not evolve in time. These are locations have a spatial manifold, which 65 00:10:17,970 --> 00:10:25,260 Marc Geiller: Do not change under time evolution. We also want to postpone for the moment the discussion of boundary conditions. 66 00:10:25,740 --> 00:10:33,390 Marc Geiller: Postpone the discussion of time evolution or they just said, and only focus will come back to this in a minute on attention different systems. 67 00:10:33,870 --> 00:10:45,600 Marc Geiller: And if we start doing this. There's already enough material to extract physical content and extract some structures and then from there on, we can understand how to generalize this and how to go, how to go forward. 68 00:10:46,950 --> 00:10:57,600 Marc Geiller: So now what we can do with this very basic setup so just working in the Quran faith based formalism is to realize a very simple but important and deep result. 69 00:10:58,260 --> 00:11:05,190 Marc Geiller: And this simple but important result is that if we focus on any formulation of gravity, which I will call f here. 70 00:11:06,060 --> 00:11:12,300 Marc Geiller: We can look at the syntactic potential of this chosen formulation of gravity and then realize that 71 00:11:12,750 --> 00:11:20,820 Marc Geiller: Genetically, we can write this potential as a sum of two contributions. One of them is a universal peace, namely about these 72 00:11:21,300 --> 00:11:32,190 Marc Geiller: Which is associated for a reason that will become clear on the next slide with a canonical ADM general relativity. So we were just the note this both contribution by GR 73 00:11:32,670 --> 00:11:49,470 Marc Geiller: So for canonical GR and we will see that the contribution of this bulk piece of the syntactic structure when we look at charges additional morph isms. And there are jabbar will contribute universal peace which is just do Mark isms of the corner sphere. 74 00:11:50,580 --> 00:11:57,000 Marc Geiller: Then in addition to this universal bulk piece there isn't read a corner piece which can itself depend on the formulation 75 00:11:57,840 --> 00:12:03,030 Marc Geiller: And this corner piece as I will show adds extra charges to 76 00:12:03,810 --> 00:12:15,540 Marc Geiller: The Caribbean face face and contributes to extract components of the corner of symmetry Antoine, in addition to the different morph isms of the sphere which is the universal piece of this corner symmetry algebra. 77 00:12:16,230 --> 00:12:27,960 Marc Geiller: So the formula is just that the syntactic potential data F of any formulation is the sum of the universal bulk piece data GR plus a corner term used to describe terms of total derivative 78 00:12:28,770 --> 00:12:41,760 Marc Geiller: Plus potentially a total variation and it'll tell valuation. Later on we can kind of forget about it. Because when we go from this eclectic potential to the syntactic structure this total domination will actually drop out. 79 00:12:42,420 --> 00:12:43,740 Abhay Ashtekar: Mark and ask your question. 80 00:12:44,130 --> 00:12:44,760 Marc Geiller: Yes, sure. 81 00:12:45,600 --> 00:12:54,990 Abhay Ashtekar: I mean throughout here is a key point and you keep referring to those impacted potential for the Cobain face face. I mean, it's 82 00:12:55,560 --> 00:13:08,550 Abhay Ashtekar: Unbelievable emphasize that there is no such thing as the synthetic potential the sibling extraction is canonical ultimately when you get on the spatial solutions oriented Facebook, but there is a freedom of choice of this and potential so 83 00:13:09,990 --> 00:13:18,270 Abhay Ashtekar: I mean, I hope that you'll tell us what you mean by Bill synthetic potential and how you are somehow imposing extra conditions to select a preferred one 84 00:13:19,350 --> 00:13:27,480 Marc Geiller: Yes, exactly. Thank you for the question. So that's indeed a very important point. And I'm saying maybe I'm jumping ahead of myself a little bit, but I'm saying this eclectic potential because 85 00:13:28,440 --> 00:13:41,400 Marc Geiller: So as we argue in the in the first paper. And as I also want to argue here there is in fact a way to assign a canonical and unique simplex potential to theory and this is by kind of 86 00:13:42,540 --> 00:13:46,830 Marc Geiller: Forgetting about this this ambiguity. So I know that many people have called 87 00:13:48,390 --> 00:13:57,030 Marc Geiller: This ability to play with this corner term an ambiguity and that because of this the syntactic potential is actually ambiguous. What we want to argue here is that this 88 00:13:57,780 --> 00:14:12,000 Marc Geiller: This corner PCs are not actual ambiguities, but they are just features of a given formulation of gravity and we should actually focus on these features and try to consider this kind of contributions for what they are and try to extract physics out of them. 89 00:14:12,510 --> 00:14:12,900 Abhay Ashtekar: Right in this 90 00:14:13,620 --> 00:14:17,250 Abhay Ashtekar: Is your viewpoint. I mean, maybe you're going to explain it, in which case I stopped. But if not, 91 00:14:17,310 --> 00:14:23,400 Abhay Ashtekar: This is important for most of us to understand is your viewpoint, then that the theory by itself does not have 92 00:14:24,720 --> 00:14:27,330 Abhay Ashtekar: The synthetic potential or the quarter term. 93 00:14:27,750 --> 00:14:38,790 Abhay Ashtekar: But each choice. I mean, they love freedom and then you're going to supplement it with some principles. Or perhaps you're going to say that choice of a return this corresponds to different physics. 94 00:14:39,000 --> 00:14:45,090 Abhay Ashtekar: International and therefore God has this unique some great potential, but 95 00:14:46,500 --> 00:14:52,290 Abhay Ashtekar: As supplemented with the synthetic potential has a has a unique physical interpretation. 96 00:14:52,620 --> 00:14:56,490 Marc Geiller: Yes, exactly. Thank you. So that's exactly what I want to get to 97 00:14:56,790 --> 00:15:05,010 Marc Geiller: And that's my last point here, what I want to argue is that different formulations of the same theory. Maybe that's the important vocabulary parts we talking about the same. 98 00:15:05,460 --> 00:15:11,910 Marc Geiller: Theory in the sense that we're talking about gravity, but there are different formulations of descriptions descriptions of gravity. 99 00:15:12,780 --> 00:15:20,700 Marc Geiller: Or the metric one or the tetrad one that we're using look quantum gravity and what I want to argue is that different formulations of the same theory, namely gravity. 100 00:15:21,120 --> 00:15:31,260 Marc Geiller: Have different kind of syntactic potentials and have different physics associated to these kind of simplistic potentials and this is the difference that we should be careful about and acknowledge 101 00:15:32,040 --> 00:15:33,150 lsmolin: Can I ask a question. 102 00:15:33,600 --> 00:15:34,440 Marc Geiller: Yes. Link is 103 00:15:34,650 --> 00:15:48,810 lsmolin: Yes, there's a couple of related points you freeze the lab said at the boundary, if I understand it. And that gets you out of having to answer the question of what are the physical conditions that define 104 00:15:50,370 --> 00:16:02,010 lsmolin: an esoteric boundary. And so that leads me to ask in this situation where you're tapping everything that would be dynamical infinity and you're not 105 00:16:02,610 --> 00:16:15,060 lsmolin: Being responsible to tell us what somehow what physics this boundary condition as matter how much of what you're showing us remains true if you put those complications back in 106 00:16:16,770 --> 00:16:16,860 I 107 00:16:18,330 --> 00:16:23,250 Marc Geiller: Don't really want to answer this, because I don't know why could tell me that 108 00:16:24,570 --> 00:16:31,920 Marc Geiller: Yeah, I don't know how much of this actually remains true, but I think that's kind of a red herring, because maybe it's not the good question to ask because maybe 109 00:16:32,610 --> 00:16:35,970 Marc Geiller: If you know taking again the viewpoint of quantum gravity that resume. 110 00:16:36,480 --> 00:16:44,070 Marc Geiller: Instead of, you know, quantities and space time as a holistic object and looking at what happens for boundary conditions at infinity. If instead zoom in on Space Time. 111 00:16:44,490 --> 00:16:51,720 Marc Geiller: Then start chopping it up and try to understand what are the summit fees associated to these arbitrary smaller building blocks. 112 00:16:52,110 --> 00:17:03,510 Marc Geiller: Then we can forget about the question about what happens when we push the boundaries to infinity, because what we want to point is, is the algebra and the degrees of freedom associated to little cause a local chance 113 00:17:04,170 --> 00:17:06,480 lsmolin: Now, I don't. I also don't want to push the boundaries. 114 00:17:07,620 --> 00:17:24,300 lsmolin: But I want you to tell me the physical conditions, whether express in terms of external fields or better feel for the gravitational fields that define these boundaries that My fear is that if you don't tell me that I don't know how to measure the client is you're having charges. 115 00:17:26,820 --> 00:17:31,320 Laurent Freidel: It can I can I help there. I think lead. This is a question for further took you need to 116 00:17:33,660 --> 00:17:34,320 Laurent Freidel: Think is that 117 00:17:35,520 --> 00:17:35,940 Laurent Freidel: Maybe your 118 00:17:36,450 --> 00:17:37,680 Marc Geiller: Talk, we can go back to 119 00:17:38,550 --> 00:17:39,900 lsmolin: Okay, I'm happy justice. 120 00:17:40,890 --> 00:17:46,200 Laurent Freidel: Yeah, once you have to charge you to to look at dynamics as evolution charge evolution. 121 00:17:46,980 --> 00:17:49,650 Laurent Freidel: But the keys to understand what is, what are the child's first 122 00:17:50,340 --> 00:17:53,040 Marc Geiller: Yeah, exactly. We have to kind of be a bit more 123 00:17:53,370 --> 00:17:58,140 Laurent Freidel: You cannot talk about evolution. If you don't know what other kinds of charges for their quality construction. 124 00:18:02,310 --> 00:18:11,370 Marc Geiller: Okay, so to continue the first natural thing to do is to actually give an example of this statement that there is this split of the simplicity potential between about peace on a corner piece. 125 00:18:11,880 --> 00:18:19,980 Marc Geiller: And this example is a very familiar example actually because it's just starting from the familiar Einstein Hilbert like on Jenna for metric gravity. 126 00:18:20,700 --> 00:18:31,320 Marc Geiller: So this is our familiar Einstein Hibbert like Ron channel or is he scale or curvature and exciting and here is the space time volume square root of G. 127 00:18:32,730 --> 00:18:45,330 Marc Geiller: And now the simplistic potential for this formulation. So I've been taking variations of this like engine and isolating the Einstein equations of motion, we get this simplistic potential, which is written here in terms of the normal n to 128 00:18:46,260 --> 00:18:51,060 Marc Geiller: cushy slices and excitement tilda is doing used volume element on the slices 129 00:18:51,960 --> 00:19:00,360 Marc Geiller: So the first line is what comes out of the calculation and then just a few lines of algebra enables you to actually rewrite this Einstein Herbert potential 130 00:19:00,810 --> 00:19:11,520 Marc Geiller: Into precisely about peace and kind of these. So it's total derivative here in red and a total variation which we can forget for the moment. 131 00:19:12,900 --> 00:19:14,910 Marc Geiller: And now you will see that this 132 00:19:16,380 --> 00:19:30,780 Marc Geiller: Bulk piece of the syntactic potential I have in blue. I have called it feat. A GR because the statement is that this is the the canonical universal peace come on to our formulations of gravity and the corner contribution, I have called it 133 00:19:32,010 --> 00:19:42,660 Marc Geiller: Ah, what it is to general relativity, because I want to introduce the notion of qualities syntactic potential. So we have a syntactic potential for one theory, which is 134 00:19:43,260 --> 00:19:48,000 Marc Geiller: So what for one formulation of gravity. So, which is the answer here but formulation 135 00:19:48,630 --> 00:19:52,620 Marc Geiller: And we have the potential for another formulation of the same theory, namely 136 00:19:53,010 --> 00:20:04,680 Marc Geiller: The canonical ADM formulation and the difference to go from one formulation to the other. The reason for that is simplistic potential and these qualities and electric potential is just a corner term and its displayed here in red. 137 00:20:05,880 --> 00:20:11,760 Marc Geiller: Now why these names. Well, this result is actually familiar result because it comes to us from the well known. 138 00:20:12,810 --> 00:20:21,000 Marc Geiller: Geometrical fact, namely using the gospel. That's the equation that we can rewrite the Einstein Herbert like engine as the some of the 139 00:20:21,930 --> 00:20:35,190 Marc Geiller: ATM or GR like engine, which is this piece here and the boundary term which is essentially using the the extrinsic curvature. So the kind of given talking term and the acceleration here. 140 00:20:36,210 --> 00:20:47,490 Marc Geiller: So this is just the family that girls could that see the composition of the engine Herbert like engine. But now there is a little subtlety, which is how to precisely go from this statement about like engines to a statement about 141 00:20:48,720 --> 00:20:58,920 Marc Geiller: What is made above a statement about the different simplistic potentials and this is due to a less known facts and this fact is to actually acknowledge that once we 142 00:21:00,090 --> 00:21:02,430 Marc Geiller: Go from one initial theory, namely 143 00:21:03,450 --> 00:21:16,110 Marc Geiller: Here canonical general relativity given by the EDM like an engine to the answer and Herbert like Engine using a boundary like engine, we have to acknowledge that the boundary like engine itself has a simplistic potential 144 00:21:16,920 --> 00:21:24,870 Marc Geiller: And you see that what is written in the first part here that so this unless you see the pointer. When I moved here you see them. 145 00:21:25,830 --> 00:21:37,770 Marc Geiller: Yes. Okay. So this first statement here is just in fact a rewriting of the fact that if you take the valuation of this collective like engine, which is the given talking term. 146 00:21:38,490 --> 00:21:45,780 Marc Geiller: This is exactly this result here. So the variation of the holiday like engine gives us the understand here but simplistic. 147 00:21:46,320 --> 00:21:54,990 Marc Geiller: Simplistic potential minus the canonical simplicity potential and there is a total derivative which is this qualitative simplistic potential 148 00:21:55,980 --> 00:22:08,250 Marc Geiller: So this just means that boundary like engines, may I say maybe because maybe you consider to formulations, for which the bundle and gunjan does not have derivatives. And in this case, this isn't trivializes 149 00:22:08,880 --> 00:22:18,750 Marc Geiller: But like here when the boundary like auction contains derivatives, you can compute variations of the boundary like engines and this gives you naturally a common law contribution. 150 00:22:19,170 --> 00:22:32,910 Marc Geiller: To the syntactic structure of the theory. So this is again the statement that discount of times they're not in the US, but they're just features of whatever formulation of the theory, namely here gravity, you're trying to describe 151 00:22:33,480 --> 00:22:45,360 Marc Geiller: And this is the reason for which looking at different formulations of the same theory gives you a different boundary charges and different challenge algebra, and this is what we want to investigate. 152 00:22:46,710 --> 00:22:57,330 Marc Geiller: So to illustrate this further. Why this actually has important implications, we can actually dig a bit deeper and look at the structure of the charges and be eligible for metric gravity. 153 00:22:58,110 --> 00:23:05,520 Marc Geiller: So now that we have this eclectic potential, we can construct the syntactic structure. And as always, if we look at the charges coming from the syntactic structure. 154 00:23:05,850 --> 00:23:12,000 Marc Geiller: We get the bulk piece, this piece is just a special different markets and constraints and the statement is that 155 00:23:12,810 --> 00:23:24,360 Marc Geiller: Because this is the bulk piece which is the same universal contribution, both in the canonical GR formulation and in the engine Hubert formulation. This gives us, of course, the same 156 00:23:25,410 --> 00:23:30,390 Marc Geiller: The same chart. So the same constraints which is just the DM 157 00:23:31,470 --> 00:23:32,370 Marc Geiller: Momentum constraint. 158 00:23:33,810 --> 00:23:39,120 Marc Geiller: Now, if you look at the algebra of these constraints, of course, we will find the algebra of different markets. 159 00:23:39,750 --> 00:23:44,130 Marc Geiller: But now the tricky question is how exactly is this a bunch of different mechanisms represented 160 00:23:45,090 --> 00:23:49,830 Marc Geiller: To answer this question, we have to now look more closely at the charges that live on the corner. 161 00:23:50,310 --> 00:24:05,100 Marc Geiller: And because these two formulations of the same theory differ precisely by a corner contribution to the potential and to the syntactic structure. They have different charges and this we can see very easily, because if you compute the charges for these two formulations of of gravity. 162 00:24:06,330 --> 00:24:15,630 Marc Geiller: For canonical GR we find the familiar upon your charge and for the action here but formulation we find the familiar so called calm of charge. 163 00:24:16,530 --> 00:24:27,360 Marc Geiller: Now this makes an important physical difference because as you can see the barnyard charge is actually vanishing if the if the vector field generating the different markets and you're looking at vanishes on the surface. 164 00:24:28,290 --> 00:24:34,740 Marc Geiller: Whereas the coma charge actually contains derivatives of this vector field. So it may be non zero or even if the vector field is vanishing 165 00:24:34,740 --> 00:24:35,580 Marc Geiller: On the surface, 166 00:24:36,330 --> 00:24:48,360 Marc Geiller: And this is important physical implications which were actually explained nicely in despair for Bye bye, no one really only 2016 and if you just allow me to skip over the details here because 167 00:24:49,500 --> 00:24:54,480 Marc Geiller: We want to really move on to protect gravity, but really refer you to this paper. 168 00:24:55,080 --> 00:25:02,250 Marc Geiller: If you actually perform a two plus two decomposition. So the composition adapted to the fact that we have a cold. I mentioned to corner. 169 00:25:02,610 --> 00:25:10,050 Marc Geiller: This will actually revealed that the eligible of this comet charges has actually an extra components, which is an SM to our components. 170 00:25:10,800 --> 00:25:22,290 Marc Geiller: So the edge of the barnyard charges in the jar formulation is just the S, but the edge of the different more fees and charges in the ashram Hubert formulation. So, namely the comet charges. 171 00:25:22,650 --> 00:25:32,490 Marc Geiller: Is the S and an SMS or component. So, we see a stated that these two formulations of the same theory has a different symmetry contents at corners. 172 00:25:33,210 --> 00:25:39,180 Abhay Ashtekar: So can I just ask. I mean, usually when one says brown York and there are seven boundary conditions that are imposed on the boundary 173 00:25:39,480 --> 00:25:44,100 Abhay Ashtekar: Yeah, so, but here you are not imposing any boundary conditions at all because 174 00:25:44,880 --> 00:25:47,520 Marc Geiller: Yes, exactly. Here, we don't need any boundary conditions to the 175 00:25:47,640 --> 00:25:52,590 Abhay Ashtekar: Reddish brown y'all came in your version of brown. We are in which there is no boundary condition imposed. Is that right, 176 00:25:53,730 --> 00:25:59,700 Marc Geiller: Yes, I don't want to say my version, but it's a very clinical results here. It's just taking the syntactic structure and 177 00:25:59,700 --> 00:25:59,850 Going 178 00:26:00,990 --> 00:26:07,620 Abhay Ashtekar: Down, because the original brown. We are very clear, you know, the fixing the metric and so on. And the boundary and you're not doing any of that. 179 00:26:08,130 --> 00:26:17,880 Marc Geiller: Yeah, this is not required here. Yeah. So now we can just take these two results and just put it in this little table here where here we put the type of content symmetries that we get 180 00:26:18,480 --> 00:26:27,060 Marc Geiller: And again, jumping a little bit ahead of ourselves. I have already put what will happen next. And what is of interest for us because we want to focus on tech hub gravity. 181 00:26:27,780 --> 00:26:37,830 Marc Geiller: So here we have just the two results, we just derived for canonical GR and for the engine here but formulation in one case we have defense. And in the other case, we also have our next time. 182 00:26:38,400 --> 00:26:45,750 Marc Geiller: I sent to our component. Now what I want to explain is what happens in the case of tech hub gravity. So if you just go back for a moment to our 183 00:26:45,750 --> 00:26:46,620 Daniele Pranzetti: Motivations 184 00:26:46,650 --> 00:26:47,430 Marc Geiller: We see that 185 00:26:47,820 --> 00:26:56,430 Marc Geiller: These shows that indeed different formulations of the same theory me gravity reveal different components of this notion of kind of symmetry algebra. 186 00:26:57,270 --> 00:27:09,240 Marc Geiller: So this already tells us where to go ahead now because if indeed this kind of symmetry algebra plays a role in the quantization of gravity. We better ask the question of what is the full summit algebra, when do we stop. When do we know if we have 187 00:27:09,870 --> 00:27:12,420 Marc Geiller: The maximum any extended notion of symmetry algebra. 188 00:27:13,710 --> 00:27:23,520 Marc Geiller: Maybe it's desirable to have some notion of bigger symmetry algebra, because if we have a bigger algebra that we can monetize this means that we have more quantum numbers or more handles. 189 00:27:23,820 --> 00:27:32,100 Marc Geiller: To reconstruct from the knowledge of this corner charges the bulk degrees of freedom. And then the dynamics of quantum general relativity 190 00:27:33,180 --> 00:27:42,750 Marc Geiller: Now I want to keep arguing that this is indeed the case, and continue. So justifying that this has to do with quantum gravity and that indeed by looking at 191 00:27:43,620 --> 00:27:57,330 Marc Geiller: Extra components of the corner symmetry algebra we can squeeze interesting physics out of this and this, I will do by jumping now to the tetrad formulation of general relativity and showing that if we just apply the same ingredients with 192 00:27:58,560 --> 00:28:04,020 Marc Geiller: Zero set of assumptions we find natural anti back key ingredients of loop quantum gravity. 193 00:28:05,580 --> 00:28:09,000 Marc Geiller: So to do this, the strategies to now study tetra gravity. 194 00:28:10,380 --> 00:28:12,150 Marc Geiller: The strategy which we are familiar with. 195 00:28:15,060 --> 00:28:25,410 Marc Geiller: Working in quantum gravity is to start from this topological theory me the BF like engine. So just be which F, which is the curvature of the connection omega 196 00:28:25,800 --> 00:28:30,450 Marc Geiller: This has a very simple simplistic potential, namely be which does the omega 197 00:28:31,170 --> 00:28:39,360 Marc Geiller: And then once we understand BFD we want to impose simplicity constraints and this simplicity constraint is just sending us again this familiar result that 198 00:28:39,810 --> 00:28:59,250 Marc Geiller: These two form be is the wedge product of Ted had one forms II and we have added also beta, so the the topological house contribution. What we want to do and what I want to illustrate is that if we take this point of view of looking at the corner symmetry algebra we can 199 00:29:00,570 --> 00:29:09,780 Marc Geiller: Work completely without fixing the time gauge and therefore access to boosts. This is already something which was very difficult and ambiguous to do in 200 00:29:11,190 --> 00:29:26,130 Marc Geiller: Let me say maybe you were the traditional usual approaches to look quantum gravity focusing on the bulk and you will see that this realized very crucial and heavily on the use of the internal normal. And so, just like in the study of metric gravity. 201 00:29:27,270 --> 00:29:28,830 Marc Geiller: We had the normal to the 202 00:29:30,120 --> 00:29:46,740 Marc Geiller: Affiliation that was entering crucially, the syntactic structure also on the corner here a similar role will be played by the the internal normal and I, this is something that was acknowledged already by many authors before and which we push here to the 203 00:29:48,180 --> 00:29:49,860 Marc Geiller: Tree take very seriously here. 204 00:29:51,240 --> 00:30:06,300 Marc Geiller: So now to go forward. The first thing to do is to actually take this be field of BF theory and just do something very simple, namely decompose these be field into boost and quotation parts. So you will see 205 00:30:07,650 --> 00:30:18,510 Marc Geiller: That it is very convenient to actually call the quotation part the spin part actually so we decompose these to form into a boost part behind and spin part SK here. 206 00:30:19,260 --> 00:30:29,580 Marc Geiller: And then, in turn, what we can do is write these two forms, be an S in terms of two one forms. So two frames so boost friend little be and spin frame little less 207 00:30:30,000 --> 00:30:40,890 Marc Geiller: So this is just a legitimate decomposition of this to form of BF theory on a hyper surface sigma and this decomposition. As you can see, uses the internal normal and 208 00:30:42,210 --> 00:30:49,500 Marc Geiller: So this is the composition of the the field, but now be a few. He has also another few memory, the connection. So we also have to decompose the connection. 209 00:30:50,310 --> 00:31:04,350 Marc Geiller: And the natural decomposition of the connection is to write it as a connection gamma, which is the analog of the spin connection and tensor K which is essentially the derivative with respect to omega of the normal and 210 00:31:05,730 --> 00:31:17,580 Marc Geiller: Now just plugging this decomposition into the BF syntactic potential gives us the first results which we explain with or gory details in paper to have our series, which is that 211 00:31:18,540 --> 00:31:26,670 Marc Geiller: The syntactic potential of BF theory also splits in the son of a bulk piece and external contribution. But you see that 212 00:31:27,270 --> 00:31:36,480 Marc Geiller: We can already expect that the FDA is not gravity is a topological fury and you see that as we can expect the bulk piece here as actually to contributions. 213 00:31:37,080 --> 00:31:52,560 Marc Geiller: This is kind of consistent with the fact that this is not yet gravity for the moment he says the next how canonical parent, the bulk, namely the game of S which is here. And sorry, I realized that I forgot the delta is this as here should actually be second should be delta is 214 00:31:54,330 --> 00:32:03,120 Marc Geiller: Now, once we have this decomposition of the BF simplistic potential is very straightforward to go to tetra gravity and this is just by imposing the simplicity constraints. 215 00:32:03,930 --> 00:32:16,710 Marc Geiller: Now this form of the simplicity constraints here can be written in terms of these objects be these boost to form and the spin frame little s. This is just a statement that 216 00:32:18,360 --> 00:32:21,870 Marc Geiller: The boost to form is just now he so the two form coming from 217 00:32:22,950 --> 00:32:32,220 Marc Geiller: The wedge product of tetrapods, and the spin frame is proportional to the tetrad frame. He and now by just plugging this in the decomposition of the BF simplistic potential 218 00:32:32,910 --> 00:32:42,900 Marc Geiller: We get the decomposition of the Einstein cast on host synthetic potential. Yes. So he CH here stands for engine kappa host 219 00:32:44,100 --> 00:32:45,810 Marc Geiller: And I'm sorry, do you also see this black 220 00:32:47,070 --> 00:32:47,880 Marc Geiller: Thing when I 221 00:32:49,230 --> 00:32:49,680 Philipp Hoehn: Yes. 222 00:32:50,400 --> 00:32:55,740 Marc Geiller: Oh yeah, I realize this maybe stop scrolling down there, because it's a bit annoying so sorry. OK. 223 00:32:57,480 --> 00:33:08,040 Marc Geiller: So now this is kind of the result that we wanted to announce, and that was expected and me that this electric potential of the tech hot formulation of gravity with 224 00:33:08,490 --> 00:33:17,430 Marc Geiller: Host term is again given by Universal bulk piece which is here in blue and a contribution which is only pushed to the corner. 225 00:33:18,720 --> 00:33:31,230 Marc Geiller: Now I just have to finish by arguing that this piece in blue E which data K is indeed what I called earlier, the Sita G RPC. So the canonical piece coming from canonical general relativity 226 00:33:32,070 --> 00:33:42,750 Marc Geiller: And this is just a simple rewriting introducing this for momentum capital P which is k across he, you can actually show or with a simple rewriting so this p 227 00:33:43,470 --> 00:33:50,640 Marc Geiller: New new delta G, this is indeed the simplistic potential of the ATM formulation of general relativity 228 00:33:51,240 --> 00:33:56,370 Marc Geiller: And this is just written up to a total derivative as he watched into k, which is what we had in the previous slide. 229 00:33:56,970 --> 00:34:13,260 Marc Geiller: So this shows as expected that also for Ted have gravity, you have this decomposition into a universal bulk piece which is Tita GR and external contribution which is specific to tetra gravity because it has the tech house on the corner and also the internal moment. 230 00:34:14,790 --> 00:34:26,250 Marc Geiller: So we see here, but that by doing this, we're already kind of departing from what we're used to in Luke quantum gravity because we're shifting emphasis from the bulk to the corner and this is due to this. 231 00:34:27,570 --> 00:34:40,080 Marc Geiller: To this went on vacation, which is a rewriting of the highest contribution to this eclectic potential. So there is this beta term here which by the way is the inverse of the usual before me as a parameter 232 00:34:41,880 --> 00:34:51,690 Marc Geiller: It turns out that when omega is the spin connection preserving E on Chen, this can actually be written as a as a as a total derivative. So this is itself a corner term. 233 00:34:52,350 --> 00:35:00,270 Marc Geiller: So instead of keeping this House contribution in the bulk and constructing a national carbon better connection with this term we push this term to the corner. 234 00:35:00,690 --> 00:35:10,950 Marc Geiller: And keep the universal general relativity simplicity potential in the book. So if we do this, we could be worried that we completely lose contact with the 235 00:35:11,490 --> 00:35:26,550 Marc Geiller: With the ingredients of quantum gravity. But what we want to show now is that this is not the case, actually. And that just by focusing on the corner we recover in a completely and ambiguous way or not so familiar and cadence of quantum gravity. 236 00:35:27,630 --> 00:35:40,170 Marc Geiller: So now to go further. Once we have this decomposition of this electric potential, we can ask again about the fate of the generators of transformations and the charges. So the first thing to do is to look at look at different Mark isms. 237 00:35:41,460 --> 00:35:45,990 Marc Geiller: So as usual, when looking at different reasons, we find that 238 00:35:47,160 --> 00:35:59,550 Marc Geiller: There is a bulk contribution which is just the momentum constraints which here is written in first order formulation as a very elegant conservation equation. 239 00:36:00,270 --> 00:36:06,510 Marc Geiller: So, this we should put in parallel with the statement that I made in the introduction that we want to reconstruct the constraints of the theory. 240 00:36:06,810 --> 00:36:24,870 Marc Geiller: As conservation laws for the boundary for the corner charges. So here, indeed, we see that the constraints in the spatial hyper surface is nicely and the canonical written as a conservation low for p and we can also write the corner of charge in terms of this momentum up 241 00:36:26,130 --> 00:36:33,000 Marc Geiller: Now precisely focusing on this charge we get the usual first order charge for four different Marxism. 242 00:36:34,890 --> 00:36:43,620 Marc Geiller: And now we also know that in touch with gravity. In addition to the for more freedoms we have internal organs transformations and for these internal organs transformations we get 243 00:36:44,040 --> 00:36:58,260 Marc Geiller: As usual, a bulk piece which is just the gas constraints and this is again a conservation equation, but now for this for this flex to form yeah i j and we have logins charges on the boundary which are the integrals over the corner of 244 00:36:58,260 --> 00:36:59,490 Philipp Hoehn: Alpha times 245 00:36:59,520 --> 00:37:06,870 Marc Geiller: He and now what is important is that this charge contains both boost and rotations and this is because we have not fixed. 246 00:37:07,350 --> 00:37:10,350 Marc Geiller: The normal we have not chosen the language. 247 00:37:10,710 --> 00:37:22,620 Marc Geiller: So we have access to the boost part and the rotational part of these two for me. And now we see that again we can go back to the statement about the corner algebra formed by these charges. 248 00:37:23,370 --> 00:37:38,100 Marc Geiller: And we can see here that in the tetrad formulation this college algebra has so far, two components, namely the diff S which is formed by default more fees and charges and an ultra local SL to see algebra, which is found by the Lawrence charges. 249 00:37:41,310 --> 00:37:43,680 Marc Geiller: Now to continue what I want to do is to actually 250 00:37:45,180 --> 00:37:52,860 Marc Geiller: Forget about the bulk and zoom on the corner, simply click on the corner simplicity potential because the statement is that by zooming 251 00:37:53,280 --> 00:38:03,510 Marc Geiller: On the corner we can extract lots of interesting and useful physical information. So let's do this once and for all. Now zoom on the corner syntactic potential and see what it contains. 252 00:38:04,350 --> 00:38:16,650 Marc Geiller: To do this, it's actually very useful to step back a little bit and go back momentarily to the BF formulation of the theory. And the reason for this is that if we go back to the BF formulation we can actually 253 00:38:18,180 --> 00:38:19,980 Marc Geiller: Discover lots of very nice. 254 00:38:21,030 --> 00:38:27,060 Marc Geiller: Geometrical in algebraic structures which are specific to this kind of simplistic potential 255 00:38:28,380 --> 00:38:38,850 Marc Geiller: So to do this we can go back to the BF counterfeit space. So this is just to rewrite what we had before. We have this be field, the normal n 256 00:38:40,050 --> 00:38:51,960 Marc Geiller: And we have this frame in here and maybe just to hear the confusions you notice that I'm this is BF theory, but I have the frame field here in the corner potential 257 00:38:52,800 --> 00:39:01,800 Marc Geiller: This is because in BF theory. What is important is that this be field here. These two form is not defined in terms of this one from 258 00:39:02,610 --> 00:39:14,100 Marc Geiller: The simplicity constraint is the constraint that relates these to form here be to the one for me. If we don't impose this condition is BF theory if we impose this condition. This becomes gravity. 259 00:39:16,260 --> 00:39:32,730 Marc Geiller: Now, it turns out that on this BF corner face space there is a very nice geometrical structure which is an analogy with the face base of a massive particle. And in this analogy with the face of a massive particle, the role of the momentum. 260 00:39:34,080 --> 00:39:46,080 Marc Geiller: is played by the internal normal. So, this is this condition here that the momentum p of this particle is essentially the body or emails, the parameter Ghana, times the internal for normal n 261 00:39:47,700 --> 00:39:48,150 Marc Geiller: And 262 00:39:49,680 --> 00:39:53,430 Marc Geiller: So this massive particle face face which 263 00:39:54,630 --> 00:39:56,910 Marc Geiller: Is I will argue has a plaque asymmetry. 264 00:39:58,320 --> 00:40:15,990 Marc Geiller: Has also notion of a pony dubinsky vector like when looking at the college algebra and this probably Lansky vector for this bunker here Gemma is actually the barbell immunity parameter gamma times this spin to form, which I introduced a bit earlier. So the spin to farm. 265 00:40:19,110 --> 00:40:27,990 Marc Geiller: When our when we can maybe come back to this spin to formula me but it's been to farm is essentially just the cost product of these frames of these frames. He 266 00:40:30,300 --> 00:40:31,680 Abhay Ashtekar: Might just a quick quick lesson. 267 00:40:31,950 --> 00:40:32,940 Abhay Ashtekar: Then stop lying. 268 00:40:33,450 --> 00:40:40,590 Abhay Ashtekar: On the left hand side you'll go to WTF, and then you explain to us that the FDA does not a big he taught 269 00:40:40,920 --> 00:40:41,400 Marc Geiller: Yes, yes. 270 00:40:42,000 --> 00:40:48,990 Abhay Ashtekar: So, I mean, I'd be expressing the synthetic potential for the BF theory in terms of some ingredients which are not in that theory. 271 00:40:49,260 --> 00:40:55,920 Marc Geiller: Yes, thanks. Thanks for the question. Let me just try this right away. So let me just go back to this slide here, as I said, 272 00:40:56,550 --> 00:41:02,970 Marc Geiller: In BF theory, we can take these two form and the composite in terms of boost to form and it's been to form. 273 00:41:03,630 --> 00:41:11,010 Marc Geiller: And these boost and spin two forms can themselves be written in terms of one forms. So you see that in a sense, BF theory has to 274 00:41:11,430 --> 00:41:21,420 Marc Geiller: To friends or be frame or it will be frame and the little s frame the expression of the simplicity constraint is just the matching of these two frames. It's just the proportionality between these two frames. 275 00:41:21,900 --> 00:41:33,510 Marc Geiller: So tetra gravity only has one frame which we traditionally called E and F theory as we explain here and in the paper has actually natural in two friends, the little be frame and the return is fine. 276 00:41:34,140 --> 00:41:43,860 Marc Geiller: But now in the rest of the talk just for convenience and sorry. I should have made this more explicit just for convenience. We can use a kind of a notation in each recall one of the frames already 277 00:41:44,700 --> 00:41:50,730 Marc Geiller: So say this frame little so we can already call it and still take me to be independent frame. 278 00:41:51,150 --> 00:41:51,570 Abhay Ashtekar: I said, 279 00:41:53,220 --> 00:41:59,550 Abhay Ashtekar: That we wrote down for the for the synthetic potential to be a theory. Yes, that's what you mean by eat, you don't mean 280 00:42:00,390 --> 00:42:00,750 Marc Geiller: Exactly. 281 00:42:00,870 --> 00:42:15,480 Marc Geiller: What I mean by he is one of the frames and be self has another frame. Okay, so in this simplistic potential there are two frames one frame is used to construct be and one frame is the frame. And this is just the matching of these two frames. 282 00:42:15,870 --> 00:42:23,040 Abhay Ashtekar: Okay, since I'm just asking. So up to slide nine I felt that everything you said was, what was done before. 283 00:42:24,150 --> 00:42:31,500 Abhay Ashtekar: Because, I mean, you, you, you don't download the app to the slide. I mean, this, this, this is the charges that you wrote down. So, I mean, 284 00:42:32,610 --> 00:42:39,930 Abhay Ashtekar: Routine using look calm or, you know, dynamic horizon frameworks are look quantum gravity inspired frameworks and so on. 285 00:42:40,260 --> 00:42:40,920 Marc Geiller: Yes, yes, yes. 286 00:42:41,220 --> 00:42:47,610 Abhay Ashtekar: So I so I just want to make sure that I want to know where the new things happen. So am I right in saying that up to now. 287 00:42:48,780 --> 00:42:58,380 Abhay Ashtekar: This new viewpoint, or the importance of the corner term and so on. It's not crucial, you said it that way, but it can be, they were obtained the charges were obtained 288 00:42:58,800 --> 00:43:10,530 Marc Geiller: Yes, except that now we're giving these these terms and these potential crucial formulation, the definition of the whole theory and not only for isolated horizons or for some specific 289 00:43:10,740 --> 00:43:22,410 Abhay Ashtekar: But I think Dyson horizon. It was just application. The general result that people knew what the results are applied for isolator prizes, I would like to know that exactly the new ago 290 00:43:22,830 --> 00:43:25,800 Abhay Ashtekar: Some beautiful inside that you have where exactly it comes in. 291 00:43:26,250 --> 00:43:30,570 Abhay Ashtekar: So I IT SEEMS TO BE THAT IS. IN THE NEXT TIME spices that are starting from the next chapter. 292 00:43:31,980 --> 00:43:34,230 Abhay Ashtekar: We knew. I feel like we knew 293 00:43:34,860 --> 00:43:41,340 Marc Geiller: When the because this, this thing that I underlined here is that we're shifting completely viewpoint from the boat to the corner, which we don't usually do in quantum gravity. 294 00:43:41,430 --> 00:43:49,350 Abhay Ashtekar: As a writer. I get it. But we don't you think that emphasis, we can still get the same challenges that you wrote down to 44 million road before 295 00:43:49,590 --> 00:43:56,040 Abhay Ashtekar: But I haven't told you I stand Carta and Einstein, you know, the ESF those we could update 296 00:43:56,460 --> 00:44:00,570 Marc Geiller: Record thing but we never use them into quantum gravity also because we're working to engage 297 00:44:00,930 --> 00:44:07,740 Marc Geiller: So I agree that lots of these ingredients for unknown, but they were not used consistently together. So indeed, these formulas appeared here and there. 298 00:44:08,010 --> 00:44:15,810 Marc Geiller: But they're not used consistently to show what we can actually squeeze out of them, which will come, which I will come to you know in a few slides. I agree. 299 00:44:16,380 --> 00:44:16,770 Abhay Ashtekar: Thank you. 300 00:44:17,190 --> 00:44:21,510 Marc Geiller: But this is to kind of gather these results and put them in perspective and see that this is what we want to do. 301 00:44:22,200 --> 00:44:33,120 Marc Geiller: Like it already here. As I said, we use this normal which is not fixed. So we're not in the time gauge. We put the holster on the corner, instead of keeping it in the bulk. So this is very different from usual new quantum gravity. 302 00:44:33,270 --> 00:44:34,050 Construction 303 00:44:35,400 --> 00:44:40,710 Norbert Bodendorfer: So maybe let me add this point to the question about by tomorrow if you can go back to slide number 10 304 00:44:41,340 --> 00:44:41,700 Yeah. 305 00:44:44,220 --> 00:44:45,360 Marc Geiller: I'm sorry 10 yes 306 00:44:46,800 --> 00:45:02,460 Norbert Bodendorfer: I agree what i mean i agree with up i said before, so for for me to clarify this question. So, to the best of my understanding what is new in this work. So first of all, in the first line this theater BF simplistic structure this be delta n minus 307 00:45:02,460 --> 00:45:17,670 Norbert Bodendorfer: Beta, which does he mean, of course, people have contest that before and they have also the difference here is that before you either quanta is the second part, or you want is the first part, but in this work both parts are contest together. 308 00:45:18,270 --> 00:45:25,260 Norbert Bodendorfer: And that will later lead to this edition. So who are either way you can derive 309 00:45:27,750 --> 00:45:32,700 Norbert Bodendorfer: quantization of the area, even though you may use an S one, three, 310 00:45:34,080 --> 00:45:42,870 Norbert Bodendorfer: Symmetry to point is the first part, which was funders before and in such a way. So this is the main thing that is different to previous work here. 311 00:45:43,680 --> 00:45:45,300 Abhay Ashtekar: Thank you. Yes. 312 00:45:48,780 --> 00:45:49,590 Marc Geiller: And also, yeah. 313 00:45:50,760 --> 00:46:00,960 Marc Geiller: And also, let me just restate that this decomposition even have the BF simplicity potential into about peace and a quarter piece and using these two frames. This in itself is also is also a new ingredient. 314 00:46:02,940 --> 00:46:04,410 Marc Geiller: So what is important in this 315 00:46:05,430 --> 00:46:15,810 Marc Geiller: In this analogy. So there is another aspect that I won't cover here, but maybe for questions or for the discussion on happy to go back to is that thinking in terms of these geometrical energy by instructors. 316 00:46:17,250 --> 00:46:24,690 Marc Geiller: There's actually a very nice geometrical interpretation of these BF corner office space which is in terms of a point of asymmetry. 317 00:46:26,190 --> 00:46:36,150 Marc Geiller: And this is kind of also expected because it's known that BF has an underlying as an underlying point asymmetry and here is made manifest by looking at the corner face face. 318 00:46:36,720 --> 00:46:44,010 Marc Geiller: And in this in this bunker a parameter ization the punk and momentum is played by the word of the momentum is played by the internal normal 319 00:46:44,460 --> 00:46:53,310 Marc Geiller: Up to the value of the parameter the power to bond sky vector is played by this spin to form again proportional the Babylonians a parameter 320 00:46:53,730 --> 00:47:06,300 Marc Geiller: What is important is that the chasm Ian's of this of this one, Korea, Java, namely the momentum squared and the positive urbanski vector square are related to, as you can see the the momentum square 321 00:47:09,180 --> 00:47:16,830 Marc Geiller: Identify is actually the mass of dysfunctional present presentations with the Babylonian see parameter some this point Gary analogy. 322 00:47:17,310 --> 00:47:25,020 Marc Geiller: The mass of this one can do presentations is a display the one of the masses paid by the way the inverse for the Babylonians a parameter 323 00:47:25,920 --> 00:47:33,630 Marc Geiller: And the total angular momentum of this support cardiology by is given by this boost and spin part terms of BNS 324 00:47:34,410 --> 00:47:47,760 Marc Geiller: Now, why this is important because the whole point of our construction was to show explicitly that imposing the simplicity conditions on this BF face base breaks, actually this bunker Asymmetric and Symmetric 325 00:47:48,780 --> 00:47:57,060 Marc Geiller: Which is very different from what usually happens in the manipulation of simplicity constraints in informs where we traditionally used to engage 326 00:47:57,840 --> 00:48:05,100 Marc Geiller: And this gives the impression that the simplicity constraints break law and symmetry to an issue to circle here taking the point of view of this 327 00:48:05,820 --> 00:48:20,310 Marc Geiller: BFA space and looking at the corner face face. We can make very manifest and explicit the fact that the simplicity constraints, they just break out into your hands. So at the end of the day, full lawrenson violence is completely preserved. The other important thing is that 328 00:48:21,450 --> 00:48:29,700 Marc Geiller: The area elements at the corner is actually proportional to a quantity which is evidently the handsome violent, which is the pocket is in Kashmir. 329 00:48:30,060 --> 00:48:40,410 Marc Geiller: And this is essentially the reason we've seen a minute for which we get quantization of the corner area in the continuum. And, you know, internal organs in violent manner. 330 00:48:41,760 --> 00:48:48,150 Marc Geiller: And this is related to the last point that i right here because the element is proportional to the spunk is in Kashmir and because 331 00:48:48,840 --> 00:49:01,890 Marc Geiller: This kind of surface this space like this selects the discrete a central hub presentations and this in uses a quantization of area and I will come back in the next slide now will show why this isn't to our structure actually appears 332 00:49:03,060 --> 00:49:18,120 Marc Geiller: And this is just a bit the summary, because we have many violence and things happening. So I have just gather at this here and say that we have an extensive description in this in this work and in these papers of these different permutations of the space. 333 00:49:19,830 --> 00:49:25,500 Marc Geiller: I would just hearing grey this point. It has an index structure, which I think I will skip because 334 00:49:26,670 --> 00:49:40,230 Marc Geiller: We're running a little late. But the important thing is that we start from this point cafe space, which has 12 degrees of freedom parameters by the normal n the be the boost to form and the frame. He 335 00:49:43,020 --> 00:49:57,810 Marc Geiller: Now what you want to do is actually decompose this frame. He on the corner in terms of the the spin operator s a tangential metric QA be and an angle feta. 336 00:49:59,400 --> 00:50:09,960 Marc Geiller: And the pilot algebra, which I just talked about is actually formed by the internal normal and the boost and spin operators and the boost and spin operators. Together they are repackaged in the total angular momentum. 337 00:50:10,620 --> 00:50:16,110 Marc Geiller: So the statement is that this part of your job is formed by these total angular momentum and the internal normal and 338 00:50:17,010 --> 00:50:33,210 Marc Geiller: And now, again, the expression of the simplicity constraint is just the fact that the spin and the boost frames are proportional to each other. And once we do this we get back to tech gravity and we have identified on the space, space of gravity. The ad hoc observable. 339 00:50:34,350 --> 00:50:43,950 Marc Geiller: Which parameters. This face of gravity and this is given by the total angular momentum and JJ, but also the tangential metric your ad and an angle theta. 340 00:50:45,120 --> 00:50:59,280 Marc Geiller: And I will explain. Now, why this gives us. And so to see structure found by the total angular momentum tangential so door algebra fun by the tangential metric. And there's a you want a component from by these twist angle. 341 00:51:01,980 --> 00:51:06,000 Abhay Ashtekar: Being treated differently from the space in this is like creating the space index right 342 00:51:06,450 --> 00:51:07,860 Abhay Ashtekar: So when you have momentum. 343 00:51:07,890 --> 00:51:10,080 Abhay Ashtekar: It really is the internal angular momentum, not 344 00:51:10,530 --> 00:51:10,950 Marc Geiller: Yes, yes. 345 00:51:12,000 --> 00:51:14,250 Abhay Ashtekar: Rotations and so yes it does. 346 00:51:16,860 --> 00:51:17,430 Marc Geiller: Yes, thank you. 347 00:51:20,400 --> 00:51:20,760 It's 348 00:51:23,310 --> 00:51:28,380 Marc Geiller: So now, where does the sweetness of area comes from this comes from the fact that now that we focus 349 00:51:29,490 --> 00:51:36,990 Marc Geiller: On the corner potential. And now that we have moved the horse contribution from the belt to the corner we have access to the corner frame. 350 00:51:38,850 --> 00:51:45,210 Marc Geiller: At the corner and this tangential corner frame actually contains very important physical information. 351 00:51:45,870 --> 00:52:00,570 Marc Geiller: To extract this physical information where we have to do is actually decompose all these components of the tangential corner frame. So the I. A. So as just a two dimensional index on the corner. We can decompose all this violence in terms of these spin operator. 352 00:52:02,430 --> 00:52:13,200 Marc Geiller: The tangential metric QA be and then there is a next component which is a twist angle which is the part of he which is not captured by neither spin operator and all the tangential metric 353 00:52:14,010 --> 00:52:21,540 Marc Geiller: And then it turns out that the parcel bracket on this kind of space, we can compute the algebra of the tangential metric and we find an asset to our eligible 354 00:52:23,100 --> 00:52:24,240 Marc Geiller: But now the important 355 00:52:25,410 --> 00:52:28,230 Marc Geiller: Property and the really surprising is that 356 00:52:30,720 --> 00:52:44,850 Marc Geiller: There is actually a relationship between the chasm. Yes, of the values geometrical objects which are involved here, namely the Academy of this SL to are eligible, which is skew. So the square of the of the area of the corner. 357 00:52:45,930 --> 00:52:52,860 Marc Geiller: And the SU to kazimi so the because me of this podcast has been operator, which is an NES you to continue 358 00:52:54,150 --> 00:53:08,220 Marc Geiller: And it's balanced relation is actually relating these two entities and this is just an algebraic identity coming from the definition of the spin operator, you see that issue, take a square we get that this is beta squared times the determinant of this SLR metric 359 00:53:09,510 --> 00:53:26,520 Marc Geiller: And now, because of the space like nature of these kind of surface. This gives us immediately automatically in the continuum, an internal organs environment quantization of the area. So I just mentioned that this is a bit similar in spirit to think what that Vulcan was doing 360 00:53:28,200 --> 00:53:40,260 Marc Geiller: And he still pursuing accent that he was working with the spinners. And I think focusing on not surfaces, but it would be interesting to kind of put these things together and to and to compare this works a bit more 361 00:53:41,520 --> 00:53:51,930 Marc Geiller: Now, the new important thing. Now that we have access to the frame on the corner. So, as we have already seen just in this point before is that access to the frame gives us access to the tangential metric 362 00:53:52,320 --> 00:54:08,130 Marc Geiller: This tangential metric satisfies a message to our algebra and from this follows this intolerance and volume quantization of the area around the corner in the continuum. Now the other thing which is provided by the corner frame is actually a complex structure. 363 00:54:09,300 --> 00:54:19,950 Marc Geiller: This is understood if we think about where this twist angle comes from this twist angle comes from the fact that we have an ambiguity in performing such rotations of the frame. 364 00:54:20,700 --> 00:54:34,470 Marc Geiller: So with this angle feta, where this star operation here. So he's defined so so here on sling and the star operator actually turns out to be a complex structure because it's whereas to minus one. 365 00:54:36,090 --> 00:54:38,880 Marc Geiller: The star structure as we show is also related to 366 00:54:40,830 --> 00:54:44,070 Marc Geiller: The area operator and 367 00:54:45,210 --> 00:54:51,630 Marc Geiller: To the fact that the area and this kind of faith based is actually conjugated to this twist angle feta. 368 00:54:52,830 --> 00:55:04,980 Marc Geiller: Now from the knowledge of this complex structure star using the Giacobbe identity, we can actually show that this corporate structure is compatible with the person records and this is very important for us because it will enable us to actually 369 00:55:06,090 --> 00:55:11,610 Marc Geiller: Study properly for the first time the simplicity constraints on this corner faceplates 370 00:55:12,810 --> 00:55:21,420 Marc Geiller: So now that we have understood where these sent to our algebra and the sweetness of area comes from let us look at the simplicity at the corner face base. 371 00:55:22,620 --> 00:55:32,310 Marc Geiller: So to look at this simplicity constraints. Once again we go back to the BF potential with two independent frames or frame used to construct be and the frame. 372 00:55:33,150 --> 00:55:48,330 Marc Geiller: And the simplicity condition the simplicity constraint is just a simple organization between the two frames, you can do to two forms BNS so the boost to form and the spin to form and as usual the proportionality is given by the interest of your emails a parameter 373 00:55:50,220 --> 00:55:52,530 Marc Geiller: Now that we have a corner face base. 374 00:55:53,610 --> 00:55:54,720 Marc Geiller: We're able to compute 375 00:55:55,890 --> 00:56:02,820 Marc Geiller: For some brackets of these simplicity constraints and find that the simplicity constraints, they're actually second class with themselves. 376 00:56:04,350 --> 00:56:22,170 Marc Geiller: And you see that this comes from the fact that, well, this is just directly rooted in the form of this BS electric potential at the corner. So the difference with what happens in a in usual studies of simplicity constraints in in spin for models. 377 00:56:23,340 --> 00:56:33,090 Marc Geiller: Usually what happens is that the simplicity constraints become second class with themselves because of this pinfold quantization, which assigns the algebra elements to the field. 378 00:56:34,260 --> 00:56:39,840 Marc Geiller: But there was always a tension here because the beef in itself in the bulk of the theory commuted itself. 379 00:56:40,980 --> 00:56:51,540 Marc Geiller: So here we understand that the simplicity constraints already second class with themselves because we should think of them as constraints on the corner face space and on the common have a space. 380 00:56:51,960 --> 00:57:01,410 Marc Geiller: The field. Does not compute with itself. And this is the reason in using this bracket here between the simplicity constraints. 381 00:57:03,570 --> 00:57:09,480 Marc Geiller: Now, to understand and study further these constraints we have to realize that there are actually three constraints here. 382 00:57:10,230 --> 00:57:17,130 Marc Geiller: So the index is four dimensional, but whenever you have something with one index i should contact it with the normal, you get zero. 383 00:57:17,640 --> 00:57:28,620 Marc Geiller: So this is actually only three independent constraints. And if you have three constraints which do not commute, they cannot all be a second class, there are, we have to split them somehow into a first class piece and second class pieces. 384 00:57:29,550 --> 00:57:38,940 Marc Geiller: Now we show in the papers that the first class piece can be extracted as follows you you construct these two scanners. The first one is that you square the simplicity constraint c squared. 385 00:57:39,450 --> 00:57:56,550 Marc Geiller: And then you connect it with the the spin operator and you construct this quantity courtesy and you can show that this is actually the first class piece of the simplicity constraints. And this is actually the continuing version of the diagonal simplicity constraint which was identified 386 00:57:57,930 --> 00:58:08,520 Marc Geiller: Back in the days in the studies of spin for models and all the second class piece of these constraints is actually obtained by contacting the simplicity constraints CI. 387 00:58:09,000 --> 00:58:17,490 Marc Geiller: With the frame. So once again, we see that knowledge of the frame on the corner is essential to construct the second class piece of these simplicity constraints. 388 00:58:19,620 --> 00:58:22,800 Marc Geiller: Now the first class piece we can kind of treat 389 00:58:24,870 --> 00:58:32,250 Marc Geiller: Want to say in standard ways. The question is how to treat the second class constraints, especially in the quantum theory. 390 00:58:33,030 --> 00:58:37,110 Marc Geiller: And now, again, we are saved here by the fact that we're focusing on these kind of face face. 391 00:58:37,500 --> 00:58:44,010 Marc Geiller: On which we have just seen that you have access to the frame field. And because we have access to reframe field we have access to a complex structure. 392 00:58:44,490 --> 00:58:52,560 Marc Geiller: And we can now use this complex structure to build automatic and anti hello mafia components of a constraint, but just defining C plus minus 393 00:58:52,920 --> 00:58:58,710 Marc Geiller: And then using C plus, minus, we can do a good job learner quantization an imposition of the second class constraints. 394 00:58:59,640 --> 00:59:09,360 Marc Geiller: Maybe what you want to do is replace the second class constraints ca by automatic first class constraints which is C minus emulating the states. 395 00:59:10,080 --> 00:59:20,820 Marc Geiller: And alternatively what one can also do and what we explained in the paper Atlanta, is that we can also use the master constraint which is just the square of the second last piece of the constraints. 396 00:59:21,720 --> 00:59:31,980 Marc Geiller: You can see that classically using the master constraint is equivalent to imposing C minus because this master constraint can be just written as two times C plus QC minus 397 00:59:32,550 --> 00:59:38,280 Marc Geiller: at the quantum level. This is more complicated because there are commentators involved here which are not changing the quantum theory. 398 00:59:38,670 --> 00:59:51,690 Marc Geiller: And so if you want to rewrite the master constraints in terms of C minus, you get actually what is called an anomaly due to the quantum commentators that this can be kind of studied very explicitly 399 00:59:53,130 --> 01:00:01,530 Marc Geiller: So this is just to emphasize the fact that by focusing on the corner we have access to the from field to field gives us an SM to are eligible for the tangential metric 400 01:00:02,010 --> 01:00:18,630 Marc Geiller: This is responsible for quantization of ally in the continuum. It gives us a complex structure. It enables us to identify the first class second class piece of the simplicity constraints and then to impose the second class simplicity constraints with the group who formalism. 401 01:00:20,160 --> 01:00:20,850 Marc Geiller: Now we can 402 01:00:21,510 --> 01:00:21,870 Simone: Mark 403 01:00:22,470 --> 01:00:23,340 Simone: And ask a question. 404 01:00:24,120 --> 01:00:24,420 Marc Geiller: Yes. 405 01:00:24,540 --> 01:00:26,790 Simone: Well, it seems to me like most of these things. 406 01:00:27,840 --> 01:00:35,340 Simone: Can be done and have been done for the API model. Can you comment on what results would expect to be different. 407 01:00:38,460 --> 01:00:47,850 Marc Geiller: Well, I think that the. So there are many differences. The first thing is that I'm not sure that this form of the second class simplicity constraint was identified in the model. 408 01:00:51,210 --> 01:00:59,160 Simone: It's like I am thinking of the user spinners that we had for instance we Wolfgang we had exactly this meeting and identification of 409 01:01:02,730 --> 01:01:11,190 Simone: Extraction or to split the second class constraints that we used to call to, it seems to me, and the result was just a standard API model at the end of the day. 410 01:01:11,550 --> 01:01:18,450 Marc Geiller: Yes, what it seemed to me that the second class constraint, you are getting was not actually equivalent to to do this one, but 411 01:01:18,870 --> 01:01:21,450 Simone: So it's a classical difference or it's a quantum difference 412 01:01:22,050 --> 01:01:25,770 Marc Geiller: Where there's already a classical difference. And then there will be of course quantum difference 413 01:01:26,460 --> 01:01:35,070 Simone: So you. So you're saying that the classical second class constraints are using different than the ones that were used to get the model. 414 01:01:35,550 --> 01:01:36,270 Marc Geiller: Yes, yes. 415 01:01:37,710 --> 01:01:42,300 Simone: Yes. And what is it different, a decade now proportional to any longer. 416 01:01:44,790 --> 01:01:47,640 Laurent Freidel: The difference is that n is part of the face space. 417 01:01:49,530 --> 01:01:50,220 Marc Geiller: You're here. 418 01:01:50,850 --> 01:01:53,310 Marc Geiller: K is not what I mean. You mean by can and if you mean 419 01:01:53,370 --> 01:02:01,410 Marc Geiller: So you see, usually defined K and L with respect to some kinematics vector that you have chosen and you can show here that imposing these kind of 420 01:02:02,190 --> 01:02:12,540 Marc Geiller: Usual epl simplicity constraints capable optional to L does not imply these covariance simplicity constraints that we have on the corner here. So they're not equivalent. Yeah. 421 01:02:12,570 --> 01:02:12,810 Abhay Ashtekar: So the 422 01:02:13,020 --> 01:02:15,090 Simone: Keys like equal gamma hell. 423 01:02:15,360 --> 01:02:17,580 Simone: Can be written in any free right 424 01:02:19,350 --> 01:02:19,890 So did 425 01:02:22,260 --> 01:02:23,820 Simone: You mean by client here. 426 01:02:24,180 --> 01:02:32,310 Simone: By going to mean that you're a large in the pace pace and by working with a larger pace pace, you're getting a slightly different definition of the second class constraints. 427 01:02:32,670 --> 01:02:38,040 Simone: And that's what you mean by the fact that there are different radio the classical because they find on the large base, base. 428 01:02:38,280 --> 01:02:50,970 Marc Geiller: Yes. And also another crucial differences that here. You know, usually to in the construction of the epl model, you have this wine that that embeds the ST two states into into the Lawrence and why it's important to us and to see 429 01:02:52,380 --> 01:03:01,530 Marc Geiller: But here what we are not explaining this here on the slides because we don't have enough fine, but what this enables to do here, the crucial differences that you can actually hear 430 01:03:02,220 --> 01:03:10,710 Marc Geiller: embed the northern states into one cafe and the whole construction is environments under all law and transformations here which is not the case. 431 01:03:10,740 --> 01:03:23,130 Simone: Of the one so that the quantum the quantum counterpart of these large classical face pieces defense and instead of working with unitary representations of the learnings group, it would work. We need a representation of the one Gary group right or something like that. 432 01:03:23,430 --> 01:03:25,080 Marc Geiller: Well, you will invite them. Yes. 433 01:03:25,590 --> 01:03:26,910 Simone: Thank you. Yes. 434 01:03:28,770 --> 01:03:29,040 Okay. 435 01:03:34,020 --> 01:03:43,830 Marc Geiller: Yeah. So here I'm just glossing over real quickly over the what we would get if we solve just classically the simplicity constraints. So the first class piece and in the master constraint. 436 01:03:44,250 --> 01:03:53,910 Marc Geiller: setting them to the to zero, then we can rewrite these constraints in terms of the of the values Kazimierz which are a play here. And then the, the two lines Kazimierz he went to jail. 437 01:03:54,360 --> 01:03:58,800 Marc Geiller: And these podcasts in customer as to which has already appeared before 438 01:03:59,730 --> 01:04:12,780 Marc Geiller: And then the simplicity constraint is basically a relationship between the law Hanson weights and no one can explain. But the crucial thing maybe to go back to someone is comment is that this is very different from the usual gauge fixed energy picture which we fix 439 01:04:13,980 --> 01:04:26,190 Marc Geiller: Reference normal which would be here because one control that. So, here what I have explained before, is that this the norm of the spin operator is proportional to the corner area. 440 01:04:27,660 --> 01:04:34,740 Marc Geiller: And the spread operator has a quantum number, which is this little s here, but the energy areas that you get by fixing 441 01:04:35,400 --> 01:04:47,160 Marc Geiller: Nabi timeframe are actually boosted areas with respect to these this kind of hires. So the spin j that you would get an energy is always bigger because of these boost than this one guy quantum number is 442 01:04:49,020 --> 01:04:53,250 Marc Geiller: And as I mentioned, we are completely shown by computing 443 01:04:55,500 --> 01:04:59,970 Marc Geiller: All the necessary for some records and all sorts of 444 01:05:00,780 --> 01:05:09,060 Marc Geiller: Factors that we get these ad hoc observable on the face face after we have imposed the simplicity constraints and these ad hoc observable or this total 445 01:05:09,450 --> 01:05:18,240 Marc Geiller: Internal angular momentum JJ, which is just the this Lawrence charges at the corner the tangential metric your ID and the angle feta. 446 01:05:18,780 --> 01:05:24,750 Marc Geiller: And so because of this, we see that the algebra that we have to focus on in the case of data gravity. 447 01:05:25,680 --> 01:05:38,580 Marc Geiller: Is actually has a different markets and peace. There's an incentive to CPS coming from the total angular momentum. So the Lawrence charges. There's an Excel to RP is coming from the tangential metric. And there's a you want peace coming from this twist angle. 448 01:05:39,690 --> 01:05:50,790 Marc Geiller: And just as a comment. You can notice that this the SLT our part in this angle. These are components of the college algebra, which are not actually coming and arising as charges occasional formations. 449 01:05:51,270 --> 01:06:03,990 Marc Geiller: This is something that you cannot really actually studying the usual coverage Facebook picture but this you can only get if you focus and look squeeze all the physical content out of the corner syntactic structure. 450 01:06:05,550 --> 01:06:07,350 Marc Geiller: So now we can go back to the stable and we'll be 451 01:06:07,890 --> 01:06:11,850 Simone: Sorry, one, one final question about this enlarge face to face. 452 01:06:12,180 --> 01:06:29,460 Simone: And do you know what is the orbit generated by the first class part of the simplicity constraints in a large space in the. Can I see in the older one in the standard one for the PRL. It was the boost the hero angle you no worries here. 453 01:06:39,690 --> 01:06:42,240 Marc Geiller: Why it's the way you say it's the booster heater angle in the 454 01:06:45,060 --> 01:06:50,970 Simone: When it was the result of a calculation. I mean, we just looked at the algebra that we had on bass, bass. 455 01:06:51,720 --> 01:06:57,780 Simone: The one that we use the in terms of the history of myself to see a covenant a space. You don't know if you remember 456 01:06:58,290 --> 01:07:13,980 Simone: With this description of the Covenant with Krista geometries. Yes. And they're there. We could look at the orbits generated by the first class part of the constraints and we could identified in terms of the if you want the boost SL to see equivalent of the 457 01:07:15,000 --> 01:07:17,160 Simone: Angle of twisted geometries. I don't know if 458 01:07:17,820 --> 01:07:26,220 Simone: Yeah, I think, which for us was very nice at the time because he had a very clear analogy with what happens in the continuum. So I was wondering if something like this is still happening. 459 01:07:27,090 --> 01:07:28,590 Laurent Freidel: Here is going to continue 460 01:07:29,490 --> 01:07:30,960 Laurent Freidel: To go to to 461 01:07:31,560 --> 01:07:34,830 Laurent Freidel: Continue here. So there's no died. Remember the stage. 462 01:07:36,750 --> 01:07:37,620 Simone: Okay, it should be. 463 01:07:37,800 --> 01:07:39,540 Simone: Part of the relation 464 01:07:40,020 --> 01:07:40,320 Laurent Freidel: You know, 465 01:07:40,470 --> 01:07:41,880 Simone: Okay. So forget about the word that 466 01:07:42,480 --> 01:07:44,700 Simone: You should still be some parts of the connection, I suppose. 467 01:07:45,060 --> 01:07:47,370 Marc Geiller: Yes, it should be some yeah but then I don't know that. 468 01:07:48,150 --> 01:07:49,320 Simone: You don't know. You don't know yet. 469 01:07:49,920 --> 01:07:52,650 Marc Geiller: Not yet, but I will go back to reschedule in a minute. 470 01:07:54,750 --> 01:07:56,100 Marc Geiller: So now we can just go back to this. 471 01:07:56,460 --> 01:08:01,410 Marc Geiller: To this table and then filling the blanks. And again, look at these different formulations. 472 01:08:02,730 --> 01:08:04,560 Marc Geiller: And realize that by working with the 473 01:08:05,010 --> 01:08:15,450 Marc Geiller: Einstein capital formulation with the holster and not using the time gauge. We have access to the next heart. So I said to our as YouTube and the boost components. So all of us all to see. 474 01:08:16,290 --> 01:08:22,560 Marc Geiller: Now, of course, this begs the question of what happens if you go to probe the two other directions, if you will find other formulations of gravity. 475 01:08:22,920 --> 01:08:31,920 Marc Geiller: Which have may be other types of Connor symmetries. And what is the what is the organizing structure behind this, but at least. Here we see now we understand clearly that 476 01:08:32,370 --> 01:08:42,480 Marc Geiller: There is a sense in which we can do the split between bulk and Connor contribution and once you do the split. We can unambiguously start to build such entries in this table. 477 01:08:45,660 --> 01:08:57,450 Marc Geiller: And so now I just make a comment about the possible quantization of this college algebra. So again, what what is important here is that we have recovered these ingredients of 478 01:08:58,770 --> 01:09:09,780 Marc Geiller: Of quantum gravity, like the the sweetness of the sweetness of the area spectrum and also a proper understanding and imposition of the simplicity constraints, but completely in the continuum. 479 01:09:11,310 --> 01:09:20,070 Marc Geiller: Now to stay in the continuum. What we have to do is to push further the quantization of the theory. So this means that we have to study. 480 01:09:20,970 --> 01:09:38,910 Marc Geiller: States which are serving the first class implicitly constrained courtesy and the holographic constraints C minus also studied the quantum anomaly. A and also what this enables us to do for the first time. This opens the possibility of enticing the friendship, which is something 481 01:09:39,930 --> 01:09:54,090 Marc Geiller: I think that would be very promising and first look at this actually tells us that to have a proper quantization of the French field, we have to actually use tensor operators which, as we know, are actually related to the structure of entrepreneurs. 482 01:09:55,350 --> 01:10:00,480 Marc Geiller: In the fury. So these would be here. I said to our times. As you to transfer operators. 483 01:10:00,870 --> 01:10:08,130 Marc Geiller: And the fact that they are potentially related to entrepreneurs tells us that this has potentially something to do with the construction of bulk information. 484 01:10:08,670 --> 01:10:16,500 Marc Geiller: From the knowledge of what happens, what happens in the corner, and more generally speaking, the logic would be on the next 485 01:10:17,040 --> 01:10:28,230 Marc Geiller: Natural step for us is to try to actually quantifies or final presentations of this corner symmetry algebra, which, as we have seen is the S and there is a component which is 486 01:10:29,850 --> 01:10:38,460 Marc Geiller: I put here really algebra. Ah. So, hello, can be eligible each at each point on the corner. But the important thing is that 487 01:10:39,750 --> 01:10:44,610 Marc Geiller: This is not an completely unreasonable and daunting task because we don't have to only point is 488 01:10:45,450 --> 01:10:52,380 Marc Geiller: Just different Marxism. Of the two sphere. This is the for more seasons of the year, but subject to the condition that we have 489 01:10:53,070 --> 01:10:58,740 Marc Geiller: A discrete area element, square root of view as we have shown and these discrete area elements. 490 01:10:59,640 --> 01:11:06,660 Marc Geiller: Is also giving us a relationship with on the Kazimierz of the of the algebraic structures which are involved here. 491 01:11:07,350 --> 01:11:20,370 Marc Geiller: So we have to quantify the Scar Symmetry algebra, but we have the knowledge with the crucial information that all the Kazimierz are determined and related to yada yada element cube with these relationships which are given 492 01:11:21,060 --> 01:11:27,900 Marc Geiller: Here on the side. So there is some work hasn't yet there is the point guard has been kazmir and the to SF DC Kazimierz yes 493 01:11:28,440 --> 01:11:35,700 Abhay Ashtekar: So since I mean especially nice very, very beautiful, but I want a clarification year so you're, you're not continue as you enlarge 494 01:11:35,970 --> 01:11:37,200 Abhay Ashtekar: Emphasize and that's great. 495 01:11:39,630 --> 01:11:45,330 Abhay Ashtekar: But then all these things operators are talking about in your, your corner are all in the corner Hilbert space. 496 01:11:46,020 --> 01:11:56,130 Abhay Ashtekar: Yes. So, therefore, when you say things like, when like eat you say you say that, well, for the first time you got conversation on this evening, but that he is still refer to the Parliament not to the buck. 497 01:11:56,550 --> 01:11:58,560 Marc Geiller: Yeah, but it's better than having not yet. All right. 498 01:11:58,620 --> 01:12:07,530 Abhay Ashtekar: No, no, no, no, I just look but then when you say that, well, therefore, you'll get bulk information that is a hope is it. I mean, why is that such a hope. 499 01:12:10,860 --> 01:12:18,570 Marc Geiller: Yes, so it's so indeed, thanks. So it's true that in the DC is the is the corner it and it's not the it's not the bulky and 500 01:12:20,040 --> 01:12:36,630 Marc Geiller: So the goal here eventually to to push this is to show that we can reconstruct bulk information by size. I've already shown the for the expression of the bulk constraints takes a very simple form as just conservation laws for the count of charges. 501 01:12:38,730 --> 01:12:44,970 Abhay Ashtekar: So, in principle, that's the action of the bulk constraints. That's not the expression, but that's okay let's maybe we should go on. 502 01:12:45,600 --> 01:12:52,050 Abhay Ashtekar: Now I would like to understand this very much because this is coming to the heart of the issue about whether really there is a philosophy or not. 503 01:12:52,470 --> 01:13:05,730 Abhay Ashtekar: And so far, what you're done is very, very nicely constructor this corner face space and told us about structures there, and perhaps some ideas or conversation, but I don't think so far. I don't see her and have a 504 01:13:06,600 --> 01:13:11,610 Laurent Freidel: Good is going to show up. Is that what would you call the BC. The new quantum gravity. 505 01:13:12,150 --> 01:13:25,290 Laurent Freidel: Is, in fact, just the corner BC, so you know there you're going to be in the same position as you're a look at that your recollections of BC, except that now you have extra information, especially the French. So the challenge. 506 01:13:25,770 --> 01:13:27,240 Abhay Ashtekar: Is part of the information, but 507 01:13:27,300 --> 01:13:32,310 Abhay Ashtekar: The field is not the full bulk information as everybody's emphasized on 508 01:13:32,550 --> 01:13:41,490 Laurent Freidel: Oh yeah we do it you don't have access to the today said to see charge to the site will charge into the Frankie and that's why you cannot click on Submit and constraints. 509 01:13:41,850 --> 01:13:55,650 Laurent Freidel: So now that you have this access to this information is the hope that the missing information is there. So you can start over again with with a more complete understanding of the underground operators. 510 01:13:57,510 --> 01:13:57,750 Abhay Ashtekar: Okay. 511 01:13:59,010 --> 01:14:06,120 Norbert Bodendorfer: And let me may interject at this point also because it's a good point to address again the question that I had earlier about previous work. 512 01:14:06,690 --> 01:14:11,760 Norbert Bodendorfer: So to connect to a previous work, which is the previous two what is cited here so 513 01:14:12,420 --> 01:14:21,180 Norbert Bodendorfer: What was done before is again. You were quantifying this boundary algebra. When this parameter beta was set to zero, then you can see that 514 01:14:21,810 --> 01:14:32,070 Norbert Bodendorfer: The first, second and fourth object in this equation. See, are there some p zero and just the third one gives to the area density. Now back then. 515 01:14:32,820 --> 01:14:41,160 Norbert Bodendorfer: We were working not Lawrence sad to see that we were working with the so for so with the Euclidean version, which you can do by change your variables. 516 01:14:41,580 --> 01:14:51,870 Norbert Bodendorfer: Which would give you a discrete areas spectrum. But what's not changing here. What's the new ingredient. You can also work with. So one three. So with a with a non compact group. 517 01:14:52,500 --> 01:15:08,430 Norbert Bodendorfer: And then you can match this sad to see or this asset, who are causing. So the first expression there and it will give you this discreet spectrum in the area by mentioning this kazmir from so to our and mentioning the cosmic from so to see 518 01:15:09,750 --> 01:15:20,010 Abhay Ashtekar: Okay. I mean, since you know what has brought brought up this point. So what I'm confused about is in the previous transparency, I think it was like number 519 01:15:21,660 --> 01:15:31,020 Abhay Ashtekar: 13 where where it was said that some of this this Wooster areas l is equal to jail because any progress. 520 01:15:31,590 --> 01:15:40,260 Abhay Ashtekar: But area just area. Right. I mean, in other words, you are in a continuum. You're gonna fix the boundary and we're talking about the area of the boundary, as far as I couldn't stand 521 01:15:41,190 --> 01:15:55,710 Abhay Ashtekar: So I don't see why something is boosted because in fact I insisted that as an answer to leave earlier question that the boundary is completely fixed. They're not allowing your laps to become zero, etc. So what does Bousquet area mean 522 01:15:56,790 --> 01:16:00,840 Marc Geiller: No, I mean, I mean boosted you know it's an internal boost right on these internal in this is 523 01:16:00,900 --> 01:16:02,040 Abhay Ashtekar: Right. But I mean, 524 01:16:04,140 --> 01:16:04,890 Laurent Freidel: I think 525 01:16:06,480 --> 01:16:07,710 Abhay Ashtekar: Any of the surface, right. 526 01:16:08,910 --> 01:16:10,560 Abhay Ashtekar: Internal booster internal anything 527 01:16:12,210 --> 01:16:12,450 Laurent Freidel: With 528 01:16:13,290 --> 01:16:20,220 Laurent Freidel: That showing the paper that you just been is not the area of the surface. So they are able to assist her face. Here is the speed 529 01:16:20,700 --> 01:16:32,520 Laurent Freidel: Low point guys been and where people you before we are computing is not the area, the surface, but it's a boosted area because it was not taking into account the fact that n is like a momentum. It's part of the things 530 01:16:33,540 --> 01:16:35,850 Laurent Freidel: That's kind of technical things be nice. Okay. 531 01:16:35,910 --> 01:16:45,870 Marc Geiller: Let's say I agree with you about you're completely right. Indeed, there is one I should have clarified, it's there is only one a given area and the area is the area right there are there are no two different areas are 532 01:16:46,260 --> 01:16:55,350 Marc Geiller: So there is only one area and then this area of course is completed in terms of the of the metric on the corner the metric on the corner is constructed from 533 01:16:55,830 --> 01:16:59,880 Marc Geiller: The frame field on the corner and what we show here is that the Franklin on the corner. 534 01:17:00,450 --> 01:17:13,590 Marc Geiller: Information about the IRA is encoded in this point guard has been causing me. So this just tells us that what we said what we previously identified in the quantum theory as the area, Nikki G was not the area because it was 535 01:17:14,640 --> 01:17:17,820 Marc Geiller: It was corresponding to L and this has been s 536 01:17:18,900 --> 01:17:19,080 Marc Geiller: And 537 01:17:19,470 --> 01:17:26,400 Abhay Ashtekar: Then I will you ask for the spectrum of the area and that spectrum baby is the same. That is what Robert has been sort of intersection. Right. 538 01:17:26,910 --> 01:17:39,720 Abhay Ashtekar: It's true that this all comes in some mathematical framework, but then if I just give you the surface and asked for one of the eigenvalues of area of the surface, what you're getting is the same as what we were doing before, because that was like 539 01:17:40,380 --> 01:17:42,690 Marc Geiller: Well, the same in the sense, yes, in the sense that 540 01:17:43,440 --> 01:17:49,770 Abhay Ashtekar: Everyone operator, you're going to surface physically to ask you for eigenvalues of ad operator. 541 01:17:50,130 --> 01:18:02,850 Abhay Ashtekar: You can say that there's some of you do some calculation and other people did some calculations and the two are not quite the same as fine with me. But both of the people are claiming that the spectrum is appalling and the both of them are agree, is that kind 542 01:18:07,680 --> 01:18:11,430 Laurent Freidel: Of a square. It's a square, this 543 01:18:12,030 --> 01:18:16,830 Abhay Ashtekar: Area operator in any other area. Yeah, it's the same spec car. 544 01:18:17,640 --> 01:18:19,020 Laurent Freidel: Coming from the same thing. 545 01:18:20,310 --> 01:18:22,200 Abhay Ashtekar: That that thing that is what matters. And most of 546 01:18:22,200 --> 01:18:27,240 Laurent Freidel: The same spec for the new thing is the reconciliation of the loop with Lawrence. 547 01:18:27,450 --> 01:18:28,650 Abhay Ashtekar: Yes, exactly. 548 01:18:28,830 --> 01:18:30,000 Laurent Freidel: But I think the same spec. 549 01:18:30,300 --> 01:18:31,890 Abhay Ashtekar: Exactly, exactly. Thank you. 550 01:18:32,340 --> 01:18:42,570 Daniele Pranzetti: And Jessica if vacation but also maybe the most important thing is the fact that there are choose p. Now isn't in a new country number in the picture. So this Jamia 551 01:18:42,870 --> 01:18:50,100 Daniele Pranzetti: boosie area to give you some more physical dramatic interpretation, but the real new piece of information that we have a next one to number now in the game. 552 01:18:50,670 --> 01:18:53,040 Daniele Pranzetti: That enters the quantization Davis. Yeah, yeah. 553 01:18:53,550 --> 01:18:57,390 Abhay Ashtekar: That is something that came also because you've got an extended face face and 554 01:18:57,810 --> 01:19:15,510 Abhay Ashtekar: On the CD yoga extended Ignite. It's very, very nice as marketing and and Laura emphasize, you know, is the pieces of this, we are all over, but some are having a clear picture is what when big progress can happen. So I think having this clarity is extremely nice. Thank you. 555 01:19:18,780 --> 01:19:22,050 Simone: Just a quick question. When you say that the spectral the same 556 01:19:23,280 --> 01:19:29,820 Simone: I mean you know continuity to defend the spectra. You want to know whether the puncture is like going tangential to the surface or 557 01:19:30,420 --> 01:19:44,070 Simone: Can you go to the surface, whether there's a know that the surface of the spectrum could change of the area operator, whereas here everything is continuous. So when you say that the spectrum. The same you mean with the case in which there's a single puncture 558 01:19:44,280 --> 01:19:51,300 Simone: We're going through the surface, right. So they might differ if one considers different type of punctures, I suppose. 559 01:19:51,990 --> 01:19:54,270 Abhay Ashtekar: No, no, no, not the Spectrum. Spectrum. 560 01:19:54,900 --> 01:19:57,720 Abhay Ashtekar: The question is how are the eigenvectors disconnect 561 01:19:59,880 --> 01:20:02,040 Simone: The Specter. Yes, yes, absolutely. Yes, absolutely. 562 01:20:02,280 --> 01:20:12,000 Simone: Yeah. This was the question. So okay, so we're not saying that the eigenvalues are this week, decision making process is the same are just making the algebraic statement about the spectrum. 563 01:20:13,650 --> 01:20:25,230 Abhay Ashtekar: The same writing the spec is the same as a certified values. So the state of eigenvalues. The same then hold that I can back. This will come is something that will have to 564 01:20:25,320 --> 01:20:27,030 Simone: Write your novel talking about states and 565 01:20:27,030 --> 01:20:27,900 Simone: What are they 566 01:20:28,650 --> 01:20:28,920 Okay. 567 01:20:29,970 --> 01:20:40,440 Abhay Ashtekar: Going back this is knowing the extent that you must be extended face face and and then extended but specially the extra random number. So the description is going to be different, but the specter of the same that is it. 568 01:20:41,790 --> 01:20:42,120 lsmolin: Yes. 569 01:20:42,480 --> 01:20:43,650 lsmolin: Can I ask something here. 570 01:20:43,680 --> 01:20:45,180 Marc Geiller: I see or just 571 01:20:45,870 --> 01:20:55,980 lsmolin: Go with it. I agree. It's very beautiful and it's clarifying but with the simpler structures we used to have it didn't need so much clarification. 572 01:20:56,370 --> 01:21:10,470 lsmolin: One of the basic ideas in your early work about surfaces at night at night as entire services boundaries is fixed position was that there was 573 01:21:11,280 --> 01:21:28,230 lsmolin: One of the constraints, the gas law constraint link the puncture which had the spectra that we're talking about to an edge which went into the interior into the bowels of the manifold of the quantum space time. Is that still true. 574 01:21:31,650 --> 01:21:33,810 Laurent Freidel: I think it's the same. Next slide. The 575 01:21:33,960 --> 01:21:35,520 Marc Geiller: The twist. Yeah, maybe. 576 01:21:36,420 --> 01:21:45,480 Marc Geiller: Yeah, so maybe Leah, please let me go back to maybe your question, you know, either on the next slide, or after the because I still have a few slides. Maybe they retire. If I in fact that you 577 01:21:45,840 --> 01:21:49,140 lsmolin: Sure. Now, but you're saying, the answer is yes, you're going to 578 01:21:50,910 --> 01:21:51,480 Laurent Freidel: When we 579 01:21:51,630 --> 01:21:54,030 Laurent Freidel: Give you know okay 580 01:21:54,150 --> 01:22:05,490 Marc Geiller: But let me just so indeed, as you mentioned, the link with the and also by mentioned the link with a what what we're used to in in in quantum gravity. This can now be recovered from this fully 581 01:22:06,270 --> 01:22:12,600 Marc Geiller: Coherent and continuing picture by constructing by kind of simplifying the study of this whole presentation of this 582 01:22:13,050 --> 01:22:18,630 Marc Geiller: Kind of similar to Gemma, we can kind of simplify this by trunk eating it. And for me, discreet about algebra. 583 01:22:19,320 --> 01:22:29,670 Marc Geiller: And this is just by putting no extra structure on this corner, for example, partitions of the corner and considering some earrings, which are piece wise constant, for example, for the Lawrence charges. 584 01:22:30,030 --> 01:22:41,940 Marc Geiller: And this enables you to go from an old article SM to see algebra to local SM to see or su to in the time gauge. Our job as per patches which is the usual MTG picture. 585 01:22:42,450 --> 01:22:50,940 Marc Geiller: And alternatively you can also have introduce kind of defect like pictures like we did with the Ganga and also in the work of a lower than you, they are you know and 586 01:22:52,020 --> 01:22:54,630 Marc Geiller: So this enables you to kind of define different types of 587 01:22:56,340 --> 01:22:57,210 Marc Geiller: Scripts about Japan. 588 01:23:01,770 --> 01:23:14,520 Marc Geiller: So now the last. The last point. What I want to talk about is the role of the whole of edge notes because as you notice the name of the of the papers has elements. And this was also the initial title of the of the talk, and I haven't really talked about this yet. 589 01:23:15,570 --> 01:23:23,820 Marc Geiller: Because this is the last ingredient. I want to present now maybe quickly because it's running out of time. 590 01:23:24,480 --> 01:23:32,250 Marc Geiller: But to understand what we mean by Edge mode, we have to now go back to the questions that brought us here in the, in the very first place 591 01:23:32,820 --> 01:23:40,800 Marc Geiller: And this this question in the simple fact was the fact that boundaries break actually engage in violence. So once we are faced with the statements we can have to 592 01:23:42,390 --> 01:23:47,520 Marc Geiller: Go to basic possibilities. One of them is to restore gauging violence by actually 593 01:23:48,750 --> 01:23:59,280 Marc Geiller: Playing with what we think are actually corner and you it is and tuning these ambiguities to suppress the charges in order to start gauging volumes. This is what was done by 594 01:24:00,390 --> 01:24:12,480 Marc Geiller: Example in I'm in Somalia, but as I have tried to argue this kind of goes against the systematic treatment of these qualities potentials and the statement that is called contributions that actually features and we should not 595 01:24:13,470 --> 01:24:21,870 Marc Geiller: kind of try to suppress them. But if there are here, we should keep them and try to squeeze information of them. And also, if we suppress some charges, we might 596 01:24:22,710 --> 01:24:32,130 Marc Geiller: You know, lose information about Connor observable and important quantum numbers which should potentially play an important role in the construction of the of the quantum theory. 597 01:24:32,670 --> 01:24:42,120 Marc Geiller: So, at age modes enabled us to do at least what what we mean in the series of papers by by Edge mode because sometimes it means something different. 598 01:24:42,930 --> 01:24:54,870 Marc Geiller: Different works. What we mean here is a structure and mechanism which enables you to restore gauging violence on the boundary while having non trivial symmetry charges. 599 01:24:57,180 --> 01:24:59,370 Marc Geiller: So the way to do this was actually 600 01:24:59,490 --> 01:25:17,670 Marc Geiller: initially introduced by law and William and then subsequent work by many people studying the inflection of these animals in many different theories. But essentially, if I if you allow me to skip a review for this. The idea is to extend the potential of the theory. 601 01:25:18,690 --> 01:25:28,020 Marc Geiller: By now adding on the corner. So see that here I have written again they have used this canonical split of the potential into universal bulk contribution beta sigma 602 01:25:28,500 --> 01:25:38,610 Marc Geiller: And the corner contribution is but now we want to consider the fields on the corner of to be independent fields from the bulk fields, which is why I didn't know them with bold letters now. 603 01:25:39,930 --> 01:25:53,190 Marc Geiller: Now, once we have promoted these fields to independent fields from the bulk fields. We also want to a place in this corner syntactic structure deviation delta by kind of shifting deviation for 604 01:25:54,390 --> 01:26:01,860 Marc Geiller: Japan reasons which I'm happy to, to explain after if it's not clear. But the idea is that we want to include us here, a group element chi. 605 01:26:02,400 --> 01:26:14,940 Marc Geiller: Which suggestively here. I say leads in SM to see times as into our because these are the two components of the symmetry algebra, which you have uncovered before when this group elemental response to a choice of gauge frame on the corner. 606 01:26:16,050 --> 01:26:27,210 Marc Geiller: Now just doing this working with this extended potential, we can take this as a definition we take the potential of our theory we make the fields on the corner of independent from the fields on the back. 607 01:26:27,750 --> 01:26:35,850 Marc Geiller: And we translate the variation on the corner by adding this group element sky. Now, once we do this, we get to consequences of this construction. 608 01:26:36,900 --> 01:26:47,280 Marc Geiller: The first consequences that again. Forgive transformations. There is a bird component and the corner components, the bulk components is the usual gals low 609 01:26:48,120 --> 01:26:53,490 Marc Geiller: And the corner components is now kind of a corner constraint or equation of motion. 610 01:26:54,000 --> 01:27:03,780 Marc Geiller: Which is imposing the continuity condition of relating the bulk fields to the boundary issues and this relationship between the bulk fields and the boundary fuse is exactly through this 611 01:27:04,260 --> 01:27:09,540 Marc Geiller: Gauge frames. So this group elements which you have introduced in this extended simplicity potential 612 01:27:10,230 --> 01:27:19,650 Marc Geiller: So this is what they have written in these three equations here. The beefy in the bulk gets identified with the beefy on the corner up to an SM to see consolidation. 613 01:27:20,640 --> 01:27:29,910 Marc Geiller: Same thing for the normal and the frame fill in the bulk gets identified with the frame field at the corner of to listen to seek information and an asset to our information. 614 01:27:32,190 --> 01:27:40,800 Marc Geiller: Now, to understand what is the content of this of this edge mode and this group elements. We can also mention, and I will conclude with this. 615 01:27:41,310 --> 01:27:46,500 Marc Geiller: The, the interpretation of this continuum structure in terms of twisted geometries. 616 01:27:47,460 --> 01:27:53,220 Marc Geiller: So just to recall the initial inclination of Christie geometries, as they were introduced by behind semana. 617 01:27:53,670 --> 01:28:04,470 Marc Geiller: Is actually as a map between the face face of Luke quantum gravity on a single link or a product of this to get the faith based on the graph, which is the star of St to on a single link. 618 01:28:05,130 --> 01:28:12,900 Marc Geiller: And twisted geometries are just a nice amorphous and between the space, space and some geometrical data which is geometrical data have some 619 01:28:13,980 --> 01:28:19,650 Marc Geiller: Some notion of discrete geometries and its geometric on data is basically the knowledge of 620 01:28:21,300 --> 01:28:24,060 Marc Geiller: Of a vector associated to 621 01:28:27,420 --> 01:28:31,170 Marc Geiller: The source and target triangle. So here every presented on this picture a little 622 01:28:32,490 --> 01:28:45,090 Marc Geiller: An edge of a usual as the network and it has a source know that I target node. And there's a triangle that leaves. Both of these nodes and then a scene from the source frame and the target frame this triangle has a normal 623 01:28:46,260 --> 01:28:56,820 Marc Geiller: And these triangles have also an area given by J. And there's also a twist and go cheetah, which is conjugated to this beam j, which is the ability to kind 624 01:28:57,870 --> 01:29:09,420 Marc Geiller: Of twist, these, these triangles like this and the usual familiar Helena means of reporting gravity in this picture there is because there are just a couple and rotating the normal from the source frame to the target for him. 625 01:29:11,190 --> 01:29:19,650 Marc Geiller: But in this construction of twisty geometries. It was actually pointed out, and notice that there is a discontinuity of the metric between 626 01:29:20,430 --> 01:29:27,780 Marc Geiller: Between the two triangles because matching the metric actually requires too much the frame field instead of just the flexes 627 01:29:28,140 --> 01:29:37,830 Marc Geiller: Whereas in the Trista geometry picture with this group elements were transporting the flexes, which is a casar information than transporting the frame field itself. 628 01:29:38,520 --> 01:29:50,130 Marc Geiller: And to actually much the metrics we need an area preserving different Marxism, which is an SL to Athens formation. This is nice because we have just now argue that there is this software component 629 01:29:51,420 --> 01:30:01,320 Marc Geiller: And now I can present this construction at the corner of this data of twisty geometries, but from the continuum information that we have 630 01:30:02,460 --> 01:30:04,020 Marc Geiller: naturally derived in this work. 631 01:30:05,190 --> 01:30:12,450 Marc Geiller: So we get this a discrete geometrical data by information which is again in this point. Got a spin operator is 632 01:30:13,590 --> 01:30:15,360 Marc Geiller: The metric and the twist angle. 633 01:30:16,470 --> 01:30:26,250 Marc Geiller: So what now plays the all of these normals. Is this for vector which is the point counting spin operator. There's one associated to the source node. 634 01:30:26,580 --> 01:30:36,090 Marc Geiller: And want to target node. This comes with the quantum number of pitches s and there is again this twist angle which, as have argued before is a 635 01:30:37,200 --> 01:30:37,530 Is 636 01:30:39,300 --> 01:30:41,370 Marc Geiller: Is what is necessary when we want to 637 01:30:43,980 --> 01:30:52,320 Marc Geiller: So it's the extra information about the frame which is captured neither by the tangential metric, nor by the point is been operator. This is this twist angle theta. 638 01:30:54,720 --> 01:31:04,200 Marc Geiller: And are there is an SL to see confirmation, which is taking the spin operator in one frame has been operator in the other frame and. Now the nice thing is that this transformation. 639 01:31:04,830 --> 01:31:13,860 Marc Geiller: Actually comes from these Edge Mode fields which I have introduced on the slide just before. So you can think of these editable fields as just have fallen dummies. 640 01:31:14,550 --> 01:31:20,040 Marc Geiller: And we can see what is helpful on them is do if we think again about this book to kind of continuity condition. 641 01:31:20,460 --> 01:31:29,100 Marc Geiller: So the bird to Connor continuity condition which is on this extended face face with edge modes tells us that the bulk field which is here, the blue. 642 01:31:29,490 --> 01:31:34,740 Marc Geiller: Belt Franklin is identified with the governor Franklin add to the action of a group element chi. 643 01:31:35,490 --> 01:31:43,200 Marc Geiller: Now if you match from both sides mentioned that we have 222 bubbles of space which identify around the corner. 644 01:31:43,590 --> 01:31:51,000 Marc Geiller: And you have a source Frankie and and the target for infusion. If you want to match the source from field and the target French is coming from the bulk 645 01:31:51,630 --> 01:32:09,990 Marc Geiller: In terms of the corner frame fields. This is exactly this bold relation of the bottom here, the corner from field on the left is identified with the corner framed on the right up to the action of this of this of this group element dysautonomia chi st which is is minus one times right 646 01:32:11,820 --> 01:32:19,440 Marc Geiller: So this illustrates how this these Edge Mode which we have now introduced at the very end actually encode some information analogous to 647 01:32:20,940 --> 01:32:28,050 Marc Geiller: Pilot HubSpot into two columns. So this kind of completes the picture and this expensive be divination sheet between 648 01:32:29,100 --> 01:32:40,170 Marc Geiller: This is continuous data and how we can, how we can, if we want kind of these criticized is continuous data and get something that looks like a generalization of twisted geometries. 649 01:32:42,000 --> 01:32:50,280 Marc Geiller: So to conclude, what I wanted to show is that the starting point was to just argue that for any given formulation of gravity. 650 01:32:50,730 --> 01:33:02,640 Marc Geiller: Is the canonical splits of this eclectic potential and of the syntactic structure into a bulk component and a common components and that by just focusing on the counter component we can extract important and 651 01:33:03,540 --> 01:33:13,350 Marc Geiller: Useful physics. And what we have seen on what I think is very nice aspect is that with this very general statement which I feel is applicable to any 652 01:33:14,280 --> 01:33:27,030 Marc Geiller: To any theory of gravity to any formulation theory of gravity, we see that when we apply this to tetra gravity. We are naturally and unavoidably brought to features of the quantum gravity. 653 01:33:28,860 --> 01:33:37,620 Marc Geiller: But we some kind of generalizations and some subtle differences, namely one is that the internal normal now is part of the face face and present very important all 654 01:33:38,190 --> 01:33:44,130 Marc Geiller: The other one is that we have clarified that the common metric is non competitive because we have added the bar before me as a parameter 655 01:33:44,760 --> 01:33:51,000 Marc Geiller: Is also enabled us to show that the second class. The simplicity constraints are second class with themselves already in the continuum. 656 01:33:51,780 --> 01:33:56,310 Marc Geiller: We have also recover all the discrete areas spectrum with manifest in town alliance and violence. 657 01:33:56,820 --> 01:34:04,530 Marc Geiller: And argued that once we take the point of view of working in the corner we get access to new quantum numbers and maybe you notions of 658 01:34:05,250 --> 01:34:14,700 Marc Geiller: These twisty geometries and it is now focusing on the corner face face kind of pave the road and tells us where we can go next, because it tells us, naturally, how we can generalize this 659 01:34:15,060 --> 01:34:30,450 Marc Geiller: And what kind of structure, we can expect to extract to extract out of this. So I think that this shows that these features of quantum gravity are a bit impossible to avoid if we take this point of view, seriously, once we look at the corner, these features are just here. 660 01:34:32,070 --> 01:34:44,790 Marc Geiller: So the next natural thing to do is to kind of know investigate this question of what is the biggest cemetery algebra. So Luke potentially at other topological terms, aside from the horse term. 661 01:34:45,840 --> 01:34:51,060 Marc Geiller: Popularly constructor quantization, and the whole presentation theory of this kind of symmetry algebra. 662 01:34:52,740 --> 01:35:04,740 Marc Geiller: And then think about the the proper entangling infusion of this corner states, think about the dynamics in terms of some notion of conservation of charges and think about the whole of matter and the role of 663 01:35:05,580 --> 01:35:10,590 Marc Geiller: Maybe potential relationship between matter and the effects of all of these geometries. 664 01:35:11,880 --> 01:35:14,850 Marc Geiller: And with this, I conclude, thank you. 665 01:35:23,610 --> 01:35:31,770 Ivan Agullo: Thank you, Mark. For this beautiful talk and a lot of questions during the talk and bad if there are any other question, please go ahead 666 01:35:33,420 --> 01:35:40,560 lsmolin: Yes, it's a very beautiful picture I what happens when you turn back the cosmological tension. 667 01:35:43,620 --> 01:35:48,480 Marc Geiller: So indeed, a good question. So here, if we had included the cosmological constant 668 01:35:50,490 --> 01:35:52,020 Marc Geiller: Seems that nothing would 669 01:35:53,430 --> 01:35:58,260 Marc Geiller: Change at this level, because as you know the the syntactic potential there's not 670 01:35:59,310 --> 01:36:00,540 Marc Geiller: There's not actually depend 671 01:36:02,310 --> 01:36:05,490 lsmolin: It depends on the boundary conditions if you 672 01:36:06,690 --> 01:36:10,530 lsmolin: If you choose self to boundary conditions. It does depend 673 01:36:10,980 --> 01:36:21,570 Marc Geiller: It depends on the boundary condition, but here you see that we have phrased and approach the study in such a way that we post on to end the study of boundary conditions because we don't want to be 674 01:36:22,920 --> 01:36:29,430 Marc Geiller: kind of confused by the use of boundary conditions and the hive results which hold with one boundary condition is not with another one. 675 01:36:33,030 --> 01:36:36,690 lsmolin: Right but well anyway. It's something to investigate. 676 01:36:37,320 --> 01:36:46,110 Marc Geiller: Yes, in fact, to. So when I talked about the introduction of the elements here. I did it in a simplified setup and you see that the only introduced Edge mode for these 677 01:36:47,250 --> 01:36:50,220 Marc Geiller: SL to see an ascent to Athens formations. So these kind of 678 01:36:52,110 --> 01:36:56,070 Marc Geiller: I didn't talk about different more films. So the statement as shown in work by 679 01:36:57,120 --> 01:37:06,480 Marc Geiller: By an internist bonanza and also really am enjoying myself is that if you also add the edge modes for different washes and confirmations. 680 01:37:07,200 --> 01:37:19,140 Marc Geiller: You have a nonzero cosmological constants. There are kind of subtleties to take into account and this will actually give you structure is on the corner, which depends on the cosmetic held constant 681 01:37:22,620 --> 01:37:25,980 lsmolin: defamation of the Lorenzo with the 682 01:37:26,910 --> 01:37:34,800 Marc Geiller: We have not seen this yet but potentially but at least I think that now we have kind of the tools and the framework to investigate this and to 683 01:37:36,720 --> 01:37:38,700 Marc Geiller: See what happens. Okay. 684 01:37:42,630 --> 01:37:43,380 Ivan Agullo: More questions. 685 01:37:48,780 --> 01:37:54,240 Abhay Ashtekar: Coming. I mean this continuation of what leasing something I think what has happened was that, you know, 686 01:37:54,810 --> 01:38:03,840 Abhay Ashtekar: Most people who are interested in the initially in the US in particular flag boundary condition or, you know, some article in the sitter or anti the sitter boundary conditions and so on so forth. 687 01:38:04,590 --> 01:38:12,240 Abhay Ashtekar: So, people didn't really look carefully enough. I mean, there are scattered results, but not a systematic investigation of what happens 688 01:38:12,480 --> 01:38:19,800 Abhay Ashtekar: With just finite boundaries and as you say, dropping the boundary conditions, and this has brought up very rich structure and put a lot of order. 689 01:38:20,460 --> 01:38:30,390 Abhay Ashtekar: But I think at some stage, you would have to look at appropriate boundary conditions. For example, what do you mean by gravitational waves. We don't have it until we have the correct boundary condition that infinity. 690 01:38:31,170 --> 01:38:36,360 Abhay Ashtekar: So those kind of degrees of freedom and have it's kind of bridge physics as we have learned over the last five years. 691 01:38:37,680 --> 01:38:43,530 Abhay Ashtekar: Will have to be they make. I mean, it's a complimentary question almost is no it's not a 692 01:38:44,730 --> 01:38:52,500 Abhay Ashtekar: It's not clear to me that will fit in naturally with this particular program to put those kinds of us in a flat or was invited to sit the boundary conditions. 693 01:38:53,310 --> 01:38:57,690 Abhay Ashtekar: But that's something that has to be kept in mind, I think at some stage because there's also rich physics there. 694 01:38:58,260 --> 01:39:09,180 Abhay Ashtekar: Initially, we're all drawn to that physics. And what you're saying is that in doing that, we ignore a lot of other physics, which is in some sense microscopic and even more important by looking at this local thing and 695 01:39:09,870 --> 01:39:16,800 Abhay Ashtekar: Dropping the boundary conditions. But I think at some stage a generalization and matching. We did two things will activate that 696 01:39:17,310 --> 01:39:18,810 Marc Geiller: Yeah, I completely agree things. Yes. 697 01:39:24,120 --> 01:39:27,300 Norbert Bodendorfer: I have a question about the degrees of freedom here and this is 698 01:39:28,140 --> 01:39:37,110 Norbert Bodendorfer: Quite naive, but I'm not really understanding it. So in earlier formulation. Someone was looking at this problem of monetizing the boundary degrees of freedoms. One was working with 699 01:39:37,620 --> 01:39:47,520 Norbert Bodendorfer: With zero Lawrence charger. So you were working in this formulation, where we don't have this additional internal momentum. The boundary that you declare now as new observable. 700 01:39:48,600 --> 01:39:57,900 Norbert Bodendorfer: And I was always happy with that because it seems that you were not enlarging the amount of degrees of freedom that you have in GR which are two per point 701 01:39:57,990 --> 01:39:58,770 Norbert Bodendorfer: With no you say 702 01:39:59,070 --> 01:40:05,190 Norbert Bodendorfer: Instead of two per point I have eight pro boundary point. And do you understand how this goes together. 703 01:40:09,450 --> 01:40:11,430 Marc Geiller: So let me just already see 704 01:40:13,440 --> 01:40:18,600 Marc Geiller: Yes, there is eight per boundary points in the sense that we have eight the lock observable. It's 705 01:40:18,600 --> 01:40:18,960 Per 706 01:40:20,490 --> 01:40:22,590 Laurent Freidel: per barrel. Can I say something about that. 707 01:40:22,710 --> 01:40:31,800 Laurent Freidel: It's a very good question. So there is a pair boundary point but I six of them are really related to gauge charges. So when you when you 708 01:40:32,400 --> 01:40:48,810 Laurent Freidel: When you look at the interface between a bank should be seen as an interface between the left side and the right side. And when you put that interface, in some sense, you have to gauge out these six Lawrence charges and you're left with the two, which are the asset to our children's 709 01:40:51,630 --> 01:41:04,770 Laurent Freidel: But that has to be done in in proper discussion and thats related to the question of our by which is also, you know, people understand now much better our sympathetic symmetries are related to find it symmetries, and all of that. 710 01:41:05,670 --> 01:41:13,830 Laurent Freidel: But I hope that that counting helps you. So out of these eight six tolerance and to our to our 711 01:41:15,330 --> 01:41:23,460 Norbert Bodendorfer: Okay, I understand that. But the question is then, why do you introduce these additional six degrees of freedom in the first place. If you want to engage them out later. 712 01:41:23,850 --> 01:41:24,030 Why 713 01:41:25,260 --> 01:41:33,420 Laurent Freidel: Why, why do you include us up to speed in energy. And so, so it is part of the labeling of the degrees of freedom. 714 01:41:35,220 --> 01:41:35,610 Right. 715 01:41:40,590 --> 01:41:46,710 Laurent Freidel: I think there's a difference between what are the degrees of freedom and then somehow the memory effect attention to that. So gravitational waves. 716 01:41:46,980 --> 01:42:00,960 Laurent Freidel: The way they enter in these charges. You have to look now at what happens when you take your sphere and you move it right and and got the charges if there's no gravitational waves. The charges. I mean, be conserved. And that's what Lee and and 717 01:42:02,100 --> 01:42:11,430 Laurent Freidel: By according boundary condition. But if you want to go beyond you know how boundaries with no boundary condition you will have to include the ideation, which is the flow of charges and 718 01:42:11,970 --> 01:42:20,850 Laurent Freidel: The degrees of freedom is not really encoded into the, you know, these two physical degrees of freedom. Our other to handle that you have to change the charges. Does that make sense. 719 01:42:21,270 --> 01:42:30,180 Laurent Freidel: Is a collection of charges at fix sphere. And then there's one other the Garvey to already the two degrees of freedom that allow you to change these charges. 720 01:42:33,810 --> 01:42:34,260 Okay. 721 01:42:36,030 --> 01:42:40,230 Laurent Freidel: But it's you know it's not done. Okay, so this is 722 01:42:41,520 --> 01:42:42,060 lsmolin: Can we 723 01:42:42,120 --> 01:42:43,290 Simone: Can we still 724 01:42:44,790 --> 01:42:45,300 lsmolin: Go ahead. 725 01:42:45,750 --> 01:42:46,680 Simone: Uli first 726 01:42:47,190 --> 01:43:07,110 lsmolin: Okay, can we put it in a very simple physical way. And maybe you can help clarify you we were in a space time with one of your boundaries as its boundary in the bulk of the space time we shake. Something we produce a quantum gravitational wave of spin trust to 727 01:43:07,710 --> 01:43:13,440 Laurent Freidel: 3D. Can I, can I precise we were talking about corner. So a boundary, you know, time development of a corner. 728 01:43:13,800 --> 01:43:26,250 lsmolin: Yes, I know. I know. Presumably you can develop at a talk about the development. Are you going to be eventually able to tell me what happens when that final gravitational wave hits the boundary 729 01:43:26,610 --> 01:43:32,370 Laurent Freidel: Yes, exactly. That's the charge conservation. So how does the church change when you move the boundary. That's how 730 01:43:33,570 --> 01:43:44,670 Laurent Freidel: It is, in fact, this is what you know this angel group is is doing right now in terms of a synthetic infinity labeling or the notion of as metrics and scattering process in terms of charge evolution. 731 01:43:45,270 --> 01:43:50,520 lsmolin: Which has to do with the celestial sphere and their picture because they're in there. 732 01:43:50,880 --> 01:44:02,700 Laurent Freidel: No cosmological. Yeah. And here we don't need the sphere to speed. So last year, this year, can be anywhere. It's going to be true no matter where does he hear that when you move it a gravitational wave of a to change the charges. 733 01:44:05,310 --> 01:44:08,220 Laurent Freidel: Or a nonlinear generalization of it, of course. 734 01:44:08,910 --> 01:44:11,310 lsmolin: Yes, I'm interested in that. Definitely. 735 01:44:12,240 --> 01:44:18,180 Abhay Ashtekar: Except that is very unlikely that you will be able to talk about guy little waves or anything. Simple it finite boundaries, you 736 01:44:18,600 --> 01:44:23,100 Laurent Freidel: Know, I think I've taken away the have to go. But what will stay is the notion of 737 01:44:23,520 --> 01:44:30,690 Laurent Freidel: Charge conservation charged change. So it's going to give you a new handle about what is supposed to replace the national gravitational wave 738 01:44:30,930 --> 01:44:42,360 Laurent Freidel: If you look at the work of art is Tom injury. This is exactly what they're doing. They're starting from the gravitational waves picture and then they are rephrasing it everything in terms of the cells to whatever changes and 739 01:44:42,690 --> 01:44:46,710 Abhay Ashtekar: Challenges as about that seriously phrasing was no 740 01:44:47,280 --> 01:44:48,420 Abhay Ashtekar: refreezing there were like 741 01:44:48,660 --> 01:44:49,140 Nearly 742 01:44:50,280 --> 01:44:51,540 Abhay Ashtekar: momentum conservation law. 743 01:44:52,470 --> 01:44:52,770 Abhay Ashtekar: I mean, 744 01:44:54,690 --> 01:44:55,890 Abhay Ashtekar: That's all they're talking about right. 745 01:44:55,890 --> 01:45:00,870 Laurent Freidel: Yeah, yeah, they're there. They're refreezing with the refreezing opens a new door where you don't have 746 01:45:01,290 --> 01:45:07,410 Laurent Freidel: So you know where you can you can say now what you would mean by a nonlinear gravitate towards you want to call it like that. 747 01:45:07,590 --> 01:45:10,620 Abhay Ashtekar: Right now that you want that was called before. In fact, exactly. 748 01:45:10,860 --> 01:45:11,550 Laurent Freidel: Whatever it 749 01:45:12,270 --> 01:45:14,040 Abhay Ashtekar: Is and does exactly that way, but 750 01:45:14,670 --> 01:45:16,110 Abhay Ashtekar: I'm just saying that that is not 751 01:45:17,550 --> 01:45:24,810 Abhay Ashtekar: Really good at Pro light on this finite boundaries and I'm just saying that I think we're on the same wavelength that we were just 752 01:45:26,160 --> 01:45:30,300 Abhay Ashtekar: Talking about some small differences. We're on the same wavelength line and month 753 01:45:32,070 --> 01:45:32,970 lsmolin: Do you know 754 01:45:33,000 --> 01:45:34,200 Simone: Mark. Oops. 755 01:45:34,470 --> 01:45:34,920 lsmolin: Sorry. 756 01:45:35,700 --> 01:45:37,770 lsmolin: Do you know what boundary, what 757 01:45:37,830 --> 01:45:41,520 lsmolin: Conditions correspond to your boundary being a horizon. 758 01:45:45,540 --> 01:45:49,920 Marc Geiller: Or if you want it to be an isolated horizon. You can use the usual 759 01:45:50,970 --> 01:45:53,280 lsmolin: Yes, I'd be very happy, which is right. 760 01:45:54,390 --> 01:45:58,290 Marc Geiller: Yeah, but then this study will also have to be revisited because potentially you could 761 01:45:59,490 --> 01:45:59,970 You could 762 01:46:01,410 --> 01:46:04,680 Marc Geiller: unveil a new also new quantum numbers there as 763 01:46:05,940 --> 01:46:18,630 lsmolin: Well, but that would be very interesting. And that would be very surprising and too many people that there are extra quantum numbers under horizon, besides the ones that people talk about 764 01:46:21,030 --> 01:46:34,020 Abhay Ashtekar: No, I think because of the extra horizon boundary conditions which right now. You're not talking on boundary conditions. Once you put in isolate horizon boundary conditions as Laura was saying before, I mean this this extra charges will go away. I don't think that 765 01:46:35,970 --> 01:46:38,220 Abhay Ashtekar: There will be not to the charges in this particular case. 766 01:46:38,490 --> 01:46:39,510 Abhay Ashtekar: But I think similarly has been 767 01:46:39,900 --> 01:46:44,550 Laurent Freidel: Sent to our charges will go away. But there's a new type of child that has made its appearance that Mark didn't 768 01:46:44,550 --> 01:46:59,430 Laurent Freidel: Talk about which is the discharge. So the default more fees and charge which controller. This one will not go away. And this one as a as a very interesting and important vacation for understanding the geometry of arising. 769 01:47:00,000 --> 01:47:03,270 Abhay Ashtekar: And exactly those will give you multiple moments, which is what 770 01:47:03,960 --> 01:47:04,350 Abhay Ashtekar: You know, 771 01:47:04,800 --> 01:47:06,780 Abhay Ashtekar: Yes, the 772 01:47:07,800 --> 01:47:14,370 Abhay Ashtekar: Characterization of that will be precisely the multiple moments that are either multiple but I think the morning has been off time to ask a question for quite some time. 773 01:47:16,950 --> 01:47:29,460 Simone: Thank you. Okay. Yeah. Mark you stress very much that this is a very, it's a continuous approach. And so I was wondering if in this road, you want to pay for you still see a place for speed networks to spin forms. 774 01:47:30,090 --> 01:47:43,920 Simone: And in case. What is the main message is it something that one is to use the punk or a group or sometime you seem to have hinted that these or there isn't any financial risk informs to be seen in this road think yeah 775 01:47:44,250 --> 01:47:54,300 Marc Geiller: Yeah, I think so. This tells us two things. Now he tells us that some I think aspects of accuracy are just unavoidable because they're just beating features of gravity and we have to consider them. 776 01:47:54,960 --> 01:48:06,150 Marc Geiller: And now, it could be indeed that for the purposes of actually need the quantization, we have to resort to some organization. And as I mentioned on some slide and you some 777 01:48:06,900 --> 01:48:13,500 Marc Geiller: Thank you. The highest description of the of the covenant of the charges living on the corner and this could be done through the use of networks. 778 01:48:13,890 --> 01:48:20,220 Marc Geiller: But then, at least, this will tell us that we need maybe to label these networks with x quantum numbers like 779 01:48:20,850 --> 01:48:34,200 Marc Geiller: Law, and then you'd have suggested we did this one guy networks or this bubble geometries which carry extra information which could be useful for you know purposes, of course, raining and building's been for models and building the dynamics. 780 01:48:35,790 --> 01:48:39,240 Marc Geiller: So there is this possibility that we have to acknowledge the space of 781 01:48:40,470 --> 01:48:43,140 Marc Geiller: What we mean by SP network with a noxious definition. 782 01:48:46,950 --> 01:48:55,080 DJ: Of Mark have a question related on this slide. When you say continuum quantization. What precisely do you mean 783 01:48:57,420 --> 01:49:09,540 Marc Geiller: Which means I'm in a position of unknown college algebra, which is, is if you're in the sense of continue magic so quantization, which does not resolve to any dispute I structure. 784 01:49:11,040 --> 01:49:14,130 DJ: So would you can this be networks and 785 01:49:15,180 --> 01:49:18,630 DJ: Spin formal structures as described structure here. 786 01:49:19,410 --> 01:49:20,610 Marc Geiller: Yes, yes. 787 01:49:23,010 --> 01:49:27,960 DJ: So I'm a bit confused. Then the other slide at least you're not 788 01:49:29,160 --> 01:49:30,720 DJ: Imagining using these structures. 789 01:49:34,380 --> 01:49:41,970 Marc Geiller: So I'm not, I'm not imagining i'm i'm postponing the use of democratization structures that can be networks and spin forms for the moment. 790 01:49:42,600 --> 01:49:56,340 Marc Geiller: Because the goal would be to quantify what the theory just gives you and what the theory naturally gives you is just a somewhat natural leaves at these corners are actually coming to us. So I'll Palo Alto boss, which are very different from 791 01:49:57,630 --> 01:49:58,020 Marc Geiller: From 792 01:50:00,240 --> 01:50:02,070 Marc Geiller: From global NGOs of cemeteries. 793 01:50:03,450 --> 01:50:04,980 Marc Geiller: And this is what one should quantities. 794 01:50:06,180 --> 01:50:15,060 Abhay Ashtekar: Me I intervene dispensing I mean one pass this also question for Mark, but like to try to answer this question that was asked. I mean what one could have is really this 795 01:50:15,510 --> 01:50:26,730 Abhay Ashtekar: Boundary Hilbert spaces with, you know, some quantum numbers on them and so on. And some states and operators and and eigenvalues eigenvectors, etc. 796 01:50:27,180 --> 01:50:36,090 Abhay Ashtekar: And then there is another question about how do we represent them concretely, you know the differences between actually having abstract Hilbert space and representation for example. 797 01:50:36,780 --> 01:50:43,560 Abhay Ashtekar: Representation of the point Gary group you know it for the years of represented upon can group. And the other thing is to really write them as 798 01:50:44,010 --> 01:50:55,380 Abhay Ashtekar: Really coming from a Muslim scholar feel a message delafield maximum field and so on so forth conclusion about space. So what they're giving us is really kind of an abstract Hilbert space. 799 01:50:56,400 --> 01:51:11,070 Abhay Ashtekar: But the nice thing is that that obstacle but space is the results from that extra space. I completely in agreement with the with some of the fundamental results from new quantum gravity and therefore spin networks, to me at least would be would provide 800 01:51:12,210 --> 01:51:21,300 Abhay Ashtekar: And have a complete realization, but with possibly adding quantum numbers we spend with network did not have before. 801 01:51:21,750 --> 01:51:29,880 Abhay Ashtekar: So it will be concrete realization, just like for example the you know the solutions to client garden equation and then Fox space constructed out of that. 802 01:51:30,240 --> 01:51:43,770 Abhay Ashtekar: Gives us a concrete realization of the unitary representation of the irreducible unit represent is a point. Can I grew up with MySQL as humans can equal to zero. So, it is that that kind of philosophy mark and not on that end. 803 01:51:45,360 --> 01:51:45,750 Marc Geiller: Yeah, I think. 804 01:51:46,680 --> 01:51:55,260 Daniele Pranzetti: Yeah, I just exactly what by said, I mean, the hope is that since we have some our discrete measure now which is given by the area, the 805 01:51:55,860 --> 01:52:05,010 Daniele Pranzetti: Area of the corner, then the hope is that even if you start with a continuum representation, some sense you can end up with the Hebrew space which is funny dimensional 806 01:52:05,700 --> 01:52:20,160 Daniele Pranzetti: And so that the coarse grained in that speed networks represented or with a generalization end up being a non no longer course grading might not show an exact representation of this algebra. 807 01:52:22,050 --> 01:52:31,500 Daniele Pranzetti: The hope here is given by the fact that we saw that the measure is going to be discreet on the corner. So even if you have a continued representation and that could 808 01:52:32,790 --> 01:52:33,900 Daniele Pranzetti: could provide a 809 01:52:35,430 --> 01:52:51,360 Daniele Pranzetti: Hebrew space which is funding dimension or even if it's so that will be the the the jump to prove lotto. Robert, if you want in a, in a concrete sense right that there is a finite number of degrees of freedom. The corner that capture all the buck degrees of freedom. 810 01:52:53,250 --> 01:52:56,340 Daniele Pranzetti: Through that were describing themselves be networks before 811 01:52:59,460 --> 01:53:00,450 Abhay Ashtekar: The dynamical level. 812 01:53:00,510 --> 01:53:04,500 Abhay Ashtekar: Right, because I mean this this picture was done the covariance so 813 01:53:05,250 --> 01:53:09,420 Abhay Ashtekar: Yes, that would correspond to dynamical pitcher not magical magical pitch. 814 01:53:09,600 --> 01:53:14,610 Daniele Pranzetti: Yeah, from what at least for recent for the for the spatial different constraints. 815 01:53:16,590 --> 01:53:25,830 Daniele Pranzetti: You know if you call that dynamical can him article but already there. You could try to to to to show this in the level of specialty from official 816 01:53:26,280 --> 01:53:28,200 Abhay Ashtekar: Right, I mean on shelf versus 817 01:53:28,380 --> 01:53:31,020 Daniele Pranzetti: Yeah, yeah. Oh sure, yeah, yeah, yeah, yeah, absolutely. Yeah. 818 01:53:32,400 --> 01:53:44,640 Laurent Freidel: Maybe if I can say a word about that. So, as Mark was saying this is a loop algebra. So the study of loop. Other Brian 3D. For instance, the first one time something and he gives you BMS group. 819 01:53:45,090 --> 01:53:53,490 Laurent Freidel: So, which contains some of the house over symmetry. So this year has organizations is an example of a continuous quantization now. 820 01:53:54,300 --> 01:54:02,220 Laurent Freidel: We are starting the you know the theory of nobody has really fully developed with your presentation of this loop algebra is 821 01:54:02,610 --> 01:54:19,800 Laurent Freidel: The key element in the stupider Bravo is which I think we will bring the new ingredients compared to spin form is that it's not just about this the the supervisor semi direct product, right. It contains a D factor beginning as a rotation and in a 822 01:54:20,820 --> 01:54:21,210 Laurent Freidel: You know, 823 01:54:21,360 --> 01:54:22,620 You Caliban factor. 824 01:54:23,790 --> 01:54:41,760 Laurent Freidel: It focuses on entirely on these rhetorical factor. And it's kind of fixing or jelly out the diff so presentation. And now we understand much more of these two interplay. So it will contain some element of of loop, but it will be more like 825 01:54:43,290 --> 01:54:53,190 Laurent Freidel: You know, like a fried picture of looping issue more like, you know, that includes seamlessly the difficult and that's not that that that is essentially the next upgrade. 826 01:54:54,420 --> 01:55:12,180 Laurent Freidel: And as Mark was saying, or they were saying once the diff. The semi direct product presentation. They are they are classified by the choice of measure you put your queue. And there's really different presentation was just curious, is a continuous was a little bit measure or discrete 827 01:55:14,790 --> 01:55:18,990 Abhay Ashtekar: I think there's a hand raised by linking Chen. Maybe she was a question. 828 01:55:20,550 --> 01:55:32,580 Lin-Qing chen: Hi, Mark SEND YOU SO MUCH FOR very nice talk. Have a question about, so usually different choice of the boundary lager Andrea is important for well defined a variation or principal 829 01:55:33,090 --> 01:55:50,400 Lin-Qing chen: And so, so it's not a freedom to choose. So, but here I also understand that this boundary Lagrangian will become this corner piece of simulating potential also plus the exact form on the face base, which isn't important. Your formulation. So I'm wondering 830 01:55:51,480 --> 01:55:57,870 Lin-Qing chen: So how, how to consider this a well defined the variation or principle in in the framework you are discussing. 831 01:55:58,650 --> 01:56:02,790 Marc Geiller: Yes, the question because indeed I didn't talk about vibrational principle. 832 01:56:03,270 --> 01:56:13,050 Marc Geiller: Because I said we want to postpone this to later. And I think the reason which also kind of unlock the possibility to do this work for us is that, indeed, as we know, usually to 833 01:56:13,980 --> 01:56:19,860 Marc Geiller: To to fix specific boundary conditions like we do in general relativity, we have to use a Banda he like Origen 834 01:56:20,280 --> 01:56:25,410 Marc Geiller: To change the colonization on the boundary and to be able to work with the boundary conditions that we 835 01:56:25,950 --> 01:56:35,790 Marc Geiller: That we desire but what was under appreciated before was that once we put the boundary, like on Jan, it actually does two things. One thing is that it enables us to choose the boundary conditions. 836 01:56:36,180 --> 01:56:41,070 Marc Geiller: But the other thing is that it also changes, these kind of contributions to the syntactic structure. Yeah. 837 01:56:41,670 --> 01:56:48,330 Marc Geiller: I think that these two aspects were kind of mixed and a bit confused together. And there's lots of discussions where we don't actually 838 01:56:49,200 --> 01:56:59,760 Marc Geiller: Really understand clearly whether what is the algebra is being discussed is a arises because of choices of boundary conditions or because of Connor contributions to the syntactic structure. 839 01:57:00,210 --> 01:57:05,670 Marc Geiller: So I think that's why it was important to disentangle these two issues and to first acknowledge that the boundary like Hungarian 840 01:57:06,060 --> 01:57:11,250 Marc Geiller: Gives the corner contribution to this eclectic structure with no extra choice to be made. 841 01:57:11,700 --> 01:57:25,680 Marc Geiller: And then on top of these were free to discuss boundary conditions if you want add another abandoned like on Jan to change their boundary conditions, but this would be done separately, you know, in a separate step, but it can be done, but it's extra 842 01:57:27,780 --> 01:57:28,440 Lin-Qing chen: Oh, I see. 843 01:57:29,610 --> 01:57:38,370 Lin-Qing chen: Purely discussing this corner piece of simplicity potential which will be changed if one. Consider adding different boundary Lagrangian but that can be 844 01:57:38,640 --> 01:57:41,520 Lin-Qing chen: Used to be a separate question because 845 01:57:42,900 --> 01:57:44,130 Lin-Qing chen: Yeah, I understand. Okay. 846 01:57:45,330 --> 01:57:45,630 Lin-Qing chen: Thank you. 847 01:57:48,030 --> 01:57:52,590 lsmolin: I tried to summarize, you have a few more physicians on the boundary 848 01:57:53,130 --> 01:57:59,400 lsmolin: There are three possible fates of these different more physics you freeze them, they become gauge 849 01:57:59,940 --> 01:58:00,330 Marc Geiller: Then 850 01:58:00,390 --> 01:58:05,940 lsmolin: You might apply them or they become physical degrees of freedom they become Edge mode. 851 01:58:07,320 --> 01:58:08,550 lsmolin: Do we have a 852 01:58:10,440 --> 01:58:25,020 lsmolin: Two questions. Do we have a free choice as to which of those three, we believe is a nature and what, if any, to those to be efficient, have to do with gravitational waves and rather times to 853 01:58:26,280 --> 01:58:32,670 lsmolin: Why you may have created some degrees of freedom that we we have no experimental head. 854 01:58:34,110 --> 01:58:42,960 Marc Geiller: Yes, thank you. I would say that, you know, so for different morph isms. I don't think we know that there are other theories for which we know that these 855 01:58:44,880 --> 01:58:53,730 Marc Geiller: Extra degrees of freedom that are revealed on the boundary actually play an important role in this is for example in a in comments matter and in 856 01:58:54,720 --> 01:58:56,190 lsmolin: Theory quantum halt. 857 01:58:56,700 --> 01:59:06,600 Marc Geiller: Monty Hall effect. Exactly, yes, sure. I don't know what he's done have additional analog of this, but it's kind of following the same expectation and the same the same logic. 858 01:59:08,310 --> 01:59:18,420 lsmolin: So what would you say if somebody said, our job is to understand quantum general relativity and we should just freeze out Austin is a feeling 859 01:59:19,020 --> 01:59:19,650 Laurent Freidel: Good luck. 860 01:59:21,300 --> 01:59:25,200 lsmolin: No. No, I'm serious. I'm really serious. Good luck, man. 861 01:59:28,080 --> 01:59:31,800 Abhay Ashtekar: I think, let me just say something that is that may help 862 01:59:33,540 --> 01:59:45,930 Abhay Ashtekar: I think I mean there's a point that Laura has been somehow hinting at, which is that if I look at infinity, right, and the degree of freedom isn't really in the bond in us. I mean, that is what categories and waves. 863 01:59:46,890 --> 01:59:54,930 Abhay Ashtekar: But what I can look at is really in some ways, you know what I call the mass in the conversation various vacuum, you know, this 864 01:59:56,070 --> 02:00:04,110 Abhay Ashtekar: In other words, so configurations which are there, which are mapped to do each other by the in that case by super translations. 865 02:00:04,410 --> 02:00:14,190 Abhay Ashtekar: Yes, but but you know when that part of the Facebook and that's and then the statement is here that something like what they're done is really 866 02:00:15,000 --> 02:00:31,530 Abhay Ashtekar: In some sense, looked at this basic elements which are there and they're change is going to be captured by kind of two degrees of freedom or something like that in, like, for example, if it was a sufficiently far away, then it will be captured by gravitational waves. 867 02:00:31,830 --> 02:00:36,120 Abhay Ashtekar: Exactly. Though there is some subsidiary, I mean there is some 868 02:00:39,540 --> 02:00:45,150 Abhay Ashtekar: These are not kind of directly physical degrees of freedom but changing them either directly physical 869 02:00:45,720 --> 02:00:46,890 lsmolin: Physical beautiful 870 02:00:46,950 --> 02:00:47,550 lsmolin: Beautiful and 871 02:00:48,660 --> 02:00:49,290 lsmolin: Bread. 872 02:00:49,470 --> 02:00:50,430 Laurent Freidel: It's like, it's like 873 02:00:51,330 --> 02:00:55,290 Laurent Freidel: Like a ground and beating the basement before you, you'd be the world's 874 02:00:55,770 --> 02:01:01,710 lsmolin: Know, so you're talking about the very infrared platinum degrees of freedom and you 875 02:01:02,220 --> 02:01:10,590 Laurent Freidel: Have to be infrared, they are true. That's the point. They are true for any surface. So they are they are the these degrees of freedom are the same, whether you're an infrared 876 02:01:10,980 --> 02:01:21,120 Laurent Freidel: Or in the movie. They are just more of it in infrared because the area is what are the Casimir so the Casimir grows. There's no states but but apart from that they saw the same degrees of freedom. 877 02:01:21,840 --> 02:01:32,910 Laurent Freidel: Okay, think about the area is one of the Casimir and in fact in this industry by this is the only one which is depending on the scan. There's an infinite number of other cars music, all of them are scaling dependence. 878 02:01:33,090 --> 02:01:45,840 Abhay Ashtekar: Know, but i think i think a lot of what I haven't had maybe putting words in his mouth. But I think one can understand what he's saying in the following terms, namely that they will find in the sense that they themselves don't carry quote unquote energy 879 02:01:46,830 --> 02:01:50,190 Abhay Ashtekar: Yeah okay that changing the changing them carries energy 880 02:01:50,940 --> 02:02:02,640 Abhay Ashtekar: Beautiful. So in that sense that that they themselves that says that, I mean, yeah, I'm not in front of in the sense of long wavelength or anything like that, is that that I don't know what 881 02:02:02,760 --> 02:02:06,060 Abhay Ashtekar: We know if you use that sense totally true. They're there they are. 882 02:02:06,120 --> 02:02:19,680 Laurent Freidel: I don't know if I would call them for it because they're everywhere but but they are they are. I mean, they are they are the basement. They are the building blocks until you don't know the building blocks, you cannot decide what you mean by gravitation radiation or 883 02:02:20,520 --> 02:02:24,120 Abhay Ashtekar: Your dad like like connection young new see right and 884 02:02:25,830 --> 02:02:30,360 Abhay Ashtekar: The if you're just please a connection and instead of time doesn't have kind of 885 02:02:30,420 --> 02:02:33,270 Abhay Ashtekar: He has physical base and yet he doesn't talk single information. 886 02:02:34,830 --> 02:02:40,410 lsmolin: They something like the following and complex manifold theory, you have pieces of see 887 02:02:41,490 --> 02:02:43,590 lsmolin: Which could patch to each other by 888 02:02:45,600 --> 02:02:46,050 Abhay Ashtekar: Yeah. 889 02:02:46,230 --> 02:02:46,560 He 890 02:02:47,820 --> 02:02:50,250 Abhay Ashtekar: Is the transition functions which are which are the physics. 891 02:02:51,390 --> 02:02:51,990 Abhay Ashtekar: Yes, yeah. 892 02:02:52,050 --> 02:02:52,680 Abhay Ashtekar: So that's the 893 02:02:53,040 --> 02:03:06,090 Abhay Ashtekar: Analogy, I mean, from that wonderful Rogers all on construction right that any one patch. It looks like Flash space, but is the way that the two patches complex holographic patches are glued together. 894 02:03:06,660 --> 02:03:21,450 Abhay Ashtekar: That, that, that, that is what the, you know, has the, has the physical information, right. So I'd love to thrive in the sense of long wavelength or anything like that but that, in fact, in the sense that they themselves don't have energy momentum. Angular momentum, etc. But genuine care is there. 895 02:03:21,840 --> 02:03:25,380 lsmolin: Has to be fixed before you define as mentality. 896 02:03:25,770 --> 02:03:31,050 Laurent Freidel: Yeah, if you want to define change. You know, you need to know what you mean by static or 897 02:03:31,680 --> 02:03:33,150 Laurent Freidel: Your country. Yeah. 898 02:03:33,990 --> 02:03:37,860 Abhay Ashtekar: These are that kind of analog of what I call the vacuum. I mean, I'm not 899 02:03:39,120 --> 02:03:40,680 Abhay Ashtekar: Local I don't remember what I call you back here. 900 02:03:41,730 --> 02:03:42,000 Laurent Freidel: And 901 02:03:42,030 --> 02:03:43,620 Abhay Ashtekar: Change them is what is the 902 02:03:44,880 --> 02:03:45,690 Abhay Ashtekar: Dynamics. 903 02:03:46,740 --> 02:03:50,340 Abhay Ashtekar: I think that were going on very long and maybe he was very patient with us. 904 02:03:51,930 --> 02:03:57,090 Marc Geiller: I just may want to before we chose because I just wanted to make an announcement on the extra slide which is about the loops. 905 02:03:57,120 --> 02:04:12,600 Marc Geiller: Next summer a kid just wanted to flush this and to just announce that you can book in your calendar that it will be July 19 to the 23rd and also summer school in Macedo the week before and we just hope that we can do this in person. 906 02:04:14,190 --> 02:04:17,250 Marc Geiller: Yeah, we'll announce it soon and just hope we can all meet in person. 907 02:04:18,150 --> 02:04:21,960 Ivan Agullo: Thank you very much, Mark, and thank you everybody for the thing that I think discussion that 908 02:04:21,990 --> 02:04:26,400 Ivan Agullo: We are will be on the time. So let's thank marketing.