Noncommutative Geometries in M-theory
description
Transcript of Noncommutative Geometries in M-theory
![Page 1: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/1.jpg)
Noncommutative Geometries in M-theory
David Berman (Queen Mary, London)Neil Copland (DAMTP, Cambridge)Boris Pioline (LPTHE, Paris)Eric Bergshoeff (RUG, Groningen)
![Page 2: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/2.jpg)
Introduction
Noncommutative geometries have a natural realisation in string theory.
M-theory is the nonperturbative description of string theory.
How does noncommutative geometry arise in M-theory?
![Page 3: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/3.jpg)
Outline
Review how noncommutative theories arise in string theory: a physical perspective.
M-theory as a theory of membranes and fivebranes. The boundary term of membrane. Its quantisation. A physical perspective. M2-M5 system and fuzzy three-spheres. The degrees of freedom of the membrane.N
32
![Page 4: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/4.jpg)
Noncommutative geometry in string theory Simplest approach: the coupling of a string to a
background two form B:
For constant B field this is a boundary term:
This is the action of the interaction of a charged particle in a magnetic field.
S =R§ dX
M ^dX N BM N
S =R@§ dtBM N X M @tX N
![Page 5: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/5.jpg)
Noncommutative geometry in string theory We quantise this action (1st order) and we
obtain:
where
Including the neglected kinetic terms
[X M ;X N ]D =µM N
µ= B ¡ 1
µ= B(1+B 2)
![Page 6: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/6.jpg)
Noncommutative geometry in string theory Therefore, the open strings see a
noncommutative space, in fact the Moyal plane. The field theory description of the low energy dynamics of open strings will then be modelled by field theory on a Moyal plane and hence the usual product will be replaced with the Moyal *product.
Lets view this another way (usefull for later) .
![Page 7: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/7.jpg)
Noncommutative geometry in string theory Instead of quantising the boundary term of
the open string consider the classical dynamics of an open string.
The boundary condition of the string in a background B field is:
This can solved to give a zero mode solution:
@¾X i +B i j@¿X j =0
X i =pi0¿ +B i j pj0¾
![Page 8: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/8.jpg)
Noncommutative geometry in string theory The string is stretched into a length:
The canonical momentum is given by:
The elogation of the string is proportional to the momentum:
¢ i =B i j pj0
P i = (@¿X i ¡ B i j@¾X j ) = (1+B2)pi0
¢ i = µi j Pj µ= B1+B 2
![Page 9: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/9.jpg)
Noncommutative geometry in string theory The interactions will be via their end points
thus in the effective field theory there will be a nonlocal interaction:
Á(x+ 12µP )Á(x ¡
12µP ) = Á¤Á
L int =Á(x+ 12¢ )Á(x ¡
12¢ )
![Page 10: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/10.jpg)
Noncommutative geometry in string theory The effective metric arises from considering
the Hamiltonian:
E =p(1+B2)p20
E =pGi j PiPj Gi j = ±i j
1+B 2
![Page 11: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/11.jpg)
M-theory
For the purposes of this talk M-theory will be a theory of Membranes and Five-branes in eleven dimensional spacetime.
A membrane may end on a five-brane just as an open string may end on a D-brane.
The background fields of eleven dimensional supergravity are C3 , a three form potential and the metric.
What happens at the boundary of a membrane when there is a constant C field present?
What is the effective theory of the five-brane?
![Page 12: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/12.jpg)
Boundary of a membrane
The membrane couples to the background three form via a pull back to the membrane world volume.
Constant C field, this becomes a boundary term:
1st order action, quantise a la Dirac(This sort of action occurs in the effective theory of
vortices; see eg. Regge, Lunde on He3 vortices).
S =R§ dX
i ^dX j ^dX kCi j k
S =R@§ X
idX j ^dX kCi j k
![Page 13: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/13.jpg)
Boundary of a membrane
Resulting bracket is for loops; the boundary of a membrane being a loop as opposed to the boundary of string being a point:
[X (¾)i ;X (~¾)j ]D = 1C±(¾¡ ~¾)@¾X k²i j k
![Page 14: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/14.jpg)
Strings to Ribbons
Look at the classical analysis of membranes in background fields.
The boundary condition of the membrane is
This can be solved by:
@½X i ¡ Ci j k@¾X j@¿X k = 0 ½=0;¼
X i =pi0¿ +ui¾+¢ i½
![Page 15: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/15.jpg)
Strings to ribbons
Where after calculating the canonical momentum
One can as before express the elongation of the boundary string as
With
Pi =Ci j k@¾X j@½X k
¢ i = µ² i j k uj P k
kuk2
µ= C1+C 2
![Page 16: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/16.jpg)
Strings to Ribbons
Thus the string opens up into a ribbon whose width is proportional to its momentum.
For thin ribbons one may model this at low energies as a string.
The membrane Hamiltonian in light cone formulation is given by:
With g being the determinant of the spatial metric, for ribbon this becomes
P ¡ =Rd¾d½1
P + (p20+g)
g= C 2
(1+C 2)2 (P2 ¡ (ui P i )2
kuk2 )
![Page 17: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/17.jpg)
Ribbons to strings
After expressing p0 in terms of P and integrating over rho the Hamiltonian becomes:
The Lagrangian density becomes
This is the Schild action of a string with tension C!
P ¡ =Rd¾ 1
P + (1+C 2) (P2+ C 2(P i ui )2
kuk2 )
L = (@¿X )2+ C 2
kuk2 fXi ;X j gfX i ;X j g
![Page 18: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/18.jpg)
Strings to matrices
For those who are familiar with matrix regularisation of the membrane one may do the same here to obtain the matrix model with light cone Hamiltonian:
P ¡ = 1P + ([A0;X i ]2+C2[X i ;X j ][X i ;X j ])
![Page 19: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/19.jpg)
Interactions
The interactions would be nonlocal in that the membranes/ribbons would interact through their boundaries and so this would lead to a deformation from the point of view of closed string interactions.
Some loop space version of the Moyal product would be required.
![Page 20: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/20.jpg)
Branes ending on branes
We have so far discussed the effective field theory on a brane in a background field.
Another interesting application of noncommutative geometry to string theory is in the description of how one brane may end on another.
![Page 21: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/21.jpg)
Description of D-branes
When there are multiple D-branes, the low energy effective description is in terms of a non-abelian (susy) field theory. Branes ending on branes may be seen as solitonic configurations of the fields in the brane theory.
![Page 22: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/22.jpg)
Branes ending on branes: k-D1, N-D3 D3 brane perspective ½ BPS solution of the
world volume theory N=1, BIon solution to
nonlinear theory, good approximation in large k limit
N>1, Monopole solution to the U(N) gauge theory
Spike geometry
D1 brane perspective ½ BPS solution of the
world volume theory Require k>1, good
approximation in large N limit.
Fuzzy funnel geometry
![Page 23: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/23.jpg)
D1 ending on a D3
D3 brane perspective
Monopole equation
D1 brane perspective
Nahm Equation
DÁ= ¤F d©i
d¾ = § i2²i j k[©
j ;©k]
![Page 24: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/24.jpg)
Nahm equation
Solution of the Nahm equation gives a fuzzy two sphere funnel:
Where
andR̂(¾) = § 1
2(¾¡ ¾1 )
©i = R̂(¾)®iN ; i = 1;2;3
[®iN ;®jN ]= 2i²i j k®kN
![Page 25: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/25.jpg)
Fuzzy Funnel
The radius of the two sphere is given by
With
Which implies
P 3i=1(®
iN )
2 = (N 2 ¡ 1)1N £ N
R(¾)2 = (2¼ls )2
N
P 3i=1Tr[©
i (¾)2]
R(¾) = N ¼̀ s¾¡ ¾1
q1¡ 1
N 2
![Page 26: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/26.jpg)
BIon Spike The BIon solution:
Agreement of the profile in the large N limit between BIon description and fuzzy funnel.
Also, agreement between spike energy per unit length; Chern Simons coupling; and fluctuations.
The Nahm Transform takes you between D1 and D3 brane descriptions of the system.
Á(r) = ¼lsNr
![Page 27: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/27.jpg)
Trivial observation on fuzzy 2-spheres Consider harmonics on a 2-sphere with
cutoff, E. Number of modes: Where k is given by:
If the radius R is given by: Then the number of modes in the large N
limit scale as:
P kl (2l +1) = (k+1)2
k(k+1)R 2 =E 2
R2 =N 2 ¡ 1
N 2
![Page 28: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/28.jpg)
M2 branes ending on M5 branes D1 ending on D3
branes BIon Spike Nahm Equation Fuzzy Funnel with a
two sphere blowing up into the D3
M2 branes ending on M5 branes
Self-dual string Basu-Harvey Equation Fuzzy Funnel with a
three sphere blowing up in to M5
![Page 29: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/29.jpg)
Self-dual string
Solution to the ½ BPS equation on the M5 brane,
BIon like spike gives the membrane
H = ¤dÁ
Á(r) = cNr 2
![Page 30: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/30.jpg)
Basu-Harvey equation
Where
And G5 is a certain constant matrix
Conjectured to be the equivalent to the Nahm equation for the M2-M5 system
dX i
ds + M 311
8¼p2N
14!²i j kl[G5;X j ;X k;X l ]= 0
[X 1;X 2;X 3;X 4]=P
perms ¾sign(¾)[X¾(1);X ¾(2);X ¾(3);X ¾(4)]
![Page 31: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/31.jpg)
Fuzzy funnel Solution
Solution:
Where Gi obeys the equation of a fuzzy
3-sphere
X i (s) = ip2¼
M3211
1psG
i
Gi + 12(n+2) ²i j klG5GjGkGl =0
![Page 32: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/32.jpg)
Properties of the solution
The physical radius is given by
Which yields
Agreeing with the self-dual string solution
R =
s ¯¯¯¯T rP
(X i )2
T r1
¯¯¯¯
s » NR 2
![Page 33: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/33.jpg)
From a Hamiltonian
Consider the energy functional
Bogmolnyi type construction yields
E = T22
Rd2¾Tr
³X i0X i0 ¡ 1
3![Xj ;X k;X l][X j ;X k;X l]
´
E = T22
Rd2¾
½Tr
³X i0+gi j kl 14![H
¤;X j ;X k;X l]´2
+T¾
T = ¡ T2Rd2¾Tr
³gi j klX i0 1
4![H¤;X j ;X k;X l]
´
![Page 34: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/34.jpg)
From a Hamiltonian
For more than 4 active scalars also require:
H must have the properties:
For four scalars one recovers B-H equation and H=G5
13!gi j klgipqrTr
¡[X j ;X k;X l][X p;X q;X r ]
¢= Tr
¡[X i ;X j ;X k][X i ;X j ;X k]
¢
fH ¤;X ig= 0 H ¤2 =1
![Page 35: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/35.jpg)
Properties of this solution
Just as for the D1 D3 system the fluctuation spectra matches and the tension matches.
There is no equivalent of the Nahm transform.
The membrane theory it is derived from is not understood.
![Page 36: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/36.jpg)
Questions???
Can the B-H equation be used to describe more than the M2 ending on a single M5?
How do the properties of fuzzy spheres relate to the properties of nonabelian membranes?
What is the relation between the B-H equation and the Nahm equation?
Supersymmetry??? How many degrees of freedom are there on
the membrane?
![Page 37: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/37.jpg)
M-theory Calibrations
Configurations with less supersymmetry that correspond to intersecting M5 and M2 branes
Classified by the calibration that may be used to prove that they are minimal surfaces
Goal: Have the M2 branes blow up into generic M-theory calibrations
![Page 38: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/38.jpg)
M-theory Calibrations
Planar five-brane
M5: 1 2 3 4 5M 2: 1 #
g2345 = 1 º = 1=2
X 20= ¡ H ¤[X 3;X 4;X 5] ; X 30=H ¤[X 4;X 5;X 2] ;
X 40= ¡ H ¤[X 5;X 2;X 3] ; X 50=H ¤[X 2;X 3;X 4] :
![Page 39: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/39.jpg)
M-theory CalibrationsIntersecting five branes
M5: 1 2 3 4 5M 5: 1 2 3 6 7M 2: 1 #
g2345 =g2367 = 1 º = 1=4
X 20= ¡ H ¤[X 3;X 4;X 5]¡ H ¤[X 3;X 6;X 7] ; X 30=H ¤[X 4;X 5;X 2]+H ¤[X 6;X 7;X 2] ;
X 40= ¡ H ¤[X 5;X 2;X 3] ; X 50=H ¤[X 2;X 3;X 4] ;
X 60= ¡ H ¤[X 7;X 2;X 3] ; X 70=H ¤[X 2;X 3;X 6] ;
[X 2;X 4;X 6]= [X 2;X 5;X 7] ; [X 2;X 5;X 6]= ¡ [X 2;X 4;X 7] ;
[X 3;X 4;X 6]= [X 3;X 5;X 7] ; [X 3;X 5;X 6]= ¡ [X 3;X 4;X 7];
[X 4;X 5;X 6]= [X 4;X 5;X 7] = [X 4;X 6;X 7]= [X 5;X 6;X 7]= 0:
![Page 40: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/40.jpg)
M-theory Calibrations
Intersecting five branes
M5: 1 2 3 4 5M 5: 1 2 3 6 7M 5: 1 2 3 8 9M 2: 1 #
g2345 = g2367 =g2389 =1 º = 1=8
![Page 41: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/41.jpg)
M-theory CalibrationsX 20= ¡ H ¤[X 3;X 4;X 5] ¡ H ¤[X 3;X 6;X 7]¡ H ¤[X 3;X 8;X 9];
X 30=H ¤[X 4;X 5;X 2] + H ¤[X 6;X 7;X 2]+H ¤[X 8;X 9;X 2] ;
X 40= ¡ H ¤[X 5;X 2;X 3] ; X 50=H ¤[X 2;X 3;X 4] ;
X 60= ¡ H ¤[X 7;X 2;X 3] ; X 70=H ¤[X 2;X 3;X 6] ;
X 80= ¡ H ¤[X 9;X 2;X 3] ; X 90=H ¤[X 2;X 3;X 8] ;
[X 2;X 4;X 6]= [X 2;X 5;X 7] ; [X 2;X 5;X 6]= ¡ [X 2;X 4;X 7];
[X 2;X 4;X 8]= [X 2;X 5;X 9] ; [X 2;X 5;X 8]= ¡ [X 2;X 4;X 9] ;
[X 2;X 6;X 8]= [X 2;X 7;X 9] ; [X 2;X 7;X 8]= ¡ [X 2;X 6;X 9];
[X 3;X 4;X 6]= [X 3;X 5;X 7] ; [X 3;X 5;X 6]= ¡ [X 3;X 4;X 7];
[X 3;X 4;X 8]= [X 3;X 5;X 9] ; [X 3;X 5;X 8]= ¡ [X 3;X 4;X 9] ;
[X 3;X 6;X 8]= [X 3;X 7;X 9] ; [X 3;X 7;X 8]= ¡ [X 3;X 6;X 9];
[X 4;X 5;X 6]+ [X 6;X 8;X 9]= 0 ; [X 4;X 5;X 7]+ [X 7;X 8;X 9]= 0 ;
[X 4;X 5;X 8]+ [X 6;X 7;X 8]= 0 ; [X 4;X 5;X 9]+ [X 6;X 7;X 9]= 0 ;
[X 4;X 6;X 7]+ [X 4;X 8;X 9]= 0 ; [X 5;X 6;X 7]+ [X 5;X 8;X 9]= 0 ;
[X 4;X 6;X 8]= [X 4;X 7;X 9] + [X 5;X 6;X 9]+ [X 5;X 7;X 8] ;
[X 5;X 7;X 9]= [X 5;X 6;X 8] + [X 4;X 7;X 8]+ [X 4;X 6;X 9] :
![Page 42: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/42.jpg)
M-theory Calibrations
M5: 1 2 3 4 5M 5: 1 2 3 6 7M 5: 1 4 5 6 7M 2: 1 #
g2345 = g2367 =g4567 =1 º = 1=8
![Page 43: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/43.jpg)
M-theory Calibrations
M5: 1 2 3 4 5M 5: 1 2 4 6 8¹M 5: 1 2 3 6 7M 5: 1 2 5 7 8M 2: 1 #
g2345 =g2468 = ¡ g2367 = g2578 =1 º = 1=8
![Page 44: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/44.jpg)
The solutions For example, two intersecting 5-branes
This is a trivial superposition of the basic B-H solution.
There are more solutions to these equations corresponding to nonflat solutions.
![Page 45: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/45.jpg)
Calibrations
It is the calibration form g that goes into the generalised B-H equation.
Fuzzy funnels can successfully described all sorts of five-brane configurations.
Interesting to search for and understand the non-diagonal solutions.
![Page 46: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/46.jpg)
Fuzzy Funnel description of membranes We have seen a somewhat ad hoc
description of membranes ending on five-brane configurations. Is there any further indication that this approach may have more merit??
Back to the basic M2 ending on an M5. The basic equation is that of a fuzzy 3-sphere.
How many degrees of freedom are there on a fuzzy three sphere?
![Page 47: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/47.jpg)
Fuzzy Three Sphere
Again consider the number of modes of a three sphere with a fixed UV cut-off
Number of modes scales as k^3 (large k limit) k is given by R is given by Number of Modes
k2 =E 2R2
R =pN
N 3=2
![Page 48: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/48.jpg)
Non-Abelian Membranes
This recovers (surprisingly) the well known N dependence of the non-Abelian membrane theory (in the large N limit).
The matrices in the action were originally just any NxN matrices but the solutions yielded a representation of the fuzzy three sphere.
Other fuzzy three sphere properties:
1. The algebra of a fuzzy three sphere is nonassociative.
2. The associativity is recovered in the large N limit.
![Page 49: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/49.jpg)
Relation to the Nahm Equation To relate the Basu-Harvey equation to the
Nahm equation we do this by introducing a projection.
Projection P should project out G4 and then the remaining projected matrices obey the Nahm equation.
Consider:
P = 1=2(1+ i¡ 4¡ 5)
![Page 50: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/50.jpg)
Projecting to Nahm
Properties:
P 2 = P P ¡ 4P = P ¡ 5P = 0 P ¡ aP = ¡ a a= 1::3
P ¡ 4¡ 5P = incP
![Page 51: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/51.jpg)
Apply to Basu-Harvey
Project the Basu-Harvey equation
Case i=4, the equation vanishes
Case i=1,2,3 then one recovers the Nahm equation
P (dXi
ds + M 311
8¼p2N
14!²i j kl[G5;X j ;X k;X l])P = 0
![Page 52: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/52.jpg)
Projected Basu-Harvey equation Provided:
Giving (in the large N limit)
X 4 = 32¼R 11G4
3c
dX a
d¾ + i2®0²abc[X b;X c]= 0
![Page 53: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/53.jpg)
Discussion
Ad hoc attempts to generalise the Nahm equation have lead to interesting conjectures for the non-Abelian membrane theory.
Successes include the incorporation of calibrations corresponding to various fivebrane intersections. The geometric profile, fluctuations and tensions match known results.
The relation to the Nahm equation is through a projection (a bit different to the usual dimensional reduction.
A key note of interest is the interpretation of the degrees of freedom of the membrane as coming from the fuzzy thee sphere.
N 3=2
![Page 54: Noncommutative Geometries in M-theory](https://reader035.fdocuments.net/reader035/viewer/2022062305/5681494c550346895db69b27/html5/thumbnails/54.jpg)
Conclusions
Noncommutative geometry arises naturally in the effective theory of strings- Moyal plane, fuzzy 2-sphere etc.
M-theory is the nonperturbative version of string theory.
It seems to require generalisations of these ideas to more exotic geometries.
eg. Noncommutative loop spaces, deformed string interactions, fuzzy three spheres, the encoding nonabelian degrees of freedom.