symmetries and fundamental forces · and lie groups/lie algebras. lie groups are continuous groups...
TRANSCRIPT
SYMMETRIES AND FUNDAMENTALFORCES
Marc Henneaux – Sciences Appliquées ULB –15 février 2007
2
There exist four fundamental forces interms of which on can describe all theinteractions among matter constitutents:- the gravitational force;- the electromagnetic force;- the strong nuclear force;- the weak nuclear force.
3
We understand rather well theelectromagnetic and the nuclear (strongand weak) forces.
However the remaining force, gravity,remains a puzzle in spite of theremarkable works by giants such asNewton, Einstein …
4
Symmetry as one of the « thematic melodies »(C.N. Yang) of 20th century physics
Principles of symmetry have invadedtheoretical physics and underline thedescription of all fundamental forces.
This is one of the important lessons of20th century physics.
5
Need for a new type of symmetry
Finite-dimensional symmetries underlie the non-gravitational interactions.
There are many indications that a deeper understandingof gravity requires infinite-dimensional symmetries,about which very little is understood (frontiersresearch).
6
Purpose of colloquium
Explain this statement; Give an idea of what the new structures
look like; Give a sense of the beauty of physics.
7
Outline
What is symmetry? The language of symmetry: group theory Symmetry and physics Mathematical exploration: Coxeter groups
and Kac-Moody algebras Gravity and E10
Conclusions
8
Beauty in physics
« … Einstein was quiteconvinced that beauty was aguiding principle in the searchfor important results intheoretical physics. »
H. Bondi
9
« The search for beauty inphysics was a theme that ranthroughout Dirac’s work andindeed through much of thehistory of modern physics »
S. Weinberg
10
11
What is « symmetry »?
A symmetry principleis a statement thatsomething looks thesame from differentpoints of view; or,equivalently, isinvariant under someset oftransformations.
Example: right-left(bilateral) symmetry
12
s2 = 1
Reflections
Reflection in a line
in a plane
13
Left-right symmetry = invariance under areflection
14
Group theory is the mathematicallanguage for describing symmetries
A group is a set of elements (transformations) whichcan be composed to produce a new element of thegroup (called the product), with the following properties- Associativity (a • b) • c = a • (b• c)- Existence of a neutral element e such that e • a = a =a • e-- Existence of an inverse a-1 for each element a suchthat a • a-1 = e = a-1 • a
15
Michael AtiyahBorn 1929, LondonOrigin: Lebanese & Scottish
Fields Medal 1966 in Moscow Abel Prize 2004
(d’après Buekenhout)
16
Languages start off with a primitive vocabulary and rules but,in response to more complex needs, they develop and becomecapable of expressing more refined ideas. It is a long roadfrom the language of the cave-man to the plays ofShakespeare. Mathematics has developed in a similar way inresponse to the changing needs of science.
… If language is the distinguishing feature of homo sapiensthen mathematics is the distinguishing feature of homoscientificus!
17
The symmetry of a figure is completelycaptured by the group of transformationsthat leaves the figure invariant(« symmetry group »).
18
s2 = 1
Symmetry group forbilateral symmetry
Group is {e,s} = Z2 where e is the identity transformation
Reflection in a line (hyperplane)
19
Other examples
Finite groups (reflectionsand rotations)
20
Other examples (continued)
Infinite (discrete) groups
Note: rotations and translations canbe written as products ofreflections
21
At the frontiers ofmathematics
Previous finite or infinite groups aresubgroups of isometries of Euclideantypes and are well understood.
(Discrete) infinite groups of more generaltypes is an active research area inmathematics.
22
Other examples (continued)
Infinite (continuous)group of symmetry,called O(3)
Depends on 3parameters: 2 tocharacterize the axisand one for theangle of rotation
Finite dimension (3)
23
Other examples (continued)
- Rotation groups SO(n) in higher dimensions- Unitary groups U(n) and special unitary groups SU(n)- Symplectic groups- Exceptional groups E8, E7, E6, F4, G2
- SU(3) X SU(2) X U(1)
All of finite dimensions
24
Unexplored territory
The study of infinite-dimensional groupsis again a subject at the frontiers ofcurrent mathematical research … thissubject appears to be what is needed fora complete understandng of gravity.
25
Symmetry and physics
Crystallography Einstein and special relativity (Lorentz
group – Poincaré - Minkoswki) Noether theorem – symmetries and
conserved quantities Quantum mechanics
26
With the development of quantum mechanics,symmetry gradually became the main thematicmelody (1927-1970)
atomic, molecular physics
nuclear physics
elementary particle physics
27
Periodic table and SO(3)(d’après Yang)
28
Dimensions ofrepresentations of SO3are
1, 3, 5 etc.
29
These numbers are related to thestructure of the periodic table.
2 = 2 x (1)8 = 2 x (1+3)18=2 x (1+3+5)
30
Symmetry (and group theory) has alsoinvaded elementary particle physics.
Classification of elementary particles.
31
Symmetry DictatesInteraction
Symmetry andfundamental forces
32
Electromagnestism(Weyl, Yang, Mills)
Quantum mechanics is invariant undermultiplication of the wave function by anarbitrary constant phase.
Invariance under multiplication by anarbitrary, spacetime dependent phase,requires electromagnetism.
33
(Gauge) Invariance under local SU(3) XSU(2) X U(1) « explains » all nongravitational forces.
Invariance under arbitrarydiffeomorphisms « explains » Einsteingravity.
34
However, Einstein gravity (general relativity), inspite of its beauty and remarkable successes,cannot be the final formulation of thegravitational force: it appears to beincompatible with quantum mechanics.
We do not know yet the ultimate theory ofgravity.
35
Candidate for a more fundamentalformulation of gravity: string « theory » =« M-theory »
But we do not know what is string, or M-theory!
In particular:
36
What are the underlyingsymmetries of M-theory?
37
Appropriate language
There are indications that infinite Coxetergroups and infinite-dimensional Kac-Moody groups might capture (some of)the symmetries of a more fundamentalformulation of gravity.
38
Coxeter Groups
39
Dihedral groups
I2(3), order 6 I2(4), order 8 I2(5), order 10
etc …
I2(6), order 12
12
3
(s1)2=1,
(s2)2=1,
(s1s2)p = 1(fundamental domain in red)
{3}
12
3
4
{4}
12
3
4
5
{5}
12
3
4
56
{6}
40
Coxeter GroupsThe previous groups are examples of Coxeter groups: these are (bydefinition) generated by a finite set of reflections si obeying therelations:
(si)2 = 1;(sisj)mij = 1
with mij = mji positive integers (=1 for i = j and >1 for different i,j’s)
Notation: (s r)p = 1angles between reflection axes: π/p
no line if p = 2
p not written when it is equal to 3
(2 lines if p = 4, 3 lines if p = 6)
ps r
41
Crystallographic dihedral groups
p = 3, 4, 6A2
B2 – C2
G2
643N
1286|G|
G2B2/C2A2
Hexagonal lattice
Square lattice
|G| = group order
N = number of reflections
42
THE FIVE PLATONIC SOLIDS
Dodecahedron {5,3}Icosahedron {3,5}
Cube {4,3}Octahedron {3,4}
Tetrahedron {3,3}
http://home.teleport.com/~tpgettys/platonic.shtml
43
Symmetries of Platonic Solids
15120Icosahedronanddodecahedron
948Cube andoctahedron
624Tetrahedron
N|G|
A3
B3/C3
5
H3
G is in all cases a Coxeter group{s1, s2, s3}; (si)2 = 1; (sisj)mij = 1; mij = 2,3,4,5 (i different from j)
H3 is not crystallographic
44
List of Finite Reflection Groups(= Finite Coxeter Groups)
6014400H4
15120H3
612G2
2427 32F4
120214 35 52
7E8
63210 34 57
E7
3627 34 5E6
n(n-1)2n-1 n!Dn
n22n n!Bn/Cn
n(n+1)/2(n+1)!An
N|G|
Coxeter graphs of finite Coxeter groups(source: J.E. Humphreys, Reflection Groups andCoxeter Groups, Cambridge University Press 1990)
45
Affine Reflection GroupsIn previous cases, the hyperplanes ofreflection contain the origin and thusleave the unit sphere invariant(« spherical case »)
46
One can relax this condition andconsider reflections aboutarbitrary hyperplanes inEuclidean space (« affine case »).
47
Regular tilings of the plane
48
Classification of affineCoxeter groups
Coxeter graphs of affine Coxeter groups(source: J.E. Humphreys, Reflection Groups andCoxeter Groups, Cambridge University Press 1990)
Remarks
• Affine Coxeter Groups areinfinite
• Fundamental region is anEuclidean simplex
49
Hyperbolic Reflection Groups
One can also consider reflection groups inhyperbolic space.
These groups are also infinite.
50
Tilings of the hyperbolic plane
http://www.hadron.org/~hatch/HyperbolicTesselations/
51
Circle-limits (M.C. Escher)
52
Classification
Hyperbolic simplex reflection groups exist only in hyperbolic spacesof dimension < 10. In the maximum dimension 9, the groups are generatedby 10 reflections. There are three possibilities, all of which are relevant toM-theory . (See e.g. Humphreys, Reflection Groups and Coxeter Groups, for the complete list.). Understanding the properties of these groups is a challenge.
E10
BE10 – CE10
DE10
53
Infinite-dimensionalSymmetry Groups
54
Crystallographic Coxeter Groups and Kac-Moody Algebras
There is an intimate connection between crystallographic Coxeter groups and Lie groups/Lie algebras.
Lie groups are continuous groups (e.g. SO(3)). The ones usually met inphysics so far are finite-dimensional (depend on a finite number of continuousparameters). A great mathematical achievement has been the completeclassification of all finite-dimensional, simple Lie groups (Lie algebras arethe vector spaces of « infinitesimal transformations »).
55
56
Example: unitary symmetry and permutation group.
The Coxeter group An is isomorphic to the permutation group Sn+1 of n+1 objects.
Consider the group SU(n+1) of (n+1)-dimensional unitary matrices (of unit determinant).
SU(n+1) acts on itself:
U U’= M* U M
(unitary change of basis, adjoint action)
By a change of basis, one can diagonalize U (« U is conjugate to an element in the Cartansubalgebra »). The Weyl = Coxeter group An is what is left of the original unitary symmetryonce U has been diagonalized since the diagonal form of U is determined up to a permutationof the n+1 eigenvalues.
In particular: Z2 and SO(3)
The connection between crystallographic finite Coxeter groups and finite-dimensionalsimple Lie algebras is that the Coxeter groups are the « Weyl groups » of the Lie algebras.
57
Infinite Coxeter groups
The same connection holds for infinite Coxeter groups; but in that casethe corresponding Lie group is infinite-dimensional and of the Kac-Moodytype.
Infinite-dimensional Lie groups (i.e., infinite-dimensional symmetries)are playing an increasingly important role in physics. In the gravitationalcase, the relevant Kac-Moody groups are of hyperbolic or Lorentziantype (beyond the affine case).
These groups are unfortunately still poorly understood.
58
Infinite Coxeter groups of hyperbolictype emerge when one investigates thedynamics of gravity in extremesituations. For M-theory, it is E10 thatis relevant.
59
The dynamics of gravitationaltheories can be mappedon billiard dynamics in someregion of hyperbolic space.
Furthermore, the billiard regionis the fundamental region of ahyperbolic Coxeter group(the reflections against thewalls being the fundamentalreflections generating thegroup).
Billiard description
60
Examples
Pure gravity in 4 spacetimeDimensions.
The billiard is a trianglewith angles π/2, π/3 and 0,corresponding to theCoxeter group (2,3, infinity).
The triangle is the fundamentalregion of the group PGL(2,Z).
61
M-theory and E10
Truncation to 11-dimensional supergravity
Billiard is fundamental Weyl chamber ofE10
Is E10 the symmetry algebra (or a subalgebra of the symmetryalgebra) of M-theory? (perhaps E10(Z), E11, E11(Z))
Heterotic string: BE10Bosonic string DE10
62
We do not know!
We do not know enough about E10.
We do not know enough about M-theory.
Active area of research where physics andmathematics meet.
63
Conclusions
• Gravity remains the most mysterious of all the fundamentalinteractions.
• There are indications that infinite-dimensional Lie groups related tohyperbolic structures will be crucial ingredients for a deeperunderstanding of gravity (characteristic feature of gravity).
• Progress will require advances on both mathematical and physicalfronts.
• Ideas of symmetries will continue to pervade theoretical physics inthe years to come.
64
To those who do not know mathematics, it is difficult to get acrossa real feeling as to the beauty of nature … if you want to learnabout nature, to appreciate nature, it is necessary to understandthe language that she speaks in.
R. Feynman
65
« Philosophy is written in this grand book of the Universe which stands continually open to ourgaze. But we cannot read it without having first learnt the language and the characters in whichit is written. It is written in the language of mathematics and the characters are triangles, circlesand other geometrical shapes without the means of which it is humanly impossible to deciphera single word; without these we are wandering in vain through a dark labyrinth. »
« La filosofia è scritta in questo grandissimo libro che continuamente ci sta aperto innanzi agli occhi (io dico l'universo) ma non si può intender se prima non s'impara a intender la linguae conoscere i caratteri ne' quali è scritto. Egli è scritto in lingua matematica e i caratteri sonotriangoli, cerchi, ed altre figure geometriche senza i quali mezi è impossibile a intenderneumanamente parola; senza questi è un aggirarsi vanamente per un oscuro laberinto. »
Galileo Galilei, Il Saggiatore (1623)