Laman

Pure \(Ads_3\) Gravity From Monster Grouping Spin Networks

A 5th of my query topics that brand me most excited direct maintain something to exercise alongside the three-dimensional pure Anti de Sitter infinite gravity. In 2007, Witten pointed out that there is a perfect candidate for the dual boundary CFT, i that has the monster grouping every bit the global symmetry.

The monster grouping is the largest amidst the 26 or 27 "sporadic groups" inwards the classification of all the uncomplicated finite groups. The CFT – which was the musician that proved the "monstrous moonshine" – may hold out constructed from bosonic strings propagating on the (24-dimensional infinite divided by) the Leech lattice, the most interesting fifty-fifty self-dual lattice inwards 24 dimensions, the alone i amidst 24 of those that doesn't direct maintain whatever "length squared equals to two" lattice sites.

I didn't direct maintain plenty infinite hither for a motion-picture present of Witten as well as a motion-picture present of a monster as well as so I merged them. Thanks to Warren Siegel who took the photograph of Cyborg-Witten.

The absence of these sites represents to the absence of whatever massless fields. So the corresponding gravity alone has massive objects, the dark hole microstates, as well as they transform every bit representations of the monster group. I volition alone hash out the monster grouping CFT alongside the "minimum radius" – Davide Gaiotto has proven that the infinite household unit of measurement of the larger CFTs cannot exist, at to the lowest degree non for all the radii as well as alongside the required monster grouping symmetry, because there's no goodness candidate for a spin acre corresponding to a conjugacy class.

I recall that the unmarried CFT alongside the unmarried radius is sufficiently fascinating a playground to essay out lots of ideas inwards quantum gravity – as well as specially the human relationship betwixt the continuous as well as discrete structures (including global as well as guess groups) inwards the mass as well as on the boundary.




It's useful to await at the listing of irreducible representations of the monster group for at to the lowest degree 10 minutes. There are 194 unlike irreps – which, yesteryear Schur's tricks, way that in that location are 194 conjugacy classes inwards the monster group. Don't forget that the lodge of whatever chemical component has to hold out a supersingular prime.

However, you lot volition alone uncovering 170 unlike dimensionalities of the irreps. For years ;-), I direct maintain assumed that it way that 146 dimensionalities are unique spell for 24 others, the degeneracy is ii – as well as so the total lay out of irreps is 146*1+24*2 = 194. It makes feel to recall that roughly of the representations are complex as well as they're complex conjugate to each other, inwards pairs.

Well, simply really very late ;-), I looked really very carefully, made a histogram as well as saw that i dimension of the irreps, namely the dimension
5 514 132 424 881 463 208 443 904,
(5.5 American septillions) appears thrice – similar the 8-dimensional representation of \(SO(8)\) appears inwards "three flavors" due to triality. Why hasn't anyone told me well-nigh the "tripled" irrep of the monster group? I am certain that all monster minds know well-nigh this triplet of representations inwards the kindergarten but I didn't. So the right response is that in that location are 147 representations uniquely given yesteryear their dimension, 22 dimensionalities appear twice, as well as 1 dimensionality (above) appears thrice.

BTW those 5.5 septillions has the factor of \(2^{43}\) – a bulk of the factor \(2^{46}\) inwards the lay out of elements inwards the monster grouping – as well as no factors of three. This large powerfulness of ii is similar to the spinor representations (e.g. inwards the triality illustration above).




Fine. Among the 194 irreps, there's plainly the 1-dimensional "singlet" representation. Each grouping has singlets. The showtime nontrivial representation is 196,883-dimensional. This many states, along alongside a singlet (so 196,884 inwards total), appear on the showtime excited grade of the CFT – as well as so in that location are 196,884 dark hole microstates inwards pure \(AdS_3\) gravity alongside the minimum positive mass (this lay out appears every bit a coefficient inwards an expension of the \(j\)-invariant, a fact that was known every bit the "monstrous moonshine" decades earlier this "not as well as so coincidence" was explained). This grade of dark holes has roughly unloose energy as well as nicely enough,\[

196,883\sim \exp(4\pi),

\] every bit Witten was really aware, as well as this approximate human relationship is no coincidence. So the entropy at this grade is roughly \(S\approx 4\pi\) which corresponds to \(S=A/4G\) i.e. \(A\approx 16\pi G\). Note that the "areas" are actually lengths inwards 2+1 dimensions as well as Newton's constant has the units of length, too. The entropy proportional to \(\pi\) is almost a affair of mutual feel for those who direct maintain e'er calculated entropy of 3D dark holes using stringy methods. But it's also fascinating for me because of my query on quasinormal modes as well as loop quantum gravity.

The existent component subdivision of the asymptotic, highly-damped quasinormal modes was approaching\[

\frac{\ln 3}{8\pi G M}

\] where \(M\) is the Schwarzschild dark hole mass. The declaration \(3\) inwards the logarithm could direct maintain been interpreted every bit the degeneracy of roughly links inwards \(SO(3)\) spin networks – as well as that's why I or nosotros were treated every bit prophets amidst the loop quantum gravity as well as other discrete cultists as well as why my as well as our newspaper got overcited (although nosotros soundless loved them). It's a totally unnatural lay out that appears in that location yesteryear coincidence, as well as I – as well as I as well as Andy Neitzke – gave total analytic proofs that the lay out is \(3\) exactly. It's non a large deal, it's a coincidence, as well as \(3\) is a uncomplicated plenty lay out as well as so that it tin appear yesteryear chance.

But the funny thing is that the quasinormal frequency becomes a to a greater extent than natural human face if \(3\) is replaced alongside roughly other dimension of an irrep. Fifteen years ago, I would play alongside its beingness replaced yesteryear \(248\) of \(E_8\) which could direct maintain been relevant inwards 11-dimensional M-theory, as well as and so on. (\(E_8\) appears on boundaries of M-theory, every bit shown yesteryear HoĊ™ava as well as Witten, but is also useful to separate fluxes inwards the mass of M-theory spacetimes inwards a K-theory-like way, every bit argued yesteryear Diaconescu, Moore, as well as Witten. Note that "Witten" is inwards all these writer lists as well as so in that location could hold out roughly extra unknown dualities.) And spell no convincing theory has come upward out of it, I soundless uncovering it plausible that something similar that powerfulness hold out relevant inwards M-theory. The probability isn't every bit good high for M-theory, however, because M-theory doesn't seem to hold out "just" well-nigh the fluxes, as well as so the mass \(E_8\) shouldn't hold out plenty to parameterize all of the physical states.

But let's supervene upon \(3\) alongside \(196,883\) or \(196,884\), the dimension of the smallest nontrivial irrep of the monster grouping (perhaps addition one). You volition get\[

\frac{\ln 196,883}{8\pi G M} \approx \frac{1}{2GM}

\] The \(\pi\) canceled as well as the human face for the frequency dramatically simplified. Very generally, this overnice behaviour may heuristically atomic number 82 you lot to written report Chern-Simons-like or loop-quantum-gravity-like structures where the groups \(SU(2)\) or \(SO(3)\) or \(SL(2,\CC)\) which direct maintain 3-dimensional representations is replaced alongside the discrete, monster group.

Influenza A virus subtype H5N1 fascinating fact is that aside from this numerological observation, I've had numerous other reasons to consider Chern-Simons-like theories based on the finite, monster group. Which ones?

Well, i ground is simple. The boundary CFT of Witten's has the monster grouping every bit its global symmetry. So the monster grouping is analogous e.g. to \(SO(6)\) inwards the \({\mathcal N}=4\) supersymmetric guess theory inwards \(D=4\) which is dual to the \(AdS_5\) vacuum of type IIB string theory. Just similar the \(SO(6)\) becomes a gauge group inwards the mass gravitational theory (symmetry groups direct maintain to hold out gauged inwards quantum gravity theories; this i is a Kaluza-Klein-style local group), the monster grouping should analogously hold out viewed every bit a guess grouping inwards the \(AdS_3\) gravitational bulk.

On meridian of that, in that location are guess groups inwards \(AdS_3\) gravity. In 1988, the same Witten has showed the relationship betwixt the Chern-Simons theory as well as 3D gravity. It was a duality at the grade of precision of the 1980s although decades later, Witten told us that the duality isn't exact non-perturbatively etc. But that Chern-Simons theory replacing the fields inwards 3-dimensional gravity could hold out right inwards principle. Just the guess grouping could hold out incorrect.

Well, maybe it's plenty to supervene upon \(SL(2,\CC)\) as well as similar groups alongside the monster group.

One must sympathise what nosotros hateful yesteryear a Chern-Simons theory alongside a discrete guess grouping as well as how to piece of work alongside it. Those of us who are loop quantum gravity experts ;-) are extremely familiar alongside the spin network such as



This is how the LQG cultists imagine the construction of the 3+1-dimensional spacetime at the Planckian level. There is plainly no evidence that this is the right theory, null seems to work, null overnice happens when the 4D gravity is linked to those guess fields inwards this way, no employment or puzzle of quantum gravity is solved yesteryear these pictures. But the spin networks are soundless a cute, of import way to parameterize roughly moving ridge functionals that depend on a guess field. Well, I guess that Roger Penrose, as well as non Lee Smolin, should instruct the credit for the aspects of the spin networks that direct maintain a jeopardy to hold out relevant or right somewhere.

If you lot consider an \(SU(2)\) guess acre inwards a 3-dimensional space, you lot may calculate the "open Wilson lines", the transformations induced yesteryear the path-ordered exponential of the integral of the guess acre over roughly describe of piece of work interval. It takes values inwards the grouping itself. As an operator, it transforms every bit \(R\) according to the transformations at the initial point, \(\bar R\) according to the concluding indicate – you lot ask to alternative a reference representation where the transformations are considered. And you lot may create gauge-invariant operators yesteryear connecting these opened upward Wilson lines – whose edges are specified yesteryear a transformation – using vertices that select you lot the Clebsch-Gordan coefficients capable of connecting iii (or more) representations at the vertex.

Above, you lot come across a spin network. The edges acquit labels similar \(j=1/2\), the non-trivial irreps of \(SU(2)\). They're connected at the vertices as well as so that the add-on of the angular momentum allows the iii values of \(j\) to hold out "coupled". For \(SU(2)\), the Clebsch-Gordan coefficients are otherwise unique. Each irrep appears at most i time inwards the tensor production of whatever pair of irreps.

Now, my proposal to derive the right mass description of the \(AdS_3\) gravity is to position an \(SO(3)\) Chern-Simons-style description of the 3D gravity as well as supervene upon all the 3-dimensional representations – inwards \(SO(3)\), the half-integral spin irreps are prohibited – alongside the monster group.

In this replacement, it should hold out truthful that a bulk of the edges of the spin network acquit \(j=1\) i.e. the 3-dimensional representation. And that 3-dimensional representation is replaced alongside the \(196,883\)-dimensional i inwards the monster grouping case. Otherwise the structures should hold out analogous. I tend to believe that the relevant spin networks should hold out allowed to hold out attached to the boundary of the Anti de Sitter space, as well as thus resemble something that is called Witten's diagrams – the appearance of "Witten" seems similar roughly other coincidence hither ;-) because I don't know of goodness arguments (older than mine) relating these unlike ideas from Witten's assorted papers.

Note that the 196,883-dimensional representation is vastly smaller than the larger irreps: the side yesteryear side smallest i is 21-million-dimensional, to a greater extent than than 100 times larger. And it's also useful to come across how the tensor production of ii copies of the \(d_2=196,883\)-dimensional irrep decompose to irreps. We have:\[

d_2^2 = 2(d_5+d_4+d_1) + d_2.

\] Both sides are equal to 38,762,915,689, almost 39 billion. So the singlet appears twice, much similar the 5th as well as 4th representation. But the same 196,883-dimensional representation appears precisely i time (and the third, 21-million-dimensional i is absent). It way that there's precisely i cubic vertex that couples iii 196,883-dimensional representations. On meridian of that, because of the "two singlets" \(2d_1\) on the right mitt side above, in that location are ii ways to define the quadratic shape on ii 196,883-dimensional representation.

I recall that inwards roughly limit, the spin networks alongside the "edges 196,883" alone volition dominate, as well as the extra subtlety is that each of these edges may or may non include a "quadratic vertex" that switches us to the "less usual" singlet amidst the two. The presence or absence of this quadratic vertex could basically direct maintain the same trial every bit if in that location were ii unlike types of the 196,883-dimensional irrep, unless I immature adult woman roughly of import particular which I likely do.

Now, in that location powerfulness be a spin-network-like description of the dark hole microstates inwards \(AdS_3\) as well as the ground why it plant could hold out a relatively pocket-size variation of the proof of the approximate equivalence of the Chern-Simons theory as well as the three-dimensional full general relativity. The mass of the dark hole microstates could hold out obtained from roughly "complexity of the spin network" – roughly weighted lay out of vertices inwards the network etc. which could follow from the \(\int A\wedge F\)-style Hamiltonians.

I believe that according to roughly benchmarks, the \(AdS_3\) pure gravity vacuum should hold out the "simplest" or "most special" vacuum of quantum gravity. The guess grouping is purely discrete which is likely an exception. That's related to the consummate absence of the massless fields or excitations which is also an exception. And things simply should hold out to a greater extent than or less solvable as well as the solution could hold out a clever variation of the equivalences that direct maintain already been written inwards the literature.

If roughly deep novel conceptual principles are hacked inwards the instance of the monstrous \(AdS_3\) gravity, the remaining piece of work needed to sympathise the logic of all quantum gravity vacua could hold out every bit slow every bit a generalization of the finite group's representation theory to Lie groups as well as infinite-dimensional gauged Lie groups. Those also direct maintain irreps as well as conjugacy classes as well as the relationships betwixt those could hold out a clever version of the proof that the one-time matrix model is equivalent to gratis fermions. Such a unified regulation obeyed yesteryear all quantum gravity vacua should apply to spacetimes, globe sheets, every bit good every bit configuration spaces of effective acre theories.

No comments:

Post a Comment