SOME ASPECTS OF STABLE HOMOTOPY THEORY
|
|
- Dwayne Franklin
- 6 years ago
- Views:
Transcription
1 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. H. C. Whitehead in 1953 [26] to introduce the suspension category S and to propose the study of its homotopy theory as a first approximation to the homotopy theory of the category of spaces. The objects of S are spaces, but its maps are equivalence classes of maps: S P X->S Q Y, two such maps being identified if their iterated suspensions of some order are homotopie. Thus the set {X, Y} of $-maps of X into Y acquires the structure of a graded abelian group, whereas the set [X, Y] of homotopy classes of maps of X into Y has no particular structure. In subsequent years, Spanier and Whitehead pursued this program in a series of papers [27, 28, 29], culminating in the Spanier-Whitehead duality. This duality asserts the existence of a natural isomorphism {X, Y} ^ {D n Y,D n X}, where X, Y are subcomplexes of S n and D n X,D n Y are essentially their complements (a more general formulation has been given by Spanier in [25]). Their duality has been applied to a variety of problems, e.g. to the problem of imbeddibility of a complex in S n [24]. 2. Spectra and homology theory For many purposes the suspension category has proved to be too "small"; a more suitable category seems to be the category Sp of spectra. These were introduced by Lima in [20] and have since been studied, under a variety of restrictions, in [1, 25, 31]. A spectrum E in the most general sense is simply a sequence of spaces E n, together with a sequence of maps f n :SE n ->E n+1 (or, equivalently, a sequence of maps g n :E n ->QE n+1 ); E is said to be an 2-spectrum if and only if each map g n is a homotopy equivalence. Examples are the sphere spectrum S = {S n } and the Eilenberg-MacLane spectrum K(U) = {K(U,n)}. The category Sp seems to provide the proper setting for cohomology operations of higher kind [23]. Moreover, it is closely related to homology and cohomology theories of a very general sort. The axiomatic study of homology and cohomology theory was inaugurated by Eilenberg and Steenrod in 1945 [11, 12]. Of their axioms, the first six are of a very general character; on the other hand, their seventh, the dimension axiom, plays a normative role, singling out the classical theories among the multitude of possible theories which satisfy the first six. Examples of such theories are the stable homotopy and cohomotopy groups, the bordism and cobordism groups studied by Atiyah [2] and by Conner and Floyd [7], and the groups of stable vector bundles studied by Atiyah and Hirzebruch [3, 4], Bott [5] and others.
2 STABLE HOMOTOPY THEORY 503 Greneral cohomology theories have become reasonably familiar in recent years (cf. the work of Eckmann and Hilton [10]). For any space Y, the functor [, Y] ot homotopy classes of maps into Y is, in some sense, an "unstable" cohomology theory, and Brown in [6] has given an axiomatic characterization of such theories. One obtains a cohomology theory satisfying the first six axioms of Eilenberg and Steenrod by replacing F by a spectrum E and defining, for any compact polyhedron X, H n (X; E) = {X, E} n = lim k [S k X, E n+k ]. This can be given an alternative description as follows: the function spaces F(X, E n ) of all maps of X into E n are the components of a spectrum F(X,E), and ir(x;e)~rc_ n (F(X;E)). In [6], Brown has shown that, under mild restrictions, every theory satisfying the first six axioms can be obtained in this way, from an essentially unique Q-spectrum E. For example, H n (X; II) ^ H n (X; K(II)) for any abelian group II. On the other hand, homology theories in a general sense have until recently seemed somewhat mysterious. In [31] I proposed the following definition. If X is a compact polyhedron and E a spectrum, then the reduced joins X A E n are the components of a spectrum X A E; let H n (X;E)=7Zn(XAE). One then obtains a homology theory satisfying the first six axioms; moreover H n (X;U)^H n (X;K(U)), while H n (X; S) is the nth stable homotopy group H n (X). 3. Duality theorems Classically, homology and cohomology groups are related by the Alexander and Poincaré duality theorems, and by the universal coefficient theorem. Universal coefficient theorems for general theories have been studied by D. S. Kahn in his thesis (unpublished); the situation is much more complex than in the classical case, a short exact sequence being replaced by a spectral sequence. The isomorphisms of the classical duality theorems are described by certain products, which are induced by a pairing of two coefficient groups to a third. Using an appropriate notion of pairing of spectra, one can define cup, cap, etc. products which have properties completely analogous to the classical ones. Using these, I have shown in [31] that the analogue of the Alexander duality theorem holds in full generality: for any spectrum E, we have the isomorphism Ê Q (X;E)*Hn- Q -i(d n X;E). It then follows that the analogue of Brown's theorem holds for homology. The Poincaré duality theorem is much more delicate. Consider a spectrum
3 504 G. w. WHITEHEAD B which is ring-like in the sense that there is given a self-pairing (R,R)->R and a map S->R with suitable properties. An H-module M is then a spectrum with a suitable pairing (R, M)->M. If M is an R-module, the cap-product is a pairing H n (X; B) H Q (X; W)->H n - Q (X; M). If X is a compact triangulable manifold and z E H n (X; M) a suitably defined fundamental class then zo:h Q (X;M.)->H n _ Q (X;M) is an isomorphism. However, the question of existence of a fundamental class is extremely complex. For example, if R = S, then X has a fundamental class if and only if X is a homotopy U.-manifold; for the differentiable case this means that the stable normal bundle is fibre-homotopically trivial [21]. Thus the homotopy n-manifolds are precisely those manifolds for which Poincaré duality holds for arbitrary spectra. 4. Semi-simplicial spectra Semi-simplicial complexes were introduced by Eilenberg and Zilber in [31]. In recent years, they have been systematically exploited by Kan [15, 16, 17], Moore [22], Dold [8] and others, and this work has been responsible for much of the great advance that has been made by algebraic topology in recent years. One advantage of this approach is that one can apply to a semi-simplicial complex a functor from the category of sets to a category with a richer algebraic structure, and then to use algebraic machinery to study the resulting object. An example is the F-construction of Milnor (unpublished); F(K), the free group complex generated by K, is the semisimplicial analogue of the space of loops on the suspension of K; thus the map K-+FK is a homotopy equivalence in the stable range. Recently Kan [18] has introduced semi-simplicial spectra. For these the functor F is a weak homotopy equivalence; thus, to all intents and purposes and spectrum E can be replaced by JP(E). In recent unpublished work, Kan and I have applied the semi-simplicial techniques to the question of Poincaré duality. On the one hand, there is a classification of spectra by "degrees of abelianness"; an abelian spectrum is essentially a product of Eilenberg-MacLane spectra, and a spectrum is ^-abelian if it is dominated by an n-stage Postnikov extension whose factors are abelian. On the other hand, there is a classification of manifolds by "degrees of orientability"; a manifold is 1-orientable if and only if it is orientable in the usual sense, and w-orientable if and only if all stable homology operations of the (n l)st kind vanish on the fundamental class. It turns out that a manifold is n-orientable if and only if it satisfies Poincaré duality for all w-abelian spectra. Moreover, there exist n-orientable manifolds for some n, 2 < n < oo. These results were obtained by studying the functor which associates to every group its commutator subgroup. This functor is one of a class of "fully invariant" functors, determined by the fully invariant subgroups of the free group on countably many generators [19, 37]. If T is such a functor, then Il(T) = F(fi)ITF(S) is a ring-like spectrum in the sense
4 STABLE HOMOTOPY THEORY 505 explained above, and the R(T)-mdoules are those spectra which are dominated by F(E)ITF(E) for some spectrum E. One then has the classes of R(T) orientable manifolds; the relationships among these classes remain an object for future study. 5. Conclusion This lecture has not aimed at completeness. Some of the most interesting developments have been reported on by others at this Congress. It may be remarked that most of this work has examined stable homotopy theory for its own sake. On the other hand, the viewpoint of Spanier and Whitehead toward stable homotopy as a first approximation to homotopy theory suggests the possibility of higher-order approximations. There are a few examples of "semi-stable" phenomena. Among them are the exact sequence involving the homology suspension which I found in [30]; the exact sequence of James [14] involving the homotopy suspension; and the analogous exact sequences studied by Dold and Puppe in [9]. In this connection, the special role played by quadratic functors in [9] is suggestive. REFERENCES [1]. ADAMS, J. F., Theorie de l'homotopie stable. Bull. Soc. Math. France, 87 (1959), [2]. ATIYAH, M. F., Bordism and cobordism. Proc. Cambridge Philos Soc, 57 (1961), [3]. ATIYAH, M. F. & HIRZEBBUCH, F., Riemann-Roch theorems for differentiable manifolds. Bull. Amer. Math. Soc, 65 (1959), ] t Vector bundles and homogeneous spaces. Proc Symp. Pure Math., Vol. Ill, Providence, [5]. BOTT, R., Quelques remarques sur les théorèmes de périodicité. Bidl. Soc Math. France, 87 (1959), [6]. BROWN, E. H., Cohomology theories. Ann. Math., 75 (1962), [7]. CONNER, P. E. & FLOYD, E. E., Differentiable periodic maps, Bull. Amer. Math. Soc, 68 (1962), [8]. DOLD, A., Homology of symmetric products and other functors of complexes. Ann. Math., 68 (1958), [9]. DOLD, A. & PUPPE, D., Homologie nicht-addiviter Funktoren. Ann. Inst. Fourier, 11 (1961), [10]. ECKMANN, B. & HILTON, P. J., Groupes d'homotopie et dualité, C. R. Acad. Sci. Paris, 246 (1958), , , [11]. EILENBERG, S. & STEENROD, N. E., Axiomatic approach to homology theory. Proc Nat. Acad. Sci. U.S.A., 31 (1945), [12]. Foundations of Algebraic Topology. Princeton Univ. Press, [13]. EILENBERG, S. & ZILBER, J. A., Semi-simplieial complexes and singular homology. Ann. Math., 51 (1950), [14]. JAMES, I. M., On the suspension triad. Ann. Math., 63 (1956), [15]. KAN, D. M., On c.s.s. complexes. Amer. J. Math., 79 (1957), [16]. A combinatorial definition of homotopy groups. Ann. Math., 67 (1958), [17]. On homotopy theory and C.S.S. groups. Ann. Math. 68 (1958), [18]. Semi-simplicial spectra. Illinois J. Math. (To appear.)
5 506 G. w. WHITEHEAD [19]. KUROSH, A. G., The Theory of Groups. New York, [20]. LIMA, E. L., The Spanier-Whitehead duality in new homotopy categories- Summa Bras. Math., 4 (1958-9), [21]. MILNOR, J. & SPANIER, E. H., Two remarks on fibre homotopy type- Pacific J. Math., 10 (1960), [22]. MOORE, J. C, Semi-simplicial complexes and Postnikov systems. Symp.. International Topologia Algebraica. Mexico City, 1958, [23]. PETERSON, F. P., Functional cohomology operations. Trans. Amer.,. Math. Soc, 86 (1957), [24]. Some non-embedding problems. Bol. Soc. Mat. Mexicana, 1957, [25]. SPANIER, E. H., Function spaces and duality. Ann. Math., 70 (1959),, [26]. SPANIER, E. H. & WHITEHEAD, J. H. C, A first approximation to homotopy theory. Proc. Nat. Acad. Sci. U.S.A., 39 (1953), [27]. Duality in homotopy theory. Mathematika, 2 (1955), [28]. The theory of carriers and is-theory. Algebraic Geometry and Topology, Princeton, [29]. Duality in relative homotopy theory. Ann. Math., 67 (1958), [30]. WHITEHEAD, G. W., On the homology suspension. Ann. Math., 62 (1955), [31]. Generalized homology theories. Trans. Amer. Math. Soc, 102 (1962)*
38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form
38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines
More informationSpectra and the Stable Homotopy Category
Peter Bonventre Graduate Seminar Talk - September 26, 2014 Abstract: An introduction to the history and application of (topological) spectra, the stable homotopy category, and their relation. 1 Introduction
More informationRESEARCH STATEMENT RUIAN CHEN
RESEARCH STATEMENT RUIAN CHEN 1. Overview Chen is currently working on a large-scale program that aims to unify the theories of generalized cohomology and of perverse sheaves. This program is a major development
More informationON AXIOMATIC HOMOLOGY THEORY
ON AXIOMATIC HOMOLOGY THEORY J. MlLNOR A homology theory will be called additive if the homology group of any topological sum of spaces is equal to the direct sum of the homology groups of the individual
More information38 CHAPTER 2. COMPUTATIONAL METHODS. f n. n 1. X n 1. g n. X n
38 CHAPTER 2. COMPUTATIONAL METHODS 15 CW-complexes II We have a few more general things to say about CW complexes. Suppose X is a CW complex, with skeleton filtration = X 1 X 0 X 1 X and cell structure
More informationComplex Bordism and Cobordism Applications
Complex Bordism and Cobordism Applications V. M. Buchstaber Mini-course in Fudan University, April-May 2017 Main goals: --- To describe the main notions and constructions of bordism and cobordism; ---
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
More informationTHE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29
Title THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS Author(s) Theriault, Stephen Citation Osaka Journal of Mathematics. 52(1) P.15-P.29 Issue Date 2015-01 Text Version publisher URL https://doi.org/10.18910/57660
More informationTHE STABLE SHAPE OF COMPACT SPACES WITH COUNTABLE COHOMOLOGY GROUPS. S lawomir Nowak University of Warsaw, Poland
GLASNIK MATEMATIČKI Vol. 42(62)(2007), 189 194 THE STABLE SHAPE OF COMPACT SPACES WITH COUNTABLE COHOMOLOGY GROUPS S lawomir Nowak University of Warsaw, Poland Dedicated to Professor Sibe Mardešić on the
More informationORDINARY i?o(g)-graded COHOMOLOGY
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 4, Number 2, March 1981 ORDINARY i?o(g)-graded COHOMOLOGY BY G. LEWIS, J. P. MAY, AND J. McCLURE Let G be a compact Lie group. What is
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
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 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 informationUsing transversality arguments, Thom analyzed the sequence of homotopy groups,
REVIEW OF BOOKS BY J.P. MAY John McCleary Rings, Modules, and Algebras in Stable Homotopy Theory, by A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May, with an Appendix by M. Cole, Mathematical Surveys
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationON THE GROUP &[X] OF HOMOTOPY EQUIVALENCE MAPS BY WEISHU SHIH 1. Communicated by Deane Montgomery, November 13, 1963
ON THE GROUP &[X] OF HOMOTOPY EQUIVALENCE MAPS BY WEISHU SHIH 1 Communicated by Deane Montgomery, November 13, 1963 Let X be a CW-complex; we shall consider the group 2 s[x] formed by the homotopy classes
More informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
More informationClassification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres
Classification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres John Milnor At Princeton in the fifties I was very much interested in the fundamental problem of understanding
More informationStable Homotopy Theory A gateway to modern mathematics.
Stable Homotopy Theory A gateway to modern mathematics. Sunil Chebolu Department of Mathematics University of Western Ontario http://www.math.uwo.ca/ schebolu 1 Plan of the talk 1. Introduction to stable
More informationEXACT BRAIDS AND OCTAGONS
1 EXACT BRAIDS AND OCTAGONS Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Lewisfest, Dublin, 23 July 2009 Organized by Eva Bayer-Fluckiger, David Lewis and Andrew Ranicki. 2 3 Exact braids
More informationTHE CLASSIFICATION OF EXTENSIONS OF C*-ALGEBRAS
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 4, Number 1, 1981 THE CLASSIFICATION OF EXTENSIONS OF C*-ALGEBRAS BY JONATHAN ROSENBERG 1 AND CLAUDE SCHOCHET 1 1. G. G. Kasparov [9] recently
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 informationThe Dyer-Lashof Algebra in Bordism (June To Appear, C.R.Math.Rep.Acad.Sci.Canada)
The Dyer-Lashof Algebra in Bordism (June 1995. To Appear, C.R.Math.Rep.Acad.Sci.Canada) Terrence Bisson bisson@canisius.edu André Joyal joyal@math.uqam.ca We present a theory of Dyer-Lashof operations
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 informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationPublications of Douglas C. Ravenel
ix Publications of Douglas C. Ravenel Books 1. Complex Cobordism and Stable Homotopy Groups of Spheres, Academic Press, New York, 1986. 2. Nilpotence and periodicity in stable homotopy theory, Annals of
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationTHE METHODS OF ALGEBRAIC TOPOLOGY FROM THE VIEWPOINT OF COBORDISM THEORY
THE METHODS OF ALGEBRAIC TOPOLOGY FROM THE VIEWPOINT OF COBORDISM THEORY S. P. NOVIKOV Abstract. The goal of this wor is the construction of the analogue to the Adams spectral sequence in cobordism theory,
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationOVERVIEW OF SPECTRA. Contents
OVERVIEW OF SPECTRA Contents 1. Motivation 1 2. Some recollections about Top 3 3. Spanier Whitehead category 4 4. Properties of the Stable Homotopy Category HoSpectra 5 5. Topics 7 1. Motivation There
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 informationSPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY
SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY M. F. ATIYAH, V. K. PATODI AND I. M. SINGER 1 Main Theorems If A is a positive self-adjoint elliptic (linear) differential operator on a compact manifold then
More informationReal K-Theory. Michael J. Hopkins 1 Mark A. Hovey. MIT and Yale University. July 25, 1995
Spin Cobordism Determines Real K-Theory Michael J. Hopkins 1 Mark A. Hovey MIT and Yale University Cambridge, MA New Haven, CT 1 Introduction July 25, 1995 It is a classic theorem of Conner and Floyd [CF]
More informationOsaka Journal of Mathematics. 37(2) P.1-P.4
Title Katsuo Kawakubo (1942 1999) Author(s) Citation Osaka Journal of Mathematics. 37(2) P.1-P.4 Issue Date 2000 Text Version publisher URL https://doi.org/10.18910/4128 DOI 10.18910/4128 rights KATSUO
More informationNilpotency of Atomic Steenrod Squares
An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (N.S.) Tomul LXIII, 2017, f. 3 Nilpotency of Atomic Steenrod Squares Özgür Ege Ismet Karaca Received: 17.VII.2014 / Accepted: 30.IV.2015 Abstract In this paper,
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 informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
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 informationA (Brief) History of Homotopy Theory
April 26, 2013 Motivation Why I m giving this talk: Dealing with ideas in the form they were first discovered often shines a light on the primal motivation for them (...) Why did anyone dream up the notion
More informationBERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
More informationMath Homotopy Theory Spring 2013 Homework 13 Solutions
Math 527 - Homotopy Theory Spring 2013 Homework 13 Solutions Definition. A space weakly equivalent to a product of Eilenberg-MacLane spaces is called a generalized Eilenberg-MacLane space, or GEM for short.
More informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
More informationCOBORDISM Seminar of the Graduiertenkolleg WS 2017/18
COBORDISM Seminar of the Graduiertenkolleg WS 2017/18 Introduction Bordism or cobordism starts out quite naively as an equivalence relation of manifolds: two closed manifolds X, Y are cobordant if there
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
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 informationSpectra and G spectra
September 23, 2015 http://math.harvard.edu/ ecp/latex/talks/intro-to-spectra.pdf Cell structures Definition A cell structure on a pointed space X is an inductive presentation by iteratively attaching n
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 informationLecture 2: Spectra and localization
Lecture 2: Spectra and localization Paul VanKoughnett February 15, 2013 1 Spectra (Throughout, spaces means pointed topological spaces or simplicial sets we ll be clear where we need one version or the
More informationSURGERY ON POINCARÉ AND NORMAL SPACES 1
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 2, March 1972 SURGERY ON POINCARÉ AND NORMAL SPACES 1 BY FRANK QUINN Communicated by M. F. Atiyah, October 4, 1971 1. The object of this
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 informationLecture Complex bordism theory Maximilien Péroux and Jānis Lazovskis WCATSS The University of Oregon
Lecture 1.3 - Complex bordism theory Maximilien Péroux and Jānis Lazovskis WCATSS 2016 - The University of Oregon Contents 1 Complex-orientable cohomology theories 1 1.1 Complex orientation.........................................
More informationTHE TOTAL SURGERY OBSTRUCTION III
THE TOTAL SURGERY OBSTRUCTION III TIBOR MACKO Abstract. The total surgery obstruction s(x) of a finite n-dimensional Poincaré complex X is an element of a certain abelian group S n(x) with the property
More informationMirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
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 www.math.nus.edu.sg/ matwujie
More information110:615 algebraic topology I
110:615 algebraic topology I Topology is the newest branch of mathematics. It originated around the turn of the twentieth century in response to Cantor, though its roots go back to Euler; it stands between
More informationAn introduction to spectra
An introduction to spectra Aaron Mazel-Gee In this talk I ll introduce spectra and show how to reframe a good deal of classical algebraic topology in their language (homology and cohomology, long exact
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationEXT /09/1998
Available at: http://www.ictp.trieste.it/~pub off IC/98/128 United ations Educational Scientic and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM ITERATIOAL CETRE FOR THEORETICAL
More informationNORMAL VECTOR FIELDS ON MANIFOLDS1 W. S. MASSEY
NORMAL VECTOR FIELDS ON MANIFOLDS1 W. S. MASSEY 1. Introduction. Let Mn be a compact, connected, orientable, differentiable, «-dimensional manifold which is imbedded differentiably (without self intersections)
More information6 Axiomatic Homology Theory
MATH41071/MATH61071 Algebraic topology 6 Axiomatic Homology Theory Autumn Semester 2016 2017 The basic ideas of homology go back to Poincaré in 1895 when he defined the Betti numbers and torsion numbers
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY WILLIAM FULTON NOTES BY DAVE ANDERSON In this appendix, we collect some basic facts from algebraic topology pertaining to the
More informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationGeneric section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationFormal groups laws and genera*
Bulletin of the Manifold Atlas (2011) Formal groups laws and genera* TARAS PANOV Abstract. The article reviews role of formal group laws in bordism theory. 55N22, 57R77 1. Introduction The theory of formal
More informationarxiv: v1 [math.kt] 22 Nov 2010
COMPARISON OF CUBICAL AND SIMPLICIAL DERIVED FUNCTORS IRAKLI PATCHKORIA arxiv:1011.4870v1 [math.kt] 22 Nov 2010 Abstract. In this note we prove that the simplicial derived functors introduced by Tierney
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 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 informationAXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY
AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy
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 informationComparing the homotopy types of the components of Map(S 4 ;BSU(2))
Journal of Pure and Applied Algebra 161 (2001) 235 243 www.elsevier.com/locate/jpaa Comparing the homotopy types of the components of Map(S 4 ;BSU(2)) Shuichi Tsukuda 1 Department of Mathematical Sciences,
More informationBOUSFIELD LOCALIZATIONS OF CLASSIFYING SPACES OF NILPOTENT GROUPS
BOUSFIELD LOCALIZATIONS OF CLASSIFYING SPACES OF NILPOTENT GROUPS W. G. DWYER, E. DROR FARJOUN, AND D. C. RAVENEL 1. Introduction Let G be a finitely generated nilpotent group. The object of this paper
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 informationA History of Duality in Algebraic Topology James C. Becker and Daniel Henry Gottlieb
A History of Duality in Algebraic Topology James C. Becker and Daniel Henry Gottlieb 1. Introduction. Duality in the general course of human affairs seems to be a juxtaposition of complementary or opposite
More informationGraduate algebraic K-theory seminar
Seminar notes Graduate algebraic K-theory seminar notes taken by JL University of Illinois at Chicago February 1, 2017 Contents 1 Model categories 2 1.1 Definitions...............................................
More informationarxiv:math/ v1 [math.at] 13 Nov 2001
arxiv:math/0111151v1 [math.at] 13 Nov 2001 Miller Spaces and Spherical Resolvability of Finite Complexes Abstract Jeffrey Strom Dartmouth College, Hanover, NH 03755 Jeffrey.Strom@Dartmouth.edu www.math.dartmouth.edu/~strom/
More informationEssential Category Weight and Phantom Maps
Essential Category Weight and Phantom Maps Jeffrey Strom Wayne State University strom@math.wayne.edu The purpose of this paper is to study the relationship between maps with infinite essential category
More informationWHAT IS K-HOMOLOGY? Paul Baum Penn State. Texas A&M University College Station, Texas, USA. April 2, 2014
WHAT IS K-HOMOLOGY? Paul Baum Penn State Texas A&M University College Station, Texas, USA April 2, 2014 Paul Baum (Penn State) WHAT IS K-HOMOLOGY? April 2, 2014 1 / 56 Let X be a compact C manifold without
More informationTHE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS
THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS BY J. P. MAY 1 Communicated by F. P. Peterson, November 13, 1967 In this note, we state some results on the cohomology
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More informationBERNOULLI NUMBERS, HOMOTOPY GROUPS, AND A THEOREM OF ROHLIN
454 BERNOULLI NUMBERS, HOMOTOPY GROUPS, AND A THEOREM OF ROHLIN By JOHN W. MILNOR AND MICHEL A. KERVAIRE A homomorphism J: 7T k _ 1 (SO w ) -> n m+k _ 1 (S m ) from the homotopy groups of rotation groups
More informationJ. P. May. References
J. P. May References [1] The cohomology of restricted Lie algebras and of Hopf algebras. Bull. Amer. Math. Soc. 71(1965), 372 377. [2] The cohomology of the Steenrod algebra; stable homotopy groups of
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationReal affine varieties and obstruction theories
Real affine varieties and obstruction theories Satya Mandal and Albert Sheu University of Kansas, Lawrence, Kansas AMS Meeting no.1047, March 27-29, 2009, at U. of Illinois, Urbana, IL Abstract Let X =
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 informationTruncated Brown-Peterson spectra
Truncated Brown-Peterson spectra T. Lawson 1 N. Naumann 2 1 University of Minnesota 2 Universität Regensburg Special session on homotopy theory 2012 T. Lawson, N. Naumann (UMN and UR) Truncated Brown-Peterson
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 informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA 1, DENISE DE MATTOS 2, AND EDIVALDO L. DOS SANTOS 3 Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More information(for. We say, if, is surjective, that E has sufficiently many sections. In this case we have an exact sequence as U-modules:
247 62. Some Properties of Complex Analytic Vector Bundles over Compact Complex Homogeneous Spaces By Mikio ISE Osaka University (Comm. by K. KUNUGI, M.J.A., May 19, 1960) 1. This note is a summary of
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationSome topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller
Some topological reflections of the work of Michel André Lausanne, May 12, 2011 Haynes Miller 1954: Albrecht Dold and Dieter Puppe: To form derived functors of non-additive functors, one can t use chain
More informationEXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES
EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. We show that there are
More informationDUALITY BETWEEN STABLE STRONG SHAPE MORPHISMS AND STABLE HOMOTOPY CLASSES
GLASNIK MATEMATIČKI Vol. 36(56)(2001), 297 310 DUALITY BETWEEN STABLE STRONG SHAPE MORPHISMS AND STABLE HOMOTOPY CLASSES Qamil Haxhibeqiri and S lawomir Nowak Institute of Mathematics, University of Warsaw,
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationOn the non-existence of elements of Kervaire invariant one
On the non-existence of elements of Kervaire invariant one Michael University of Virginia ICM Topology Session, Seoul, Korea, 2014 Poincaré Conjecture & Milnor s Question Milnor s Questions How many smooth
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationALGEBRAIC TOPOLOGY III MAT 9580 SPRING 2015 INTRODUCTION TO THE ADAMS SPECTRAL SEQUENCE
ALGEBRAIC TOPOLOGY III MAT 9580 SPRING 2015 INTRODUCTION TO THE ADAMS SPECTRAL SEQUENCE JOHN ROGNES Contents 1 The long exact sequence of a pair 2 11 E r -terms and d r -differentials 4 12 Adams indexing
More informationNONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008
1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative
More informationEquivalent statements of the telescope conjecture
Equivalent statements of the telescope conjecture Martin Frankland April 7, 2011 The purpose of this expository note is to clarify the relationship between various statements of the telescope conjecture.
More informationOn the Chogoshvili Homology Theory of Continuous Maps of Compact Spaces
University of Dayton ecommons Summer Conference on Topology and Its Applications Department of Mathematics 6-2017 On the Chogoshvili Homology Theory of Continuous Maps of Compact Spaces Anzor Beridze ity,
More informationHOMOTOPY EQUIVALENCE OF FIBER BUNDLES
HOMOTOPY EQUIVALENCE OF FIBER BUNDLES M. L. CURTIS AND R. LASHOF 1. Introduction. A classification of bundles has been given by Lashof [3] by mapping the loop space of the base into the structure group.
More information