DOCSLIB.ORG

Compendium of Useful Formulas

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Preprint typeset in JHEP style - HYPER VERSION Compendium of useful formulas Matthew Headrick Abstract: Almost everything I know. Contents 1. Miscellaneous math 3 1.1 A matrix identity 3 1.2 Campbell-Baker-Hausdorff 3 1.3 Pauli matrices 3 1.4 Level repulsion 3 1.5 The Legendre transform 3 1.6 Gaussian integrals 5 1.7 Saddle-point approximation 5 1.8 Cauchy principal value 6 1.9 A few Fourier transforms 7 2. Differential geometry 7 2.1 Diffeomorphisms vs. coordinate tranformations 7 2.2 Connection and curvatures 8 2.3 Geodesic deviation equation 9 2.4 Forms 10 2.5 Harmonic forms 11 2.6 Vielbein formalism 12 2.7 Lie derivatives and Killing fields 13 2.8 Weyl transformations 14 2.9 Metric perturbations 14 2.10 Warped products 14 2.11 Flat fibrations 15 2.12 Gauss-Bonnet theorems 16 2.13 Hypersurfaces 17 2.14 General submanifolds 21 2.15 K¨ahlergeometry 21 2.16 Poincar´eduality 23 2.17 Coordinates for S2 24 2.18 The Hopf fibration 25 2.19 Unit sphere 27 3. Classical mechanics 27 3.1 Lagrangian and Hamiltonian formulations 27 3.2 Symmetries 29 3.3 Noether's theorem for higher-order actions 31 3.4 Gauge symmetries 32 3.5 Hamilton-Jacobi theory 34 { 1 { 4. Gauge theories 36 4.1 Generalities 36 4.2 Standard Model 37 5. General relativity 40 5.1 Dimensions 40 5.2 Fundamentals 40 5.3 Spherically symmetric solutions 41 5.4 Cauchy problem 42 5.5 Gravitational waves 44 5.6 Israel junction condition 46 5.7 Boundary term 47 5.8 Dimensional reductions 49 6. String theory & CFT 50 6.1 Complex coordinates 50 6.2 CFT stress tensor 50 6.3 Liouville action 51 6.4 Sigma model 51 6.5 Spacetime action 52 6.6 Dimensional reduction and Buscher duality 53 6.7 More dualities 55 6.8 Orbifolds and quotient groups 56 7. Quantum information theory 56 7.1 Von Neumann entropy 56 7.2 Relative entropy 57 7.3 R´enyi entropy 58 7.4 Mixing-enhancing 59 7.5 Joint systems 60 8. Superselection rules 62 8.1 Joint systems 62 8.2 Joint systems and fermionic operators 63 9. Dimensions of physical quantities 64 { 2 { 1. Miscellaneous math 1.1 A matrix identity If fgabg is a symmetric matrix, then " # x vb 1 det = x det gab − wavb = α detfgabg; (1.1) wa gab x −1 " # " c # x vb 1 1 −v = b bc b c ; (1.2) wa gab α −w αg + w v 1 −1 1 g − w v = gbc + wbvc (1.3) ab x a b α bc c bc b bc bc where g is the inverse of gab, v = vbg , w = g wc, and α = x − vbg wc. 1.2 Campbell-Baker-Hausdorff If [A; B] commutes with A and B, then [A; eB] = [A; B]eB (1.4) eABe−A = B + [A; B] (1.5) eAeB = e[A;B]eBeA (1.6) eA+B = e−[A;B]=2eAeB: (1.7) 1.3 Pauli matrices " # " # " # 0 1 0 −i 1 0 σ = ; σ = ; σ = : (1.8) 1 1 0 2 i 0 3 0 −1 1.4 Level repulsion In the space of n × n Hermitian matrices, the matrices with two degenerate eigenvalues lie on a (real) co-dimension 3 submanifold. Therefore, a 1-parameter family of matrices H(λ) will not generically intersect the submanifold: as λ is varied, the eigenvalues will move around, but will not cross each other. However, if there is a symmetry, i.e. another Hermitian matrix S that commutes with H(λ) for all λ, then the eigenvalues of H(λ) belonging to different eigenspaces of S are independent, and will generically cross. 1.5 The Legendre transform Let f(x) be a function on a vector space that is bounded below and goes to plus infinity faster than linearly in every direction. The Laplace transform of e−f(x) is eg(k), where g(k) is a function on the dual vector space: Z i eg(k) = dx ekix −f(x): (1.9) { 3 { It is easy to show that g(k) is convex. The Legendre transform of f(x) is the saddle-point approximation to g(k). Assume first that f is strictly convex and continuously differentiable. Then for every k the function i f(x) − kix has a unique (local and global) minimum, where @f = k : (1.10) @xi i In other words, we have a bijection between x and k. The saddle point approximation to the integral (1.9) is the following function of k. i g(k) = kix − f(x) @f : (1.11) =ki @xi This will also be strictly convex and continuously differentiable. The inverse map is given by i x = @g=@ki, and we have i i f(x) = kix − g(k) @f = kix − g(k) @g i : (1.12) =ki =x @xi @ki In other words, the Legendre transform is its own inverse. i If f is not convex, then for some values of k, f(x) − kix will have multiple local minima (and saddle points). However, it is the global minimum that dominates the integral (1.9). The x value of this global minimum will jump discontinuously as a function of k. This shows that the Legendre transform g(k) will have a discontinuous first derivative. In fact, the global minimum won't change at all if we replace f(x) with its convex hull (as in the Maxwell construction). Therefore, two functions with the same convex hull will have the same Legendre transform. If f(x) has a discontinuous first derivative (at a convex point), then the global minimum i of f(x) − kix will be at the same value of x over a range of values of k. Over that range g(k) will be a linear function, and therefore won't be strictly convex. In summary, on convex functions, having a range over which the function is linear (i.e. not being strictly convex) makes its Legendre transform have a discontinuous first derivative, and vice versa; the Legendre transform continues to be its own inverse. The double Legendre transform of a non-convex function returns its convex hull. If f depends on an auxiliary parameter y, then g will also depend on y. Their derivatives with respect to y obey a simple relation: @g @f = − : (1.13) @y @y { 4 { 1.6 Gaussian integrals Z 2 dx e−ax =2 = (2π)1=2a−1=2 (1.14) Z 2 dx x2e−ax =2 = (2π)1=2a−3=2 (1.15) Z 2 dx x4e−ax =2 = 3(2π)1=2a−5=2 (1.16) Z 2 dx x6e−ax =2 = 15(2π)1=2a−7=2 (1.17) n+1=2 Z 2 1 2 dx x2ne−ax =2 = (2n − 1)!! (2π)1=2a−(n+1=2) = Γ n + (1.18) 2 a Z i j dmx e−Aij x x = (2π)m=2(det A)−1=2 ; (where A is symmetric) (1.19) 1.7 Saddle-point approximation Here we treat only the simplest case of a single real integral of a real function. Let f; g be real analytic functions, with f be bounded below with a single global minimum at x0. Set 00 0 f0 = f(x0) ; f2 = f (x0) ; g0 = g(x0) ; g1 = g (x0) ; etc. (1.20) 0 (of course, f (x0) = 0). We will also assume f2; g0 6= 0. Taking to be a small (positive) parameter, we derive the following approximation, working to the necessary order to get to order in the final answer: Z dx g(x)e−f(x)/ Z = dx g(x) 1 1 1 1 × exp − f + f (x − x )2 + f (x − x )3 + f (x − x )4 + O(x − x )5 0 2 2 0 6 3 0 24 4 0 0 Z 1 = e−f0/1=2 dy g + 1=2g y + g y2 + O(3=2) 0 1 2 2 1 1 1 × exp − f y2 − 1=2f y3 − f y4 + O(3=2) 2 2 6 3 24 4 Z g 1 g −f0/ 1=2 1=2 1 2 2 3=2 = e g0 dy 1 + y + y + O( ) g0 2 g0 1 1 1 2 × 1 − 1=2f y3 − f y4 + f 2y6 + O(3=2) e−f2y =2 6 3 24 4 72 3 2 Z g f g f f 2 −f0/ 1=2 2 2 3 1 4 4 4 3 6 2 −f2y =2 = e g0 dy 1 + y − y − y + y + O( ) e 2g0 6g0 24 72 2π 1=2 g f g f 5f 2 −f0/ 1=2 2 3 1 4 3 2 = e g0 1 + − 2 − 2 + 3 + O( ) ; (1.21) f2 2g0f2 2g0f2 8f2 24f2 { 5 { −1=2 In the second equality we changed the integration variable to y = (x−x0). In the fourth equality we dropped odd powers of y, since those will integrate to 0. The result is conveniently written as a decreasing series in for its logarithm: Z 2 2 −f(x)/ f0 1 2πg0 g2 f3g1 f4 5f3 2 ln dx g(x)e = − + ln + − 2 − 2 + 3 + O( ) : 2 f2 2g0f2 2g0f2 8f2 24f2 (1.22) In the case g0 = 0 (but g2 − f3g1=f2 6= 0), one gets instead Z π 1=2 f g −f(x)/ −f0/ 3=2 3 1 dx g(x)e = e 3 g2 − + O() (1.23) 2f2 f2 Z 3 −f(x)/ f0 1 π f3g1 ln dx g(x)e = − + ln 3 + ln g2 − + O() : (1.24) 2 2f2 f2 If there is another local minimum, or if the integration region is bounded (but includes x0 in its interior), then this series is asymptotic, and there are non-perturbative corrections −f(x )/ (f −f(x ))/ to (1.21) that go like e 1 (or to (1.22) like e 0 1 ), where x1 is the local minimum (other than x0) or integration endpoint with the lowest value of f.
Recommended publications
  • Local Flatness and Geodesic Deviation of Causal Geodesics

    Local Flatness and Geodesic Deviation of Causal Geodesics

    UTM 724, July 2008 Local flatness and geodesic deviation of causal geodesics. Valter Moretti1,2, Roberto Di Criscienzo3, 1 Dipartimento di Matematica, Universit`adi Trento and Istituto Nazionale di Fisica Nucleare – Gruppo Collegato di Trento, via Sommarive 14 I-38050 Povo (TN), Italy. 2 Istituto Nazionale di Alta Matematica “F.Severi”– GNFM 3 Department of Physics, University of Toronto, 60 St. George Street, Toronto, ON, M5S 1A7, Canada. E-mail: [email protected], [email protected] Abstract. We analyze the interplay of local flatness and geodesic deviation measured for causal geodesics starting from the remark that, form a physical viewpoint, the geodesic deviation can be measured for causal geodesic, observing the motion of (infinitesimal) falling bodies, but it can hardly be evaluated on spacelike geodesics. We establish that a generic spacetime is (locally) flat if and only if there is no geodesic deviation for timelike geodesics or, equivalently, there is no geodesic deviation for null geodesics. 1 Introduction The presence of tidal forces, i.e. geodesic deviation for causal geodesics, can be adopted to give a notion of gravitation valid in the general relativistic context, as the geodesic deviation is not affected by the equivalence principle and thus it cannot be canceled out by an appropriate choice of the reference frame. By direct inspection (see [MTW03]), one sees that the absence of geodesic deviation referred to all type of geodesics is equivalent the fact that the Riemann tensor vanishes everywhere in a spacetime (M, g). The latter fact, in turn, is equivalent to the locally flatness of the spacetime, i.e.
  • General Relativity

    General Relativity

    GENERAL RELATIVITY IAN LIM LAST UPDATED JANUARY 25, 2019 These notes were taken for the General Relativity course taught by Malcolm Perry at the University of Cambridge as part of the Mathematical Tripos Part III in Michaelmas Term 2018. I live-TEXed them using TeXworks, and as such there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Many thanks to Arun Debray for the LATEX template for these lecture notes: as of the time of writing, you can find him at https://web.ma.utexas.edu/users/a.debray/. Contents 1. Friday, October 5, 2018 1 2. Monday, October 8, 2018 4 3. Wednesday, October 10, 20186 4. Friday, October 12, 2018 10 5. Wednesday, October 17, 2018 12 6. Friday, October 19, 2018 15 7. Monday, October 22, 2018 17 8. Wednesday, October 24, 2018 22 9. Friday, October 26, 2018 26 10. Monday, October 29, 2018 28 11. Wednesday, October 31, 2018 32 12. Friday, November 2, 2018 34 13. Monday, November 5, 2018 38 14. Wednesday, November 7, 2018 40 15. Friday, November 9, 2018 44 16. Monday, November 12, 2018 48 17. Wednesday, November 14, 2018 52 18. Friday, November 16, 2018 55 19. Monday, November 19, 2018 57 20. Wednesday, November 21, 2018 62 21. Friday, November 23, 2018 64 22. Monday, November 26, 2018 67 23. Wednesday, November 28, 2018 70 Lecture 1. Friday, October 5, 2018 Unlike in previous years, this course is intended to be a stand-alone course on general relativity, building up the mathematical formalism needed to construct the full theory and explore some examples of interesting spacetime metrics.
  • 1 Electromagnetic Fields and Charges In

    1 Electromagnetic Fields and Charges In

    Electromagnetic fields and charges in ‘3+1’ spacetime derived from symmetry in ‘3+3’ spacetime J.E.Carroll Dept. of Engineering, University of Cambridge, CB2 1PZ E-mail: [email protected] PACS 11.10.Kk Field theories in dimensions other than 4 03.50.De Classical electromagnetism, Maxwell equations 41.20Jb Electromagnetic wave propagation 14.80.Hv Magnetic monopoles 14.70.Bh Photons 11.30.Rd Chiral Symmetries Abstract: Maxwell’s classic equations with fields, potentials, positive and negative charges in ‘3+1’ spacetime are derived solely from the symmetry that is required by the Geometric Algebra of a ‘3+3’ spacetime. The observed direction of time is augmented by two additional orthogonal temporal dimensions forming a complex plane where i is the bi-vector determining this plane. Variations in the ‘transverse’ time determine a zero rest mass. Real fields and sources arise from averaging over a contour in transverse time. Positive and negative charges are linked with poles and zeros generating traditional plane waves with ‘right-handed’ E, B, with a direction of propagation k. Conjugation and space-reversal give ‘left-handed’ plane waves without any net change in the chirality of ‘3+3’ spacetime. Resonant wave-packets of left- and right- handed waves can be formed with eigen frequencies equal to the characteristic frequencies (N+½)fO that are observed for photons. 1 1. Introduction There are many and varied starting points for derivations of Maxwell’s equations. For example Kobe uses the gauge invariance of the Schrödinger equation [1] while Feynman, as reported by Dyson, starts with Newton’s classical laws along with quantum non- commutation rules of position and momentum [2].
  • General Relativity Fall 2019 Lecture 13: Geodesic Deviation; Einstein field Equations

    General Relativity Fall 2019 Lecture 13: Geodesic Deviation; Einstein field Equations

    General Relativity Fall 2019 Lecture 13: Geodesic deviation; Einstein field equations Yacine Ali-Ha¨ımoud October 11th, 2019 GEODESIC DEVIATION The principle of equivalence states that one cannot distinguish a uniform gravitational field from being in an accelerated frame. However, tidal fields, i.e. gradients of gravitational fields, are indeed measurable. Here we will show that the Riemann tensor encodes tidal fields. Consider a fiducial free-falling observer, thus moving along a geodesic G. We set up Fermi normal coordinates in µ the vicinity of this geodesic, i.e. coordinates in which gµν = ηµν jG and ΓνσjG = 0. Events along the geodesic have coordinates (x0; xi) = (t; 0), where we denote by t the proper time of the fiducial observer. Now consider another free-falling observer, close enough from the fiducial observer that we can describe its position with the Fermi normal coordinates. We denote by τ the proper time of that second observer. In the Fermi normal coordinates, the spatial components of the geodesic equation for the second observer can be written as d2xi d dxi d2xi dxi d2t dxi dxµ dxν = (dt/dτ)−1 (dt/dτ)−1 = (dt/dτ)−2 − (dt/dτ)−3 = − Γi − Γ0 : (1) dt2 dτ dτ dτ 2 dτ dτ 2 µν µν dt dt dt The Christoffel symbols have to be evaluated along the geodesic of the second observer. If the second observer is close µ µ λ λ µ enough to the fiducial geodesic, we may Taylor-expand Γνσ around G, where they vanish: Γνσ(x ) ≈ x @λΓνσjG + 2 µ 0 µ O(x ).
  • Chapter 13 Curvature in Riemannian Manifolds

    Chapter 13 Curvature in Riemannian Manifolds

    Chapter 13 Curvature in Riemannian Manifolds 13.1 The Curvature Tensor If (M, , )isaRiemannianmanifoldand is a connection on M (that is, a connection on TM−), we− saw in Section 11.2 (Proposition 11.8)∇ that the curvature induced by is given by ∇ R(X, Y )= , ∇X ◦∇Y −∇Y ◦∇X −∇[X,Y ] for all X, Y X(M), with R(X, Y ) Γ( om(TM,TM)) = Hom (Γ(TM), Γ(TM)). ∈ ∈ H ∼ C∞(M) Since sections of the tangent bundle are vector fields (Γ(TM)=X(M)), R defines a map R: X(M) X(M) X(M) X(M), × × −→ and, as we observed just after stating Proposition 11.8, R(X, Y )Z is C∞(M)-linear in X, Y, Z and skew-symmetric in X and Y .ItfollowsthatR defines a (1, 3)-tensor, also denoted R, with R : T M T M T M T M. p p × p × p −→ p Experience shows that it is useful to consider the (0, 4)-tensor, also denoted R,givenby R (x, y, z, w)= R (x, y)z,w p p p as well as the expression R(x, y, y, x), which, for an orthonormal pair, of vectors (x, y), is known as the sectional curvature, K(x, y). This last expression brings up a dilemma regarding the choice for the sign of R. With our present choice, the sectional curvature, K(x, y), is given by K(x, y)=R(x, y, y, x)but many authors define K as K(x, y)=R(x, y, x, y). Since R(x, y)isskew-symmetricinx, y, the latter choice corresponds to using R(x, y)insteadofR(x, y), that is, to define R(X, Y ) by − R(X, Y )= + .
  • Lectures on Differential Geometry Math 240C

    Lectures on Differential Geometry Math 240C

    Lectures on Differential Geometry Math 240C John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: [email protected] June 6, 2011 Preface This is a set of lecture notes for the course Math 240C given during the Spring of 2011. The notes will evolve as the course progresses. The starred sections are less central to the course, and may be omitted by some readers. i Contents 1 Riemannian geometry 1 1.1 Review of tangent and cotangent spaces . 1 1.2 Riemannian metrics . 4 1.3 Geodesics . 8 1.3.1 Smooth paths . 8 1.3.2 Piecewise smooth paths . 12 1.4 Hamilton's principle* . 13 1.5 The Levi-Civita connection . 19 1.6 First variation of J: intrinsic version . 25 1.7 Lorentz manifolds . 28 1.8 The Riemann-Christoffel curvature tensor . 31 1.9 Curvature symmetries; sectional curvature . 39 1.10 Gaussian curvature of surfaces . 42 1.11 Matrix Lie groups . 48 1.12 Lie groups with biinvariant metrics . 52 1.13 Projective spaces; Grassmann manifolds . 57 2 Normal coordinates 64 2.1 Definition of normal coordinates . 64 2.2 The Gauss Lemma . 68 2.3 Curvature in normal coordinates . 70 2.4 Tensor analysis . 75 2.5 Riemannian manifolds as metric spaces . 84 2.6 Completeness . 86 2.7 Smooth closed geodesics . 88 3 Curvature and topology 94 3.1 Overview . 94 3.2 Parallel transport along curves . 96 3.3 Geodesics and curvature . 97 3.4 The Hadamard-Cartan Theorem . 101 3.5 The fundamental group* .
  • 3. Introducing Riemannian Geometry

    3. Introducing Riemannian Geometry

    3. Introducing Riemannian Geometry We have yet to meet the star of the show. There is one object that we can place on a manifold whose importance dwarfs all others, at least when it comes to understanding gravity. This is the metric. The existence of a metric brings a whole host of new concepts to the table which, collectively, are called Riemannian geometry.Infact,strictlyspeakingwewillneeda slightly di↵erent kind of metric for our study of gravity, one which, like the Minkowski metric, has some strange minus signs. This is referred to as Lorentzian Geometry and a slightly better name for this section would be “Introducing Riemannian and Lorentzian Geometry”. However, for our immediate purposes the di↵erences are minor. The novelties of Lorentzian geometry will become more pronounced later in the course when we explore some of the physical consequences such as horizons. 3.1 The Metric In Section 1, we informally introduced the metric as a way to measure distances between points. It does, indeed, provide this service but it is not its initial purpose. Instead, the metric is an inner product on each vector space Tp(M). Definition:Ametric g is a (0, 2) tensor field that is: Symmetric: g(X, Y )=g(Y,X). • Non-Degenerate: If, for any p M, g(X, Y ) =0forallY T (M)thenX =0. • 2 p 2 p p With a choice of coordinates, we can write the metric as g = g (x) dxµ dx⌫ µ⌫ ⌦ The object g is often written as a line element ds2 and this expression is abbreviated as 2 µ ⌫ ds = gµ⌫(x) dx dx This is the form that we saw previously in (1.4).
  • Hamilton's Ricci Flow

    Hamilton's Ricci Flow

    The University of Melbourne, Department of Mathematics and Statistics Hamilton's Ricci Flow Nick Sheridan Supervisor: Associate Professor Craig Hodgson Second Reader: Professor Hyam Rubinstein Honours Thesis, November 2006. Abstract The aim of this project is to introduce the basics of Hamilton's Ricci Flow. The Ricci flow is a pde for evolving the metric tensor in a Riemannian manifold to make it \rounder", in the hope that one may draw topological conclusions from the existence of such \round" metrics. Indeed, the Ricci flow has recently been used to prove two very deep theorems in topology, namely the Geometrization and Poincar´eConjectures. We begin with a brief survey of the differential geometry that is needed in the Ricci flow, then proceed to introduce its basic properties and the basic techniques used to understand it, for example, proving existence and uniqueness and bounds on derivatives of curvature under the Ricci flow using the maximum principle. We use these results to prove the \original" Ricci flow theorem { the 1982 theorem of Richard Hamilton that closed 3-manifolds which admit metrics of strictly positive Ricci curvature are diffeomorphic to quotients of the round 3-sphere by finite groups of isometries acting freely. We conclude with a qualitative discussion of the ideas behind the proof of the Geometrization Conjecture using the Ricci flow. Most of the project is based on the book by Chow and Knopf [6], the notes by Peter Topping [28] (which have recently been made into a book, see [29]), the papers of Richard Hamilton (in particular [9]) and the lecture course on Geometric Evolution Equations presented by Ben Andrews at the 2006 ICE-EM Graduate School held at the University of Queensland.
  • GEOMETRIC INTERPRETATIONS of CURVATURE Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Tran

    GEOMETRIC INTERPRETATIONS of CURVATURE Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Tran

    GEOMETRIC INTERPRETATIONS OF CURVATURE ZHENGQU WAN Abstract. This is an expository paper on geometric meaning of various kinds of curvature on a Riemann manifold. Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Transport 3 4. Geodesics and the Exponential Map 4 5. Riemannian Curvature Tensor 5 6. Taylor Expansion of the Metric in Normal Coordinates and the Geometric Interpretation of Ricci and Scalar Curvature 9 Acknowledgments 13 References 13 1. Notation and Summation Conventions We assume knowledge of the basic theory of smooth manifolds, vector fields and tensors. We will assume all manifolds are smooth, i.e. C1, second countable and Hausdorff. All functions, curves and vector fields will also be smooth unless otherwise stated. Einstein summation convention will be adopted in this paper. In some cases, the index types on either side of an equation will not match and @ so a summation will be needed. The tangent vector field @xi induced by local i coordinates (x ) will be denoted as @i. 2. Affine Connections Riemann curvature is a measure of the noncommutativity of parallel transporta- tion of tangent vectors. To define parallel transport, we need the notion of affine connections. Definition 2.1. Let M be an n-dimensional manifold. An affine connection, or connection, is a map r : X(M) × X(M) ! X(M), where X(M) denotes the space of smooth vector fields, such that for vector fields V1;V2; V; W1;W2 2 X(M) and function f : M! R, (1) r(fV1 + V2;W ) = fr(V1;W ) + r(V2;W ), (2) r(V; aW1 + W2) = ar(V; W1) + r(V; W2), for all a 2 R.
  • Differential Geometry Lecture 17: Geodesics and the Exponential

    Differential Geometry Lecture 17: Geodesics and the Exponential

    Differential geometry Lecture 17: Geodesics and the exponential map David Lindemann University of Hamburg Department of Mathematics Analysis and Differential Geometry & RTG 1670 3. July 2020 David Lindemann DG lecture 17 3. July 2020 1 / 44 1 Geodesics 2 The exponential map 3 Geodesics as critical points of the energy functional 4 Riemannian normal coordinates 5 Some global Riemannian geometry David Lindemann DG lecture 17 3. July 2020 2 / 44 Recap of lecture 16: constructed covariant derivatives along curves defined parallel transport studied the relation between a given connection in the tangent bundle and its parallel transport maps introduced torsion tensor and metric connections, studied geometric interpretation defined the Levi-Civita connection of a pseudo-Riemannian manifold David Lindemann DG lecture 17 3. July 2020 3 / 44 Geodesics Recall the definition of the acceleration of a smooth curve n 00 n γ : I ! R , that is γ 2 Γγ (T R ). Question: Is there a coordinate-free analogue of this construc- tion involving connections? Answer: Yes, uses covariant derivative along curves. Definition Let M be a smooth manifold, r a connection in TM ! M, 0 and γ : I ! M a smooth curve. Then rγ0 γ 2 Γγ (TM) is called the acceleration of γ (with respect to r). Of particular interest is the case if the acceleration of a curve vanishes, that is if its velocity vector field is parallel: Definition A smooth curve γ : I ! M is called geodesic with respect to a 0 given connection r in TM ! M if rγ0 γ = 0. David Lindemann DG lecture 17 3.
  • Deformations with Maximal Supersymmetries Part 2: Off-Shell Formulation

    Deformations with Maximal Supersymmetries Part 2: Off-Shell Formulation

    Deformations with maximal supersymmetries part 2: off-shell formulation The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Chang, Chi-Ming et al. “Deformations with Maximal Supersymmetries Part 2: Off-Shell Formulation.” Journal of High Energy Physics 2016.4 (2016): n. pag. As Published http://dx.doi.org/10.1007/JHEP04(2016)171 Publisher Springer Berlin Heidelberg Version Final published version Citable link http://hdl.handle.net/1721.1/103304 Terms of Use Creative Commons Attribution Detailed Terms http://creativecommons.org/licenses/by/4.0/ Published for SISSA by Springer Received: February 26, 2016 Accepted: April 23, 2016 Published: April 28, 2016 Deformations with maximal supersymmetries part 2: JHEP04(2016)171 off-shell formulation Chi-Ming Chang,a Ying-Hsuan Lin,a Yifan Wangb and Xi Yina aJefferson Physical Laboratory, Harvard University, Cambridge, MA 02138, U.S.A. bCenter for Theoretical Physics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A. E-mail: [email protected], [email protected], [email protected], [email protected] Abstract: Continuing our exploration of maximally supersymmetric gauge theories (MSYM) deformed by higher dimensional operators, in this paper we consider an off- shell approach based on pure spinor superspace and focus on constructing supersymmetric deformations beyond the first order. In particular, we give a construction of the Batalin- Vilkovisky action of an all-order non-Abelian Born-Infeld deformation of MSYM in the non-minimal pure spinor formalism. We also discuss subtleties in the integration over the pure spinor superspace and the relevance of Berkovits-Nekrasov regularization.
  • Differential Geometry Lecture 18: Curvature

    Differential Geometry Lecture 18: Curvature

    Differential geometry Lecture 18: Curvature David Lindemann University of Hamburg Department of Mathematics Analysis and Differential Geometry & RTG 1670 14. July 2020 David Lindemann DG lecture 18 14. July 2020 1 / 31 1 Riemann curvature tensor 2 Sectional curvature 3 Ricci curvature 4 Scalar curvature David Lindemann DG lecture 18 14. July 2020 2 / 31 Recap of lecture 17: defined geodesics in pseudo-Riemannian manifolds as curves with parallel velocity viewed geodesics as projections of integral curves of a vector field G 2 X(TM) with local flow called geodesic flow obtained uniqueness and existence properties of geodesics constructed the exponential map exp : V ! M, V neighbourhood of the zero-section in TM ! M showed that geodesics with compact domain are precisely the critical points of the energy functional used the exponential map to construct Riemannian normal coordinates, studied local forms of the metric and the Christoffel symbols in such coordinates discussed the Hopf-Rinow Theorem erratum: codomain of (x; v) as local integral curve of G is d'(TU), not TM David Lindemann DG lecture 18 14. July 2020 3 / 31 Riemann curvature tensor Intuitively, a meaningful definition of the term \curvature" for 3 a smooth surface in R , written locally as a graph of a smooth 2 function f : U ⊂ R ! R, should involve the second partial derivatives of f at each point. How can we find a coordinate- 3 free definition of curvature not just for surfaces in R , which are automatically Riemannian manifolds by restricting h·; ·i, but for all pseudo-Riemannian manifolds? Definition Let (M; g) be a pseudo-Riemannian manifold with Levi-Civita connection r.