A NOTE ON TRIVIAL FIBRATIONS

Save this PDF as:

Size: px
Start display at page:

Transcription

1 A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija Abstract We study the conditions on spaces B and F given which, every fibration with base B or with fibre F is fibre-homotopy trivial. In particular, we prove that every fibration whose base is a CW-complex and fibre an Eilenberg-MacLane space K(G, 1) with G a complete group is fibre-homotopy trivial. Keywords: fibration, fibre-homotopy equivalence, complete group MSC2010 classification: Primary: 55R35. Introduction It is well-known that every fibration over a contractible base is fibre homotopically trivial. In fact, it is easy to see that this property characterizes contractible spaces. It is less clear whether a fibration with contractible fibre must also be fibre homotopically trivial, and whether the triviality of all fibrations with a given fibre implies the contractibility of that fibre. Daniel Gottlieb suggested that there are non-contractible spaces which can be fibres only in trivial fibrations. In this paper we study spaces that have this surprising property. In the first section we list the relevant facts about fibrations and their classification, while in the second section we study bases and fibres that automatically make fibrations trivial. Partly supported by the Ministry for Education, Science and Sport of the Republic of Slovenia research program No

2 1 PRELIMINARIES ON FIBRATIONS 2 1 Preliminaries on fibrations Although the classification of fibrations is formally analogous to the classification of fibre bundles, there are some delicate issues regarding explicit constructions and the scope of the results, which is evident from a series of different approaches to these problems. To fix the ideas we give the list of definitions and results which we are going to use. By fibration we mean a projection p: E B which has the homotopy lifting property from arbitrary spaces (i.e. a Hurewicz fibration). If B is path-connected then all fibres of p are homotopy equivalent so we will often use the notation F E p B, where F denotes the fibre over some point in B. Fibrations p: E B and p : E B are fibre-homotopy equivalent if there are fibre-preserving maps f : E E and g : E E and fibre-preserving homotopies between fg and 1 E, and between gf and 1 E. There is a technical difficulty when considering fibrations with respect to the relation of fibre-homotopy equivalence, because a fibre space which is fibre-homotopy equivalent to a fibration is not necessarily a fibration. To avoid this difficulty we define a fibre space p: E B to be an h-fibration, if it is fibre-homotopy equivalent to a fibration, or equivalently if it satisfies the following weak homotopy lifting property: for every map h: A E and every homotopy H : A I B starting at H 0 = ph there is a homotopy H : A I E which covers H but H 0 is only fibre-homotopic to h. Clearly, the classification of fibrations up to fibre-homotopy equivalence coincides with that of h-fibrations. A fibration F E p B is fibre-homotopy trivial if it is fibre-homotopy equivalent to the product fibration pr B : B F B. A fibration is locally trivial if there is a covering {U λ } of the base B, suche that the restrictions p: p 1 (U λ ) U λ are fibre-homotopy trivial. We usually require that the covering {U λ } is numerable, i.e. that admits a subordinated partition of unity. When a fibration is locally trivial with respect to a numerable covering, we say that it is numerably trivial. The existence of a partition of unity is a technical condition that allows gluing of maps and spaces, and is required in the classification theorems. If p: E B is a fibration, and if U B can be deformed in B to a point (i.e. if the inclusion U is homotopic to a constant map), then the restriction p: p 1 (U) U is fibre-homotopy trivial. This fact motivates the following definition: a space B which admits a numerable covering {U λ } such that all U λ can be deformed in B to a point is called Dold space (cf. [8], [7]). The class of Dold spaces contains all spaces of the homotopy type of a CW-complex, all paracompact locally contractible spaces, the classifying spaces of topological monoids, unreduced suspensions and joins. Clearly, every fibration whose base is a Dold space is numerably trivial. The well-known classification of fibre bundles with fibre F and structure group G through homotopy classes of maps into classifying spaces can be extended to fibrations. In that case the role of the structure group is taken by the space aut(f ) of all self-homotopy equivalences of the fibre F. Since aut(f ) is only a topological monoid and not a group, the construction of the corresponding classifying space is

3 2 AUTOMATICALLY TRIVIAL FIBRATIONS 3 not as straightforward as in the case of groups, and there are several variants, each of them with its advantages and disadvantages. We are going to use the formulation of [4] that there is a universal fibration F B aut (F ) B aut(f ) that classifies fibrations over CW-complexes, in the sense that for every CW-complex B the pull-back operation induces a bijection between [B, B aut(f )] and the set of fibrehomotopy equivalence classes of (h)-fibrations with fibre F over B. Here aut (F ) denotes the space of self-homotopy equivalences of F which preserve the basepoint, and B( ) is a functor which for every topological monoid with a homotopy inverse H constructs the corresponding classifying space BH. The functor B is inverse to the loop-space construction in the sense that B(ΩX) X and the classifying fibration corresponds to the prolongation (in the sense of the Puppe- Barratt sequences) of the evaluation fibration aut (F ) aut(f ) ev F. 2 Automatically trivial fibrations Let us begin with the following a characterization of the contractibility of a space B in terms of fibrations over B. If B is contractible then every h-fibration over B is fiber-homotopy trivial. This implies in particular that the path fibration ΩB P B B must be trivial. As the based path space P B is contractible, the homotopy equivalence P B B ΩB implies that B is contractible. Thus we have proved the following result. Proposition 2.1 The following conditions are equivalent for an arbitrary space B. 1. B is contractible; 2. The path fibration over B is fiber-homotopy trivial. 3. Every fibration with base B is fiber-homotopy trivial. We are going to show that the situation is more complex when one tries to relate the contractibility of the fibre with the triviality of the fibration. Proposition 2.2 Every numerably trivial h-fibration with contractible fibre is fibrehomotopy trivial. Proof: By the equivalence between (d) and (e) in Theorem 3.1. of [3] every such fibration is locally shrinkable, which by Corollary 3.3.of [3] implies that it is fibre-homotopy trivial. In particular, every h-fibration with contractible fibre over a Dold space is fibre homotopy trivial. This is however not true for arbitrary bases, as can be seen from the following example.

4 2 AUTOMATICALLY TRIVIAL FIBRATIONS 4 Example 2.3 Let W denote the Warsaw circle: then the space of loops ΩW is contractible, which means that every numerably trivial fibration with fibre ΩW must be fibre-homotopy trivial. However, the path fibration over ΩW P W W cannot be fibre-homotopy trivial, as it would imply that W ΩW P W, which is impossible, since W is not contractible. Therefore, the above proposition cannot be extended to fibrations which are not numerably trivial. Is there a test fibration with fibre F (like the path-fibration for base B) whose triviality would imply that all fibrations with fibre F are fibre-homotopy trivial? If we restrict our attention to fibrations over CW-complexes, then the natural candidate is the classifying fibration F B aut (F ) B aut(f ), described in the previous section. Of course, since the total space B aut (F ) is in general not contractible, we cannot deduce that the triviality of the classifying fibrations implies the contractibility of F but we have the following characterization instead: Theorem 2.4 The following conditions are equivalent for a CW-complex F : 1. Every fibration with fibre F over a CW-complex is fibre-homotopy trivial. 2. The classifying space B aut(f ) is weakly contractible. 3. The inclusion map F B aut (F ) is a weak homotopy equivalence. Moreover, the above conditions are implied by 4. The classifying fibration F B aut (F ) B aut(f ) is fibre-homotopy trivial. If aut(f ) has the homotopy type of a CW-complex then are all equivalent. Proof: The equivalence between 1. and 2. follows from the fact that a space is weakly contractible if, and only if every map from a CW-complex to it is nulhomotopic. The equivalence between 2. and 3. follows from the homotopy exact sequence of the classifying fibration. Condition 4. clearly implies 1., and if aut(f ) is a CW-complex then so is B aut(f ) so 1. implies that [B aut(f ), B aut(f )] is trivial, hence B aut(f ) is contractible. It is not at all clear, whether there exists a non-contractible space F satisfying the above conditions. To find an answer, let us consider the evaluation fibration aut (F ) aut(f ) ev F, which is the continuation of the Puppe-Barratt sequence of the classifying fibration, and which therefore contains the same homotopy information. If F is a connected H-space, then the multiplication by an element x F determines a translation τ x, which is a self-homotopy equivalence of F (cf. Theorem of [9]). Since we can always assume that F has a strict unit, the

5 2 AUTOMATICALLY TRIVIAL FIBRATIONS 5 map F aut(f ), x τ x determines the section of the evaluation fibration ev: aut(f ) F, therefore aut(f ) F aut (F ). Proposition 2.5 Assume that a connected CW-complex F admits an H-space structure. Then every fibration with fibre F and base a CW-complex is trivial if, and only if F is contractible. In particular, the assumptions of the Propositions are satisfied when F is an Eilenberg-MacLane space K(G, n) with G abelian. The case F = K(G, 1) with G non-abelian is more complicated. We will first show that the higher homotopy groups of the space of un-based self-homotopy equivalences aut(f ) are trivial. Since aut(f ) is a topological monoid it is sufficient to prove that every α: (S n, s 0 ) (aut(f ), 1 F ) is freely homotopic to the constant map c: (S n, s 0 ) (aut(f ), 1 F ). Let α: S n F F be the adjoint map of α. Homotopy classes of maps into an Eilenberg-MacLane space F = K(G, 1) are classified by their action on the fundamental group, which is in turn determined by the inclusion i: F S n F, u(x) = (s 0, x). Since αu(x) = x = ĉu(x) (where ĉ is the adoint of the constant map), we conclude that α is homotopic to ĉ, therefore α is (freely) homotopic to the constant map. We conclude that aut(f ) is aspherical, hence aut (F ), being the fibre of a map between two aspherical spaces, must be also aspherical. It remains to compute i : π 1 (F ) π 1 (B aut (F )) or equivalently i : π 0 (ΩF ) π 0 (aut (F )), where i: ΩF aut (F ) is given by the standard action of the loops on the base to the fibre in the evaluation fibration. More explicitly, given a loop α Ω(F ), i(α): F F is obtained by using the homotopy extension property to translate the identity map on F along α. It is easily verified that u(α) : π 1 (F ) π 1 (F ) is precisely the conjugation by α, where we view α as an element of π 1 (F ). If we identify π 1 (F ) = π 0 (ΩF ) = G and π 1 (B aut (F )) = π 0 (aut (F )) = Aut G then i : π 1 (F ) π 1 (B aut (F )) corresponds to the standard conjugation homomorphism c: G Aut(G), given by [c(g)](h) = g 1 hg. We conclude that F B aut (F ) is a weak homotopy equivalence if, and only if the above homomorphism is bijective, so by Theorem 2.4 we obtain the following characterization. Theorem 2.6 Every fibration with fibre K(G, 1) and base a CW-complex is fibrehomotopy trivial if, and only if the conjugation homomorphism G Aut(G) is an isomorphism. The groups for which the conjugation homomorphism is an isomorphism are called complete groups and are much studied especially in connection with simple groups. Examples of complete groups include all symmetric groups S n except for n = 2, 6 (see [6], Theorem 7.5). By perusing the Atlas of Finite Groups we find that generically the simple groups are not complete. In particular, none of the alternating groups A n and only a few among linear groups are complete. All sporadic groups are either complete (e.g. the Mathieu groups M 11, M 23, M 24, Conway groups Co 1, Co 2, Co 3, Janko groups J 1, J 4, the Baby Monster, the Monster, and few others), or have the outer automorphism group of order 2. Moreover by a famous

6 REFERENCES 6 theorem of Burnside, the automorphism group of every non-abelian simple group is complete (see [6], Theorem 7.14). Another source of complete groups is Wielandt s theorem on the automorphism tower, which says that for every finite group the sequence G Aut(G) Aut(Aut(G))... stabilizes after finitely many iterations, and the limit is obviously a complete group. To complete the picture, let us mention a characterization of complete groups due to Hölder and Baer, that is an algebraic counterpart of Theorem 2.6: a group G is complete if, and only if, whenever G is a normal subgroup of a group H it follows that G is a direct factor of H (see [6], Theorems 7.15 and 7.17). Is there any other example of a fibre, which would automatically cause the triviality of the fibrations? If F is a simply-connected coh-space then by [1], Proposition 1.13, F has a homotopy inverse, which is clearly a homotopy equivalence of order 2. Therefore π 0 (aut (F )) is non-trivial, while π(ωf ) = π 1 (F ) = 0 so ΩF aut (F ). If F is simply connected and homotopically n-dimensional (i.e. π n (F ) 0 and π k (F ) = 0 for k > n) then we can use the spectral sequence, developed by G. Didierjean [2] (a variant of the Federer spectral sequence) that computes the homotopy groups of aut (F ). When F is as above the spectral sequence collapses and yields π n (aut (F )) = π n (F ) 0. As π n (ΩF ) = π n+1 (F ) = 0 it follows that ΩF aut (F ). For general F the structure of the spectral sequence is much more complicated, but it still seems unplausible that for a non-contractible simply connected complex ΩF and aut (F ) have isomorphic homotopy groups, so we are lead to the following: Conjecture: For a connected CW-complex F the loop-space ΩF is weakly homotopy equivalent to aut (F ) if, and only if F = K(G, 1) for a complete group G. Finally, let us observe that since there exist non-trivial fibrations with contractible total space, then up to homotopy there are no particular limitations for a space E to be the total space of a non-trivial fibration. In fact E E R and the standard covering map gives a fibration E R E S 1 which is not fibre-homotopy trivial. In this context it is more interesting to ask which spaces can be total spaces of nontrivial fibrations with base and fibre a compact CW-complex, or which suspensions can be total spaces of non-trivial fibrations (for more information see [5]). References [1] M. Arkowitz. Co-H-spaces in Handbook of Algebraic Topology (Elsevier Amsterdam, 1995) [2] G. Didierjean, Homotopie de l espace des equivalences d homotopie, Trans. AMS 330 (1992) [3] A. Dold, Partitions of unity in the theory of fibrations, Annal of Math. 78 (1963),

7 REFERENCES 7 [4] D. Gottlieb, The total space of universal fibrations, Pacific J. Math, 46, (1973), [5] D. Gottlieb, Fibering suspensions, Houston J. Math, 4, (1978), [6] J. Rotman: An introduction to the theory of groups, GTM 148, Springer- Verlag, Berlin, [7] E. Schwamberger, R. Vogt, Dold spaces in homotopy theory, Algebraic & Geometric Topology 9 (2009) [8] J. Smrekar, CW-type of inverse limits and function spaces, arxiv: v1. [9] A. Zabrodsky. Hopf Spaces (North-Holland Amsterdam, 1976.)

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche

Math 231b Lecture 35. G. Quick

Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply

EVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA

EVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA Abstract. We review the relation between the evaluation fiber sequence of mapping spaces and the various higher homotopy commutativities.

FIBER BUNDLES AND UNIVALENCE

FIBER BUNDLES AND UNIVALENCE TALK BY IEKE MOERDIJK; NOTES BY CHRIS KAPULKIN This talk presents a proof that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3

FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges

Chapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but

Chapter 7 Homotopy 7. Basic concepts of homotopy Example: but γ z dz = γ z dz γ 2 z dz γ 3 z dz. Why? The domain of /z is C 0}. We can deform γ continuously into γ 2 without leaving C 0}. Intuitively,

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

Classification of Bundles

CHAPTER 2 Classification of Bundles In this chapter we prove Steenrod s classification theorem of principal G - bundles, and the corresponding classification theorem of vector bundles. This theorem states

Coloring Eulerian triangulations of the projective plane

Coloring Eulerian triangulations of the projective plane Bojan Mohar 1 Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia bojan.mohar@uni-lj.si Abstract A simple characterization

(2) the identity map id : S 1 S 1 to the symmetry S 1 S 1 : x x (here x is considered a complex number because the circle S 1 is {x C : x = 1}),

Chapter VI Fundamental Group 29. Homotopy 29 1. Continuous Deformations of Maps 29.A. Is it possible to deform continuously: (1) the identity map id : R 2 R 2 to the constant map R 2 R 2 : x 0, (2) the

Fiber sums of genus 2 Lefschetz fibrations

Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity

On the existence of G-equivariant maps

CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,

Reidemeister coincidence invariants of fiberwise maps

Reidemeister coincidence invariants of fiberwise maps Ulrich Koschorke In memory of Jakob Nielsen (15.10.1890-3.8.1959). Abstract. Given two fiberwise maps f 1, f 2 between smooth fiber bundles over a

NOTES ON CATEGORIES AND FUNCTORS

NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category

FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

Introduction. and set F = F ib(f) and G = F ib(g). If the total fiber T of the square is connected, then T >

A NEW ELLULAR VERSION OF LAKERS-MASSEY WOJIEH HAHÓLSKI AND JÉRÔME SHERER Abstract. onsider a push-out diaram of spaces A, construct the homotopy pushout, and then the homotopy pull-back of the diaram one

Lecture 3: Group completion and the definition of K-theory

Lecture 3: Group completion and the definition of K-theory The goal of this lecture is to give the basic definition of K-theory. The process of group completion, which completes a commutative monoid M

Effective homotopy of the fiber of a Kan fibration

Effective homotopy of the fiber of a Kan fibration Ana Romero and Francis Sergeraert 1 Introduction Inspired by the fundamental ideas of the effective homology method (see [5] and [4]), which makes it

Groups with the same orders and large character degrees as PGL(2, 9) 1. Introduction and preliminary results

Quasigroups and Related Systems 21 (2013), 239 243 Groups with the same orders and large character degrees as PGL(2, 9) Behrooz Khosravi Abstract. An interesting class of problems in character theory arises

Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

Fiber bundles and non-abelian cohomology

Fiber bundles and non-abelian cohomology Nicolas Addington April 22, 2007 Abstract The transition maps of a fiber bundle are often said to satisfy the cocycle condition. If we take this terminology seriously

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

The Topology of Fiber Bundles Lecture Notes. Ralph L. Cohen Dept. of Mathematics Stanford University

The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen Dept. of Mathematics Stanford University Contents Introduction v Chapter 1. Locally Trival Fibrations 1 1. Definitions and examples 1 1.1. Vector

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space

BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space 1. Introduction Let p be a fixed prime number, V a group isomorphic to (Z/p) d for some integer d and

Symplectic structures on fiber bundles

Symplectic structures on fiber bundles François Lalonde Université du Québec à Montréal (flalonde@math.uqam.ca) Dusa McDuff State University of New York at Stony Brook (dusa@math.sunysb.edu) Aug 27, 2000,

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS OSAMU SAEKI Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday Abstract. We classify singular fibers of C stable maps of orientable

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

abelian groups, where cohomology is now to be interpreted as reduced cohomology since we want it to be stable under suspension.

The Adams spectral sequence was invented as a tool for computing stable homotopy groups of spheres and more generally the stable homotopy groups of any space. Let us begin by explaining the underlying

University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible

COHOMOLOGY OF GROUPS

Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general

MATH 131 SOLUTION SET, WEEK 12

MATH 131 SOLUTION SET, WEEK 12 ARPON RAKSIT AND ALEKSANDAR MAKELOV 1. Normalisers We first claim H N G (H). Let h H. Since H is a subgroup, for all k H we have hkh 1 H and h 1 kh H. Since h(h 1 kh)h 1

FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

BUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES

BUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES CHRIS KOTTKE Contents Introduction 1 1. Bundles 2 1.1. Pullback 2 1.2. Sections 3 1.3. Fiber bundles as fibrations 4 2. Vector bundles 4 2.1. Whitney

Nonzero degree tangential maps between dual symmetric spaces

ISSN 1472-2739 (on-line) 1472-2747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris

Kyoto University. Note on the cohomology of finite cyclic coverings. Yasuhiro Hara and Daisuke Kishimoto

Kyoto University Kyoto-Math 2013-02 Note on the cohomology of finite cyclic coverings by Yasuhiro Hara and Daisuke Kishimoto April 2013 Department of Mathematics Faculty of Science Kyoto University Kyoto

Lecture 1-1,2. Definition. Sets A and B have the same cardinality if there is an invertible function f : A B.

Topology Summary This is a summary of the results discussed in lectures. These notes will be gradually growing as the time passes by. Most of the time proofs will not be given. You are supposed to be able

Chapter 7: Products and quotients

Chapter 7: Products and quotients Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 7: Products

A numerable cover of a topological space X is one which possesses a partition of unity.

Chapter 1 I. Fibre Bundles 1.1 Definitions Definition 1.1.1 Let X be a topological space and let {U j } j J be an open cover of X. A partition of unity relative to the cover {U j } j J consists of a set

8.1 Examples, definitions, and basic properties

8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

Chapter 7. Permutation Groups

Chapter 7 Permutation Groups () We started the study of groups by considering planar isometries In the previous chapter, we learnt that finite groups of planar isometries can only be cyclic or dihedral

SMOOTH CASE FOR T or Z

SMOOTH CASE FOR T or Z Preliminaries. Theorem [DDK] Let F be a simply finite connected CW-complex and E 0 (F ) be the connected component of identity of the space of all homotopy equivalences F F. Then

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the left-invariant metrics with nonnegative

Online publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE

This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS

GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS GUSTAVO A. FERNÁNDEZ-ALCOBER AND ALEXANDER MORETÓ Abstract. We study the finite groups G for which the set cd(g) of irreducible complex

Cellular objects and Shelah s singular compactness theorem

Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg

THE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS. Fernanda S. P. Cardona Peter N.-S. Wong. 1. Introduction

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 2, 2003, 3 45 THE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS Fernanda S. P. Cardona Peter N.-S. Wong Dedicated

6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )

6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a non-empty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points

Finite covers of a hyperbolic 3-manifold and virtual fibers.

Claire Renard Institut de Mathématiques de Toulouse November 2nd 2011 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group

arxiv:1209.1368v1 [math.sg] 6 Sep 2012

ISOTOPY CLASSIFICATION OF ENGEL STRUCTURES ON CIRCLE BUNDLES MIRKO KLUKAS AND BIJAN SAHAMIE arxiv:1209.1368v1 [math.sg] 6 Sep 2012 Abstract. We call two Engel structures isotopic if they are homotopic

Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain

Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain 1. Orthogonal matrices and orthonormal sets An n n real-valued matrix A is said to be an orthogonal

Characterizations of generalized polygons and opposition in rank 2 twin buildings

J. geom. 00 (2001) 000 000 0047 2468/01/000000 00 \$ 1.50 + 0.20/0 Birkhäuser Verlag, Basel, 2001 Characterizations of generalized polygons and opposition in rank 2 twin buildings Peter Abramenko and Hendrik

it is easy to see that α = a

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

G = G 0 > G 1 > > G k = {e}

Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the

Logic, Combinatorics and Topological Dynamics, II

Logic, Combinatorics and Topological Dynamics, II Alexander S. Kechris January 9, 2009 Part II. Generic symmetries Generic properties Let X be a topological space and P X a subset of X viewed as a property

Sets and functions. {x R : x > 0}.

Sets and functions 1 Sets The language of sets and functions pervades mathematics, and most of the important operations in mathematics turn out to be functions or to be expressible in terms of functions.

FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS

International Electronic Journal of Algebra Volume 6 (2009) 95-106 FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS Sándor Szabó Received: 11 November 2008; Revised: 13 March 2009

Algebraic K-Theory of Ring Spectra (Lecture 19)

Algebraic K-Theory of ing Spectra (Lecture 19) October 17, 2014 Let be an associative ring spectrum (here by associative we mean A or associative up to coherent homotopy; homotopy associativity is not

CROSS-EFFECTS OF HOMOTOPY FUNCTORS AND SPACES OF TREES. WARNING: This paper is a draft and has not been fully checked for errors.

CROSS-EFFECTS OF HOMOTOPY FUNCTORS AND SPACES OF TREES MICHAEL CHING WARNING: This paper is a draft and has not been full checked for errors. 1. Total homotop fibres of cubes of based spaces Definition

THE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP

THE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP by I. M. Isaacs Mathematics Department University of Wisconsin 480 Lincoln Dr. Madison, WI 53706 USA E-Mail: isaacs@math.wisc.edu Maria

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

Generic Polynomials of Degree Three

Generic Polynomials of Degree Three Benjamin C. Wallace April 2012 1 Introduction In the nineteenth century, the mathematician Évariste Galois discovered an elegant solution to the fundamental problem

A COUNTEREXAMPLE TO A GEOMETRIC HALES-JEWETT TYPE CONJECTURE

A COUNTEREXAMPLE TO A GEOMETRIC HALES-JEWETT TYPE CONJECTURE Vytautas Gruslys Abstract. Pór and Wood conjectured that for all k, l 2 there exists n 2 with the following property: whenever n points, no

Complete graphs whose topological symmetry groups are polyhedral

Algebraic & Geometric Topology 11 (2011) 1405 1433 1405 Complete graphs whose topological symmetry groups are polyhedral ERICA FLAPAN BLAKE MELLOR RAMIN NAIMI We determine for which m the complete graph

SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

Allen Back. Oct. 29, 2009

Allen Back Oct. 29, 2009 Notation:(anachronistic) Let the coefficient ring k be Q in the case of toral ( (S 1 ) n) actions and Z p in the case of Z p tori ( (Z p )). Notation:(anachronistic) Let the coefficient

ANAGRAMS: Dimension of triangulated categories

ANAGRAMS: Dimension of triangulated categories Julia Ramos González February 7, 2014 Abstract These notes were prepared for the first session of "Dimension functions" of ANAGRAMS seminar. The goal is to

Quantum manifolds. Manuel Hohmann

Quantum manifolds Manuel Hohmann Zentrum für Mathematische Physik und II. Institut für Theoretische Physik, Universität Hamburg, Luruper Chaussee 149, 22761 Hamburg, Germany Abstract. We propose a mathematical

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS. Cosmin Pelea

ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS Cosmin Pelea Abstract. An important tool in the hyperstructure theory is the fundamental relation. The factorization

The Markov-Zariski topology of an infinite group

Mimar Sinan Güzel Sanatlar Üniversitesi Istanbul January 23, 2014 joint work with Daniele Toller and Dmitri Shakhmatov 1. Markov s problem 1 and 2 2. The three topologies on an infinite group 3. Problem

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 5

D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 5 Dihedral groups, permutation groups, discrete subgroups of M 2, group actions 1. Write an explicit embedding of the dihedral group D n into the symmetric

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for

The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14

4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with

Invariant Metrics with Nonnegative Curvature on Compact Lie Groups

Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.

Course 421: Algebraic Topology Section 1: Topological Spaces

Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............

Elements of Abstract Group Theory

Chapter 2 Elements of Abstract Group Theory Mathematics is a game played according to certain simple rules with meaningless marks on paper. David Hilbert The importance of symmetry in physics, and for

Homological Algebra Workshop 02-03-15/06-03-15

Homological Algebra Workshop 02-03-15/06-03-15 Monday: Tuesday: 9:45 10:00 Registration 10:00 11:15 Conchita Martínez (I) 10:00 11:15 Conchita Martínez (II) 11:15 11:45 Coffee Break 11:15 11:45 Coffee

1 Local Brouwer degree

1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.

Assignment 8: Selected Solutions

Section 4.1 Assignment 8: Selected Solutions 1. and 2. Express each permutation as a product of disjoint cycles, and identify their parity. (1) (1,9,2,3)(1,9,6,5)(1,4,8,7)=(1,4,8,7,2,3)(5,9,6), odd; (2)

Lehigh University Geometry and Topology Conference. May 22, 2015

Lehigh University Geometry and Topology Conference May 22, 2015 University of Virginia Harvard University University of Rochester 1.1 Algebraic topologists have been studying spectra for over 50 years

arxiv: v1 [math.mg] 6 May 2014

DEFINING RELATIONS FOR REFLECTIONS. I OLEG VIRO arxiv:1405.1460v1 [math.mg] 6 May 2014 Stony Brook University, NY, USA; PDMI, St. Petersburg, Russia Abstract. An idea to present a classical Lie group of

ADDITIVE GROUPS OF RINGS WITH IDENTITY

ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free