Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
|
|
- Constance Joella Morrison
- 5 years ago
- Views:
Transcription
1 Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore matwujie June 21, 2007
2 Artin Braids and Homotopy Groups Homotopy Groups Braid Groups Main Results Methods of the Proofs Remarks
3 Homotopy Groups Let X be a topological space. The homotopy groups are defined by π n (X) = [S n, X], the set of the (pointed) homotopy classes of (pointed) continuous maps from the n-sphere S n to X. π 0 (X) is the set of the path-connected components of X. π 1 (X) is the fundamental group of X. π n (X) is abelian for n 2. Fundamental Problem in Algebraic Topology: Determine the (general) homotopy groups of spheres. Some connections between the (general) homotopy groups of S 2 and the braid groups are given in this talk.
4 Braid Groups The braid group B n is generated by σ 1, σ 2,..., σ n 1 subject to the braiding relations: σ i σ j = σ j σ i for i j 2, and σ i σ i+1 σ i = σ i+1 σ i σ i+1 for each i. 1 i-1 i i+1 n σ i
5 Pure Braid Groups The symmetric group S n is the quotient group of B n subject to the following additional relations: σ 2 i = 1 for each i. The pure braid group P n is defined to be the kernel of the quotient map B n S n, with a set of generators given by A i,j = σ j 1 σ j 2 σ i+1 σ 2 i σ 1 i+1 σ 1 j 2 σ 1 j 1 for 1 i < j n. i j
6 Brunnian Braids A (geometric) braid is called Brunnian if (1) it is a pure braid, and (2) it becomes a trivial braid by removing any of its strands. Since the composition of any two Brunnian braids is still Brunnian, the set of Brunnian braids is a (normal) subgroup of B n which is denoted by Brun n. (σ 1 σ 2-1 ) 3 is Brunnian
7 Theorem The Brunnian group Brun n is the normal subgroup of the pure braid group P n generated by the iterated commutators [[[A 1,2, A i2,3], A i3,4],..., A in 1,n] for 1 i t t and 2 t n 1. Thus the quotient groups P n / Brun n and B n / Brun n are finitely presented. Note. As a group, Brun n is a free group of rank for n 3.
8 The Automorphism θ on P n For introducing the notion of boundary Brunnian braids, there is a canonical automorphism θ of P n described as follows. Let F(C, n) = {(z 1,..., z n ) z i z j for i j} be the configuration space over the plane. Let φ: F(C, n) F(C, n) be the map defined by ( φ(z 1, z 2,..., z n ) = 0, 1 z 2 z 1, 1 z 3 z 1,..., 1 z n z 1 corresponding geometrically to the reflection map in C about the unit circle centered at z 1. Then φ induces an isomorphism φ : P n = π 1 (F(C, n)) P n = π 1 (F(C, n)). under a choice of the basepoint for F(C, n). ).
9 The Automorphism θ on P n Notice that there is a homomorphism χ : B n B n that sends each standard generator σ i to its inverse σ 1 i, because such a homomorphism preserves the relations for the braid group. In pictures, χ(β) is the mirror reflection of the braid β. Let θ = χ φ. Namely θ is the product of two natural reflections χ and φ.
10 The Automorphism θ on P n The action of θ on P n is given by for 2 i < j n, and where θ(a i,j ) = A i,j θ(a 1,j ) = A 1 1,j A 0,jA 1,j, A 0,j = (A j,j+1 A j,j+2 A j,n ) 1 (A 1,j A j 1,j ) 1 = (σ j σ j+1 σ n 2 σ 2 n 1 σ n 2 σ j ) 1 (σ j 1 σ 2 σ 2 1 σ 1 σ j 1 ) 1 is an element in P n for 1 j n. There is an action of B n+1 on P n, where the action of σ 1 B n+1 on P n is given by θ and the action of σ i B n+1 on P n is given by the conjugation action of σ i 1 B n on P n. Thus the automorphism θ plays an important role for B n+1 -action on P n.
11 Boundary Brunnian Braids By restricting to the Brunnian braids, Brun n is not invariant under the action of θ but has the property that d i θ(β) = 1 and d 1 θ(β) Brun n 1 for β Brun n and i 2. Namely for given a Brunnian braid β, θ(β) becomes a trivial braid after removing any of its strands except the first. A braid of the form d 1 θ(β) for some β Brun n is called an (n 1)-strand boundary Brunnian braid. The set of (n 1)-strand boundary Brunnian braids forms a subgroup of Brun n 1, denoted by Bd n 1, that is Bd n 1 = d 1 θ(brun n ).
12 Description of Boundary Brunnian Braids In pictures, the boundary Brunnian braids can be described as follows. Let D 2 (r) be the disk centered at 0 with radius r sufficiently large. The geometric n-strand pure braids are given inside the cylinder D 2 (r) I with the first strand given as the straight line segment in the cylinder D 2 (r) I from the origin of the top disk D 2 (r) {1} down to the bottom disk D 2 (r) {0}, and the rest of the strands starting from the (distinct) points q 2,..., q n ordered clockwise lying in the first quadrant of the unit circle S 1 inside D 2 (r) {1} down to the points q 2,..., q n in D 2 (r) {0}, respectively. Then the (n 1) boundary Brunnian braids are obtained from an n-strand Brunnian braid β by applying the reflection about S 1 I to the strands of β except the first strand followed by the mirror reflection and then removing the first strand of the resulting braid.
13 The Meaning of boundary Brunnian braids The group Bd n has a connection with mapping class groups. Let Γ 0,n be the mapping class group of n-punctured sphere. Consider B n as the mapping class group of n-punctured disk. The canonical embedding of the disk into the sphere (as northern hemisphere) induces a group homomorphism q : B n Γ 0,n. Theorem: the group Bd n is the commutator subgroup in B n of Brun n and the kernel of q. Theorem: Bd n is the normal subgroup of P n generated by the iterated commutators [[[A 1,2, A i2,3], A i3,4,..., A in 1,n], A 0,in ] for 1 i t t and 2 t n. Thus the groups P n / Bd n and B n / Bd n are finitely presented.
14 Questions Is the group P n / Bd n torsion free? What is the center of B n / Bd n? The second question is a special case of the conjugation problem on braids. Namely, how to determine a braid β B n such that the conjugation σ i βσ 1 i lies in the coset β Bd n for each 1 i n 1. For a subgroup H of G, let (H, G) = {x G x q H for some q Z} denote the set of the roots of H in G. Then (Bd n, P n )/ Bd n is the set of torsion elements in P n / Bd n. Surprisingly the answers to the above questions can be given in terms of the homotopy group π n (S 2 ).
15 Theorem 1 Denote by Z (G) the center of a group G. Let n 4. (Bd n, P n ) = Brun n θ(brun n ) with an isomorphism of groups (Bdn, P n )/ Bd n = πn (S 2 ). There are isomorphisms of groups Z (P n / Bd n ) = π n (S 2 ) Z, Z (B n / Bd n ) = {α π n (S 2 ) 2α = 0} Z.
16 Mirror Reflection Problem By moving our steps to the next, consider the mirror reflection χ: B n B n. Given a subgroup G of B n, one may ask what are the mirror symmetric braids β subject to G, that is, the braids β satisfying the equation of cosets χ(β)g = βg. If G is the trivial subgroup, it is well-known that the mirror reflection χ on B n is free and so the trivial braid is the only mirror symmetric braid subject to the trivial subgroup G = {1}. For general cases that G is a non-trivial subgroup of B n, the question on mirror symmetric braids becomes very nontrivial. In the case G = Bd n, the answer is again given in term of the homotopy group π n (S 2 ). Let Fix φ (G) denote the subgroup of the fixed-points of an action φ on a group G.
17 Theorem 2 The subgroup Bd n is invariant under the mirror reflection χ. Moreover there is an isomorphism of groups for n 3. Fix χ (B n / Bd n ) = π n (S 2 ).
18 Methods of the Proofs simplicial and -structure on the sequence of braid groups. The conjugation action of B n on pure braid group P n. The Hopf Invariants in homotopy theory have to be used for proving Theorem 2. Thus the method is really a combination of simplicial method, braid groups and homotopy theory.
19 Homotopy Groups of S 2 It was known by Serre that π n (S 2 ) is a finite abelian group for n 4. Let Tor p (G) denote the p-torsion component of an abelian group G for a prime integer p. It was proved by James that 4 Tor 2 (π n (S 2 )) = 0. Namely Tor 2 (π n (S 2 )) is a finite direct sum of Z/2 and Z/4. Furthermore, a result of Selick states that p Tor p (π n (S 2 )) = 0 for the prime p > 2, namely Tor p (π n (S 2 )) is a finite direct sum of Z/p for p > 2. Thus, for n 4, the group π n (S 2 ) is determined by the orders of the groups π n (S 2 ) = Fix χ (B n / Bd n ) = (Bd n, P n )/ Bd n = Tor(Z (P n / Bd n )) and {α π n (S 2 ) 2α = 0} = Tor(Z (B n / Bd n )).
20 Historical Remarks As a combinatorial tool for studying homotopy theory, simplicial groups were first studied by J. C. Moore. The classical Moore theorem states that π ( G ) = H (NG), where G is the geometric realization of G and NG is the Moore chain complex of G. Milnor then proved that any loop space is (weakly) homotopy equivalent to a geometric realization of a simplicial group, and so, theoretically speaking, the homotopy groups of any space can be determined as the homology of a Moore chain complex.
21 Historical Remarks It is possible that two simplicial groups with the same homotopy type have sharply different group structures. Different simplicial group models for the same loop space may give different homotopy information. For example, the classical Adams spectral sequence arises as the associated graded by taking the mod p descending central series of Kan s G-construction on reduced simplicial sets. On the other hand, one could have a perfect simplicial group model (that is, the abelianization is the trivial group) for certain loop spaces by using Carlsson s construction. For this model, the descending central series will not give any information as the groups are perfect, but word filtration provides different information.
22 Historical Remarks By using Milnor s F[K ]-construction on the simplicial circle, a combinatorial description of the general homotopy groups π n (S 2 ) was obtained in one of my papers (Math. Proc. Camb. Phi. Soc. 2001), where it was proved that the general homotopy group π n (S 2 ) is isomorphic to the center of a combinatorially given group G n with n generators and certain systematic (infinitely) relations. It was then asked by many people whether there is a finitely presented group whose center is given by π n (S 2 ). Theorem 1 now gives a positive answer to this question.
23 Historical Remarks A connection between the braid groups and the general homotopy groups of S 2 was found in one of my papers (Proc. London Math. Soc.), where it was proved that the Artin braid group B n acts on the group G n and the homotopy group π n (S 2 ) is given by the fixed set of the pure braid group P n action on G n. Further development is given in the joint paper with F. Cohen, J. Berrick and Y. L. Wong (Journal of AMS 2006), where π n (S 2 ) are given by the (n + 1)-strand Brunnian braids over the sphere modulo the (n + 1)-strand Brunnian braids over the disk for n 4. Some relations between the homotopy groups and Vassiliev invariants have been studied in joint papers with F. Cohen.
24 Historical Remarks Theorems 1 and 2 in this article then give further connections between the braid groups and the homotopy groups for addressing the conjugation problem and the mirror reflection problem on the braids.
25 Remarks It should be pointed out that the simplicial group constructions G using free groups or free products arise computational difficulties for determining the homology of the Moore chain complex NG because the Moore chains are given by the intersections of the subgroups of G. A theorem in this article states that the homotopy groups π n (S 2 ) occur as the summands of the homology of the chain complex given by abelianization Brun ab n of the Brunnian braid group Brun n with differential induced by d 1 θ. This result arises a chance to represent the homotopy groups of spaces as the homology of abelian chain complexes.
26 Remarks Notice that the conjugation action of B n on Brun n induces a B n -module structure on Brun ab n. By a theorem in this article, as a B n -module, Brun ab n is finitely generated. The B n -module Brun ab n has the connections with the important symmetric group module Lie(n) that plays a key role for studying some long-standing problems in homotopy theory and the modular representation theory of Lie modules over the general linear groups. Reference of this Talk: Jie Wu, Artin braid groups and homotopy groups, preprint, available through my web site. The End.
ARTIN BRAID GROUPS AND HOMOTOPY GROUPS
ARTIN BRAID GROUPS AND HOMOTOPY GROUPS JINGYAN LI AND JIE WU Abstract. We study the Brunnian subgroups and the boundary Brunnian subgroups of the Artin braid groups. The general higher homotopy groups
More informationBraid groups, their applications and connections
Braid groups, their applications and connections Fred Cohen University of Rochester KITP Knotted Fields July 1, 2012 Introduction: Artin s braid groups are at the confluence of several basic mathematical
More informationA BRAIDED SIMPLICIAL GROUP. 1. Introduction. In this article, we study the homotopy groups by considering the braid group
A BRAIDED SIMPLICIAL GROUP JIE WU Abstract. By studying the braid group action on Milnor s construction of the 1-sphere, we show that the general higher homotopy group of the 3-sphere is the fixed set
More informationON SYMMETRIC COMMUTATOR SUBGROUPS, BRAIDS, LINKS AND HOMOTOPY GROUPS
ON SYMMETRIC COMMUTATOR SUBGROUPS, BRAIDS, LINKS AND HOMOTOPY GROUPS J. Y. LI AND J. WU Abstract. In this paper, we investigate some applications of commutator subgroups to homotopy groups and geometric
More informationABSTRACTS OF RECENT PAPERS
ABSTRACTS OF RECENT PAPERS A J BERRICK 1. K-theory and the plus-construction 1.1. [15] A. J. Berrick & Carles Casacuberta: A universal space for plus-constructions. We exhibit a 2-dimensional, acyclic,
More informationOn Maps from Loop Suspensions to Loop Spaces and the Shuffle Relations on the Cohen Groups. J. Wu
On Maps from Loop Suspensions to Loop Spaces and the Shuffle Relations on the Cohen Groups J. Wu Author address: Department of Mathematics, National University of Singapore, Singapore 117543, Republic
More informationMATH 215B HOMEWORK 4 SOLUTIONS
MATH 215B HOMEWORK 4 SOLUTIONS 1. (8 marks) Compute the homology groups of the space X obtained from n by identifying all faces of the same dimension in the following way: [v 0,..., ˆv j,..., v n ] is
More informationTHE REPRESENTATION OF THE MAPPING CLASS GROUP OF A SURFACE ON ITS FUNDAMENTAL GROUP IN STABLE HOMOLOGY. Ulrike Tillmann. 1. Introduction and results
THE REPRESENTATION OF THE MAPPING CLASS GROUP OF A SURFACE ON ITS FUNDAMENTAL GROUP IN STABLE HOMOLOGY Ulrike Tillmann Abstract. The natural action of the mapping class group of an orientable or nonorientable
More informationWHY WORD PROBLEMS ARE HARD
WHY WORD PROBLEMS ARE HARD KEITH CONRAD 1. Introduction The title above is a joke. Many students in school hate word problems. We will discuss here a specific math question that happens to be named the
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationA note on Samelson products in the exceptional Lie groups
A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],
More informationMULTIPLICATIVE FIBRE MAPS
MULTIPLICATIVE FIBRE MAPS BY LARRY SMITH 1 Communicated by John Milnor, January 9, 1967 In this note we shall outline a result concerning the cohomology of a multiplicative fibre map. To fix our notation
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationChapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View
Chapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View As discussed in Chapter 2, we have complete topological information about 2-manifolds. How about higher dimensional manifolds?
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI
ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI 1. introduction Consider the space X n = RP /RP n 1 together with the boundary map in the Barratt-Puppe sequence
More informationThe Goodwillie-Weiss Tower and Knot Theory - Past and Present
The Goodwillie-Weiss Tower and Knot Theory - Past and Present Dev P. Sinha University of Oregon June 24, 2014 Goodwillie Conference, Dubrovnik, Croatia New work joint with Budney, Conant and Koytcheff
More informationHomework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
More informationGeometric Realization and K-Theoretic Decomposition of C*-Algebras
Wayne State University Mathematics Faculty Research Publications Mathematics 5-1-2001 Geometric Realization and K-Theoretic Decomposition of C*-Algebras Claude Schochet Wayne State University, clsmath@gmail.com
More informationREPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES
REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES J. WU Abstract. For spaces localized at 2, the classical EHP fibrations [1, 13] Ω 2 S 2n+1 P S n E ΩS n+1 H ΩS 2n+1 play
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationPERFECT SUBGROUPS OF HNN EXTENSIONS
PERFECT SUBGROUPS OF HNN EXTENSIONS F. C. TINSLEY (JOINT WITH CRAIG R. GUILBAULT) Introduction This note includes supporting material for Guilbault s one-hour talk summarized elsewhere in these proceedings.
More informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More informationarxiv:math/ v1 [math.gt] 14 Nov 2003
AUTOMORPHISMS OF TORELLI GROUPS arxiv:math/0311250v1 [math.gt] 14 Nov 2003 JOHN D. MCCARTHY AND WILLIAM R. VAUTAW Abstract. In this paper, we prove that each automorphism of the Torelli group of a surface
More informationMath 6510 Homework 11
2.2 Problems 40 Problem. From the long exact sequence of homology groups associted to the short exact sequence of chain complexes n 0 C i (X) C i (X) C i (X; Z n ) 0, deduce immediately that there are
More informationCohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions
Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract
More informationNeural Codes and Neural Rings: Topology and Algebraic Geometry
Neural Codes and Neural Rings: Topology and Algebraic Geometry Ma191b Winter 2017 Geometry of Neuroscience References for this lecture: Curto, Carina; Itskov, Vladimir; Veliz-Cuba, Alan; Youngs, Nora,
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationnx ~p Us x Uns2"'-1,» i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 4, April 1986 LOOP SPACES OF FINITE COMPLEXES AT LARGE PRIMES C. A. MCGIBBON AND C. W. WILKERSON1 ABSTRACT. Let X be a finite, simply
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationHOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE
HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE J. WU Abstract. The homotopy theory of the suspensions of the real projective plane is largely investigated. The homotopy groups are computed
More informationOn orderability of fibred knot groups
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On orderability of fibred knot groups By BERNARD PERRON Laboratoire de Topologie, Université de Bourgogne, BP 47870 21078 - Dijon Cedex,
More informationMATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS
Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen
More informationThe Steenrod algebra
The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationOn the linearity of HNN-extensions with abelian base groups
On the linearity of HNN-extensions with abelian base groups Dimitrios Varsos Joint work with V. Metaftsis and E. Raptis with base group K a polycyclic-by-finite group and associated subgroups A and B of
More informationRealization problems in algebraic topology
Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization
More informationModern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur
Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture - 05 Groups: Structure Theorem So, today we continue our discussion forward.
More informationOn stable homotopy equivalences
On stable homotopy equivalences by R. R. Bruner, F. R. Cohen 1, and C. A. McGibbon A fundamental construction in the study of stable homotopy is the free infinite loop space generated by a space X. This
More informationSUSPENSION SPLITTINGS AND HOPF INVARIANTS FOR RETRACTS OF THE LOOPS ON CO-H-SPACES
SUSPENSION SPLITTINGS AND HOPF INVARIANTS FOR RETRACTS OF THE LOOPS ON CO-H-SPACES J. GRBIĆ, S. THERIAULT AND J. WU Abstract. W James constructed a functorial homotopy decomposition ΣΩΣX ΣX(n) for path-connected,
More informationENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.
ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.
More informationC(K) = H q+n (Σ n K) = H q (K)
Chromatic homotopy theory Haynes Miller Copenhagen, May, 2011 Homotopy theory deals with spaces of large but finite dimension. Chromatic homotopy theory is an organizing principle which is highly developed
More informationMAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS. Peter Teichner
Mathematical Research Letters 4, 283 293 (1997) MAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS Peter Teichner Abstract. We show that if the lower central series of the fundamental group of a closed oriented
More informationOxford 13 March Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall
Oxford 13 March 2017 Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall In 1956 Milnor amazed the world by giving examples of smooth manifolds homeomorphic but not diffeomorphic
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationLecture 2. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationTensor, Tor, UCF, and Kunneth
Tensor, Tor, UCF, and Kunneth Mark Blumstein 1 Introduction I d like to collect the basic definitions of tensor product of modules, the Tor functor, and present some examples from homological algebra and
More informationRational homotopy theory
Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents
More informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationGEOMETRY FINAL CLAY SHONKWILER
GEOMETRY FINAL CLAY SHONKWILER 1 Let X be the space obtained by adding to a 2-dimensional sphere of radius one, a line on the z-axis going from north pole to south pole. Compute the fundamental group and
More informationNOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS
NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS VICTOR REINER Abstract. There are two famous formulae relating the Poincaré series of a finite/affine Weyl group to the degrees of fundamental
More informationAlgebraic Topology I Homework Spring 2014
Algebraic Topology I Homework Spring 2014 Homework solutions will be available http://faculty.tcu.edu/gfriedman/algtop/algtop-hw-solns.pdf Due 5/1 A Do Hatcher 2.2.4 B Do Hatcher 2.2.9b (Find a cell structure)
More informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The Hopkins-Miller Theorem
More informationHURWITZ EQUIVALENCE OF BRAID MONODROMIES AND EXTREMAL ELLIPTIC SURFACES. Alex Degtyarev
HURWITZ EQUIVALENCE OF BRAID MONODROMIES AND EXTREMAL ELLIPTIC SURFACES Alex Degtyarev Abstract. We discuss the equivalence between the categories of certain ribbon graphs and subgroups of the modular
More informationTHE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann*
THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* ABSTRACT. We show that the geometric realization of the partially ordered set of proper free factors in a finitely generated
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationA DISCONNECTED DEFORMATION SPACE OF RATIONAL MAPS. for Tan Lei
A DISCONNECTED DEFORMATION SPACE OF RATIONAL MAPS ERIKO HIRONAKA AND SARAH KOCH for Tan Lei Abstract. The deformation space of a branched cover f : (S 2, A) (S 2, B) is a complex submanifold of a certain
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,
More informationThe spectra ko and ku are not Thom spectra: an approach using THH
The spectra ko and ku are not Thom spectra: an approach using THH Vigleik Angeltveit, Michael Hill, Tyler Lawson October 1, Abstract We apply an announced result of Blumberg-Cohen-Schlichtkrull to reprove
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationAN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP
AN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP J.A. HILLMAN Abstract. We construct aspherical closed orientable 5-manifolds with perfect fundamental group. This completes part of our study of
More informationCoxeter Groups and Artin Groups
Chapter 1 Coxeter Groups and Artin Groups 1.1 Artin Groups Let M be a Coxeter matrix with index set S. defined by M is given by the presentation: A M := s S sts }{{ } = tst }{{ } m s,t factors m s,t The
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More informationThe mapping class group of a genus two surface is linear
ISSN 1472-2739 (on-line) 1472-2747 (printed) 699 Algebraic & Geometric Topology Volume 1 (2001) 699 708 Published: 22 November 2001 ATG The mapping class group of a genus two surface is linear Stephen
More informationThe Adjoint Action of a Homotopy-associative H-space on its Loop Space.
The Adjoint Action of a Homotopy-associative H-space on its Loop Space. Nicholas Nguyen Department of Mathematics University of Kentucky January 17th, 2014 Assumptions Unless specied, All topological spaces:
More informationHOMOTOPY THEORY ADAM KAYE
HOMOTOPY THEORY ADAM KAYE 1. CW Approximation The CW approximation theorem says that every space is weakly equivalent to a CW complex. Theorem 1.1 (CW Approximation). There exists a functor Γ from the
More informationThe Homotopic Uniqueness of BS 3
The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered
More informationSURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds relate
SURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds related to nite type invariants. The rst one requires to
More informationOn Linear and Residual Properties of Graph Products
On Linear and Residual Properties of Graph Products Tim Hsu & Daniel T. Wise 1. Introduction Graph groups are groups with presentations where the only relators are commutators of the generators. Graph
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationarxiv: v1 [math.at] 25 Feb 2010
NON-FACTORISATION OF ARF-KERVAIRE CLASSES THROUGH RP RP arxiv:1002.4845v1 [math.at] 25 Feb 2010 VICTOR P. SNAITH Abstract. As an application of the upper triangular technology method of [8] it is shown
More informationTHE PURE SYMMETRIC AUTOMORPHISMS OF A FREE GROUP FORM A DUALITY GROUP
THE PURE SYMMETRIC AUTOMORPHISMS OF A FREE GROUP FORM A DUALITY GROUP NOEL BRADY, JON MCCAMMOND, JOHN MEIER, AND ANDY MILLER Abstract. The pure symmetric automorphism group of a finitely generated free
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationTopological Data Analysis - Spring 2018
Topological Data Analysis - Spring 2018 Simplicial Homology Slightly rearranged, but mostly copy-pasted from Harer s and Edelsbrunner s Computational Topology, Verovsek s class notes. Gunnar Carlsson s
More informationCollisions at infinity in hyperbolic manifolds
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 Collisions at infinity in hyperbolic manifolds By D. B. MCREYNOLDS Department of Mathematics, Purdue University, Lafayette, IN 47907,
More informationFAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES
FAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES MARGARET NICHOLS 1. Introduction In this paper we study the complex structures which can occur on algebraic curves. The ideas discussed
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationCohomology operations and the Steenrod algebra
Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;
More informationSOME ASPECTS OF STABLE HOMOTOPY THEORY
SOME ASPECTS OF STABLE HOMOTOPY THEORY By GEORGE W. WHITEHEAD 1. The suspension category Many of the phenomena of homotopy theory become simpler in the "suspension range". This fact led Spanier and J.
More informationDECOMPOSITIONS OF LOOPED CO-H-SPACES
DECOMPOSITIONS OF LOOPED CO-H-SPACES J. GRBIĆ, S. THERIAULT, AND J. WU Abstract. We prove two homotopy decomposition theorems for the loops on simply-connected co-h-spaces, including a generalization of
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationArtin s map in stable homology. Ulrike Tillmann
Artin s map in stable homology Ulrike Tillmann Abstract: Using a recent theorem of Galatius [G] we identify the map on stable homology induced by Artin s injection of the braid group β n into the automorphism
More information