DOCSLIB.ORG

Introduction to the Yang-Mills Equations Final Project for Math 581 11 May 2012 Sébastien Picard [email protected]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Introduction to the Yang-Mills Equations Final Project for Math 581 11 May 2012 Sébastien Picard Sebastien.Picard@Mail.Mcgill.C Introduction to the Yang-Mills Equations Final Project for Math 581 11 May 2012 S´ebastien Picard [email protected] Contents 1. Introduction 1 2. Connections and Curvature 2 3. The Hodge Star Operator 9 4. Statement of the Yang-Mills Equation 13 5. Short Excursion into Hyperbolic Yang-Mills: The Maxwell Equations 15 6. Hodge Theory 19 7. Variational Formulation 28 8. Manifolds of Dimension d =4 31 9. ASD Connections and Gauge Fixing 36 References 41 1. Introduction We discuss some topics on the Yang-Mills equations. We first develop some of the geomet- ric background needed to understand the statement of the equation; namely, the notions of a connection, curvature, and the Hodge star operator. We then state the equation and briefly discuss gauge transformations. As an aside, which is interesting from a physics standpoint, we derive the Maxwell’s equations from the Yang-Mills framework. Since Yang-Mills theory is a generalization of Hodge theory, we spend some time carefully proving the Hodge theorem. We conclude by investigating the Yang-Mills equations over a compact four-manifold and discuss selfdual and antiselfdual instantons. The majority of these notes were written while following Jost’s Riemannian Geometry and Geometric Analysis [1], with some inspiration from more physics-oriented texts such as [2]. The last section was written while following [4]. The prerequisites are graduate level courses in smooth manifolds and partial differential equations. The Einstein summation convention is always assumed. 1 2 2. Connections and Curvature In this section, we explore connections on vector bundles. Let π : E → M to be a vector bundle of rank n over a smooth manifold M. We use the notation Γ(E) to denote the set of smooth sections σ : M → E of the vector bundle E. In the case E = T M, we have that σ ∈ Γ(T M) is a smooth vector field on M. A connection on a vector bundle in a generalization of the directional derivative in Rd. The precise definition is the following: Definition 2.1. Let M be a smooth manifold, and π : E → M a vector bundle. A connection on E is a map D : Γ(T M) × Γ(E) → Γ(E), (X, σ) 7→ DX σ such that for any τ, σ ∈ Γ(E), X,Y ∈ Γ(T M), and f ∈ C∞(M), the following four properties hold: (1) DX+Y σ = DX σ + DY σ, (2) DfX σ = fDX σ, (3) DX (σ + τ)= DX σ + DX τ, (4) DX (fσ)= X(f)σ + fDX σ. Rule (4) is called the Leibniz rule. We start by investigating the local properties of D. Given any point q ∈ M, by the definition of a vector bundle, there exists a neighbourhood U containing q and a diffeomorphism Φ : π−1(U) → U ×Rn that acts linearly on the fibers. (Φ is called a local n trivialization.) If {e1,...,en} is the standard basis of R , we obtain local sections εi : M → E, −1 εi(p) = Φ (p, ei) such that at each p ∈ U, {εi(p)} forms a basis of the fiber Ep. We can thus write any section σ : M → E in the form i σ(p)= σ (p)εi(p), where the σi are functions on U. We define the trivial connection D0 as follows: 0 i DX (σ) := X(σ )εi. It is easy to check that D0 indeed defines a connection. Now, take any given connection D. Locally, we can define the difference 3 0 A(X) := DX − DX , A : Γ(T M) → C∞(M, End(Rn)), X 7→ A(X). Hence for each smooth vector field X, we obtain A(X), which is a matrix-valued function on i M. Said in another way, given p ∈ M, (A(X))(p) acts on a vector σ (p)εi(p). We can check ∞ i i that A is C -linear. Indeed, we have A(X)(σ εi)= σ A(X)εi, since the derivative terms in the Leibniz rule cancel: i i i i i 0 A(X)(σ εi)= X(σ )εi − X(σ )εi − σ DX εi = σ (DX − DX )εi. Conversely, any map A : Γ(T M) → C∞(M, End(Rn)) that is C∞-linear defines a connection 0 DX = DX + A(X). Therefore, the maps A classify connections on a trivial bundle. We thus obtain the following local decomposition for any connection D: 0 DX = DX + A(X) (1) . Written out explicitly, under this decomposition we have i j DX σ = X(σ )εi + Aij(X)σ εi We now define the curvature operator corresponding to a connection D. Definition 2.2. Let D be a connection on the vector bundle E → M. Given vector fields V, W ∈ Γ(T M), we define the curvature F (V, W ):Γ(E) → Γ(E) in the following way: F (V, W )σ = DV DW σ − DW DV − D[V,W ]σ. i We investigate the form in F in local coordinates. The first claim is that if we have V = V ∂i, i j k W = W ∂i, we can write F (V, W )= V W Fjk, where Fjk := F (∂j, ∂k). 4 Since partial derivatives commute, we have [∂j , ∂k] = 0, and hence Fjk = DjDk − DkDj, (2) where for convenience, we denote Di := D∂i . Before launching into the computation, we note how to write the Lie bracket in coordinates: i k i k [V, W ]=(V ∂iW − W ∂iV )∂k. We now compute i k i k k i i k i k F (V ∂i, W ∂k)σ = DV ∂i DW ∂k σ − DW ∂k DV ∂i σ − D(V ∂iW −W ∂iV )∂k σ k i i k i k i k = DV ∂i W Dkσ − DW ∂k V Diσ − (V ∂iW )Dkσ − (W ∂iV )Dkσ i k i k k i k i = V ∂iW Dkσ + V W DiDkσ − W ∂kV Diσ − W V DkDiσ i k i k − V ∂iW Dkσ − W ∂iV Dkσ i k = V W (DiDkσ − DkDiσ) i k = V W F (∂i, ∂k)σ. j k This shows that F (V, W )= V W Fjk. i The next step is to write Fjk in terms of A. As usual, locally we write σ = σ εi. Using the decomposition from (1), and the notation Ai = A(∂i), we compute i Fjkσ =(DjDk − DkDj)σ εi 0 0 i 0 0 i =(Dj + Aj)(Dk + Ak)σ εi − (Dk + Ak)(Dj + Aj)σ εi 0 i i 0 i i =(Dj + Aj)(∂kσ εi + Akσ εi) − (Dk + Ak)(∂jσ εi + Ajσ εi) i i i i i i i i = ∂j∂kσ εi + ∂j(Akσ )εi + Aj∂kσ εi + AjAkσ εi − ∂k∂jσ εi − ∂k(Ajσ )εi − Ak∂jσ εi − AkAjσ εi i i i i i i i i =(∂jAk)σ εi + Ak∂jσ εi + Aj∂kσ εi + AjAkσ εi − (∂kAj)σ εi − Aj∂kσ εi − Ak∂jσ εi − AkAjσ εi i =(∂jAk − ∂kAj + AjAk − AkAj)σ εi. We have thus derived the following useful local expression: i Fjkσ =(∂jAk − ∂kAj + [Aj, Ak])σ εi. (3) 5 Written this way, it is easy to see the skew-symmetry of the curvature operator: Fjk = ∂jAk − ∂kAj + [Aj, Ak] = −(∂kAj − ∂jAk − [Aj, Ak]) = −(∂kAj − ∂jAk + [Ak, Aj]) = −Fkj. There is a different way to look at the curvature operator F . The ultimate goal is to gener- alize the definition of the connection D in a way akin to the exterior derivative d. The rest of this section introduces new notation that will be used throughout the document. We start by rewriting the curvature operator, and then move on to generalize the connection D. We rewrite the curvature operator in the following way: j k F = Fjk ⊗ dx ∧ dx . (4) We use the so-called “Alt convention” for the wedge product; for covectors ωi ∈ Γ(T M ∗) and vector fields Vi ∈ Γ(T M), we have 1 ω1 ∧···∧ ωk(V ,...,V )= det(ωi(V )). i k k! j To justify (4), we compute for vector fields V, W j k i l F (V, W )= Fjk ⊗ dx ∧ dx (V ∂i ⊗ W ∂l) F = jk (V jW k − W jV k) 2 1 = (V jW kF − V kW jF ) 2 jk jk 1 = (V jW kF + V kW jF ) 2 jk kj j k = V W Fjk. Now that we have tweaked the definition of the curvature F , we revisit the definition of a connection D. Given a vector bundle E → M of rank n, we can construct the bundle End(E). If Ep is 6 the fiber over p ∈ M, we can look at the space of linear transformations on the vector space Ep. The fibers of End(E) are given by this space of linear transformations, and allows us to the define the vector bundle End(E) → M of rank n2. We want to define extend our definition of a connection D to allow it to act on sections of End(E). The motivation for the definition is to have a Leibniz rule; if T ∈ Γ(End(E)), σ ∈ Γ(E), and V is a smooth vector field, then we should have DV (T σ)=(DV T )σ + T (DV σ). With this motivation in mind, we define (DV T )σ := DV (T σ) − T (DV σ). (5) Locally, if we write D in its decomposition D = D0 + A, we obtain 0 0 (DjT )σ =(Dj + Aj)(T σ) − T ((Dj + Aj)σ)=(∂jT )σ + T ∂jσ + AjT σ − T ∂jσ − T Ajσ. After cancellation, we see that DjT = ∂jT + [Aj, T ].
Load more

Recommended publications
  • When Is a Connection a Metric Connection?
    NEW ZEALAND JOURNAL OF MATHEMATICS Volume 38 (2008), 225–238 WHEN IS A CONNECTION A METRIC CONNECTION? Richard Atkins (Received April 2008) Abstract. There are two sides to this investigation: first, the determination of the integrability conditions that ensure the existence of a local parallel metric in the neighbourhood of a given point and second, the characterization of the topological obstruction to a globally defined parallel metric. The local problem has been previously solved by means of constructing a derived flag. Herein we continue the inquiry to the global aspect, which is formulated in terms of the cohomology of the constant sheaf of sections in the general linear group. 1. Introduction A connection on a manifold is a type of differentiation that acts on vector fields, differential forms and tensor products of these objects. Its importance lies in the fact that given a piecewise continuous curve connecting two points on the manifold, the connection defines a linear isomorphism between the respective tangent spaces at these points. Another fundamental concept in the study of differential geometry is that of a metric, which provides a measure of distance on the manifold. It is well known that a metric uniquely determines a Levi-Civita connection: a symmetric connection for which the metric is parallel. Not all connections are derived from a metric and so it is natural to ask, for a symmetric connection, if there exists a parallel metric, that is, whether the connection is a Levi-Civita connection. More generally, a connection on a manifold M, symmetric or not, is said to be metric if there exists a parallel metric defined on M.
    [Show full text]
  • Lecture 24/25: Riemannian Metrics
    Lecture 24/25: Riemannian metrics An inner product on Rn allows us to do the following: Given two curves intersecting at a point x Rn,onecandeterminetheanglebetweentheir tangents: ∈ cos θ = u, v / u v . | || | On a general manifold, we would again like to have an inner product on each TpM.Theniftwocurvesintersectatapointp,onecanmeasuretheangle between them. Of course, there are other geometric invariants that arise out of this structure. 1. Riemannian and Hermitian metrics Definition 24.2. A Riemannian metric on a vector bundle E is a section g Γ(Hom(E E,R)) ∈ ⊗ such that g is symmetric and positive definite. A Riemannian manifold is a manifold together with a choice of Riemannian metric on its tangent bundle. Chit-chat 24.3. A section of Hom(E E,R)isasmoothchoiceofalinear map ⊗ gp : Ep Ep R ⊗ → at every point p.Thatg is symmetric means that for every u, v E ,wehave ∈ p gp(u, v)=gp(v, u). That g is positive definite means that g (v, v) 0 p ≥ for all v E ,andequalityholdsifandonlyifv =0 E . ∈ p ∈ p Chit-chat 24.4. As usual, one can try to understand g in local coordinates. If one chooses a trivializing set of linearly independent sections si ,oneob- tains a matrix of functions { } gij = gp((si)p, (sj)p). By symmetry of g,thisisasymmetricmatrix. 85 n Example 24.5. T R is trivial. Let gij = δij be the constant matrix of functions, so that gij(p)=I is the identity matrix for every point. Then on n n every fiber, g defines the usual inner product on TpR ∼= R .
    [Show full text]
  • Equivalence of A-Approximate Continuity for Self-Adjoint
    Equivalence of A-Approximate Continuity for Self-Adjoint Expansive Linear Maps a,1 b, ,2 Sz. Gy. R´ev´esz , A. San Antol´ın ∗ aA. R´enyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, P.O.B. 127, 1364 Hungary bDepartamento de Matem´aticas, Universidad Aut´onoma de Madrid, 28049 Madrid, Spain Abstract Let A : Rd Rd, d 1, be an expansive linear map. The notion of A-approximate −→ ≥ continuity was recently used to give a characterization of scaling functions in a multiresolution analysis (MRA). The definition of A-approximate continuity at a point x – or, equivalently, the definition of the family of sets having x as point of A-density – depend on the expansive linear map A. The aim of the present paper is to characterize those self-adjoint expansive linear maps A , A : Rd Rd for which 1 2 → the respective concepts of Aµ-approximate continuity (µ = 1, 2) coincide. These we apply to analyze the equivalence among dilation matrices for a construction of systems of MRA. In particular, we give a full description for the equivalence class of the dyadic dilation matrix among all self-adjoint expansive maps. If the so-called “four exponentials conjecture” of algebraic number theory holds true, then a similar full description follows even for general self-adjoint expansive linear maps, too. arXiv:math/0703349v2 [math.CA] 7 Sep 2007 Key words: A-approximate continuity, multiresolution analysis, point of A-density, self-adjoint expansive linear map. 1 Supported in part in the framework of the Hungarian-Spanish Scientific and Technological Governmental Cooperation, Project # E-38/04.
    [Show full text]
  • Arxiv:2009.07259V1 [Math.AP] 15 Sep 2020
    A GEOMETRIC TRAPPING APPROACH TO GLOBAL REGULARITY FOR 2D NAVIER-STOKES ON MANIFOLDS AYNUR BULUT AND KHANG MANH HUYNH Abstract. In this paper, we use frequency decomposition techniques to give a direct proof of global existence and regularity for the Navier-Stokes equations on two-dimensional Riemannian manifolds without boundary. Our techniques are inspired by an approach of Mattingly and Sinai [15] which was developed in the context of periodic boundary conditions on a flat background, and which is based on a maximum principle for Fourier coefficients. The extension to general manifolds requires several new ideas, connected to the less favorable spectral localization properties in our setting. Our argu- ments make use of frequency projection operators, multilinear estimates that originated in the study of the non-linear Schr¨odingerequation, and ideas from microlocal analysis. 1. Introduction Let (M; g) be a closed, oriented, connected, compact smooth two-dimensional Riemannian manifold, and let X(M) denote the space of smooth vector fields on M. We consider the incompressible Navier-Stokes equations on M, with viscosity coefficient ν > 0, @ U + div (U ⊗ U) − ν∆ U = − grad p in M t M ; (1) div U = 0 in M with initial data U0 2 X(M); where I ⊂ R is an open interval, and where U : I ! X(M) and p : I × M ! R represent the velocity and pressure of the fluid, respectively. Here, the operator ∆M is any choice of Laplacian defined on vector fields on M, discussed below. arXiv:2009.07259v1 [math.AP] 15 Sep 2020 The theory of two-dimensional fluid flows on flat spaces is well-developed, and a variety of global regularity results are well-known.
    [Show full text]
  • LECTURES on PURE SPINORS and MOMENT MAPS Contents 1
    LECTURES ON PURE SPINORS AND MOMENT MAPS E. MEINRENKEN Contents 1. Introduction 1 2. Volume forms on conjugacy classes 1 3. Clifford algebras and spinors 3 4. Linear Dirac geometry 8 5. The Cartan-Dirac structure 11 6. Dirac structures 13 7. Group-valued moment maps 16 References 20 1. Introduction This article is an expanded version of notes for my lectures at the summer school on `Poisson geometry in mathematics and physics' at Keio University, Yokohama, June 5{9 2006. The plan of these lectures was to give an elementary introduction to the theory of Dirac structures, with applications to Lie group valued moment maps. Special emphasis was given to the pure spinor approach to Dirac structures, developed in Alekseev-Xu [7] and Gualtieri [20]. (See [11, 12, 16] for the more standard approach.) The connection to moment maps was made in the work of Bursztyn-Crainic [10]. Parts of these lecture notes are based on a forthcoming joint paper [1] with Anton Alekseev and Henrique Bursztyn. I would like to thank the organizers of the school, Yoshi Maeda and Guiseppe Dito, for the opportunity to deliver these lectures, and for a greatly enjoyable meeting. I also thank Yvette Kosmann-Schwarzbach and the referee for a number of helpful comments. 2. Volume forms on conjugacy classes We will begin with the following FACT, which at first sight may seem quite unrelated to the theme of these lectures: FACT. Let G be a simply connected semi-simple real Lie group. Then every conjugacy class in G carries a canonical invariant volume form.
    [Show full text]
  • Lecture Notes in Mathematics
    Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann Subseries: Mathematisches Institut der Universit~it und Max-Planck-lnstitut for Mathematik, Bonn - voL 5 Adviser: E Hirzebruch 1111 Arbeitstagung Bonn 1984 Proceedings of the meeting held by the Max-Planck-lnstitut fur Mathematik, Bonn June 15-22, 1984 Edited by E Hirzebruch, J. Schwermer and S. Suter I IIII Springer-Verlag Berlin Heidelberg New York Tokyo Herausgeber Friedrich Hirzebruch Joachim Schwermer Silke Suter Max-Planck-lnstitut fLir Mathematik Gottfried-Claren-Str. 26 5300 Bonn 3, Federal Republic of Germany AMS-Subject Classification (1980): 10D15, 10D21, 10F99, 12D30, 14H10, 14H40, 14K22, 17B65, 20G35, 22E47, 22E65, 32G15, 53C20, 57 N13, 58F19 ISBN 3-54045195-8 Springer-Verlag Berlin Heidelberg New York Tokyo ISBN 0-387-15195-8 Springer-Verlag New York Heidelberg Berlin Tokyo CIP-Kurztitelaufnahme der Deutschen Bibliothek. Mathematische Arbeitstagung <25. 1984. Bonn>: Arbeitstagung Bonn: 1984; proceedings of the meeting, held in Bonn, June 15-22, 1984 / [25. Math. Arbeitstagung]. Ed. by E Hirzebruch ... - Berlin; Heidelberg; NewYork; Tokyo: Springer, 1985. (Lecture notes in mathematics; Vol. 1t11: Subseries: Mathematisches I nstitut der U niversit~it und Max-Planck-lnstitut for Mathematik Bonn; VoL 5) ISBN 3-540-t5195-8 (Berlin...) ISBN 0-387q5195-8 (NewYork ...) NE: Hirzebruch, Friedrich [Hrsg.]; Lecture notes in mathematics / Subseries: Mathematischee Institut der UniversitAt und Max-Planck-lnstitut fur Mathematik Bonn; HST This work ts subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re~use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks.
    [Show full text]
  • NOTES on DIFFERENTIAL FORMS. PART 3: TENSORS 1. What Is A
    NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? 1 n Let V be a finite-dimensional vector space. It could be R , it could be the tangent space to a manifold at a point, or it could just be an abstract vector space. A k-tensor is a map T : V × · · · × V ! R 2 (where there are k factors of V ) that is linear in each factor. That is, for fixed ~v2; : : : ;~vk, T (~v1;~v2; : : : ;~vk−1;~vk) is a linear function of ~v1, and for fixed ~v1;~v3; : : : ;~vk, T (~v1; : : : ;~vk) is a k ∗ linear function of ~v2, and so on. The space of k-tensors on V is denoted T (V ). Examples: n • If V = R , then the inner product P (~v; ~w) = ~v · ~w is a 2-tensor. For fixed ~v it's linear in ~w, and for fixed ~w it's linear in ~v. n • If V = R , D(~v1; : : : ;~vn) = det ~v1 ··· ~vn is an n-tensor. n • If V = R , T hree(~v) = \the 3rd entry of ~v" is a 1-tensor. • A 0-tensor is just a number. It requires no inputs at all to generate an output. Note that the definition of tensor says nothing about how things behave when you rotate vectors or permute their order. The inner product P stays the same when you swap the two vectors, but the determinant D changes sign when you swap two vectors. Both are tensors. For a 1-tensor like T hree, permuting the order of entries doesn't even make sense! ~ ~ Let fb1;:::; bng be a basis for V .
    [Show full text]
  • Tensor Products
    Tensor products Joel Kamnitzer April 5, 2011 1 The definition Let V, W, X be three vector spaces. A bilinear map from V × W to X is a function H : V × W → X such that H(av1 + v2, w) = aH(v1, w) + H(v2, w) for v1,v2 ∈ V, w ∈ W, a ∈ F H(v, aw1 + w2) = aH(v, w1) + H(v, w2) for v ∈ V, w1, w2 ∈ W, a ∈ F Let V and W be vector spaces. A tensor product of V and W is a vector space V ⊗ W along with a bilinear map φ : V × W → V ⊗ W , such that for every vector space X and every bilinear map H : V × W → X, there exists a unique linear map T : V ⊗ W → X such that H = T ◦ φ. In other words, giving a linear map from V ⊗ W to X is the same thing as giving a bilinear map from V × W to X. If V ⊗ W is a tensor product, then we write v ⊗ w := φ(v ⊗ w). Note that there are two pieces of data in a tensor product: a vector space V ⊗ W and a bilinear map φ : V × W → V ⊗ W . Here are the main results about tensor products summarized in one theorem. Theorem 1.1. (i) Any two tensor products of V, W are isomorphic. (ii) V, W has a tensor product. (iii) If v1,...,vn is a basis for V and w1,...,wm is a basis for W , then {vi ⊗ wj }1≤i≤n,1≤j≤m is a basis for V ⊗ W .
    [Show full text]
  • Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md
    International Journal of Scientific & Engineering Research, Volume 5, Issue 9, September-2014 157 ISSN 2229-5518 Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md. Abdul Halim Sajal Saha Md Shafiqul Islam Abstract-In the paper some aspects of Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields are focused. The purpose of this paper is to develop the theory of manifolds equipped with Riemannian metric. I have developed some theorems on torsion and Riemannian curvature tensors using affine connection. A Theorem 1.20 named “Fundamental Theorem of Pseudo-Riemannian Geometry” has been established on Riemannian geometry using tensors with metric. The main tools used in the theorem of pseudo Riemannian are tensors fields defined on a Riemannian manifold. Keywords: Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields. —————————— —————————— I. Introduction (c) { } is a family of open sets which covers , that is, 푖 = . Riemannian manifold is a pair ( , g) consisting of smooth 푈 푀 manifold and Riemannian metric g. A manifold may carry a (d) ⋃ is푈 푖푖 a homeomorphism푀 from onto an open subset of 푀 ′ further structure if it is endowed with a metric tensor, which is a 푖 . 푖 푖 휑 푈 푈 natural generation푀 of the inner product between two vectors in 푛 ℝ to an arbitrary manifold. Riemannian metrics, affine (e) Given and such that , the map = connections,푛 parallel transport, curvature tensors, torsion tensors, ( ( ) killingℝ vector fields and conformal killing vector fields play from푖 푗 ) to 푖 푗 is infinitely푖푗 −1 푈 푈 푈 ∩ 푈 ≠ ∅ 휓 important role to develop the theorem of Riemannian manifolds.
    [Show full text]
  • Introduction to Hodge Theory
    INTRODUCTION TO HODGE THEORY DANIEL MATEI SNSB 2008 Abstract. This course will present the basics of Hodge theory aiming to familiarize students with an important technique in complex and algebraic geometry. We start by reviewing complex manifolds, Kahler manifolds and the de Rham theorems. We then introduce Laplacians and establish the connection between harmonic forms and cohomology. The main theorems are then detailed: the Hodge decomposition and the Lefschetz decomposition. The Hodge index theorem, Hodge structures and polariza- tions are discussed. The non-compact case is also considered. Finally, time permitted, rudiments of the theory of variations of Hodge structures are given. Date: February 20, 2008. Key words and phrases. Riemann manifold, complex manifold, deRham cohomology, harmonic form, Kahler manifold, Hodge decomposition. 1 2 DANIEL MATEI SNSB 2008 1. Introduction The goal of these lectures is to explain the existence of special structures on the coho- mology of Kahler manifolds, namely, the Hodge decomposition and the Lefschetz decom- position, and to discuss their basic properties and consequences. A Kahler manifold is a complex manifold equipped with a Hermitian metric whose imaginary part, which is a 2-form of type (1,1) relative to the complex structure, is closed. This 2-form is called the Kahler form of the Kahler metric. Smooth projective complex manifolds are special cases of compact Kahler manifolds. As complex projective space (equipped, for example, with the Fubini-Study metric) is a Kahler manifold, the complex submanifolds of projective space equipped with the induced metric are also Kahler. We can indicate precisely which members of the set of Kahler manifolds are complex projective, thanks to Kodaira’s theorem: Theorem 1.1.
    [Show full text]
  • Dirac Operators for Matrix Algebras Converging to Coadjoint Orbits
    DIRAC OPERATORS FOR MATRIX ALGEBRAS CONVERGING TO COADJOINT ORBITS MARC A. RIEFFEL Abstract. In the high-energy physics literature one finds statements such as “matrix algebras converge to the sphere”. Earlier I provided a general precise setting for understanding such statements, in which the matrix algebras are viewed as quantum metric spaces, and convergence is with respect to a quantum Gromov-Hausdorff-type distance. But physicists want even more to treat structures on spheres (and other spaces), such as vector bundles, Yang-Mills functionals, Dirac operators, etc., and they want to approximate these by corresponding structures on matrix algebras. In the present paper we provide a somewhat unified construction of Dirac operators on coadjoint orbits and on the matrix algebras that converge to them. This enables us to prove our main theorem, whose content is that, for the quantum metric-space structures determined by the Dirac operators that we construct, the matrix algebras do indeed converge to the coadjoint orbits, for a quite strong version of quantum Gromov-Hausdorff distance. Contents Introduction 2 1. Ergodic actions and Dirac operators 5 2. Invariance under the group actions 9 3. Charge Conjugation 11 4. Casimir operators 12 5. First facts about spinors 14 6. The C*-metrics 16 7. More about spinors 20 8. Dirac operators for matrix algebras 21 arXiv:2108.01136v1 [math.OA] 2 Aug 2021 9. The fuzzy sphere 23 10. Homogeneous spaces and the Dirac operator for G 29 11. Dirac operators for homogeneous spaces 30 12. Complex structure on coadjoint orbits 36 13. Yet more about spinors 40 14.
    [Show full text]
  • Fluxes, Bundle Gerbes and 2-Hilbert Spaces
    Lett Math Phys DOI 10.1007/s11005-017-0971-x Fluxes, bundle gerbes and 2-Hilbert spaces Severin Bunk1 · Richard J. Szabo2 Received: 12 January 2017 / Revised: 13 April 2017 / Accepted: 8 May 2017 © The Author(s) 2017. This article is an open access publication Abstract We elaborate on the construction of a prequantum 2-Hilbert space from a bundle gerbe over a 2-plectic manifold, providing the first steps in a programme of higher geometric quantisation of closed strings in flux compactifications and of M5- branes in C-fields. We review in detail the construction of the 2-category of bundle gerbes and introduce the higher geometrical structures necessary to turn their cate- gories of sections into 2-Hilbert spaces. We work out several explicit examples of 2-Hilbert spaces in the context of closed strings and M5-branes on flat space. We also work out the prequantum 2-Hilbert space associated with an M-theory lift of closed strings described by an asymmetric cyclic orbifold of the SU(2) WZW model, pro- viding an example of sections of a torsion gerbe on a curved background. We describe the dimensional reduction of M-theory to string theory in these settings as a map from 2-isomorphism classes of sections of bundle gerbes to sections of corresponding line bundles, which is compatible with the respective monoidal structures and module actions. Keywords Bundle gerbes · Higher geometric quantisation · Fluxes in string and M-theory · Higher geometric structures Mathematics Subject Classification 81S10 · 53Z05 · 18F99 B Severin Bunk [email protected] Richard J.
    [Show full text]