lectures on group theory for supergravity and brane theoristscartan-weyl basis of a complex lie...
TRANSCRIPT
Pietro Frè University of Torino & Embassy of Italy in
the Russian Federation
Lectures on Group Theory for Supergravity and Brane Theorists
1 LACES 2016
Pietro Frè
Overview We illustrate Group Theory from the stand-point of a
Supergravity Theorist. These lectures deal only with mathematics and no supergravity
is actually discussed, yet the chosen topics are motivated by Supergravity/Brane Theory.
We deal with both finite and Lie groups in the perspective of their role in differential and complex algebraic geometry.
We emphasize geometrical/group theoretical structures and conceptions that have been motivated and uncovered by supergravity.
We aim at conveying the following message: geometry and groups are fundamental items in brane theories, AdS/CFT and supergravity. Not only: these physical theories have introduced new visions and conceptions in Geometry and this last aspect might turn out to be the most important and durable contribution of Supersymmetry to Science in general.
2 LACES 2016
Pietro Frè
Finite Group Theory Some elements of a theory which is quite old, usually not too much studied by high energy physicists, yet of growing relevance in the supergraivty/brane world
3 LACES 2016
Pietro Frè
Recalling some fundamental notions
4 LACES 2016
Pietro Frè
Order of elements and conjugacy classes
Ga∈ eah = h = order of a
5 LACES 2016
Pietro Frè
Still a few more general concepts
6 LACES 2016
Pietro Frè
Solvable Groups, Simple Groups
The definition requires that the group G should act on the group K as a transformation group.
7 LACES 2016
Pietro Frè
Linear Representations
In other words
8 LACES 2016
Pietro Frè
Reducible Representations
9 LACES 2016
Pietro Frè
Schurs’s Lemmas
10 LACES 2016
Pietro Frè
Characters
11 LACES 2016
Pietro Frè
Character orthogonality relations
12 LACES 2016
Pietro Frè
Example: the octahedral Group
There are 24 rotations of three dimensional space that map the octahedral into itself. They form a group O24 that consists of 5 conjugacy classes displayed above.
13 LACES 2016
Pietro Frè
Structure of the octahedral group
The group O24 is solvable
14 LACES 2016
Pietro Frè
Irreps of O24
χ2
15 LACES 2016
Pietro Frè
Irreps of O24 continued
16 LACES 2016
Pietro Frè
Character table of the octahedral group
17 LACES 2016
Pietro Frè
Crystallographic Groups
Lattice
18 LACES 2016
Pietro Frè
The ADE classification of SU(2) finite subgroups The problem of classifying finite rotation groups is Plato’s problem of regular solids. This problem is isomorphic to the classification of simple Lie algebras, of modular invariant CFTs, of Arnold simple singularities and of ALE manifolds, namely of gravitational instantons. It is one of the most profound items in the whole field of Mathematics and admits generalizations under the name of McKay correspondence. It plays an important role in supergravirty and AdS/CFT theories, also in modern algebraic geometry.
19 LACES 2016
Pietro Frè
SO(3) & SU(2) finite subgroups: preliminaries
Homomorphism SU(2) into SO(3)
where
Every rotation has an axis
We consider the preimage of the rotation in SU(2)
20 LACES 2016
Pietro Frè
Every SU(2) element has two poles
∃Poles of
21 LACES 2016
Pietro Frè
Formulating the argument Poles are equivalent if they are mapped one into the other by the group H
Equivalence classes
Stability subgroups of the classes
22 LACES 2016
Pietro Frè
The Diophantine inequality
Since
Only two cases
23 LACES 2016
Pietro Frè
The A solutions
24 LACES 2016
Pietro Frè
Structure of the DE solutions
There are in Γ elements of order at most of three different types
25 LACES 2016
Pietro Frè
D-solutions
26 LACES 2016
Pietro Frè
The E-solutions
1. Tetrahedral 2. Octahedral 3. Icosahedral
27 LACES 2016
Pietro Frè
The ADE classification
28 LACES 2016
Pietro Frè
The classification of simple Lie algebras The classification of semisimple Lie algebras is based on root spaces and Dynkin diagrams. Dynkin-Cartan theory, in all of its aspects, is of crucial relevance in many directions of Mathematical Physics and it is absolutely essential in Supergravity and Brane Theories.
Sophus Lie Felix Klein Wilhelm Killing Elie Cartan Eugenio Levi
29 LACES 2016
Pietro Frè
Cartan-Weyl basis of a complex Lie algebra
Cartan Killing metric
∆ is a finite collection of vectors in a r-dimensional Euclidian space
The elements α 2 ∆ are named the roots
The generators Hi span the Cartan subalgebra CSA (maximal abelian whose adjoint action is diagonalizable). The dimension r of the CSA is named the rank
Hermann Weyl
30 LACES 2016
Pietro Frè
Axiomatization of Root Systems
31 LACES 2016
Pietro Frè
Simply laced Lie algebras
Non simply laced Lie algebras
32 LACES 2016
Pietro Frè
Simple roots
33 LACES 2016
Pietro Frè
Weyl Group and Cartan matrix
34 LACES 2016
Pietro Frè
Coxeter-Dynkin diagrams Simple roots
# of lines joining αi with αj Coxeter graphs
Eugene Dynkin Harold Coxeter
35 LACES 2016
Pietro Frè
Dynkin diagrams Add an arrow
36 LACES 2016
Pietro Frè
Classification Theorem The possible Dynkin diagram and hence the simple complex Lie algebras are given by the following infinite series
37 LACES 2016
Pietro Frè
or by these 5 exceptional cases
38 LACES 2016
Pietro Frè
The ADE classification of simply laced Lie algebras
Elaborating the consequences of the axioms one reduces possible simply laced diagrams to the form on the right and finds the diophantine inequality
39 LACES 2016
Pietro Frè
Identification of the Classical Lie Algebras
Ar = SL(r+1,C) Br = SO(2r+1,C) Cr = Sp(2r,C) Dr = SO(2r,C)
40 LACES 2016
Pietro Frè
The weight lattice and linear representations
Fundamental weights
For any representation Γ of the Lie Algebra
41 LACES 2016
Pietro Frè
Weigths of a representations
Dirac notation (bra and kets)
One fundamental result of Weyl. The weights of a representation belong to the weight lattice.
42 LACES 2016
Pietro Frè
Another fundamental result of Weyl
Utilizing these two theorems the construction of all the weights of a representation can be easily encoded into an iterative computer algorithm starting from a highest weight
43 LACES 2016
Pietro Frè
Highest weight representations
44 LACES 2016
Pietro Frè
Example with A2
45 LACES 2016
Pietro Frè
The Weyl group
The complex Lie algebra SL(3,C) is provided by all 3£ 3 matrices that are traceless. The CSA is given by the diagonal set of traceless matrices.
The Weyl group of A2 is isomorphic to the permutation group of three objects S3
46 LACES 2016
Pietro Frè
The fundamental weights
The Weyl chamber
47 LACES 2016
Pietro Frè
Weights of the defining triplet representation
Matrices of the representation
48 LACES 2016
Pietro Frè
Weights of the adjoint representation, namely the roots
The root lattice is always sublattice of the weight lattice!
The highest root is the highest weight of the adjoint representation!
49 LACES 2016
Pietro Frè
Weights of the 15-dim rep.
This provides a more complicated, less trivial example
50 LACES 2016
Pietro Frè
Correspondence with Young tableaux and tensors
The reason why certain weights have multiplicity >1 is that there is more than one inequivalent way to fill the boxes of the corresponding Young tableau
51 LACES 2016
Pietro Frè
The Golden Splitting Supergravity has put into evidence some intrinsic properties of Lie Algebras that are purely mathematical yet obtain their proper interpretation only within the framework of those geometries that are well-adapted to supersymmetric field theories. One of these hidden jewels is the golden splitting that is the Lie algebra seed of the c-map
52 LACES 2016
Pietro Frè
53 LACES 2016
Pietro Frè
54 LACES 2016
Pietro Frè
Theory of Coset Manifolds A fundamental item in Supergravity and in many other branches of Physics. The classification of symmetric coset manifolds was the monumental work of Elie Cartan. Such a classification is also a classification of Real-Forms of the complex Lie algebras and contains the seeds of the Tits Satake projection, a very fundamental item in the applications of coset manifolds to Supergravity.
55 LACES 2016
Pietro Frè
Coset Manifolds
Decomposition of the Lie algebra
If The coset is reductive
Symmetric space
Basis of generators of the Lie algebra
All the geometric properties of the manifold are essentially encoded in the structure constants
56 LACES 2016
Pietro Frè
The structure of isometries
Killing vector fields on G/H
57 LACES 2016
Pietro Frè
An example: the hyperbolic hyperplane
For Standard parameterization of the coset
58 LACES 2016
Pietro Frè
Spheres or Hyperplanes
59 LACES 2016
Pietro Frè
The decomposition of the Lie algebra and the Killing vector field
60 LACES 2016
Pietro Frè
G is an H-bundle
Cartan Maurer forms
G is an H-bundle on G/H
61 LACES 2016
Pietro Frè
G/H as (pseudo)-Riemannian manifolds
62 LACES 2016
Pietro Frè
rank of the coset manifold
If rank=1
The spin connection uniquely determined
In any case
63 LACES 2016
Pietro Frè
The Riemann tensor
64 LACES 2016
Pietro Frè
Example (spheres or pseudo-spheres)
65 LACES 2016
Pietro Frè
Real sections and non-compact cosets
66 LACES 2016
Pietro Frè
Two extremal real sections
67 LACES 2016
Pietro Frè
Classification of real sections
STEP ONE
68 LACES 2016
Pietro Frè
From involution a new Lie algebra
The compact CSA is mapped into itself
69 LACES 2016
Pietro Frè
real sections and simple roots
Tits Satake diagrams
1
70 LACES 2016
Pietro Frè
All non compact cosets are normal 1
For maximally split real sections
71 LACES 2016
Pietro Frè
Kaehler Geometry and Hypergeometry Lie Group Theory is inextricably entangled with Differential Geometry. One of the most important and durable contributions of Supergravity to Science is encoded in the new geometrical structures that it has introduced or better clarified and developed. Kaehler, Hodge-Kaehler, Special Kaehler HyperKaehler and Quaternionic Kaehler manifolds are all advocated by and integrated into the fabrics of Supergravity
72 LACES 2016
Pietro Frè
Complex Manifolds
in a
Locally we can introduce complex coordinates
The question is whether we can do that globally
73 LACES 2016
Pietro Frè
Holomorphic transition functions
We can establish a global complex structure if J is integrable. This requires
where the following is the Nienjuis tensor that should vanish
74 LACES 2016
Pietro Frè
75 LACES 2016
Pietro Frè
Connections on holomorphic bundles
76 LACES 2016
Pietro Frè
Connections are simpler on holomorphic bundles than in real geometry
Levi Civita connection
Curvature 2-form
77 LACES 2016
Pietro Frè
For the Levi Civita case we have
78 LACES 2016
Pietro Frè
Kaehler metrics
Hermitian metric
Kaehler 2-form
A hermitian metric is of the form:
A hermitian metric is Kaehler iff the Kaehler 2-form is closed
79 LACES 2016
Pietro Frè
Kaehler potential dK=0
gives rise to the same metric
N=1 supersymmetry requires that the scalar fields in the scalar multiplets should be the coordinates of a Kaehler manifold!
80 LACES 2016
Pietro Frè
Hypergeometry
81 LACES 2016
Pietro Frè
HyperKaehler and Quaternionic
82 LACES 2016
Pietro Frè
Triplet of Kaehler 2-forms
HyperKaehler
Quaternionic Kaehler
In the HyperKaehler case we can choose a frame where the three 2-forms are closed
83 LACES 2016
Pietro Frè
Holonomy restrictions
Formalism for hypergeometry
84 LACES 2016
Pietro Frè
Structure of the curvature 2-form
symplectic curvature
quaternionic algebra of the Kaehler forms
85 LACES 2016
Pietro Frè
Moment Maps Moment maps were born in hamiltonian mechanics but play a distinguished essential role in supersymmetric theories being essential building blocks of the Lagrangian and of the scalar potential. The use of moment-maps in supersymmetric field theories provided the framework of Kaehler and HyperKaehler quotient, one of the most prolific directions in modern differential and algebraic geometry. They are also essential items in the AdS/CFT correspondence.
86 LACES 2016
Pietro Frè
Moment Maps
87 LACES 2016
Pietro Frè
Moment maps of holomorphic Killing vector fields
Moment map
88 LACES 2016
Pietro Frè
In a more intrinsic language
89 LACES 2016
Pietro Frè
Poisson bracket
If
90 LACES 2016
Pietro Frè
Final form of the moment map
91 LACES 2016
Pietro Frè
Triholomorphic moment maps
HyperKaehler
Quaternionic Kaehler
92 LACES 2016
Pietro Frè
Triholomorphic Equivariance Equivariance
HyperKaehler
Quaternionic
93 LACES 2016
Pietro Frè
Special Geometry Special Kaehler Geometry is an entire new chapter of complex geometry created by supergravity with profound relations with the deformation theory of complex structures and Kaehler structures of Calabi-Yau three-folds. It also provides new visions on symmetric spaces and their structures.
94 LACES 2016
Pietro Frè
Hodge Kaehler manifolds
A
95 LACES 2016
Pietro Frè
Connection on the line bundle
96 LACES 2016
Pietro Frè
Special Kaehler manifolds
1
97 LACES 2016
Pietro Frè
Special Kaehler 2nd definition
98 LACES 2016
Pietro Frè
2nd definition continued
2
Kaehler potential
99 LACES 2016
Pietro Frè
Relation between the two definitions
The integrability conditions of the equations here on the left reproduces the statement on the Riemann tensor occurring in the first definition
100 LACES 2016
Pietro Frè
Symplectic transformations of the period matrix
101 LACES 2016
Pietro Frè
The transformation
The matrix N has a positive definite imaginary part and generalizes the notion of upper complex plane to what is known as the upper Siegel plane. The linear fractional transformations with symplectic matrices map the upper Siegel plane into itself just as SL(2,R) maps the Poincaré Lobachevsky plane into itself
102 LACES 2016
Pietro Frè
Quotient singularities and Kaehler quotient resolutions Finite Group Theory has an important bearing on the geometry of singular algebraic surfaces when considering orbifolds of the type Cn/¡. The resolutions of these singularities is done by means of Kaehler or HyperKaehler quotients. Gravitational instantons, the ALE-manifold are obtained in these way from C2/¡ where ¡ is a finite subgroup of SU(2). Hence we have a new incarnation of the ADE classification. These structures are very important for the study of the AdS4/CFT3 correspondence
103 LACES 2016
Pietro Frè
HyperKaehler quotients
104 LACES 2016
Pietro Frè
Complexified Killing fields & Kaehler potential
Solve for V
105 LACES 2016
Pietro Frè
ALE Manifolds
Except for the singular point
106 LACES 2016
Pietro Frè
Crepant resolutions
107 LACES 2016
Pietro Frè
Concept of aging
108 LACES 2016
Pietro Frè
Example with L168 and its subgroups
109 LACES 2016
Pietro Frè
C2/¡ singularities
110 LACES 2016
Pietro Frè
For ALE¡ manifolds
+ highest root
of the
111 LACES 2016
Pietro Frè
The McKay Dynkin Graphs
Coxeter numbers are the dimensions of irreps of ¡
112 LACES 2016
Pietro Frè
Kronheimer’s construction
Regular representation
:
¡ - invariant subspace
113 LACES 2016
Pietro Frè
Schur’s Lemma + McKay
114 LACES 2016
Pietro Frè
Solution of invariance constraints for Ak Decomposition into irreps (one)-dim.
115 LACES 2016
Pietro Frè
The gauge group
116 LACES 2016
Pietro Frè
Moment maps
117 LACES 2016
Pietro Frè
Eguchi Hanson space
It is far than obvious that this is a HyperKaehler metric ! Yet it is and it is a HyperKaehler quotient!
118 LACES 2016
Pietro Frè
The complex structure
119 LACES 2016
Pietro Frè
Relation with the Kronheimer approach
120 LACES 2016
Pietro Frè
The Kaehler potential retrieved
already constructed
121 LACES 2016
Pietro Frè
The c-map and the c*-map The c-map and the c*-map are purely mathematical structures put into evidence by supergravity. In alliance with the Tits Satake projection they provide very important tools in the study of the following two problems: 1. Gauging of supergravity theories and study of their vacua 2. Black Hole solutions of Supergravity Theories
In any case they provide new quality and new visions in geometry.
122 LACES 2016
Pietro Frè
Approaching the c-map
123 LACES 2016
Pietro Frè
above
XX
124 LACES 2016
Pietro Frè
The items of hypergeometry
125 LACES 2016
Pietro Frè
General formulae for su(2)
126 LACES 2016
Pietro Frè
c-map and triholomorphic moment maps
XX
127 LACES 2016
Pietro Frè
Types of isometries of the quaternionic manifold in the c-map image
General Form of the Killing Vector
128 LACES 2016
Pietro Frè
Killing vectors of Heis
The moment maps solving the equation are
129 LACES 2016
Pietro Frè
Moment map for the central charge
130 LACES 2016
Pietro Frè
Killing vectors of the special Kaehler and their moments maps
131 LACES 2016
Pietro Frè
Symmetric manifolds in the image of the c-map
XX
132 LACES 2016
Pietro Frè
Identifying UQ via its solvable Lie algebra
133 LACES 2016
Pietro Frè
Universal Heisenber algebras
134 LACES 2016
Pietro Frè
The Tits Satake Projection Although originally introduced in the mathematical literature, the Tits Satake projection reveals its profund meaning in the supergravity context, in particular in connection with the c-map and the c*-map. It allows to arrange manifolds into universality classes that provide a useful classification for supergravity models and the exploration of their general properties.
135 LACES 2016
Pietro Frè
Structure of the Tits Satake projection
136 LACES 2016
Pietro Frè
TS commutes also with the c*-map
137 LACES 2016
Pietro Frè
The concept of Paint Group We saw that each real form GR of a Lie algebra is in one-to-one correspondence with a symmetric space M=GR/H. This latter singles out a solvable Lie algebra as we have seen. The group of external Automorphisms of Solv(M) is the Paint Group.
138 LACES 2016
Pietro Frè
The sub Tits Satake algebra and the long roots
By definition GsubTS commutes with the Paint Group. The long roots are those whose projections are singlets under the Paint Group.
139 LACES 2016
Pietro Frè
The short roots
140 LACES 2016
Pietro Frè
A general structure above
We analyse an example where
141 LACES 2016
Pietro Frè
A primary example E(8,-24)
142 LACES 2016
Pietro Frè
The primary example continued
TS
143 LACES 2016
Pietro Frè
Decompositions
144 LACES 2016
Pietro Frè
145 LACES 2016
Pietro Frè
146 LACES 2016
Pietro Frè
Supergravity relevant symmetric spaces An analysis of supergravity models according to the classification of their scalar manifolds.
147 LACES 2016
Pietro Frè
General properties of these manifolds
GOLD
148 LACES 2016
Pietro Frè
Structure of the root systems according to the golden split and theTits Satake projection
149 LACES 2016
Pietro Frè
Classification of SUGRA symmetric spaces (non exotic)
150 LACES 2016
Pietro Frè
A most interesting TS class
151 LACES 2016
Pietro Frè
The exotic models
152 LACES 2016
Pietro Frè
Classification tab 1 non exotic
153 LACES 2016
Pietro Frè
Classification tab 2 non exotic
154 LACES 2016
Pietro Frè
Classification tab 3: non exotic
155 LACES 2016
Pietro Frè
N=8
156 LACES 2016
Pietro Frè
N=6
157 LACES 2016
Pietro Frè
Tits Satake of the N=6 theory F4
158 LACES 2016
Pietro Frè
N=5
159 LACES 2016
Pietro Frè
Detailed study of the F4 univ. class As an illustration we analyze one universality class
160 LACES 2016
Pietro Frè
The su(3,3) case
161 LACES 2016
Pietro Frè
The SO*(12) case
162 LACES 2016
Pietro Frè
The E(7,-25) case
163 LACES 2016
Pietro Frè