DOCSLIB.ORG

Characteristic Classes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Characteristic Classes 488 Characteristic Classes Gilmore R and Letellier C (2006) The Symmetry of Chaos Alice Ott E (1993) Chaos in Dynamical Systems. Cambridge: Cambridge in the Land of Mirrors. Oxford: Oxford University Press. University Press. Gilmore R and Pei X (2001) The topology and organization of Solari HG, Natiello MA, and Mindlin GB (1996) Nonlinear unstable periodic orbits in Hodgkin–Huxley models of receptors Physics and Its Mathematical Tools. Bristol: IoP Publishing. with subthreshold oscillations. In: Moss F and Gielen S (eds.) Tufillaro NB, Abbott T, and Reilly J (1992) An Experimental Handbook of Biological Physics, Neuro-informatics, Neural Approach to Nonlinear Dynamics and Chaos. Reading, MA: Modeling, vol. 4, pp. 155–203. Amsterdam: North-Holland. Addison-Wesley. Characteristic Classes P B Gilkey, University of Oregon, Eugene, OR, USA Frames R Ivanova, University of Hawaii Hilo, Hilo, HI, USA A frame s := (s , . , s ) for V Vect (M, F) over an S Nikcˇ evic´ , SANU, Belgrade, Serbia and Montenegro 1 k k open set M is a collection2of k smooth sections ª 2006 Elsevier Ltd. All rights reserved. O to V so that {s1(P), . , sk(P)} is a basis for the jO fiber VP of V over any point P . Given such a frame s, we can construct a local trivializat2 O ion which Vector Bundles identifies Fk with V by the mapping O  jO Let Vectk(M, F) be the set of isomorphism classes of P; 1; . ; 1s1 P s P real (F = R) or complex (F = C) vector bundles of ð kÞ ! ð Þ þ Á Á Á þ k kð Þ rank k over a smooth connected m-dimensional Conversely, given a local trivialization of V, we can manifold M. Let take the coordinate frame Vect M; F Vect M; F si P P 0; . ; 0; 1; 0; . ; 0 ð Þ ¼ kð Þ ð Þ ¼  ð Þ k [ Thus, frames and local trivializations of V are equivalent notions. Principal Bundles – Examples Let H be a Lie group. A fiber bundle Simple Covers : M An open cover { } of M, where ranges over some P ! indexing set A, Ois said to be a simple cover if any with fiber H is said to be a principal bundle if there finite intersection 1 k is either empty or is a right action of H on which acts transitively on contractible. O \ Á Á Á \ O P the fibers, that is, if =H = M. If H is a closed Simple covers always exist. Put a Riemannian P subgroup of a Lie group G, then the natural metric on M. If M is compact, then there exists a projection G G=H is a principal H bundle over uniform 0 so that any geodesic ball of radius is ! > the homogeneous space G=H. Let O(k) and U(k) geodesically convex. The intersection of geodesically denote the orthogonal and unitary groups, respec- convex sets is either geodesically convex (and hence k k 1 tively. Let S denote the unit sphere in R þ . Then contractible) or empty. Thus, covering M by a finite we have natural principal bundles: number of balls of radius yields a simple cover. The argument is similar even if M is not compact O k O k 1 Sk ð Þ ð þ Þ ! where an infinite number of geodesic balls is used 2k 1 U k U k 1 S þ and the radii are allowed to shrink near . ð Þ ð þ Þ ! 1 Let RPk and CPk denote the real and complex k 1 Transition Cocycles projective spaces of lines through the origin in R þ k 1 and C þ , respectively. Let Let Hom(F, k) be the set of linear transformations of Fk and let GL(F, k) Hom(F, k) be the group of all Z2 Id O k ¼ fÆ g ð Þ invertible linear transformations. 1 S Id : 1 U k Let {s } be frames for a vector bundle V over some ¼ f Á j j ¼ g ð Þ open cover { } of M. On the intersection , 1 One has Z2 and S principal bundles: O O \ O one may express s = s , that is k 1 k 1 Z2 S À RP À j ! ! s ;i P ; P s ;j P 1 2k 1 k 1 ð Þ ¼ i ð Þ ð Þ S S À CP À 1 j k ! ! X Characteristic Classes 489 The maps : GL(F, k) satisfy Spin Structures O \ O ! For k 3, the fundamental group of SO(k) is Z2. Id on ¼ O 1 Let Spin(k) be the universal cover of SO(k) and let on ½ ¼ O \ O \ O : Spin k SO k ð Þ ! ð Þ Let G be a Lie group. Maps belonging to a be the associated double cover; set Spin(2) = S1 and collection { } of smooth maps from to G let () = 2. An oriented bundle V is said to be spin which satisfy eqn [1] are said to Obe \transO ition if the transition functions can be lifted from SO(k) cocycles with values in G; if G GL(F, k), they to Spin(k); this is possible if and only if the second can be used to define a vector bundl e by making Stiefel–Whitney class of V, which is defined later, appropriate identifications. vanishes. There can be inequivalent spin structures, which are parametrized by the cohomology group 1 Reducing the Structure Group H (M; Z2). If G is a subgroup of GL(F, k), then V is said to have a G-structure if we can choose frames so the The Tangent Bundle of Projective Space transition cocycles belong to G; that is, we can The tangent bundle TRPm of real projective space is reduce the structure group to G. orientable if and only if m is odd; TRPm is spin if Denote the subgroup of orientation-preserving and only if m 3 mod 4. If m 3 mod 4, there are linear maps by two inequivalen t spin structures on this bundle as 1 m H (RP ; Z2) = Z2. GLþ R; k : GL R; k : det > 0 ð Þ ¼ f 2 ð Þ ð Þ g The tangent bundle TCPm of complex projective space is always orientable; TCPm is spin if and only If V Vectk(M, R), then V is said to be orientable if we can2 choose the frames so that if m is odd. GLþ R; k Principal and Associated Bundles 2 ð Þ Let H be a Lie group and let Not every real vector bundle is orientable; the first Stiefel–Whitney class sw (V) H1(M; Z ), which is 1 2 : H defined later, vanishes if and 2only if V is orientable. O \ O ! In particular, the Mo¨ bius line bundle over the circle be a collection of smooth functions satisfying the is not orientable. compatibility conditions given in eqn [1]. We define Similarly, a real (resp. complex) bundle V is a principal bundle by gluing H to H P O  O  said to be Riemannian (resp. Hermitian) if we can using : reduce the structure group to the orthogonal group P; h P; P h for P O(k) GL(R, k) (resp. to the unitary group ð Þ ð ð Þ Þ 2 O \ O U(k) GL(C, k)). Because right multiplication and left multiplication We can use a partition of unity to put a positive- commute, right multiplication gives a natural action definite symmetric (resp. Hermitian symmetric) fiber of H on : metric on V. Applying the Gram–Schmidt process P then constructs orthonormal frames and shows that P; h h~ : P; h h~ the structure group can always be reduced to O(k) ð Þ Á ¼ ð Á Þ (resp. to U(k)); if V is a real vector bundle, then the The natural projection =H = M is an H fiber structure group can be reduced to the special bundle. P ! P orthogonal group SO(k) if and only if V is Let be a representation of H to GL(F, k). For orientable. , Fk, and h H, define a gluing 2 P 2 2 1 ; hÀ ; h Lifting the Structure Group ð Þ ð Á ð Þ Þ The associated vector bundle is then given by Let be a representation of a Lie group H to GL(F, k). One says that the structure group of V can k k F : F = be lifted to H if there exist frames {s } for V and P  ¼ P  smooth maps : H, so = Clearly, { } are the transition cocycles of the where eqn [1] holds forO \.O ! vector bundle Fk. P  490 Characteristic Classes Frame Bundles Homotopy If V is a vector bundle, the associated principal Two smooth maps f0 and f1 from N to M are GL(F, k) bundle is the bundle of all frames; if V is said to be homotopic if there exists a smooth map given an inner product on each fiber, then the F : N I M so that f0(P) = F(P, 0) and so that  ! associated principal O(k) or U(k) bundle is the bundle f1(P) = F(P, 1). If f0 and f1 are homotopic maps from of orthonormal frames. If V is an oriented Riemannian N to M, then f1ÃV is isomorphic to f2ÃV. vector bundle, the associated principal SO(k) bundle is Let [N, M] be the set of all homotopy classes the bundle of oriented orthonormal frames. of smooth maps from N to M. The association V f V induces a natural map ! à Direct Sum and Tensor Product N; M Vect M; F Vect N; F ½  kð Þ ! kð Þ Fiber-wise direct sum (resp.
Load more

Recommended publications
  • Diagonal Lifts of Metrics to Coframe Bundle
    Proceedings of the Institute of Mathematics and Mechanics, National Academy of Sciences of Azerbaijan Volume 44, Number 2, 2018, Pages 328{337 DIAGONAL LIFTS OF METRICS TO COFRAME BUNDLE HABIL FATTAYEV AND ARIF SALIMOV Abstract. In this paper the diagonal lift Dg of a Riemannian metric g ∗ of a manifold Mn to the coframe bundle F (Mn) is defined, Levi-Civita connection, Killing vector fields with respect to the metric Dg and also an almost paracomplex structures in the coframe bundle are studied. 1. Introduction The Riemannian metrics in the tangent bundle firstly has been investigated by the Sasaki [14]. Tondeur [16] and Sato [15] have constructed Riemannian metrics on the cotangent bundle, the construction being the analogue of the metric Sasaki for the tangent bundle. Mok [7] has defined so-called the diagonal lift of metric to the linear frame bundle, which is a Riemannian metric resembles the Sasaki metric of tangent bundle. Some properties and applications for the Riemannian metrics of the tangent, cotangent, linear frame and tensor bundles are given in [1-4,7-9,12,13]. This paper is devoted to the investigation of Riemannian metrics in the coframe bundle. In 2 we briefly describe the definitions and results that are needed later, after which the diagonal lift Dg of a Riemannian metric g is constructed in 3. The Levi-Civita connection of the metric Dg is determined in In 4. In 5 we consider Killing vector fields in coframe bundle with respect to Riemannian metric Dg. An almost paracomplex structures in the coframe bundle equipped with metric Dg are studied in 6.
    [Show full text]
  • K-Theoryand Characteristic Classes
    MATH 6530: K-THEORY AND CHARACTERISTIC CLASSES Taught by Inna Zakharevich Notes by David Mehrle dmehrle@math.cornell.edu Cornell University Fall 2017 Last updated November 8, 2018. The latest version is online here. Contents 1 Vector bundles................................ 3 1.1 Grassmannians ............................ 8 1.2 Classification of Vector bundles.................... 11 2 Cohomology and Characteristic Classes................. 15 2.1 Cohomology of Grassmannians................... 18 2.2 Characteristic Classes......................... 22 2.3 Axioms for Stiefel-Whitney classes................. 26 2.4 Some computations.......................... 29 3 Cobordism.................................. 35 3.1 Stiefel-Whitney Numbers ...................... 35 3.2 Cobordism Groups.......................... 37 3.3 Geometry of Thom Spaces...................... 38 3.4 L-equivalence and Transversality.................. 42 3.5 Characteristic Numbers and Boundaries.............. 47 4 K-Theory................................... 49 4.1 Bott Periodicity ............................ 49 4.2 The K-theory spectrum........................ 56 4.3 Some properties of K-theory..................... 58 4.4 An example: K-theory of S2 ..................... 59 4.5 Power Operations............................ 61 4.6 When is the Hopf Invariant one?.................. 64 4.7 The Splitting Principle........................ 66 5 Where do we go from here?........................ 68 5.1 The J-homomorphism ........................ 70 5.2 The Chern Character and e invariant...............
    [Show full text]
  • Isometry Types of Frame Bundles
    Pacific Journal of Mathematics ISOMETRY TYPES OF FRAME BUNDLES WOUTER VAN LIMBEEK Volume 285 No. 2 December 2016 PACIFIC JOURNAL OF MATHEMATICS Vol. 285, No. 2, 2016 dx.doi.org/10.2140/pjm.2016.285.393 ISOMETRY TYPES OF FRAME BUNDLES WOUTER VAN LIMBEEK We consider the oriented orthonormal frame bundle SO.M/ of an oriented Riemannian manifold M. The Riemannian metric on M induces a canon- ical Riemannian metric on SO.M/. We prove that for two closed oriented Riemannian n-manifolds M and N, the frame bundles SO.M/ and SO.N/ are isometric if and only if M and N are isometric, except possibly in di- mensions 3, 4, and 8. This answers a question of Benson Farb except in dimensions 3, 4, and 8. 1. Introduction 393 2. Preliminaries 396 3. High dimensional isometry groups of manifolds 400 4. Geometric characterization of the fibers of SO.M/ ! M 403 5. Proof for M with positive constant curvature 415 6. Proof of the main theorem for surfaces 422 Acknowledgements 425 References 425 1. Introduction Let M be an oriented Riemannian manifold, and let X VD SO.M/ be the oriented orthonormal frame bundle of M. The Riemannian structure g on M induces in a canonical way a Riemannian metric gSO on SO.M/. This construction was first carried out by O’Neill[1966] and independently by Mok[1978], and is very similar to Sasaki’s[1958; 1962] construction of a metric on the unit tangent bundle of M, so we will henceforth refer to gSO as the Sasaki–Mok–O’Neill metric on SO.M/.
    [Show full text]
  • Characteristic Classes and Smooth Structures on Manifolds Edited by S
    7102 tp.fh11(path) 9/14/09 4:35 PM Page 1 SERIES ON KNOTS AND EVERYTHING Editor-in-charge: Louis H. Kauffman (Univ. of Illinois, Chicago) The Series on Knots and Everything: is a book series polarized around the theory of knots. Volume 1 in the series is Louis H Kauffman’s Knots and Physics. One purpose of this series is to continue the exploration of many of the themes indicated in Volume 1. These themes reach out beyond knot theory into physics, mathematics, logic, linguistics, philosophy, biology and practical experience. All of these outreaches have relations with knot theory when knot theory is regarded as a pivot or meeting place for apparently separate ideas. Knots act as such a pivotal place. We do not fully understand why this is so. The series represents stages in the exploration of this nexus. Details of the titles in this series to date give a picture of the enterprise. Published*: Vol. 1: Knots and Physics (3rd Edition) by L. H. Kauffman Vol. 2: How Surfaces Intersect in Space — An Introduction to Topology (2nd Edition) by J. S. Carter Vol. 3: Quantum Topology edited by L. H. Kauffman & R. A. Baadhio Vol. 4: Gauge Fields, Knots and Gravity by J. Baez & J. P. Muniain Vol. 5: Gems, Computers and Attractors for 3-Manifolds by S. Lins Vol. 6: Knots and Applications edited by L. H. Kauffman Vol. 7: Random Knotting and Linking edited by K. C. Millett & D. W. Sumners Vol. 8: Symmetric Bends: How to Join Two Lengths of Cord by R.
    [Show full text]
  • Crystalline Topological Phases As Defect Networks
    Crystalline topological phases as defect networks The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Else, Dominic V. and Ryan Thorngren. "Crystalline topological phases as defect networks." Physical Review B 99, 11 (March 2019): 115116 © 2019 American Physical Society As Published http://dx.doi.org/10.1103/PhysRevB.99.115116 Publisher American Physical Society Version Final published version Citable link http://hdl.handle.net/1721.1/120966 Terms of Use Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. PHYSICAL REVIEW B 99, 115116 (2019) Editors’ Suggestion Crystalline topological phases as defect networks Dominic V. Else Department of Physics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA and Department of Physics, University of California, Santa Barbara, California 93106, USA Ryan Thorngren Department of Condensed Matter Physics, Weizmann Institute of Science, Rehovot 7610001, Israel and Department of Mathematics, University of California, Berkeley, California 94720, USA (Received 10 November 2018; published 14 March 2019) A crystalline topological phase is a topological phase with spatial symmetries. In this work, we give a very general physical picture of such phases: A topological phase with spatial symmetry G (with internal symmetry Gint G) is described by a defect network,aG-symmetric network of defects in a topological phase with internal symmetry Gint. The defect network picture works both for symmetry-protected topological (SPT) and symmetry-enriched topological (SET) phases, in systems of either bosons or fermions.
    [Show full text]
  • Characteristic Classes and Bounded Cohomology
    DISS. ETH Nr. 15636 Characteristic Classes and Bounded Cohomology A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Mathematics presented by Michelle Karlsson Dipl. Math. Univ. Gen`eve born on the 25th of July 1976 citizen of Kerns (OW) accepted on the recommendation of Prof. Dr. Marc Burger, examiner Prof. Dr. Wolfgang L¨uck, co-examiner 2004 Acknowledgments I wish to express my sincere gratitude to Prof. Marc Burger for having taken me under his directorship and suggested to me a fascinating subject which brought me into several areas of mathematics. I am also grateful to Prof. Wolfgang L¨uck for kindly accepting to be the external examiner of this dissertation. For fruitful discussions related to my work I owe special thanks to Prof. Johan L. Dupont, PD. Oliver Baues and Prof. Alessandra Iozzi. Many thanks to the whole of Group 1 for providing a productive working environment. Espe- cially to Prof. Guido Mislin for organizing enlightening seminars and reading a short version of this work. Finally, I heartily thank my family and friends for their patience and constant support. Contents Introduction vii 1 Bundles 1 1.1 Principal bundles and classifying spaces . 1 1.1.1 Principal bundles . 1 1.1.2 Classifying spaces . 8 1.2 Elements of Differential geometry . 12 1.2.1 Connections . 12 1.2.2 Curvature . 17 1.3 Flat bundles . 20 1.3.1 Definition . 20 1.3.2 Transition functions . 21 1.3.3 The space of representations . 23 2 Simplicial complexes 25 2.1 Definitions .
    [Show full text]
  • Math 704: Part 1: Principal Bundles and Connections
    MATH 704: PART 1: PRINCIPAL BUNDLES AND CONNECTIONS WEIMIN CHEN Contents 1. Lie Groups 1 2. Principal Bundles 3 3. Connections and curvature 6 4. Covariant derivatives 12 References 13 1. Lie Groups A Lie group G is a smooth manifold such that the multiplication map G × G ! G, (g; h) 7! gh, and the inverse map G ! G, g 7! g−1, are smooth maps. A Lie subgroup H of G is a subgroup of G which is at the same time an embedded submanifold. A Lie group homomorphism is a group homomorphism which is a smooth map between the Lie groups. The Lie algebra, denoted by Lie(G), of a Lie group G consists of the set of left-invariant vector fields on G, i.e., Lie(G) = fX 2 X (G)j(Lg)∗X = Xg, where Lg : G ! G is the left translation Lg(h) = gh. As a vector space, Lie(G) is naturally identified with the tangent space TeG via X 7! X(e). A Lie group homomorphism naturally induces a Lie algebra homomorphism between the associated Lie algebras. Finally, the universal cover of a connected Lie group is naturally a Lie group, which is in one to one correspondence with the corresponding Lie algebras. Example 1.1. Here are some important Lie groups in geometry and topology. • GL(n; R), GL(n; C), where GL(n; C) can be naturally identified as a Lie sub- group of GL(2n; R). • SL(n; R), O(n), SO(n) = O(n) \ SL(n; R), Lie subgroups of GL(n; R).
    [Show full text]
  • Notes on Principal Bundles and Classifying Spaces
    Notes on principal bundles and classifying spaces Stephen A. Mitchell August 2001 1 Introduction Consider a real n-plane bundle ξ with Euclidean metric. Associated to ξ are a number of auxiliary bundles: disc bundle, sphere bundle, projective bundle, k-frame bundle, etc. Here “bundle” simply means a local product with the indicated fibre. In each case one can show, by easy but repetitive arguments, that the projection map in question is indeed a local product; furthermore, the transition functions are always linear in the sense that they are induced in an obvious way from the linear transition functions of ξ. It turns out that all of this data can be subsumed in a single object: the “principal O(n)-bundle” Pξ, which is just the bundle of orthonormal n-frames. The fact that the transition functions of the various associated bundles are linear can then be formalized in the notion “fibre bundle with structure group O(n)”. If we do not want to consider a Euclidean metric, there is an analogous notion of principal GLnR-bundle; this is the bundle of linearly independent n-frames. More generally, if G is any topological group, a principal G-bundle is a locally trivial free G-space with orbit space B (see below for the precise definition). For example, if G is discrete then a principal G-bundle with connected total space is the same thing as a regular covering map with G as group of deck transformations. Under mild hypotheses there exists a classifying space BG, such that isomorphism classes of principal G-bundles over X are in natural bijective correspondence with [X, BG].
    [Show full text]
  • Characteristic Classes on Grassmannians
    Turkish Journal of Mathematics Turk J Math (2014) 38: 492 { 523 http://journals.tubitak.gov.tr/math/ ⃝c TUB¨ ITAK_ Research Article doi:10.3906/mat-1302-54 Characteristic classes on Grassmannians Jin SHI1, Jianwei ZHOU2;∗ 1Suzhou Senior Technical Institute, Suzhou, P.R. China 2Department of Mathematics, Suzhou University, Suzhou, P.R. China Received: 27.02.2013 • Accepted: 03.04.2013 • Published Online: 14.03.2014 • Printed: 11.04.2014 Abstract: In this paper, we study the geometry and topology on the oriented Grassmann manifolds. In particular, we use characteristic classes and the Poincar´eduality to study the homology groups of Grassmann manifolds. We show that for k = 2 or n ≤ 8, the cohomology groups H∗(G(k; n); R) are generated by the first Pontrjagin class, the Euler classes q of the canonical vector bundles. In these cases, the Poincar´eduality: H (G(k; n); R) ! Hk(n−k)−q(G(k; n); R) can be expressed explicitly. Key words: Grassmann manifold, fibre bundle, characteristic class, homology group, Poincar´eduality 1. Introduction Let G(k; n) be the Grassmann manifold formed by all oriented k -dimensional subspaces of Euclidean space n R . For any π 2 G(k; n), there are orthonormal vectors e1; ··· ; ek such that π can be represented by V k n e1 ^ · · · ^ ek . Thus G(k; n) becomes a submanifold of the space (R ); then we can use moving frame to study the Grassmann manifolds. There are 2 canonical vector bundles E = E(k; n) and F = F (k; n) over G(k; n) with fibres generated by vectors of the subspaces and the vectors orthogonal to the subspaces, respectively.
    [Show full text]
  • WHAT IS a CONNECTION, and WHAT IS IT GOOD FOR? Contents 1. Introduction 2 2. the Search for a Good Directional Derivative 3 3. F
    WHAT IS A CONNECTION, AND WHAT IS IT GOOD FOR? TIMOTHY E. GOLDBERG Abstract. In the study of differentiable manifolds, there are several different objects that go by the name of \connection". I will describe some of these objects, and show how they are related to each other. The motivation for many notions of a connection is the search for a sufficiently nice directional derivative, and this will be my starting point as well. The story will by necessity include many supporting characters from differential geometry, all of whom will receive a brief but hopefully sufficient introduction. I apologize for my ungrammatical title. Contents 1. Introduction 2 2. The search for a good directional derivative 3 3. Fiber bundles and Ehresmann connections 7 4. A quick word about curvature 10 5. Principal bundles and principal bundle connections 11 6. Associated bundles 14 7. Vector bundles and Koszul connections 15 8. The tangent bundle 18 References 19 Date: 26 March 2008. 1 1. Introduction In the study of differentiable manifolds, there are several different objects that go by the name of \connection", and this has been confusing me for some time now. One solution to this dilemma was to promise myself that I would some day present a talk about connections in the Olivetti Club at Cornell University. That day has come, and this document contains my notes for this talk. In the interests of brevity, I do not include too many technical details, and instead refer the reader to some lovely references. My main references were [2], [4], and [5].
    [Show full text]
  • The Affine Connection Structure of the Charged Symplectic 2-Form(1991)
    On the Affine Connection Structure of the Charged Symplectic 2-Form† L. K. Norris‡ ABSTRACT It is shown that the charged symplectic form in Hamiltonian dynamics of classical charged particles in electromagnetic fields defines a generalized affine connection on an affine frame bundle associated with spacetime. Conversely, a generalized affine connection can be used to construct a symplectic 2-form if the associated linear connection is torsion– free and the anti-symmetric part of the R4∗ translational connection is locally derivable from a potential. Hamiltonian dynamics for classical charged particles in combined gravi- tational and electromagnetic fields can therefore be reformulated as a P (4) = O(1, 3)⊗R4∗ geometric theory with phase space the affine cotangent bundle AT ∗M of spacetime. The source-free Maxwell equations are reformulated as a pair of geometrical conditions on the R4∗ curvature that are exactly analogous to the source-free Einstein equations. †International Journal of Theoretical Physics, 30, pp. 1127-1150 (1991) ‡Department of Mathematics, Box 8205, North Carolina State University, Raleigh, NC 27695-8205 1 1. Introduction The problem of geometrizing the relativistic classical mechanics of charged test par- ticles in curved spacetime is closely related to the larger problem of finding a geometrical unification of the gravitational and electromagnetic fields. In a geometrically unified theory one would expect the equations of motion of classical charged test particles to be funda- mental to the geometry in a way analogous to the way uncharged test particle trajectories are geometrized as linear geodesics in general relativity. Since a satisfactory unified theory should contain the known observational laws of mechanics in some appropriate limit, one can gain insight into the larger unification problem by analyzing the geometrical founda- tions of classical mechanics.
    [Show full text]
  • Almost Complex Structures and Obstruction Theory
    ALMOST COMPLEX STRUCTURES AND OBSTRUCTION THEORY MICHAEL ALBANESE Abstract. These are notes for a lecture I gave in John Morgan's Homotopy Theory course at Stony Brook in Fall 2018. Let X be a CW complex and Y a simply connected space. Last time we discussed the obstruction to extending a map f : X(n) ! Y to a map X(n+1) ! Y ; recall that X(k) denotes the k-skeleton of X. n+1 There is an obstruction o(f) 2 C (X; πn(Y )) which vanishes if and only if f can be extended to (n+1) n+1 X . Moreover, o(f) is a cocycle and [o(f)] 2 H (X; πn(Y )) vanishes if and only if fjX(n−1) can be extended to X(n+1); that is, f may need to be redefined on the n-cells. Obstructions to lifting a map p Given a fibration F ! E −! B and a map f : X ! B, when can f be lifted to a map g : X ! E? If X = B and f = idB, then we are asking when p has a section. For convenience, we will only consider the case where F and B are simply connected, from which it follows that E is simply connected. For a more general statement, see Theorem 7.37 of [2]. Suppose g has been defined on X(n). Let en+1 be an n-cell and α : Sn ! X(n) its attaching map, then p ◦ g ◦ α : Sn ! B is equal to f ◦ α and is nullhomotopic (as f extends over the (n + 1)-cell).
    [Show full text]