DOCSLIB.ORG

Bott Periodicity Theorem

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Bott Periodicity Theorem Bott Periodicity Theorem Davide Matasci 2018 Bott Periodicity Theorem 2018 Remark 1 Just to recall... Ke(X) can be identified with the ker(K(X) ! K(x0)) for x0 2 X. All functions are assumed to be continuous and a vector bundle p: E ! B is identified with E. Definition 2 For a topological space (X; τX ) and an equivalence relation ∼ on X we define a new topology (called quotient topology) τY on Y = X= ∼ by: −1 τY = fU ⊂ Y j q (U) 2 τX g where q : X ! X= ∼ is the canonical map. The space (Y; τY ) is called quo- tient space. Definition 3 A map f : X ! Y is called quotient map if: • f is surjective; −1 • U 2 τY iff f (U) 2 τX , where τX , τY are the topologies on X resp. Y . Remark 4 The canonical map q : X ! X= ∼ is always a quotient map, provided that X= ∼ is equipped with the quotient topology. Definition 5 The cone CX of a space X is defined by CX = (X×[0; 1])=(X× f0g). Definition 6 The suspension SX of a space X is defined by taking X × [0; 1] and collapsing X × f0g to a point and X × f1g to another point. SX can be seen as double cone on X. Definition 7 The reduced suspension ΣX of a space X is defined by ΣX = SX=(fx0g × [0; 1]) for some x0 2 X. Remark 8 Suspension and reduced suspension are homotopically equivalent. For the proof, see [1]. Definition 9 Given f : X ! Y , we define Sf : SX ! SY by Sf([x; t]) = [f(x); t]. With this definition, S becomes a functor T op ! T op. SnX is the space obtained by applying S to X n times. Davide Matasci 2 Bott Periodicity Theorem 2018 Definition 10 Let 'i : Gi ! G(i + 1) be an homomorphism between groups (for all 0 ≤ i ≤ n). The sequence G1 ! G2 ! ::: ! Gn is called exact if ker 'i+1 = Im 'i for all i. Definition 11 A partition of unity subordinate to an open cover fUαgα of X is a collection f'β : X ! [0; 1]gβ such that: •8 β9α such that supp('β) ⊂ Uα (i.e. each 'β is supported in one of the Uα's); P • β 'β = 1, where the sum is finite in a neighbourhood of each point of X. Definition 12 A space (X; τ) is called paracompact if it is Hausdorff and for each open cover fUαgα of X there is a partition of unity f'βgβ subordinate to the cover. Proposition 13 (1.18 in [1]) Every compact Hausdorff space is paracom- pact. For the proof, see [1]. Proposition 14 (2.9 in [1]) Let X be compact and Hausdorff, A ⊂ X be closed subspace. Let {: A,! X be the inclusion and let q : X ! X=A be the quotient map. Then q A −!{ X −! X=A induces (applying Ke, a contravariant functor) the exact sequence Ke(q) Ke({) Ke(X=A) −−! Ke(X) −−! Ke(A) Proof Let q∗ = Ke(q) and i∗ = Ke({). We only have to show that the sequence is exact, i.e. that Im(q∗) = ker({∗). Since qi = 0 it holds that Ke(qi) = i∗q∗ = 0 and thus the inclusion Im(q∗) ⊂ ker({∗) is proven. To show the other inclusion, we take an element [E] 2 ker(i∗) ⊂ Ke(X) and want to find an element [F ] 2 Ke(X=A) such that q∗[F ] := [q ∗ F ] = [E]. This is equivalent (by definition of []) to the following: Davide Matasci 3 Bott Periodicity Theorem 2018 We take a vector bundle E ! X with i∗E ≈ ξ0 (i.e. i∗[E] = 0 = [ξ0]) Ke(A) and look for a vector bundle F ! X=A such that q∗F ≈ E. i∗E ≈ ξ0 means that E ! X is trivial over A. Let h: p−1(A) ! A × Cn be the trivialization over A. Let E=h = E= ∼ with h−1(x; v) ∼ h−1(y; v) for all x; y 2 A. Since p(h−1(x; v)) = x for all x 2 A and q is a projection, the composition p q E ! X ! X=A satisfies qp(h−1(x; v)) = qp(h−1(y; v)) for all x; y 2 A and thus induces a projection E=h ! X=A. The goal is now to show that E=h ! X=A is a vector bundle. This will be the F we're looking for. It's enough to find a trivialization of E over a neighbourhood U of A, since this induces a trivialization of E=h over U=A. This is in turn enough to prove that E=h ! X=A is a vector bundle since over the other points of X=A a local trivialization is already given (induced by the local trivialization of E over X). By the discussion before Lemma 1.1 in [1], there are sections s1; : : : ; sn : A ! −1 E such that for all a 2 A : s1(a); : : : ; sn(a) are linearly independent in p (a). Let fUjgj2J be an open cover of A such that E is trivial over all of the Uj's. The existence of these sets follows from the fact that E ! X is a vector bundle, and J is finite since A is compact. −1 si restricts to A \ Uj ! p (A). Using the trivialization we can regard si −1 as a map : A \ Uj ! p (aj) for some aj 2 A \ Uj. More precisely we have: si −1 hj n πj n A \ Uj −! p (A \ Uj) −! (A \ Uj) × C −! C −1 n where hj : p (Uj) ! Uj ×C is a local trivialization and πj is the projection. 0 −1 0 Taking si(x) := hj (aj; πj ◦ hj ◦ si(x)) for some aj 2 A \ Uj we see that si in 0 −1 fact restricts to a single fiber: si(x) 2 p (fajg) for all x. We can "recover" 0 si from si with −1 0 si(x) = hj (x; πj ◦ hj ◦ si(x)) Thus, as claimed, we can w.l.o.g. assume that si restricts to a single fiber −1 p (aj). Since X is a normal topological space, by the Tietze extension theo- rem we can extend these maps to si;j : Uj ! E. Formally, I use the fact that A \ Uj is closed in Uj with respect to the relative topology. Davide Matasci 4 Bott Periodicity Theorem 2018 Let f'j j j 2 Jg [ f'g be a partition of unity subordinate to the (open) cover fUj j j 2 Jg [ fX − AgofX. This exists because X, being Hausdorff compact, is paracompact (see Proposition 1.8). Using this partition we get P that ti := j2J 'jsi;j is a section extending sj to a map X ! E. −1 Over a fiber p (a) (for an element a 2 A) these extended section ti form a basis, i.e det(tj : j 2 J) 6= 0. Since the determinant is continuous (or alternatively, the linear independence is an open condition) this property holds true even in a small neighbourhood of each fiber. This means that −1 n (tj : j 2 J) is a linear-space isomorphism between p (a) and a × C for all a 2 Uj. Only remaining to be shown is that q∗(E=h) ≈ E. E k E=h p q X X=A This follows from the Universal property of the pullback (the uniqueness- up-to-isomorphism part) because the quotient map E ! E=h, denoted by k in the diagram, takes each fiber over an element x 2 X isomorphically to the fiber over q(x) 2 X=A (shown above...). Remark 15 ξn denotes the n-dimensional trivial vector bundle. • V ectn(X) = f"n − dim vector bundles over X"g= ≈ with E ≈ F iff E and F are isomorphic; • Ke(X) = f"vector bundles over X"g= ∼ with E ∼ F iff 9n; m ≥ 0 : E ⊕ ξn ≈ F ⊕ ξm; 0 0 0 0 • K(X) = fE − F g= ≈K with E − F ≈K E − F iff E ⊕ F ≈s E ⊕ F , n n where E ≈s F iff 9n ≥ 0 : E ⊕ ξ ≈ F ⊕ ξ . The next Lemma shows that for contractible subspaces A in X, we may take X=A instead of X as a base for vector bundles. Lemma 16 (2.10 in [1]) Let X and A as in the proposition above. If A is contractible, q : X ! X=A induces a bijection q∗ : V ectn(X=A) ! V ectn(X) given by Ke(q) for every n 2 N. Proof We have to find an inverse of the map q∗. Let p: E ! X be an n-dimensional vector bundle. The image of p under inverse is going to be E=h, with h as in the proposition above (since A is compact and contractible, Davide Matasci 5 Bott Periodicity Theorem 2018 p is trivial over A by Corollary 1.8 in [1]). As the fact that E=h is a vector bundle is already been proven, only to show is that E 7! E=h is well defined, i.e. that E=h does not depend on the choice of the map h. Suppose we have two trivializations h0 and h1. These are homeomor- −1 n −1 phisms p (A) ! A × C . Because h1 = (h1h0 )h0, we see that h1 and h0 n −1 differ by a matrix ga 2 GLn(C ) over each a 2 A (i.e. in the fiber p 8(a)). Let g : A ! GLn(C) be the map a 7! ga.
Load more

Recommended publications
  • The Suspension X ∧S and the Fake Suspension ΣX of a Spectrum X
    Contents 41 Suspensions and shift 1 42 The telescope construction 10 43 Fibrations and cofibrations 15 44 Cofibrant generation 22 41 Suspensions and shift The suspension X ^S1 and the fake suspension SX of a spectrum X were defined in Section 35 — the constructions differ by a non-trivial twist of bond- ing maps. The loop spectrum for X is the function complex object 1 hom∗(S ;X): There is a natural bijection 1 ∼ 1 hom(X ^ S ;Y) = hom(X;hom∗(S ;Y)) so that the suspension and loop functors are ad- joint. The fake loop spectrum WY for a spectrum Y con- sists of the pointed spaces WY n, n ≥ 0, with adjoint bonding maps n 2 n+1 Ws∗ : WY ! W Y : 1 There is a natural bijection hom(SX;Y) =∼ hom(X;WY); so the fake suspension functor is left adjoint to fake loops. n n+1 The adjoint bonding maps s∗ : Y ! WY define a natural map g : Y ! WY[1]: for spectra Y. The map w : Y ! W¥Y of the last section is the filtered colimit of the maps g Wg[1] W2g[2] Y −! WY[1] −−−! W2Y[2] −−−! ::: Recall the statement of the Freudenthal suspen- sion theorem (Theorem 34.2): Theorem 41.1. Suppose that a pointed space X is n-connected, where n ≥ 0. Then the homotopy fibre F of the canonical map h : X ! W(X ^ S1) is 2n-connected. 2 In particular, the suspension homomorphism 1 ∼ 1 piX ! pi(W(X ^ S )) = pi+1(X ^ S ) is an isomorphism for i ≤ 2n and is an epimor- phism for i = 2n+1, provided that X is connected.
    [Show full text]
  • Some K-Theory Examples
    Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout our vector bundles are complex and our topological spaces are compact Hausdorff. Corrections/suggestions to cblair[at]maths.tcd.ie. Chris Blair, May 2009 1 K-theory We begin by defining the essential objects in K-theory: the unreduced and reduced K-groups of vector bundles over compact Hausdorff spaces. In doing so we need the following two equivalence relations: firstly 0 0 we say that two vector bundles E and E are stably isomorphic denoted by E ≈S E if they become isomorphic upon addition of a trivial bundle "n: E ⊕ "n ≈ E0 ⊕ "n. Secondly we have a relation ∼ where E ∼ E0 if E ⊕ "n ≈ E0 ⊕ "m for some m, n. Unreduced K-groups: The unreduced K-group of a compact space X is the group K(X) of virtual 0 0 0 0 pairs E1 −E2 of vector bundles over X, with E1 −E1 = E2 −E2 if E1 ⊕E2 ≈S E2 ⊕E2. The group operation 0 0 0 0 is addition: (E1 − E1) + (E2 − E2) = E1 ⊕ E2 − E1 ⊕ E2, the identity is any pair of the form E − E and the inverse of E − E0 is E0 − E. As we can add a vector bundle to E − E0 such that E0 becomes trivial, every element of K(X) can be represented in the form E − "n. Reduced K-groups: The reduced K-group of a compact space X is the group Ke(X) of vector bundles E over X under the ∼-equivalence relation.
    [Show full text]
  • Bott Periodicity for the Unitary Group
    Bott Periodicity for the Unitary Group Carlos Salinas March 7, 2018 Abstract We will present a condensed proof of the Bott Periodicity Theorem for the unitary group U following John Milnor’s classic Morse Theory. There are many documents on the internet which already purport to do this (and do so very well in my estimation), but I nevertheless will attempt to give a summary of the result. Contents 1 The Basics 2 2 Fiber Bundles 3 2.1 First fiber bundle . .4 2.2 Second Fiber Bundle . .5 2.3 Third Fiber Bundle . .5 2.4 Fourth Fiber Bundle . .5 3 Proof of the Periodicity Theorem 6 3.1 The first equivalence . .7 3.2 The second equality . .8 4 The Homotopy Groups of U 8 1 The Basics The original proof of the Periodicity Theorem relies on a deep result of Marston Morse’s calculus of variations, the (Morse) Index Theorem. The proof of this theorem, however, goes beyond the scope of this document, the reader is welcome to read the relevant section from Milnor or indeed Morse’s own paper titled The Index Theorem in the Calculus of Variations. Perhaps the first thing we should set about doing is introducing the main character of our story; this will be the unitary group. The unitary group of degree n (here denoted U(n)) is the set of all unitary matrices; that is, the set of all A ∈ GL(n, C) such that AA∗ = I where A∗ is the conjugate of the transpose of A (conjugate transpose for short).
    [Show full text]
  • Lecture 2: Spaces of Maps, Loop Spaces and Reduced Suspension
    LECTURE 2: SPACES OF MAPS, LOOP SPACES AND REDUCED SUSPENSION In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there will be a short digression on spaces of maps between (pointed) spaces and the relevant topologies. To be a bit more specific, one aim is to see that given a pointed space (X; x0), then there is an entire pointed space of loops in X. In order to obtain such a loop space Ω(X; x0) 2 Top∗; we have to specify an underlying set, choose a base point, and construct a topology on it. The underlying set of Ω(X; x0) is just given by the set of maps 1 Top∗((S ; ∗); (X; x0)): A base point is also easily found by considering the constant loop κx0 at x0 defined by: 1 κx0 :(S ; ∗) ! (X; x0): t 7! x0 The topology which we will consider on this set is a special case of the so-called compact-open topology. We begin by introducing this topology in a more general context. 1. Function spaces Let K be a compact Hausdorff space, and let X be an arbitrary space. The set Top(K; X) of continuous maps K ! X carries a natural topology, called the compact-open topology. It has a subbasis formed by the sets of the form B(T;U) = ff : K ! X j f(T ) ⊆ Ug where T ⊆ K is compact and U ⊆ X is open. Thus, for a map f : K ! X, one can form a typical basis open neighborhood by choosing compact subsets T1;:::;Tn ⊆ K and small open sets Ui ⊆ X with f(Ti) ⊆ Ui to get a neighborhood Of of f, Of = B(T1;U1) \ ::: \ B(Tn;Un): One can even choose the Ti to cover K, so as to `control' the behavior of functions g 2 Of on all of K.
    [Show full text]
  • Torsion in Bbso
    Pacific Journal of Mathematics TORSION IN BBSO JAMES D. STASHEFF Vol. 28, No. 3 May 1969 PACIFIC JOURNAL OF MATHEMATICS Vol. 28, No. 3, 1969 TORSION IN BBSO JAMES D. STASHEFF The cohomology of BBSO, the classifying space for the stable Grassmanian BSO, is shown to have torsion of order precisely 2r for each natural number r. Moreover, the ele- ments of order 2r appear in a pattern of striking simplicity. Many of the stable Lie groups and homogeneous spaces have tor- sion at most of order 2 [1, 3, 5]. There is one such space, however, with interesting torsion of higher order. This is BBSO = SU/Spin which is of interest in connection with Bott periodicity and in connec- tion with the J-homomorphism [4, 7]. By the notation Sϊ7/Spin we mean that BBSO can be regarded as the fibre of B Spin -+BSU or that, up to homotopy, there is a fi.bration SZ7-> BBSO-+ £Spin induced from the universal SU bundle by B Spin —>BSU. The mod 2 cohomology H*(BBSO; Z2) has been computed by Clough [4]. The purpose of this paper is to compute enough of H*(BBSO; Z) to obtain the mod 2 Bockstein spectral sequence [2] of BBSO. Given a ring R, we shall denote by R[x{ \iel] the polynomial ring on generators x{ indexed by elements of a set I. The set I will often be described by an equation or inequality in which case i is to be understood to be a natural number. Similarly E(xt \iel) will de- note the exterior algebra on generators x{.
    [Show full text]
  • Semi-Direct Products of Hopf Algebras*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 47,29-51 (1977) Semi-Direct Products of Hopf Algebras* RICHARD K. MOLNAR Department of Mathematical Sciences, Oakland University, Rochester, Michigan 48063 Communicated by I. N. Herstein Received July 3 1, 1975 INTRODUCTION The object of this paper is to investigate the notion of “semi-direct product” for Hopf algebras. We show that there are two such notions: the well-known concept of smash product, and the dual notion of smash coproduct introduced here. We investigate the basic properties of these notions and give several examples and applications. If G is an affine algebraic group (as defined in [4]) with coordinate ring A(G), then the coalgebra structure of A(G) “contains” the rational representation theory of G in the sense that the rational G-modules are precisely the A(G)- comodules. Now if G is the semi-direct product of algebraic subgroups N and K (i.e., G = Nx,K as affine algebraic groups) then clearly A(G) = A(N) @ A(K) as algebras. But one would also like to know how the coalgebra structure of A(G) is related to the coalgebra structures of A(N) and A(K). In fact, the twisted multiplication on Nx,K induces a twisted comultiplication on A(N) @ A(K), called the smash coproduct of A(N) by A(K). This comultiplication is com- patible with the tensor product algebra structure, and we have A(G) isomorphic to the smash coproduct of A(N) by A(K) (denoted A(N) x A(K)) as Hopf algebras.
    [Show full text]
  • The Double Suspension of the Mazur Homology 3-Sphere
    THE DOUBLE SUSPENSION OF THE MAZUR HOMOLOGY SPHERE FADI MEZHER 1 Introduction The main objects of this text are homology spheres, which are defined below. Definition 1.1. A manifold M of dimension n is called a homology n-sphere if it has the same homology groups as Sn; that is, ( Z if k ∈ {0, n} Hk(M) = 0 otherwise A result of J.W. Cannon in [Can79] establishes the following theorem Theorem 1.2 (Double Suspension Theorem). The double suspension of any homology n-sphere is homeomorphic to Sn+2. This, however, is beyond the scope of this text. We will, instead, construct a homology sphere, the Mazur homology 3-sphere, and show the double suspension theorem for this particular manifold. However, before beginning with the proper content, let us study the following famous example of a nontrivial homology sphere. Example 1.3. Let I be the group of (orientation preserving) symmetries of the icosahedron, which we recall is a regular polyhedron with twenty faces, twelve vertices, and thirty edges. This group, called the icosahedral group, is finite, with sixty elements, and is naturally a subgroup of SO(3). It is a well-known fact that we have a 2-fold covering ξ : SU(2) → SO(3), where ∼ 3 ∼ 3 SU(2) = S , and SO(3) = RP . We then consider the following pullback diagram S0 S0 Ie := ι∗(SU(2)) SU(2) ι∗ξ ξ I SO(3) Then, Ie is also a group, where the multiplication is given by the lift of the map µ ◦ (ι∗ξ × ι∗ξ), where µ is the multiplication in I.
    [Show full text]
  • THE DIGITAL SMASH PRODUCT 1. Introduction Digital Topology With
    ELECTRONIC RESEARCH ARCHIVE doi:10.3934/era.2020026 Volume 28 Number 1, March 2020 Pages 459{469 eISSN: 2688-1594 AIMS (2020) THE DIGITAL SMASH PRODUCT ISMET CINAR, OZGUR EGE∗ AND ISMET KARACA Abstract. In this paper, we construct the smash product from the digital viewpoint and prove some its properties such as associativity, distributivity, and commutativity. Moreover, we present the digital suspension and the dig- ital cone for an arbitrary digital image and give some examples of these new concepts. 1. Introduction Digital topology with interesting applications has been a popular topic in com- puter science and mathematics for several decades. Many researchers such as Rosen- feld [21, 22], Kong [18, 17], Kopperman [19], Boxer, Herman [14], Kovalevsky [20], Bertrand and Malgouyres would like to obtain some information about digital ob- jects using topology and algebraic topology. The first study in this area was done by Rosenfeld [21] at the end of 1970s. He introduced the concept of continuity of a function from a digital image to another digital image. Later Boxer [1] presents a continuous function, a retraction, and a homotopy from the digital viewpoint. Boxer et al. [7] calculate the simplicial homology groups of some special digital surfaces and compute their Euler charac- teristics. Ege and Karaca [9] introduce the universal coefficient theorem and the Eilenberg- Steenrod axioms for digital simplicial homology groups. They also obtain some results on the K¨unnethformula and the Hurewicz theorem in digital images. Ege and Karaca [10] investigate the digital simplicial cohomology groups and especially define the cup product. For other significant studies, see [13, 12, 16].
    [Show full text]
  • L22 Adams Spectral Sequence
    Lecture 22: Adams Spectral Sequence for HZ=p 4/10/15-4/17/15 1 A brief recall on Ext We review the definition of Ext from homological algebra. Ext is the derived functor of Hom. Let R be an (ordinary) ring. There is a model structure on the category of chain complexes of modules over R where the weak equivalences are maps of chain complexes which are isomorphisms on homology. Given a short exact sequence 0 ! M1 ! M2 ! M3 ! 0 of R-modules, applying Hom(P; −) produces a left exact sequence 0 ! Hom(P; M1) ! Hom(P; M2) ! Hom(P; M3): A module P is projective if this sequence is always exact. Equivalently, P is projective if and only if if it is a retract of a free module. Let M∗ be a chain complex of R-modules. A projective resolution is a chain complex P∗ of projec- tive modules and a map P∗ ! M∗ which is an isomorphism on homology. This is a cofibrant replacement, i.e. a factorization of 0 ! M∗ as a cofibration fol- lowed by a trivial fibration is 0 ! P∗ ! M∗. There is a functor Hom that takes two chain complexes M and N and produces a chain complex Hom(M∗;N∗) de- Q fined as follows. The degree n module, are the ∗ Hom(M∗;N∗+n). To give the differential, we should fix conventions about degrees. Say that our differentials have degree −1. Then there are two maps Y Y Hom(M∗;N∗+n) ! Hom(M∗;N∗+n−1): ∗ ∗ Q Q The first takes fn to dN fn.
    [Show full text]
  • A Suspension Theorem for Continuous Trace C*-Algebras
    proceedings of the american mathematical society Volume 120, Number 3, March 1994 A SUSPENSION THEOREM FOR CONTINUOUS TRACE C*-ALGEBRAS MARIUS DADARLAT (Communicated by Jonathan M. Rosenberg) Abstract. Let 3 be a stable continuous trace C*-algebra with spectrum Y . We prove that the natural suspension map S,: [Cq{X), 5§\ -* [Cq{X) ® Co(R), 3 ® Co(R)] is a bijection, provided that both X and Y are locally compact connected spaces whose one-point compactifications have the homo- topy type of a finite CW-complex and X is noncompact. This is used to compute the second homotopy group of 31 in terms of AMheory. That is, [C0(R2), 3] = K0{30) i where 3fa is a maximal ideal of 3 if Y is com- pact, and 3o = 3! if Y is noncompact. 1. Introduction For C*-algebras A, B let Hom(^4, 5) denote the space of (not necessarily unital) *-homomorphisms from A to 5 endowed with the topology of point- wise norm convergence. By definition <p, w e Hom(^, 5) are called homotopic if they lie in the same pathwise connected component of Horn (A, 5). The set of homotopy classes of the *-homomorphisms in Hom(^, 5) is denoted by [A, B]. For a locally compact space X let Cq(X) denote the C*-algebra of complex-valued continuous functions on X vanishing at infinity. The suspen- sion functor S for C*-algebras is defined as follows: it takes a C*-algebra A to A ® C0(R) and q>e Hom(^, 5) to <P0 idem € Hom(,4 ® C0(R), 5 ® C0(R)).
    [Show full text]
  • A Radius Sphere Theorem
    Invent. math. 112, 577-583 (1993) Inventiones mathematicae Springer-Verlag1993 A radius sphere theorem Karsten Grove 1'* and Peter Petersen 2'** 1 Department of Mathematics, University of Maryland, College Park, MD 20742, USA 2 Department of Mathematics, University of California, Los Angeles, CA 90024-1555, USA Oblatum 9-X-1992 Introduction The purpose of this paper is to present an optimal sphere theorem for metric spaces analogous to the celebrated Rauch-Berger-Klingenberg Sphere Theorem and the Diameter Sphere Theorem in Riemannian geometry. There has lately been considerable interest in studying spaces which are more singular than Riemannian manifolds. A natural reason for doing this is because Gromov-Hausdorff limits of Riemannian manifolds are almost never Riemannian manifolds, but usually only inner metric spaces with various nice properties. The kind of spaces we wish to study here are the so-called Alexandrov spaces. Alexan- drov spaces are finite Hausdorff dimensional inner metric spaces with a lower curvature bound in the distance comparison sense. The structure of Alexandrov spaces was studied in [BGP], [P1] and [P]. We point out that the curvature assumption implies that the Hausdorff dimension is equal to the topological dimension. Moreover, if X is an Alexandrov space and peX then the space of directions Zp at p is an Alexandrov space of one less dimension and with curvature > 1. Furthermore a neighborhood of p in X is homeomorphic to the linear cone over Zv- One of the important implications of this is that the local structure of n-dimensional Alexandrov spaces is determined by the structure of (n - 1)-dimen- sional Alexandrov spaces with curvature > 1.
    [Show full text]
  • Bott Periodicity Dexter Chua
    Bott Periodicity Dexter Chua 1 The groups U and O 1 2 The spaces BU and BO 2 3 Topological K-theory 5 Bott periodicity is a theorem about the matrix groups U(n) and O(n). More specifically, it is about the limiting behaviour as n ! 1. For simplicity, we will focus on the case of U(n), and describe the corresponding results for O(n) at the end. In these notes, we will formulate the theorem in three different ways | in terms of the groups U(n) themselves; in terms of their classifying spaces BU(n); and in terms of topological K-theory. 1 The groups U and O There is an inclusion U(n − 1) ,! U(n) that sends M 0 M 7! : 0 1 We define U to be the union (colimit) along all these inclusions. The most basic form of Bott periodicity says Theorem 1 (Complex Bott periodicity). ( Z k odd πkU = : 0 k even In particular, the homotopy groups of U are 2-periodic. This is a remarkable theorem. The naive way to compute the groups πkU(n) is to inductively use the fiber sequences U(n) U(n + 1) S2n+1 1 arising from the action of U(n + 1) on S2n+1. This requires understanding all the unstable homotopy groups of (odd) spheres, which is already immensely complicated, and then piece them together via the long exact sequence. Bott periodicity tells us that in the limit n ! 1, all these cancel out, and we are left with the very simple 2-periodic homotopy groups.
    [Show full text]