The Kahler 2-Form in D=11 Supergravity D=11 Supergravity with Isometry Group (SU(3)/Z3)×U(2) B Dolan to Cite This Article: B P Dolan 1985 Class

Total Page:16

File Type:pdf, Size:1020Kb

The Kahler 2-Form in D=11 Supergravity D=11 Supergravity with Isometry Group (SU(3)/Z3)×U(2) B Dolan to Cite This Article: B P Dolan 1985 Class Classical and Quantum Gravity Related content - An S2×S1 bundle over CP2-a solution of The Kahler 2-form in D=11 supergravity d=11 supergravity with isometry group (SU(3)/Z3)×U(2) B Dolan To cite this article: B P Dolan 1985 Class. Quantum Grav. 2 309 - Hopf fibration of eleven-dimensional supergravity B E W Nilsson and C N Pope - Kaluza-Klein theories View the article online for updates and enhancements. D Bailin and A Love Recent citations - On the stability and spectrum of non- supersymmetric AdS5 solutions of M- theory compactified on Kähler-Einstein spaces Jonathan E. Martin and Harvey S. Reall This content was downloaded from IP address 149.157.61.64 on 20/02/2019 at 15:25 Class. Quantum Grav. 2 (1985) 309-321. Printed in Great Britain The Kahler 2-form in D = 11 supergravity Brian P Dolan Department of Natural Philosophy, University of Glasgow, Glasgow GI2 8QQ, UK Received 28 September 1984 Abstract. Solutions of D = 11 supergravity are presented, in which the internal space consists of Kahler manifolds and S'. The 4-form field is constructed from bilinears in the Kahler 2-forms as well as the volume element of four-dimensional spacetime. The group of isometries of the internal metric is (SU(3)/Z3) x(SU(2)/Z2) xU(1). Four-dimensional spacetime is either anti-de-Sitter or Robertson-Walker. 1. Introduction There is much current interest in non-Abelian Kaluza-Klein theories in which the gauge group of internal symmetry acts on a compact, n-dimensional manifold, which is a submanifold of a larger (4+ n) dimensional spacetime [ 1-41. Supergravity supplies an attractive method of incorporating fermions into Kaluza-Klein theories. In par- ticular, eleven-dimensional supergravity seems to have the smallest number of dimensions in which one can hope to fit a gauge group with the algebra of SU(3) x SU(2) x U( 1). There are now many known solutions of the bosonic equations of motion of D = 11 supergravity [5]. All of these solutions rely on the Freund-Rubin ansatz [6], in which the 4-form field, 9,consists of a term which is a constant multiple of the volume element of four-dimensional anti-de-Sitter spacetime, possibly with additional terms on the internal space. This results in a manifold which is a direct product M4XB, where M4 is anti-de-Sitter space and E a compact, seven-dimensional manifold. In this paper some other solutions will be explored, in which the internal space is constructed from Kahler manifolds and S', and the internal part of 9 is quadratic in the Kahler 2-forms. Abbreviated versions of some of the results have already appeared in [7] and [8]. Here more details will be presented, along with some new results. Kahler manifolds and Kahler 2-forms have been considered in the context of ten- dimensional Einstein-Maxwell systems by Watamura [9], [ 101 and in the dimensionally reduced N = 2, non-chiral D = 10 supergravity in references [ 111 and [ 121. In 9 2 the bosonic Lagrangian and equations of motion are presented in differential form language. In 8 3 solutions are presented in which the internal space is CP2x S2 x S' and four-dimensional spacetime is of Robertson-Walker type. In 9 4 the problem of spinor structures on CP2 is discussed and modified metrics for fibre bundles of S' and S2 over CP2 are presented. In 8 5 and 9 6 these 'twisted' metrics are used to construct more solutions. Section 7 contains a summary and conclusions. Notation and conventions are summarised in appendix 1 and the properties of orthonormal 0264-9381/85/030309 + 13$02.25 0 1985 The Institute of Physics 309 3 10 B Dolan l-forms for the Fubini-study metrics and Kahler 2-forms on CP2 and CP' = S2 are presented in appendix 2. Appendix 3 contains some details of calculations nekded in 0 S and § 6. 2. Equations of motion The bosonic part of eleven-dimensional supergravity has the following action density ll-form [13] A = R~~ , E AB - 9, 9+ 3 A -I 9,9,d (1) where RAE are the curvature 2-forms obtained from the orthonormal l-forms EA via the torsion-free condition (see appendix 1). 9 is a 4-form derived, at least locally, from the 3-form potential d,9 = dd,whose presence in the full Lagrangian is necessary to balance the bosonic and fermionic degrees of freedom of eleven-dimensional supergravity [ 131. A is a constant and the eleven-dimensional Hodge duality operator. The Einstein equations obtained from (1) by varying the metric are R~~,T~E~~~=.FAjc(~,9)-(ic9),,~,S (2) For the definition of i,, see appendix 1. Note that the third term of (1) does not contribute to (2) since it does not contain any information about the metric. The matter field equations, obtained by varying the 3-form d in (1) are d;, %= .!FA9/A. (3 1 The potential d does not appear in the equations of motion (2) and (3) and in the following 9 will be such that no global potential exists (though one will always exist locally, on each coordinate patch, and on the coordinate overlaps two potentials can always be matched by a gauge transformation). Hence a third condition is imposed on 9 d9=Q (4) (2), (3) and (4) are the bosonic equations of D= 11 supergravity. 3. B=CP2xSZxS' Let the seven-dimensional internal space be CP2x S2 x SI and take E" = e", E "' = e"' where ea and em are orthonormal 1-forms for the Fubini-study metrics on CP2 and S2 respectively (see appendix 2). The gauge symmetry is (su(3)/z3)x(SU(2)/Z2) x U(1). With K2 and K1 the Kahler 2-forms on CP2 and S2 respectively, take the following ansatz for 9 9=PE'*~'+ (412) K,, K2+ (r/&) K,, K2 (5) with p, q and r constants. Then ;,9=-(p/2)E: KIAKZn K2+ qE:2304K,+ ( r/J2)E'2304,KZ. (61 If the volume form of four-dimensional spacetime and E4are independent of position The Kahler 2IJorm in D = 11 supergravity 311 on CP2x S2 (dE 12304 = 0) then d9=0, (7) since the Kahler 2-forms are closed. By inspection d;, 9=A-'9, 9#0 is impossible, hence (3) and (4) are satisfied provided d;,9=9,9=0 e pr=0,pq=OandpdE4=0. (8) Therefore, either p # 0, r = q = 0 and dE4= 0 or p = 0. The case p # 0 is the usual Freund-Rubin ansatz, but CP2x S2 x SI will not give a solution in this case since it does not admit an Einstein metric, due to the SI factor. The second case, p = 0, is different from the usual Freund-Rubin ansatz since 9 then contains no term on four-dimensional spacetime. For the remainder of 0 3 it will be assumed that p = 0. Now consider the Einstein equations (2) with p = 0: (For index conventions and definitions see appendices 1 and 2). Using (Al.l) and (A1.2), equations (9) give (with R5 the curvature scalar for E") R, = 3 ( q2+ r2- RCp2 - RS2), RCp2=-2(q2+ RgS RS2), q2-r2= R5+RCP2 (10) + RCP2= 3 ( r2+ 4q2), Rs2 = 3 (2r2- q2), R5=-$(r2+q2). Thus (9) are solved if E" is an orthonormal basis of 1-forms for a five-dimensional Einstein metric with negative scalar curvature Rpy,;EPY"=-(r2+q2);Ea (11) and the curvature scalars on CP2 and S2 are 3(r2+4q2)and 2(2r2-q2) respectively (note that this requires q2< 2r2). All that remains to obtain a complete solution is to solve (1 1) with the fifth dimension topologically SI. This problem has been considered in [7] and [14]. With the ansatz 0 6 ( < 2~ and gt3) a metric for a maximally symmetric 3-space with k = (+ 1, - 1,0) for positive, negative or zero 3-space curvature respectively, equations (1 1) reduce to 312 B Dolan (. =d/dt) R/R+ (R/R)’+ k/R2= -( r2+ q2)/6 (R/R)’+RdJ/R@ + k/R2= -( r2+ q2)/6 2R/ R + (R/R)2+klR2+ 6/@+2RdJ/RQ, = -(r2+ q2)/2 which have general solutiont { w = [f ( r2+ q2)]’/’} R( t)= [ P sin(wt + 6)-2k/~~]’/~ QW cos(wt + 6) Q,(t)=- 2 [Psin(wt+ 6)-2k/wZ]”’ where P, Q and S are constants. The special case k = 0 and r2 = 29’ was presented in [ 111 (r2= 2q2 makes the metric on CP2x S2 Einstein). The limits of t must be chosen so that (Psin(wt+ S) -2k/w2)30 at all times. For k = -1 (3-space hyperbolic), if 1 PI < 2/w2then t can run over many cycles and R2will always be positive. However, if k = 0, +I or /PI > 210’ then t must be restricted. For example, the case of flat 3-space, k = 0, with S = 0, must have 0 == t < r/w and it is not possible to take multiple copies of this range, as the metric would not be differential everywhere. Since in Kaluza-Klein theories it is usually assumed that the size of the internal dimensions is of the order of a few tens or hundreds of the Planck length, CO-’ will be a few tens or hundreds of the Planck time. Hence solutions with k = 0, +1 or IPI > 2/w2 would correspond to universes lasting only s: Thus the flat 3-space solution must be rejected on physical grounds, unless some way can be found to patch together many cycles in such a way as to make the joins smooth.
Recommended publications
  • Notes on the Atiyah-Singer Index Theorem Liviu I. Nicolaescu
    Notes on the Atiyah-Singer Index Theorem Liviu I. Nicolaescu Notes for a topics in topology course, University of Notre Dame, Spring 2004, Spring 2013. Last revision: November 15, 2013 i The Atiyah-Singer Index Theorem This is arguably one of the deepest and most beautiful results in modern geometry, and in my view is a must know for any geometer/topologist. It has to do with elliptic partial differential opera- tors on a compact manifold, namely those operators P with the property that dim ker P; dim coker P < 1. In general these integers are very difficult to compute without some very precise information about P . Remarkably, their difference, called the index of P , is a “soft” quantity in the sense that its determination can be carried out relying only on topological tools. You should compare this with the following elementary situation. m n Suppose we are given a linear operator A : C ! C . From this information alone we cannot compute the dimension of its kernel or of its cokernel. We can however compute their difference which, according to the rank-nullity theorem for n×m matrices must be dim ker A−dim coker A = m − n. Michael Atiyah and Isadore Singer have shown in the 1960s that the index of an elliptic operator is determined by certain cohomology classes on the background manifold. These cohomology classes are in turn topological invariants of the vector bundles on which the differential operator acts and the homotopy class of the principal symbol of the operator. Moreover, they proved that in order to understand the index problem for an arbitrary elliptic operator it suffices to understand the index problem for a very special class of first order elliptic operators, namely the Dirac type elliptic operators.
    [Show full text]
  • Fermionic Finite-Group Gauge Theories and Interacting Symmetric
    Fermionic Finite-Group Gauge Theories and Interacting Symmetric/Crystalline Orders via Cobordisms Meng Guo1;2;3, Kantaro Ohmori4, Pavel Putrov4;5, Zheyan Wan6, Juven Wang4;7 1Department of Mathematics, Harvard University, Cambridge, MA 02138, USA 2Perimeter Institute for Theoretical Physics, Waterloo, ON, N2L 2Y5, Canada 3Department of Mathematics, University of Toronto, Toronto, ON M5S 2E4, Canada 4School of Natural Sciences, Institute for Advanced Study, Princeton, NJ 08540, USA 5 ICTP, Trieste 34151, Italy 6School of Mathematical Sciences, USTC, Hefei 230026, China 7Center of Mathematical Sciences and Applications, Harvard University, Cambridge, MA, USA Abstract We formulate a family of spin Topological Quantum Filed Theories (spin-TQFTs) as fermionic generalization of bosonic Dijkgraaf-Witten TQFTs. They are obtained by gauging G-equivariant invertible spin-TQFTs, or, in physics language, gauging the interacting fermionic Symmetry Protected Topological states (SPTs) with a finite group G symmetry. We use the fact that the latter are classified by Pontryagin duals to spin-bordism groups of the classifying space BG. We also consider unoriented analogues, that is G-equivariant invertible pin±-TQFTs (fermionic time-reversal-SPTs) and their gauging. We compute these groups for various examples of abelian G using Adams spectral sequence and describe all corresponding TQFTs via certain bordism invariants in dimensions 3, 4, and other. This gives explicit formulas for the partition functions of spin-TQFTs on closed manifolds with possible extended operators inserted. The results also provide explicit classification of 't Hooft anomalies of fermionic QFTs with finite abelian group symmetries in one dimension lower. We construct new anomalous boundary deconfined spin-TQFTs (surface fermionic topological orders).
    [Show full text]
  • Arxiv:1910.04634V1 [Math.DG] 10 Oct 2019 ˆ That E Sdnt by Denote Us Let N a En H Subbundle the Define Can One of Points Bundle
    SPIN FRAME TRANSFORMATIONS AND DIRAC EQUATIONS R.NORIS(1)(2), L.FATIBENE(2)(3) (1) DISAT, Politecnico di Torino, C.so Duca degli Abruzzi 24, I-10129 Torino, Italy (2)INFN Sezione di Torino, Via Pietro Giuria 1, I-10125 Torino, Italy (3) Dipartimento di Matematica – University of Torino, via Carlo Alberto 10, I-10123 Torino, Italy Abstract. We define spin frames, with the aim of extending spin structures from the category of (pseudo-)Riemannian manifolds to the category of spin manifolds with a fixed signature on them, though with no selected metric structure. Because of this softer re- quirements, transformations allowed by spin frames are more general than usual spin transformations and they usually do not preserve the induced metric structures. We study how these new transformations affect connections both on the spin bundle and on the frame bundle and how this reflects on the Dirac equations. 1. Introduction Dirac equations provide an important tool to study the geometric structure of manifolds, as well as to model the behaviour of a class of physical particles, namely fermions, which includes electrons. The aim of this paper is to generalise a key item needed to formulate Dirac equations, the spin structures, in order to extend the range of allowed transformations. Let us start by first reviewing the usual approach to Dirac equations. Let (M,g) be an orientable pseudo-Riemannian manifold with signature η = (r, s), such that r + s = m = dim(M). R arXiv:1910.04634v1 [math.DG] 10 Oct 2019 Let us denote by L(M) the (general) frame bundle of M, which is a GL(m, )-principal fibre bundle.
    [Show full text]
  • The Atiyah-Singer Index Theorem*
    CHAPTER 5 The Atiyah-Singer Index Theorem* Peter B. Gilkey Mathematics Department, University of Oregon, Eugene, OR 97403, USA E-mail: gilkey@ math. uo regon, edu Contents 0. Introduction ................................................... 711 1. Clifford algebras and spin structures ..................................... 711 2. Spectral theory ................................................. 718 3. The classical elliptic complexes ........................................ 725 4. Characteristic classes of vector bundles .................................... 730 5. Characteristic classes of principal bundles .................................. 737 6. The index theorem ............................................... 739 References ..................................................... 745 *Research partially supported by the NSF (USA) and MPIM (Germany). HANDBOOK OF DIFFERENTIAL GEOMETRY, VOL. I Edited by EJ.E. Dillen and L.C.A. Verstraelen 2000 Elsevier Science B.V. All fights reserved 709 The Atiyah-Singer index theorem 711 O. Introduction Here is a brief outline to the paper. In Section 1, we review some basic facts concerning Clifford algebras and spin structures. In Section 2, we discuss the spectral theory of self- adjoint elliptic partial differential operators and give the Hodge decomposition theorem. In Section 3, we define the classical elliptic complexes: de Rham, signature, spin, spin c, Yang-Mills, and Dolbeault; these elliptic complexes are all of Dirac type. In Section 4, we define the various characteristic classes for vector bundles that we shall need: Chern forms, Pontrjagin forms, Chern character, Euler form, Hirzebruch L polynomial, A genus, and Todd polynomial. In Section 5, we discuss the characteristic classes for principal bundles. In Section 6, we give the Atiyah-Singer index theorem; the Chern-Gauss-Bonnet formula, the Hirzebruch signature formula, and the Riemann-Roch formula are special cases of the index theorem. We also discuss the equivariant index theorem and the index theorem for manifolds with boundary.
    [Show full text]
  • Introduction
    Introduction Spin Geometry is the hidden facet of Riemannian Geometry. It arises from the representation theory of the special orthogonal group SOn, more precisely, from the spinor representation, a certain representation of the Lie algebra son which is not a representation of SOn. Spinors can always be constructed locally on a given Riemannian manifold, but globally there are topological obstructions for their exis- tence. Spin Geometry lies therefore at the cross-road of several subelds of modern Mathematics. Algebra, Geometry, Topology, and Analysis are subtly interwoven in the theory of spinors, both in their denition and in their applications. Spinors have also greatly inuenced Theoretical Physics, which is nowadays one of the main driv- ing forces fostering their formidable development. The Noncommutative Geometry of Alain Connes has at its core the Dirac operator on spinors. The same Dirac operator is at the heart of the Atiyah–Singer index formula for elliptic operators on compact manifolds, linking in a spectacular way the topology of a manifold to the space of solutions to elliptic equations. Signicantly, the classical Riemann–Roch formula and its generalization by Hirzebruch; the Gauß–Bonnet formula and its extension by Chern; and nally Hirzebruch’s topological signature theorem, provide most of the examples in the index formula, but it was the Dirac operator acting on spinors which turned out to be the keystone of the index formula, both in its formulation and in its subsequent developments. The Dirac operator appears to be the primordial example of an elliptic operator, while spinors, although younger than differential forms or tensors, illustrate once again that aux âmes bien nées, la valeur n’attend point le nombre des années.
    [Show full text]
  • Combinatorial Topology and Applications to Quantum Field Theory
    Combinatorial Topology and Applications to Quantum Field Theory by Ryan George Thorngren A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Vivek Shende, Chair Professor Ian Agol Professor Constantin Teleman Professor Joel Moore Fall 2018 Abstract Combinatorial Topology and Applications to Quantum Field Theory by Ryan George Thorngren Doctor of Philosophy in Mathematics University of California, Berkeley Professor Vivek Shende, Chair Topology has become increasingly important in the study of many-body quantum mechanics, in both high energy and condensed matter applications. While the importance of smooth topology has long been appreciated in this context, especially with the rise of index theory, torsion phenomena and dis- crete group symmetries are relatively new directions. In this thesis, I collect some mathematical results and conjectures that I have encountered in the exploration of these new topics. I also give an introduction to some quantum field theory topics I hope will be accessible to topologists. 1 To my loving parents, kind friends, and patient teachers. i Contents I Discrete Topology Toolbox1 1 Basics4 1.1 Discrete Spaces..........................4 1.1.1 Cellular Maps and Cellular Approximation.......6 1.1.2 Triangulations and Barycentric Subdivision......6 1.1.3 PL-Manifolds and Combinatorial Duality........8 1.1.4 Discrete Morse Flows...................9 1.2 Chains, Cycles, Cochains, Cocycles............... 13 1.2.1 Chains, Cycles, and Homology.............. 13 1.2.2 Pushforward of Chains.................. 15 1.2.3 Cochains, Cocycles, and Cohomology.........
    [Show full text]
  • Arxiv:1404.7224V2 [Hep-Th] 21 Jun 2014 Singer Upre Npr Ytentoa Cec Onainudrg Under Foundation Science Physics
    ANOMALIES AND INVERTIBLE FIELD THEORIES DANIEL S. FREED Abstract. We give a modern geometric viewpoint on anomalies in quantum field theory and illustrate it in a 1-dimensional theory: supersymmetric quantum mechanics. This is background for the resolution of worldsheet anomalies in orientifold superstring theory. Contents 1. Introduction 1 2. Anomalies 2 2.1. Fields and field theories: formal view 2 2.2. Anomalies: traditional view 4 2.3. Anomalies: modern view 5 3. Supersymmetric quantum mechanics 6 3.1. Lagrangian anomaly 7 3.2. Hamiltonian anomaly 9 3.3. Trivializing the lagrangian and hamiltonian anomalies 10 3.4. The anomaly as an invertible field theory 12 4. Central simple algebras and topology 13 4.1. Some ko-modules 14 4.2. Some maps between ko-modules 16 5. Supersymmetric QM with a general target 17 References 20 1. Introduction arXiv:1404.7224v2 [hep-th] 21 Jun 2014 The subject of anomalies in quantum field theories is an old one, and it is well-trodden. There is a huge physics literature on this topic of anomalies, for which one entree is [Be]. Important work in the early 1980s [AS1, AgW, AgG, ASZ] tied the study of local anomalies to the Atiyah- Singer topological index theorem, and extensions to global anomalies [W1, W2] were not far behind. These ideas were quickly fit in to geometric invariants in index theory, such as the determinant line bundle and the η-invariant. Indeed, many developments in geometric index theory at that time were directly motivated by the physics. A geometric picture of anomalies emerged from this interaction [F1, 1].
    [Show full text]
  • Spinc GEOMETRY of K¨AHLER MANIFOLDS and the HODGE
    SPINc GEOMETRY OF KAHLER¨ MANIFOLDS AND THE HODGE LAPLACIAN ON MINIMAL LAGRANGIAN SUBMANIFOLDS O. HIJAZI, S. MONTIEL, AND F. URBANO Abstract. From the existence of parallel spinor fields on Calabi- Yau, hyper-K¨ahleror complex flat manifolds, we deduce the ex- istence of harmonic differential forms of different degrees on their minimal Lagrangian submanifolds. In particular, when the sub- manifolds are compact, we obtain sharp estimates on their Betti numbers. When the ambient manifold is K¨ahler-Einstein with pos- itive scalar curvature, and especially if it is a complex contact manifold or the complex projective space, we prove the existence of K¨ahlerian Killing spinor fields for some particular spinc struc- tures. Using these fields, we construct eigenforms for the Hodge Laplacian on certain minimal Lagrangian submanifolds and give some estimates for their spectra. Applications on the Morse index of minimal Lagrangian submanifolds are obtained. 1. Introduction Recently, connections between the spectrum of the classical Dirac operator on submanifolds of a spin Riemannian manifold and its ge- ometry were investigated. Even when the submanifold is spin, many problems appear. In fact, it is known that the restriction of the spin bundle of a spin manifold M to a spin submanifold is a Hermitian bun- dle given by the tensorial product of the intrinsic spin bundle of the submanifold and certain bundle associated with the normal bundle of the immersion ([2, 3, 6]). In general, it is not easy to have a control on such a Hermitian bundle. Some results have been obtained ([2, 24, 25]) when the normal bundle of the submanifold is trivial, for instance for hypersurfaces.
    [Show full text]
  • Parallel Spinors and Holonomy Groups
    Parallel spinors and holonomy groups Andrei Moroianu and Uwe Semmelmann∗ February 19, 2012 Abstract In this paper we complete the classification of spin manifolds admitting parallel spinors, in terms of the Riemannian holonomy groups. More precisely, we show that on a given n{dimensional Riemannian manifold, spin structures with parallel spinors are in one to one correspondence with lifts to Spinn of the Riemannian holonomy group, with fixed points on the spin representation space. In particular, we obtain the first examples of compact manifolds with two different spin structures carrying parallel spinors. I Introduction The present study is motivated by two articles ([1], [2]) which deal with the classifica- tion of non{simply connected manifolds admitting parallel spinors. In [1], Wang uses representation{theoretic techniques as well as some nice ideas due to McInnes ([3]) in order to obtain the complete list of the possible holonomy groups of manifolds admitting parallel spinors (see Theorem 4). We shall here be concerned with the converse question, namely: (Q) Does a spin manifold whose holonomy group appears in the list above admit a parallel spinor ? The first natural idea that one might have is the following (cf. [2]): let M be a spin manifold and let M~ its universal cover (which is automatically spin); let Γ be the fundamental group ~ ~ ~ of M and let PSpinn M!PSOn M be the unique spin structure of M; then there is a natural ~ ~ Γ–action on the principal bundle PSOn M and the lifts of this action to PSpinn M are in one{ to{one correspondence with the spin structures on M.
    [Show full text]
  • The First and Second Stiefel-Whitney Classes; Orientation and Spin Structure
    The first and second Stiefel-Whitney classes; orientation and spin structure Robert Hines December 6, 2017 Classifying spaces and universal bundles Theorem 1. Given a topological group G, there is a space BG and a principal G-bundle EG such that for any space B (homotopy equivalent to a CW-complex), the principal G-bundles on B are in bijection with homotopy classes of maps f : B ! BG via pullback. I.e., given a principal G-bundle E ! B, there exists a map f : B ! BG such that f ∗EG =∼ E and f ∗EG =∼ g∗EG if and only if f and g are homotopy equivalent. 1 k For G = O(n), we can take BG = Grn(R ), a limit of the Grassmann manifolds Grn(R ) k 1 k of n-planes in R . Above this we have EG = Vn(R ), a limit of the Stiefel manifolds Vn(R ) of k orthogonal n-frames in R . The map EG ! BG is given by forgetting the framing. The fiber is clearly O(n). Stiefel-Whitney classes Vaguely, characteristic classes are cohomology classes associated to vector bundles (functorially) ∗ over a space B. We will be concerned with the Stiefel-Whitney classes in H (B; F2) associated to real vector bundles over B. These are mod 2 reductions of obstructions to finding (n − i + 1) linearly independent sections of an n-dimensional vector bundle over the i skeleton of B. i Theorem 2 ([M], Chapter 23). There are characteristic classes wi(ξ) 2 H (B; F2) associated to an n-dimensional real vector bundle ξ : E ! B that satisfy and are uniquely determined by • w0(ξ) = 1 and wi(ξ) = 0 for i > dim ξ, • wi(ξ ⊕ ) = wi(ξ) where is the trivial line bundle R × B, 1 • w1(γ1) 6= 0 where γ1 is the universal line bundle over RP , Pi • wi(ξ ⊕ ζ) = j=0 wj(ξ) [ wi−j(ζ).
    [Show full text]
  • The Spectrum of the Dirac Operator on the Odd Dimensional Complex Projective Space I]ZP2‘“`L
    The Spectrum of the Dirac Operator on the Odd Dimensional Complex Projective Space i]ZP2‘“`l S. Seifarth, U. Semmelmann SFB 288 Preprint No. 95 Diese Arbeit ist mit Untersttitzung des von der Deutschen Forschungsgemeinschaft getragenen Sonderforschungsbereiches 288 entstanden und als Manuskript vervielfiitigt worden. Berlin. Dezember 1993 OCR Output THE SPECTRUM OF THE DIRAC OPERATOR ON THE ODD DIMENSIONAL COMPLEX PROJECTIVE SPACE CP2"‘"l S. SEIFARTH AND U. SEMMELMANN ABSTRACT. We give explicitly the eigenvalues of the Dirac operator on the complex projective space CP" 0. INTRODUCTION In this paper we want to present a calculation of the eigenvalues of the Dirac operator on the complex projective space CP". This calculation has been done in [CFGKQ]. As their result differs from ours, we included two independent proofs of our result in a special case (for the subbundle S0). We prove the following theorem Theorem 0.1. On the complex projective space of complex dimension n, endowed with the F·u.bini—Stady metric, the spectrum of the Dirac operator consists of the series 1,/AU, and ;l;/y,;_k,, where AU, =l2 + %l(3n —- 2k — 1)+ %(n — k)(·n. —- 1) k€{1,...,n} andl2mam{1,k—%} (01) n pu, =l2 + §l(3n — 2k +1)+ %(n — +1) k€{0,...,n—1}andl2max{O,k— Though the method of calculating the spectrum of the Dirac operator using the Casimir operator is well known, we wrote down everything as explicitly as possible to make the computations more transparent. Our paper is organized as follows. We begin with fixing the notations and parame trisations.
    [Show full text]
  • The Heat Equation and the Atiyah-Singer Index Theorem
    ESSAY The Heat Equation and the Atiyah-Singer Index Theorem UNIVERSITY OF CAMBRIDGE MATHEMATICAL TRIPOS PART III APRIL 29, 2015 written by DAVID REUTTER Christ’s College Contents Introduction 3 1 Spin Geometry 8 1.1 Clifford Algebras...........................................8 1.1.1 Basic Definitions and Properties...............................8 1.1.2 Grading, Filtration and the Symbol Map........................... 10 1.2 The Spin and Pin Groups....................................... 12 1.2.1 Subgroups of Clpnq ...................................... 12 1.2.2 The Groups Pinn and Spinn ................................. 13 1.2.3 The Lie Algebra spinn .................................... 15 1.3 Spinor Representations........................................ 16 1.4 Fermions and Bosons......................................... 19 1.5 Spin Geometry............................................ 21 1.5.1 Differential Geometry.................................... 21 1.5.2 Spin Manifolds........................................ 24 1.5.3 Spin Connection....................................... 25 1.5.4 Formal Adjoints....................................... 29 2 The Atiyah-Singer Index Theorem 32 2.1 Sobolev Spaces............................................ 32 2.1.1 Sobolev Theory for Dirac Operators............................. 34 2.2 Fredholm Operators and Index.................................... 37 2.3 The Proof of the Index Theorem................................... 39 2.3.1 Superspaces and Supertraces................................. 39 1 2.3.2 The
    [Show full text]