List of Symbols, Notation, and Useful Expressions

Total Page:16

File Type:pdf, Size:1020Kb

List of Symbols, Notation, and Useful Expressions Appendix A List of Symbols, Notation, and Useful Expressions In this appendix the reader will find a more detailed description of the conventions and notation used throughout this book, together with a brief description of what spinors are about, followed by a presentation of expressions that can be used to recover some of the formulas in specified chapters. A.1 List of Symbols κ ≡ κijk Contorsion ξ ≡ ξijk Torsion K Kähler function I ≡ I ≡ I KJ gJ GJ Kähler metric W(#) Superpotential V Vector supermultiplet #, # (Chiral) Scalar supermultiplet φ,ϕ Scalar field V (φ) Scalar potential χ ≡ γ 0χ † For Dirac 4-spinor representation ψ† Hermitian conjugate (complex conjugate and transposition) φ∗ Complex conjugate [M]T Transpose { , } Anticommutator [ , ] Commutator θ Grassmannian variable (spinor) Jab, JAB Lorentz generator (constraint) qX , X = 1, 2,... Minisuperspace coordinatization π μαβ Spin energy–momentum Moniz, P.V.: Appendix. Lect. Notes Phys. 804, 207–275 (2010) DOI 10.1007/978-3-642-11570-7 c Springer-Verlag Berlin Heidelberg 2010 208 A List of Symbols, Notation, and Useful Expressions Sμαβ Spin angular momentum D Measure in Feynman path integral [ , ]P ≡[, ] Poisson bracket [ , ]D Dirac bracket F Superfield M P Planck mass V β+,β− Minisuperspace potential (Misner–Ryan parametrization) Z IJ Central charges ds Spacetime line element ds Minisuperspace line element F Fermion number operator eμ Coordinate basis ea Orthonormal basis (3)V Volume of 3-space (a) vμ Vector field (a) fμν Vector field strength ij π Canonical momenta to hij π φ Canonical momenta to φ π 0 Canonical momenta to N i π Canonical momenta to Ni μ a pa Canonical momenta to eμ (tetrad) ij ξ k Pk Canonical momenta to ij (torsion) J j Lorentz rotation generator Ki Lorentz boost generator Pμ Translation (Poincaré) generator εμνλσ Four-dimensional permutation εijk Three-dimensional permutation SA SUSY generator (constraint) H⊥ Hamiltonian constraint Hi Momentum constraints G DeWitt metric Gs DeWitt supermetric Ψ Wave function (state) of the universe Ω ADM time R Spinor-valued curvature A.1 List of Symbols 209 βij(β+,β−) Anisotropy matrices (Misner–Ryan representation) in Bianchi cosmologies ij pij Canonical momentum to β HADM ADM Hamiltonian Kij Extrinsic curvature (4)R Four-dimensional spacetime curvature (3)R Three-dimensional spatial curvature Λ Cosmological constant μ Γνλ Christoffel connection coefficients , Usual derivative (vectors, tensors) (3) | and Di Four-dimensional spacetime covariant derivative with respect to the 3-metric hij, no spin connection and no torsion, with Christoffel term (vectors, tensors) ( ) ; and 4 Dμ Four-dimensional spacetime covariant derivative with respect to the 4-metric gμν, no spin connection and no torsion, with Christoffel term (vectors, tensors) ' Covariant derivative with respect to the 3-metric, including spin connection (vectors, tensors) ( Covariant derivative with respect to the 4-metric gμν, including spin connection (vectors, tensors) Dot over symbol Proper time derivative Ω2 d 3 Line element of spatial sections k Spatial curvature index a(t) ≡ eα(t) FRW scale factor N Lapse function N i Shift vector μ,ν,... World spacetime indices a, b,... Condensed superindices (either bosonic or fermionic) a, b,... Local (Lorentz) indices aˆ, bˆ,...= 1, 2, 3,... Local (Lorentz) spatial indices i, j, k Spatial indices hij Spatial 3-metric gμν Spacetime metric ηab Lorentz metric ωμ ≡{ω0,ωi } One-form basis A, A Two-spinor component indices (Weyl representation) [a] Four-spinor component indices, e.g., Dirac representation 210 A List of Symbols, Notation, and Useful Expressions I, J,... Kähler indices J, j Representation label of SU(2) (spin state) M, N Elements of SL(2,C) La b Lorentz (transformation) matrix representation i AA pAA Momentum conjugate to ei HAA Hamiltonian and momentum constraints condensed (two-spinor components) S Lorentzian action L Lagrangian I Euclidean action S Superspace M Four-dimensional spacetime manifold Σt Three-dimensional spatial hypersurface t Coordinate time τ Proper time n ≡{nμ} Normal to spatial hypersurface ( ) 4 Dν ≡ Dν Four-dimensional spacetime covariant derivative with respect to the 4-metric gμν, with spin connection and torsion, no Christoffel term (spinors [vectors, tensors]) ( and Dν Four-dimensional spacetime covariant derivative with respect to the 3-metric hij, with spin connection and torsion, with Christoffel term (spinors [vectors, tensors]) ' Three-dimensional analogue of Dν (spinors [vectors, tensors]) (3) (3) D j ≡ ∇ j ≡∇j Three-dimensional analogue of Dν (spinors [vectors, tensors]) (3s) (3s) D j ≡ ∇ j ≡ ∇ j Three-dimensional analogue of Dν, no torsion (spinors [vectors, tensors]) Mab, MAB Lagrange multipliers for the Lorentz constraints (Lorentz and 2-spinor indices) ωA ,ωa ,ωAA BB Bμ bμ Spin connections A ψμ Gravitino field nμ, n AA Normal to the hypersurfaces ε AB Metric for spinor indices (Weyl representation) σ AA a Pauli matrices with two-component spinor indices (Weyl representation) σ Infeld–van der Waerden symbols A.2 Conventions and Notation 211 eaμ Tetrad aˆ eˆ i Spatial tetrad (aˆ, i = 1, 2, 3) eAA μ Tetrad with two-component spinor indices =∼ Equality provided constraints are satisfied (a) Gauge group index ˆ Dμ, Dˇ φ, Dμ Gauge group covariant derivatives Q(a) Gauge group charge operator ε Infinitesimal spinor Dφ Kähler derivative D SUSY covariant derivative (SUSY superspace) %JK I Kähler connection R Kähler curvature ψ, χ, λ Spinors ψ,χ,λ Conjugate spinors, in the 2-spinor SL(2,C)Weyl representation U Minisuperspace potential P(φ, φ) SUGRA-induced potential for scalar fields T (a) Gauge group generators Q SUSY supercharge operators Gˆ Gauge group T Energy–momentum tensor D Minisuperspace dimension R Minisuperspace curvature D, dˆ, Dˆ , D˜ , Dˇ ,... Dimension of space σ Axion field 1,σ Pauli matrices A, B,... Bosonic amplitudes of SUSY Ψ AB Ei Densitized spatial triad AB A j Ashtekar connection A.2 Conventions and Notation = = = = −2 ≡ π Throughout this book we employ c 1 h¯ and G 1 MP , with k 8 G unless otherwise indicated. In addition, we take: • μ,ν,...as world spacetime indices with values 0, 1, 2, 3, • a, b,...as local (Lorentz) indices with values 0, 1, 2, 3, 212 A List of Symbols, Notation, and Useful Expressions • i, j, k as spatial indices with values 1, 2, 3, • A, A as 2-spinor notation indices with values 0, 1 or 0 ,1 , respectively, •[a] as 4-spinor component indices, e.g., the Dirac representation, with values 1, 2, 3, 4. In this book we have also chosen the signature of the 4-metric gμν (or ηab)tobe (−, +, +, +). Therefore, the 3-metric hij on the spacelike hypersurfaces has the signature (+, +, +), which gives a positive determinant. Thus the 3D totally anti- 0123 123 symmetric tensor density can be defined by ε ≡ ε = ε123 =+1. A.3 About Spinors As the fellow explorer may already have noticed (or will notice, if he or she is venturing into this appendix prior to probing more deeply into some of the chapters) there are some idiosyncrasies in the mathematical structures of SUSY and SUGRA which are essentially related to the presence of fermions (and hence of the spinors which represent them). But why is this, and what are the main features the spinors determine? In fact, why are spinors needed to describe fermions? What are spinors and how do they come into the theory? This section is devoted (in part) to introduc- ing this issue. Before proceeding, for completeness let us just indicate that a tetrad formalism is indeed mandatory for introduing spinors.1 The tetrad corresponds to a massless spin-2 particle, the graviton [1], i.e., corresponding to two degrees of freedom.2 Note A.1 Extending towards a simple SUSY framework, with only one gen- erator (labeled N = 1 SUSY), the corresponding (super)multiplet will also contain a fermion with spin 3/2, the gravitino, as described in Chap. 3 of Vol. I, where the reader will find elements of SUSY (not in this appendix). A.3.1 Spinor Representations of the Lorentz Group Local Poincaré invariance is the symmetry that gives rise to general relativity [2]. It contains Lorentz transformations plus translations and is in fact a semi-direct product of the Lorentz group and the group of translations in spacetime. The Lorentz 1 Tensor representations of the general linear group 4 × 4 matrices GL(4) behave as tensors under the Lorentz subgroup of transformations, but there are no such representations of GL(4) which behave as spinors under the Lorentz (sub)group (see the next section). 2 In simple terms, the tetrad has 16 components, but with four equations of motion, plus four degrees of freedom to be removed due to general coordinate invariance and six due to local Lorentz invariance, this leaves 16 − (4 + 4 + 6) = 2. A.3 About Spinors 213 J K ˆ, ˆ = , , group has six generators: three rotations aˆ and three boosts bˆ, a b 1 2 3 with commutation relations [3–5]: [J , J ]= ε J , [K , K ]=−ε J , [J , K ]= ε K . aˆ bˆ i aˆbˆcˆ cˆ aˆ bˆ i aˆbˆcˆ cˆ aˆ bˆ i aˆbˆcˆ cˆ (A.1) The generators of the translations are usually denoted Pμ, with3 Pμ, Pν = 0 , Ji , P j = iεijkPk , (A.2) [Ji , P0] = 0 , Ki , P j =−iP0δij , [Ki , P0] =−iPi . (A.3) Or alternatively, defining the Lorentz generators Lμν ≡−Lνμ as L0i ≡ Ki and Lij ≡ εijkJk, the full Poincaré algebra reads Pμ, Pν = 0 , (A.4) Lμν, Lρσ =−iηνρ Lμσ + iημρ Lνσ + iηνσ Lμρ − iημσ Lνρ , (A.5) Lμν, Pρ =−iηρμPν + iηρνPμ . (A.6) Let us focus on the mathematical structure of (A.1). The usual tensor (vector) formalism and corresponding representation is quite adequate to deal with most situations of relativistic classical physics, but there are significant advantages in considering a more general exploration, namely from the perspective of the theory of representations of the Lorentz group.
Recommended publications
  • A Mathematical Derivation of the General Relativistic Schwarzschild
    A Mathematical Derivation of the General Relativistic Schwarzschild Metric An Honors thesis presented to the faculty of the Departments of Physics and Mathematics East Tennessee State University In partial fulfillment of the requirements for the Honors Scholar and Honors-in-Discipline Programs for a Bachelor of Science in Physics and Mathematics by David Simpson April 2007 Robert Gardner, Ph.D. Mark Giroux, Ph.D. Keywords: differential geometry, general relativity, Schwarzschild metric, black holes ABSTRACT The Mathematical Derivation of the General Relativistic Schwarzschild Metric by David Simpson We briefly discuss some underlying principles of special and general relativity with the focus on a more geometric interpretation. We outline Einstein’s Equations which describes the geometry of spacetime due to the influence of mass, and from there derive the Schwarzschild metric. The metric relies on the curvature of spacetime to provide a means of measuring invariant spacetime intervals around an isolated, static, and spherically symmetric mass M, which could represent a star or a black hole. In the derivation, we suggest a concise mathematical line of reasoning to evaluate the large number of cumbersome equations involved which was not found elsewhere in our survey of the literature. 2 CONTENTS ABSTRACT ................................. 2 1 Introduction to Relativity ...................... 4 1.1 Minkowski Space ....................... 6 1.2 What is a black hole? ..................... 11 1.3 Geodesics and Christoffel Symbols ............. 14 2 Einstein’s Field Equations and Requirements for a Solution .17 2.1 Einstein’s Field Equations .................. 20 3 Derivation of the Schwarzschild Metric .............. 21 3.1 Evaluation of the Christoffel Symbols .......... 25 3.2 Ricci Tensor Components .................
    [Show full text]
  • Jhep01(2020)007
    Published for SISSA by Springer Received: March 27, 2019 Revised: November 15, 2019 Accepted: December 9, 2019 Published: January 2, 2020 Deformed graded Poisson structures, generalized geometry and supergravity JHEP01(2020)007 Eugenia Boffo and Peter Schupp Jacobs University Bremen, Campus Ring 1, 28759 Bremen, Germany E-mail: [email protected], [email protected] Abstract: In recent years, a close connection between supergravity, string effective ac- tions and generalized geometry has been discovered that typically involves a doubling of geometric structures. We investigate this relation from the point of view of graded ge- ometry, introducing an approach based on deformations of graded Poisson structures and derive the corresponding gravity actions. We consider in particular natural deformations of the 2-graded symplectic manifold T ∗[2]T [1]M that are based on a metric g, a closed Neveu-Schwarz 3-form H (locally expressed in terms of a Kalb-Ramond 2-form B) and a scalar dilaton φ. The derived bracket formalism relates this structure to the generalized differential geometry of a Courant algebroid, which has the appropriate stringy symme- tries, and yields a connection with non-trivial curvature and torsion on the generalized “doubled” tangent bundle E =∼ TM ⊕ T ∗M. Projecting onto TM with the help of a natural non-isotropic splitting of E, we obtain a connection and curvature invariants that reproduce the NS-NS sector of supergravity in 10 dimensions. Further results include a fully generalized Dorfman bracket, a generalized Lie bracket and new formulas for torsion and curvature tensors associated to generalized tangent bundles.
    [Show full text]
  • The Levi-Civita Tensor Noncovariance and Curvature in the Pseudotensors
    The Levi-Civita tensor noncovariance and curvature in the pseudotensors space A. L. Koshkarov∗ University of Petrozavodsk, Physics department, Russia Abstract It is shown that conventional ”covariant” derivative of the Levi-Civita tensor Eαβµν;ξ is not really covariant. Adding compensative terms, it is possible to make it covariant and to be equal to zero. Then one can be introduced a curvature in the pseudotensors space. There appears a curvature tensor which is dissimilar to ordinary one by covariant term including the Levi-Civita density derivatives hence to be equal to zero. This term is a little bit similar to Weylean one in the Weyl curvature tensor. There has been attempted to find a curvature measure in the combined (tensor plus pseudotensor) tensors space. Besides, there has been constructed some vector from the metric and the Levi-Civita density which gives new opportunities in geometry. 1 Introduction Tensor analysis which General Relativity is based on operates basically with true tensors and it is very little spoken of pseudotensors role. Although there are many objects in the world to be bound up with pseudotensors. For example most of particles and bodies in the Universe have angular momentum or spin. Here is a question: could a curvature tensor be a pseudotensor or include that in some way? It’s not clear. Anyway, symmetries of the Riemann-Christopher tensor are not compatible with those of the Levi-Civita pseudotensor. There are examples of using values in Physics to be a sum of a tensor and arXiv:0906.0647v1 [physics.gen-ph] 3 Jun 2009 a pseudotensor.
    [Show full text]
  • Laplacians in Geometric Analysis
    LAPLACIANS IN GEOMETRIC ANALYSIS Syafiq Johar syafi[email protected] Contents 1 Trace Laplacian 1 1.1 Connections on Vector Bundles . .1 1.2 Local and Explicit Expressions . .2 1.3 Second Covariant Derivative . .3 1.4 Curvatures on Vector Bundles . .4 1.5 Trace Laplacian . .5 2 Harmonic Functions 6 2.1 Gradient and Divergence Operators . .7 2.2 Laplace-Beltrami Operator . .7 2.3 Harmonic Functions . .8 2.4 Harmonic Maps . .8 3 Hodge Laplacian 9 3.1 Exterior Derivatives . .9 3.2 Hodge Duals . 10 3.3 Hodge Laplacian . 12 4 Hodge Decomposition 13 4.1 De Rham Cohomology . 13 4.2 Hodge Decomposition Theorem . 14 5 Weitzenb¨ock and B¨ochner Formulas 15 5.1 Weitzenb¨ock Formula . 15 5.1.1 0-forms . 15 5.1.2 k-forms . 15 5.2 B¨ochner Formula . 17 1 Trace Laplacian In this section, we are going to present a notion of Laplacian that is regularly used in differential geometry, namely the trace Laplacian (also called the rough Laplacian or connection Laplacian). We recall the definition of connection on vector bundles which allows us to take the directional derivative of vector bundles. 1.1 Connections on Vector Bundles Definition 1.1 (Connection). Let M be a differentiable manifold and E a vector bundle over M. A connection or covariant derivative at a point p 2 M is a map D : Γ(E) ! Γ(T ∗M ⊗ E) 1 with the properties for any V; W 2 TpM; σ; τ 2 Γ(E) and f 2 C (M), we have that DV σ 2 Ep with the following properties: 1.
    [Show full text]
  • Killing Spinor-Valued Forms and the Cone Construction
    ARCHIVUM MATHEMATICUM (BRNO) Tomus 52 (2016), 341–355 KILLING SPINOR-VALUED FORMS AND THE CONE CONSTRUCTION Petr Somberg and Petr Zima Abstract. On a pseudo-Riemannian manifold M we introduce a system of partial differential Killing type equations for spinor-valued differential forms, and study their basic properties. We discuss the relationship between solutions of Killing equations on M and parallel fields on the metric cone over M for spinor-valued forms. 1. Introduction The subject of the present article are the systems of over-determined partial differential equations for spinor-valued differential forms, classified as atypeof Killing equations. The solution spaces of these systems of PDE’s are termed Killing spinor-valued differential forms. A central question in geometry asks for pseudo-Riemannian manifolds admitting non-trivial solutions of Killing type equa- tions, namely how the properties of Killing spinor-valued forms relate to the underlying geometric structure for which they can occur. Killing spinor-valued forms are closely related to Killing spinors and Killing forms with Killing vectors as a special example. Killing spinors are both twistor spinors and eigenspinors for the Dirac operator, and real Killing spinors realize the limit case in the eigenvalue estimates for the Dirac operator on compact Riemannian spin manifolds of positive scalar curvature. There is a classification of complete simply connected Riemannian manifolds equipped with real Killing spinors, leading to the construction of manifolds with the exceptional holonomy groups G2 and Spin(7), see [8], [1]. Killing vector fields on a pseudo-Riemannian manifold are the infinitesimal generators of isometries, hence they influence its geometrical properties.
    [Show full text]
  • Arxiv:0911.0334V2 [Gr-Qc] 4 Jul 2020
    Classical Physics: Spacetime and Fields Nikodem Poplawski Department of Mathematics and Physics, University of New Haven, CT, USA Preface We present a self-contained introduction to the classical theory of spacetime and fields. This expo- sition is based on the most general principles: the principle of general covariance (relativity) and the principle of least action. The order of the exposition is: 1. Spacetime (principle of general covariance and tensors, affine connection, curvature, metric, tetrad and spin connection, Lorentz group, spinors); 2. Fields (principle of least action, action for gravitational field, matter, symmetries and conservation laws, gravitational field equations, spinor fields, electromagnetic field, action for particles). In this order, a particle is a special case of a field existing in spacetime, and classical mechanics can be derived from field theory. I dedicate this book to my Parents: Bo_zennaPop lawska and Janusz Pop lawski. I am also grateful to Chris Cox for inspiring this book. The Laws of Physics are simple, beautiful, and universal. arXiv:0911.0334v2 [gr-qc] 4 Jul 2020 1 Contents 1 Spacetime 5 1.1 Principle of general covariance and tensors . 5 1.1.1 Vectors . 5 1.1.2 Tensors . 6 1.1.3 Densities . 7 1.1.4 Contraction . 7 1.1.5 Kronecker and Levi-Civita symbols . 8 1.1.6 Dual densities . 8 1.1.7 Covariant integrals . 9 1.1.8 Antisymmetric derivatives . 9 1.2 Affine connection . 10 1.2.1 Covariant differentiation of tensors . 10 1.2.2 Parallel transport . 11 1.2.3 Torsion tensor . 11 1.2.4 Covariant differentiation of densities .
    [Show full text]
  • Arxiv:Gr-Qc/0611154 V1 30 Nov 2006 Otx Fcra Geometry
    MacDowell–Mansouri Gravity and Cartan Geometry Derek K. Wise Department of Mathematics University of California Riverside, CA 92521, USA email: [email protected] November 29, 2006 Abstract The geometric content of the MacDowell–Mansouri formulation of general relativity is best understood in terms of Cartan geometry. In particular, Cartan geometry gives clear geomet- ric meaning to the MacDowell–Mansouri trick of combining the Levi–Civita connection and coframe field, or soldering form, into a single physical field. The Cartan perspective allows us to view physical spacetime as tangentially approximated by an arbitrary homogeneous ‘model spacetime’, including not only the flat Minkowski model, as is implicitly used in standard general relativity, but also de Sitter, anti de Sitter, or other models. A ‘Cartan connection’ gives a prescription for parallel transport from one ‘tangent model spacetime’ to another, along any path, giving a natural interpretation of the MacDowell–Mansouri connection as ‘rolling’ the model spacetime along physical spacetime. I explain Cartan geometry, and ‘Cartan gauge theory’, in which the gauge field is replaced by a Cartan connection. In particular, I discuss MacDowell–Mansouri gravity, as well as its recent reformulation in terms of BF theory, in the arXiv:gr-qc/0611154 v1 30 Nov 2006 context of Cartan geometry. 1 Contents 1 Introduction 3 2 Homogeneous spacetimes and Klein geometry 8 2.1 Kleingeometry ................................... 8 2.2 MetricKleingeometry ............................. 10 2.3 Homogeneousmodelspacetimes. ..... 11 3 Cartan geometry 13 3.1 Ehresmannconnections . .. .. .. .. .. .. .. .. 13 3.2 Definition of Cartan geometry . ..... 14 3.3 Geometric interpretation: rolling Klein geometries . .............. 15 3.4 ReductiveCartangeometry . 17 4 Cartan-type gauge theory 20 4.1 Asequenceofbundles .............................
    [Show full text]
  • Kähler Manifolds, Ricci Curvature, and Hyperkähler Metrics
    K¨ahlermanifolds, Ricci curvature, and hyperk¨ahler metrics Jeff A. Viaclovsky June 25-29, 2018 Contents 1 Lecture 1 3 1.1 The operators @ and @ ..........................4 1.2 Hermitian and K¨ahlermetrics . .5 2 Lecture 2 7 2.1 Complex tensor notation . .7 2.2 The musical isomorphisms . .8 2.3 Trace . 10 2.4 Determinant . 11 3 Lecture 3 11 3.1 Christoffel symbols of a K¨ahler metric . 11 3.2 Curvature of a Riemannian metric . 12 3.3 Curvature of a K¨ahlermetric . 14 3.4 The Ricci form . 15 4 Lecture 4 17 4.1 Line bundles and divisors . 17 4.2 Hermitian metrics on line bundles . 18 5 Lecture 5 21 5.1 Positivity of a line bundle . 21 5.2 The Laplacian on a K¨ahlermanifold . 22 5.3 Vanishing theorems . 25 6 Lecture 6 25 6.1 K¨ahlerclass and @@-Lemma . 25 6.2 Yau's Theorem . 27 6.3 The @ operator on holomorphic vector bundles . 29 1 7 Lecture 7 30 7.1 Holomorphic vector fields . 30 7.2 Serre duality . 32 8 Lecture 8 34 8.1 Kodaira vanishing theorem . 34 8.2 Complex projective space . 36 8.3 Line bundles on complex projective space . 37 8.4 Adjunction formula . 38 8.5 del Pezzo surfaces . 38 9 Lecture 9 40 9.1 Hirzebruch Signature Theorem . 40 9.2 Representations of U(2) . 42 9.3 Examples . 44 2 1 Lecture 1 We will assume a basic familiarity with complex manifolds, and only do a brief review today. Let M be a manifold of real dimension 2n, and an endomorphism J : TM ! TM satisfying J 2 = −Id.
    [Show full text]
  • Two Exotic Holonomies in Dimension Four, Path Geometries, and Twistor Theory
    Two Exotic Holonomies in Dimension Four, Path Geometries, and Twistor Theory by Robert L. Bryant* Table of Contents §0. Introduction §1. The Holonomy of a Torsion-Free Connection §2. The Structure Equations of H3-andG3-structures §3. The Existence Theorems §4. Path Geometries and Exotic Holonomy §5. Twistor Theory and Exotic Holonomy §6. Epilogue §0. Introduction Since its introduction by Elie´ Cartan, the holonomy of a connection has played an important role in differential geometry. One of the best known results concerning hol- onomy is Berger’s classification of the possible holonomies of Levi-Civita connections of Riemannian metrics. Since the appearance of Berger [1955], much work has been done to refine his listofpossible Riemannian holonomies. See the recent works by Besse [1987]or Salamon [1989]foruseful historical surveys and applications of holonomy to Riemannian and algebraic geometry. Less well known is that, at the same time, Berger also classified the possible pseudo- Riemannian holonomies which act irreducibly on each tangent space. The intervening years have not completely resolved the question of whether all of the subgroups of the general linear group on his pseudo-Riemannian list actually occur as holonomy groups of pseudo-Riemannian metrics, but, as of this writing, only one class of examples on his list remains in doubt, namely SO∗(2p) ⊂ GL(4p)forp ≥ 3. Perhaps the least-known aspect of Berger’s work on holonomy concerns his list of the possible irreducibly-acting holonomy groups of torsion-free affine connections. (Torsion- free connections are the natural generalization of Levi-Civita connections in the metric case.) Part of the reason for this relative obscurity is that affine geometry is not as well known or widely usedasRiemannian geometry and global results are generally lacking.
    [Show full text]
  • Flat Connections on Oriented 2-Manifolds
    e Bull. London Math. Soc. 37 (2005) 1–14 C 2005 London Mathematical Society DOI: 10.1112/S002460930400373X FLAT CONNECTIONS ON ORIENTED 2-MANIFOLDS LISA C. JEFFREY Abstract This paper aims to provide a survey on the subject of representations of fundamental groups of 2-manifolds, or in other guises flat connections on orientable 2-manifolds or moduli spaces parametrizing holomorphic vector bundles on Riemann surfaces. It emphasizes the relationships between the different descriptions of these spaces. The final two sections of the paper outline results of the author and Kirwan on the cohomology rings of certain of the spaces described earlier (formulas for intersection numbers that were discovered by Witten (Commun. Math. Phys. 141 (1991) 153–209 and J. Geom. Phys. 9 (1992) 303–368) and given a mathematical proof by the author and Kirwan (Ann. of Math. 148 (1998) 109–196)). 1. Introduction This paper aims to provide a survey on the subject of representations of fundamental groups of 2-manifolds, or in other guises flat connections on orientable 2-manifolds or moduli spaces parametrizing holomorphic vector bundles on Riemann surfaces. Sections 1 and 2 are intended to be accessible to anyone with a background corresponding to an introductory course on differentiable manifolds (at the advanced undergraduate or beginning research student level in UK universities). Sections 3 and 4 describe recent work on the topology of the spaces treated in Sections 1 and 2, and may require more background in algebraic topology (for instance, familiarity with homology theory). The layout of the paper is as follows. Section 1.2 treats the Jacobian (which is the simplest prototype for the class of objects treated throughout the paper, corresponding to the group U(1)).
    [Show full text]
  • SPINORS and SPACE–TIME ANISOTROPY
    Sergiu Vacaru and Panayiotis Stavrinos SPINORS and SPACE{TIME ANISOTROPY University of Athens ————————————————— c Sergiu Vacaru and Panyiotis Stavrinos ii - i ABOUT THE BOOK This is the first monograph on the geometry of anisotropic spinor spaces and its applications in modern physics. The main subjects are the theory of grav- ity and matter fields in spaces provided with off–diagonal metrics and asso- ciated anholonomic frames and nonlinear connection structures, the algebra and geometry of distinguished anisotropic Clifford and spinor spaces, their extension to spaces of higher order anisotropy and the geometry of gravity and gauge theories with anisotropic spinor variables. The book summarizes the authors’ results and can be also considered as a pedagogical survey on the mentioned subjects. ii - iii ABOUT THE AUTHORS Sergiu Ion Vacaru was born in 1958 in the Republic of Moldova. He was educated at the Universities of the former URSS (in Tomsk, Moscow, Dubna and Kiev) and reveived his PhD in theoretical physics in 1994 at ”Al. I. Cuza” University, Ia¸si, Romania. He was employed as principal senior researcher, as- sociate and full professor and obtained a number of NATO/UNESCO grants and fellowships at various academic institutions in R. Moldova, Romania, Germany, United Kingdom, Italy, Portugal and USA. He has published in English two scientific monographs, a university text–book and more than hundred scientific works (in English, Russian and Romanian) on (super) gravity and string theories, extra–dimension and brane gravity, black hole physics and cosmolgy, exact solutions of Einstein equations, spinors and twistors, anistoropic stochastic and kinetic processes and thermodynamics in curved spaces, generalized Finsler (super) geometry and gauge gravity, quantum field and geometric methods in condensed matter physics.
    [Show full text]
  • HARMONIC MAPS Contents 1. Introduction 2 1.1. Notational
    HARMONIC MAPS ANDREW SANDERS Contents 1. Introduction 2 1.1. Notational conventions 2 2. Calculus on vector bundles 2 3. Basic properties of harmonic maps 7 3.1. First variation formula 7 References 10 1 2 ANDREW SANDERS 1. Introduction 1.1. Notational conventions. By a smooth manifold M we mean a second- countable Hausdorff topological space with a smooth maximal atlas. We denote the tangent bundle of M by TM and the cotangent bundle of M by T ∗M: 2. Calculus on vector bundles Given a pair of manifolds M; N and a smooth map f : M ! N; it is advantageous to consider the differential df : TM ! TN as a section df 2 Ω0(M; T ∗M ⊗ f ∗TN) ' Ω1(M; f ∗TN): There is a general for- malism for studying the calculus of differential forms with values in vector bundles equipped with a connection. This formalism allows a fairly efficient, and more coordinate-free, treatment of many calculations in the theory of harmonic maps. While this approach is somewhat abstract and obfuscates the analytic content of many expressions, it takes full advantage of the algebraic symmetries available and therefore simplifies many expressions. We will develop some of this theory now and use it freely throughout the text. The following exposition will closely fol- low [Xin96]. Let M be a smooth manifold and π : E ! M a real vector bundle on M or rank r: Throughout, we denote the space of smooth sections of E by Ω0(M; E): More generally, the space of differential p-forms with values in E is given by Ωp(M; E) := Ω0(M; ΛpT ∗M ⊗ E): Definition 2.1.
    [Show full text]