Note on desuspending the Adams map

Save this PDF as:

Size: px
Start display at page:

Transcription

1 Math. Proc. Camb. Phil. Soc. (1986), 99, Printed in Qreat Britain Note on desuspending the Adams map BY F. R. COHEN AND J. A. NEISENDORFER University of Kentucky and Ohio State University (Received 9 May 1984; revised 17 May 1985) Let p denote a fixed prime and let P n (p r ) denote the cofibre of the degree p r map on consider n l).p 3 (p r ) and show that the map q in the cofibre sequence induces a split epimorphism on the ^-primary component of 7T 2p S 3 if p > 2. That analogous maps q: P n (p r )->-S n, n ^ 4, induce split epimorphisms on the jj-primary component of n n+2p _ 3 S n, p > 2, is shown in work of J. F. Adams [1]. It is the purpose of this note to document the above computation in the case n = 3 for the use of others. Recall that the generator a x of the ^-primary component of n ip S 3,p > 2, has orders and thus extends to a map P 2p+1 (p)->s 3. The result of this note is that, if p is an odd prime, there is a choice of map A: P 2p+1 (p) -> P 3 (p r ) such that qoa induces an epimorphism on the ^-primary component of n 2p S 3. In [1], Adams constructed a map with n greater than 3 such that qoa induces an epimorphism on the ^-primary components of Jr n+2p _ 3 S n. Thus the lift constructed here is a choice of desuspension of the Adams map. We give two proofs, one of which is elementary but longer. 1. The short proof Throughout this section, p is an odd prime. We wish to show PROPOSITION 1-1. There is a homotopy commutative diagram A S 2p where a^ is a generator for the p-primary component ofn 2p S 3. The proof of 1-1 occupies the rest of Section 1. Let S 2n+1 {p r } be the homotopy-theoretic fibre of the degree p r map on S Zn+1. Note that the pinch map q: P 2^1^) -> S 2n+1 factors thiough a map q': since p r q is null homotopic. Recall ([2], [6]) that there is a fibration sequence 00 fi«' G(n) x n * fc=l

2 60 F. R. COHEN AND J. A. NEISENDORFER where C(n) is the localization at p of the homotopy-theoretic fibre of the double suspension E 2 : S 2n ~ l ~> Q 2 S 2n + 1 and V a P na (p r ) is a certain bouquet ([3], [6]). Furthermore, the factor 2 V a P Ua (P r ) * s a retract of QP 2n+1 (p r ) and the mod-p homology of Uk=i'S zpkn - 1 {p r+1 } x QV<* P n "{p r ) injects into that of QP 3 (p r ) [4]. We will use this fibration when n = 1. Let y: P 2 v +1 (p) -> S 3 denote an extension of a v Since y has orders, it is in the image of y': P 2 *> +1 (p) -+ S 3 {p r }. The adjoint y": P 2 P(p) -» Q.S 3 {p r } represents an element in n 2p (Q.S 3 {p r ); Z/p) and all we need to show is that y" is in the image of an element in n 2p (QP 3 (p r ); Z/p). Hence, if 8 is the connecting homomorphism in the long exact mod-p homotopy sequence of the above fibration, we want 8(y") = 0. Notice that 7r 2 j,_ 1 (C(l); Z/p) is zero since C(l) has the same homotopy type as the 3-fold loop space of the localization atp of the 3-connected cover of S 3. Hence By" lies in 7T 2p _ 1 (S 2 P- 1 {p r+1 2p _ 1 (Q\/ a P n '-(p r );Z/p). Since By" maps to zero in nzp-i(qp 3 i!p r );Z/p), the mod-p homology of S 2p -^{p r+l } x Q V a P na (p r ) injects into that of np 3 (p r ), and 7T 2p _ 1 (S 2 P- 1 {p r + 1 }; Z/p) is isomorphic to H ip _ 1 {S 2 P- 1 {p r + 1 }; Z/p), it follows that dy" lies in the second summand. Since the summand is a retract of n ip _ 1 {D.P z {p r ); Z/p), it follows that dy" = 0. The proposition follows. The mod-p homology H lt.(q,p 3 (p r ); Z/p) is the tensor algebra T[u,v] where u has degree 1, v has degree 2, and the rth homology Bockstein is given by f} T v = u. The diagram in 1-1 exists if and only if v v is in the image of the mod-p Hurewicz map \$: n*(qp 3 (pr); Z/p) -* H*(QP 3 (p>-); Z/p). That these statements are equivalent follows from the following two facts: (i) The adjoint of a possible qfl is characterized by having mod-p Hurewicz image equal to i p where t generates H 2 (QS 3 ; Z/p) and v maps to i. (ii) In dimension 2p, the piimitives of T\u, v] are generated by v v and commutators of u and v. These commutators map to zero in H^{C1S 3 ; Z/p) and are in the image of the mod-p Hurewicz map. For more details on (i), see [4]. 2. The elementary proof Consider the map/: P 3 (p T )->-K(Z/p r, 2) which induces an isomorphism on H 3 ( ; Z/p r ) together with the natural map : K(Z/p r, n) -> K{Z, n+ 1) which induces an isomorphism on H n+1 ( ; Z/p r ). Thus there exists a homotopy commutative diagram where the rows (but not the columns) are fibrations: K(Z/p r,l)x

3 Note on desuspending the Adams map 61 The main result of this note is given by the second statement in PROPOSITION 2-1. Letp be an odd prime. (a) There exists a map p: P 2p+1 (p) -> X such that the composite jkp induces an isomorphism on H 2p ( ; Z/p). (b) There exists a homotopy commutative diagram where a x is a generator for the p-primary component of n 2p 8 3. Next consider M(p r ) = (V 0 *ij<zp-2 pi+2i (P r )) V P 2p {p T+1 ). We shall show LEMMA 2-2. Ifp > 2, there exists a map A: M(p r )-> X such that (i) A induces an integral homology isomorphism in degree less than 2p and (ii) A induces a split monomorphism on n i for i less than or equal to 2p. We need to know the integral cohomology of X in a range. LEMMA 2-3. Ifp > 2, then (Z/p r if i = 2k, 4 s? 2k < 2^-2, if i = 2p + 1 or 2p + 2, and,0 for other i, 0 < i < 2p + 2. Furthermore, (jk)* is an isomorphism on H 2p+1 ( ; Z). Granting 2-2 and 2-3, we prove 21 (a). Let K denote the cofibre of A, the map which A 0 was given in 2-2. Consider the cofibre sequence M(p r ) -> X -* K. Let F denote the homotopy-theoretic fibre of 6. The natural lift of A to F induces an integral homology isomorphism in dimensions < 2p + 2 by the Serre exact sequence. Thus by the long exact homotopy sequence for a fibration together with 2-2, there are split short exact sequences 0->7 for i < 2p. But H 2p (K; Z) is isomorphic to n 2p K by the Hurewicz theorem. Thus n 2p K is isomorphic to Z/p. Any choice of splitting for the epimorphism n 2p X -> n 2p K induces a map p: S 2p -> X which is of order p. Thus there is a choice of extension of p to p. pnp+i(p) _>. x. By 2-3, jkp induces an isomorphism on H 2p ( ; Z) and 2-1 (a) follows. To prove 2-1 (b), observe that a, x : S 2p -» \$ 3 <3> has non-zero Hurewicz image. This suffices. Observe that the above proof gives PROPOSITION 2-4. Ifp > 2, then M(p r ) if if i < 2p. We omit the proof of the following 2-primary analogue: i = 2p, and

4 62 F. R. COHEN AND J. A. NEISENDORFER PROPOSITION 2-5. (i) n z P 3 (2 r ) ~ Z/2 r + 1, and fz/4 if r = 1, (ii) 7T 4 P 3 (2') S ' ' IZ/2 0Z/2»/ r> H*(X;Z) To compute H*(X; Z), we first give information on the cohomology algebra H*( Y; Z) by using the Serre spectral sequence in integral cohomology for the fibration 7 CP -> Y -> P 3 (p r ). The following result is stated without details of proof. LEMMA 3-1. (i) H 2i (Y; Z) ~ Z and f 0 i/ t < p, (H) jy^+^rjz)^ LZ/p t/ i=p; in # 2i (CP ; Z) if i \$ 0(p),? in J?^(CP ;Z), j<2>; (iii) JAere are choices x i of generators for H 2i ( Y; Z) such that, ifi + k < p 2, then p r ~ 1 x i+k if either ior kis zero P r+1 %i+h if *i& + 0(p) ^ t + is O(JJ); (iv) j*: # 2»+ 1 (>S 3 <3>,Z) -> /? 2 P +1 (y; Z) is an isomorphism. Using the information in 3-1 together with the integral cohomology Serre spectral sequence for the fibration S 1 -> X -> Y, we obtain ; Z) s: 'Z/p r if» = 2j and j^p-1, 1 if i = 2p, if i = 2p + 1, and 1 or l/p Z/p T ~ x if i = 2p + 2. This is the content of Lemma Proof of 2-2 By construction, X is 2-connected and n 3 X ~ n 3 P 3 (p r ) ^ Z/^) r. Consider the composite u given by S 1 -> P 2 (p r ) -> QP 3^) where ^ is the Freudenthal suspension. Notice that the mod-p reduction of the Hurewicz image of the Samelson product [u, u] is given by [u, u] in H*(Q.P z (j> r ); Z/p). Thus [u, u] in Z/p r is of order p r. Since [u, u] and [u, v] are the unique primitives in their respective degrees, we have shown that there is a map w: P 3 (p T ) -* O.X such that [(Qh). w]^ gives an monomorphism on the module of primitives in dimensions 2 and 3. Let T denote the composite {Q.h).w. Thus T is a map from P 3 (p r ) to (XP 3 (# r ). Define ad*: (A P V)) A P 3 (p r ) -* ilp 3 b r ), where A& denotes the A-fold smash product and ad fc = [E[E[... [E,T]...] the {k+ 1)- fold Samelson product. Since p is an odd prime, there exists a map >(AFV))APV) k

5 Note on desuspending the Adams map 63 which induces an isomorphism on H 2k+S { ; 1/p) [5]. Notice that adj;.t + (t>') = [i>[i;[... [vu]...] in ff»(qp 8 (p'); 1/p) = T[tt,»] where t/ is the top class in H 2k+3 (P 2k + 3 (p r ); 1/p). By ([2], sections 3 and 4) the elements {ad* (v) (u), ytf r ad* (v) (u)\ 0 < k < p - 2} are non-zero and algebraically independent. Since Q.X is the homotopy-theoretic fibre of a map ClP 3 (p r ) -> K(l/p r, 1), the maps &d k.i lift to QX. Thus, we obtain maps and the multiplicative extension of e to 8: A P 3+2i (p r ) -> 2 Q(e):nS( By the methods of [4], we show LEMMA 4-1. There exists a map V 0sy<p-2 a-: QX -> Q2( V such that o-(qe) is homotopic to the identity. Furthermore, the map e induces an integral homology isomorphism in degrees < 2p 2. Holding the proof of 4-1 in abeyance, we first consider the cofibre D of the map e. Notice that there is a split short exact sequence 0 -> " 2p -i( V P 4+2 '(2> r )) ^ *,_! Z -> *,_! D -> Since Z) is (2j> 2)-connected, there is a map /i: P 2p (p r+1 ) -> X which induces an isomorphism on H 2p _ x ( ; Z) by Lemma 2-3 and the above remarks. Thus the composite A given by P i+2i (p r ))vp 2p (p r+1 ) > XvX > X 3 induces an isomorphism on integral homology in degrees < 2p l. That A induces a split monomorphism on np i < 2p, follows from the Hilton-Milnor theorem [7] and the splitting ev/i fold ^^2 P -iy^^2p->( V P 4+2 V)) H 2p _ s Y, where the right-hand map is given by the splitting in 4-1 and the Hurewicz homomorphism. That A induces an integral homology isomorphism in degrees less than p follows from 4-1 and 2-3. Thus 2-2 follows. We finish this section by supplying a proof of 4-1. Since the elements ad* (v)(u) and fi T &d h (v)(u), 0 ^ k ^ p 2, are algebraically independent, (Oh)* (Q.e)+ is a monomorphism with Bockstein acyclic image. As in proposition 1-7 of [4] there is a map rjr: I,QP 3 {p r ) -* SQS( V P 3+2i (p r )) K3

6 64 F. R. COHEN AND J. A. NEISENDORFER such that ^.S(QA.Oe) is homotopic to the identity. Thus by [4], there is a map a: QP 3 (p r )-+ ii2(v 0^<p-3-P 3+2 'b r )) such that a(qh.q.e) is homotopic to the identity. The map or of 4-1 is given by a. Qh. Finally, it suffices to show that e induces an integral homology isomorphism in degrees < 2p 2. If F denotes the homotopy-theoretic fibre of e, it suffices to check that F is (2p 3)-connected by inspection of the integral homology Serre spectral sequence. Since F is simply-connected, we will consider the Serre spectral sequence in modp homology for the fibration Oft Q( V P 4+2 '(i^)) ttx > F. It suffices to show that ( lh)+ is an isomorphism in degrees < 2p 2. Evidently (O.h)^ is a monomorphism. We compare the Poincar6 seiies for the mod-p homology of ^(V 0^j^P-3 pi+2i (P r )) and D.X. Since the fibration OP 3 (p r ) -+ K(Z/p r, 1) is orientable and induces an epimorphism in mod-p homology in degrees through 2p 1, it follows that the Poincar6 series for the mod-p homology of 2X in degrees ^ 2p 2 is given by %, where Thus in degrees < 2p 2, 1-t * ~ 1 / t 2 ' If 6 is the Poincare' series for the mod-p homology of O( V P i+21 (P r )), then (KK3 6 = In degrees ^ 2p 2, 6 is given by in this range and 4-1 follows. 1,.,. 1-t )/()) - which is1-t-t* Both authors were partially supported by National Science Foundation grants. REFERENCES [1] J. F. ADAMS. On the groups J(X), IV. Topology 5 (1966), [2] F. R. COHEN, J. C. MOORE and J. A. NEISENDORFER. Torsion in homotopy groups. Ann. of Math. 109 (1979), [3] F. R. COHEN, J. C. MOORE and J. A. NEISENDORFER. The double suspension andp-primary components of the homotopy groups of spheres. Ann. of Math. 110 (1979), [4] F. R. COHEN, J. C. MOORE and J. A. NEISENDORFER. Exponents in homotopy theory, to appear in the Conference Proceedings in honor of J. C. Moore's 60th birthday. [5] J. A. NEISENDORFER. Primary homotopy theory. Memoirs of the A.M.S., 232, L6] J. A. NEISENDORFER. 3 primary exponents. Math. Proc. Cambridge Philos. Soc. 90 (1981), [7] G. W. WHITEHEAD. Elements of Homotopy Theory. Graduate Texts in Mathematics (Springer- Verlag, 1978).

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

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

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),

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,

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

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

THE HOPF RING FOR COMPLEX COBORDISM 1 BY DOUGLAS C. RAVENEL AND W. STEPHEN WILSON. Communicated by Edgar Brown, Jr., May 13, 1974

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 6, November 1974 THE HOPF RING FOR COMPLEX COBORDISM 1 BY DOUGLAS C. RAVENEL AND W. STEPHEN WILSON Communicated by Edgar Brown, Jr., May

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

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

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

Spherical Classes Detected by the Algebraic Transfer

Vietnam Journal of Mathematics 25:l (1997 75 79 Vil.etnann./ourrnatrof l\$4atlt{lem.i\]f ltcs 6 Springer-Verlag 1997 Short Communication Spherical Classes Detected by the Algebraic Transfer Nguyen Huu Viet

Hatcher C A: [012] = [013], B : [123] = [023],

Ex 2..2 Hatcher 2. Let S = [2] [23] 3 = [23] be the union of two faces of the 3-simplex 3. Let be the equivalence relation that identifies [] [3] and [2] [23]. The quotient space S/ is the Klein bottle

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

A homotopy-theoretic view of Bott Taubes integrals

Stanford University November 8, 2009 Intro We will construct cohomology classes in spaces of knots K where K = Emb(S 1, R n ) or Emb(R, R n ) (n 3). Connected components of K correspond to isotopy classes

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

OF «MANIFOLDS IMBEDDED IN Rn+k

proceedings of the american mathematical society Volume 79, Number 4, August 1980 RELATIONS AMONG CHARACTERISTIC CLASSES OF «MANIFOLDS IMBEDDED IN Rn+k STAVROS PAPASTAVRIDIS Abstract. Let / Q H*(BO; Zj)

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

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

A NOTE ON TRIVIAL FIBRATIONS

A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.uni-lj.si Abstract We study the conditions

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

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σ = ω.

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

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

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,

Universitat de Barcelona

Universitat de Barcelona GRAU DE MATEMÀTIQUES Final year project Cohomology of Product Spaces from a Categorical Viewpoint Álvaro Torras supervised by Prof. Carles Casacuberta January 18, 2016 2 3 Introduction

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

Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions

Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International

Algebraic Morava K-theories and the. higher degree formula

Algebraic Morava K-theories and the higher degree formula 1 Contents Chapter 1. Introduction 1 Chapter 2. The construction of an algebraic Morava K-theory spectrum 5 Chapter 3. The theorem in the general

A NEW CONSTRUCTION OF 6-MANIFOLDS

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 8, August 2008, Pages 4409 4424 S 0002-9947(08)04462-0 Article electronically published on March 12, 2008 A NEW CONSTRUCTION OF 6-MANIFOLDS

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

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

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

SKEW-PRODUCTS WITH SIMPLE APPROXIMATIONS

proceedings of the american mathematical society Volume 72, Number 3, December 1978 SKEW-PRODUCTS WITH SIMPLE APPROXIMATIONS P. N. WHITMAN Abstract. Conditions are given in order that the cartesian product

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

DIVISORS AND LINE BUNDLES

DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function

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

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

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

Section 6.1 - Inner Products and Norms

Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

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

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

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,

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

ORIENTATIONS. Contents

ORIENTATIONS Contents 1. Generators for H n R n, R n p 1 1. Generators for H n R n, R n p We ended last time by constructing explicit generators for H n D n, S n 1 by using an explicit n-simplex which

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

4.1 Modules, Homomorphisms, and Exact Sequences

Chapter 4 Modules We always assume that R is a ring with unity 1 R. 4.1 Modules, Homomorphisms, and Exact Sequences A fundamental example of groups is the symmetric group S Ω on a set Ω. By Cayley s Theorem,

The Euler class groups of polynomial rings and unimodular elements in projective modules

The Euler class groups of polynomial rings and unimodular elements in projective modules Mrinal Kanti Das 1 and Raja Sridharan 2 1 Harish-Chandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad

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.

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

Introduction to finite fields

Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

Lifting abelian schemes: theorems of Serre-Tate and Grothendieck

Lifting abelian schemes: theorems of Serre-Tate and Grothendieck Gabriel Dospinescu Remark 0.1. J ai décidé d écrire ces notes en anglais, car il y a trop d accents auxquels il faut faire gaffe... 1 The

Strongly Principal Ideals of Rings with Involution

International Journal of Algebra, Vol. 2, 2008, no. 14, 685-700 Strongly Principal Ideals of Rings with Involution Usama A. Aburawash and Wafaa M. Fakieh Department of Mathematics, Faculty of Science Alexandria

NOTES ON TOR AND EXT

NOTES ON TOR AND EXT Contents 1. Basic homological algebra 1 1.1. Chain complexes 2 1.2. Maps and homotopies of maps of chain complexes 2 1.3. Tensor products of chain complexes 3 1.4. Short and long exact

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 of Prime Ideals in Extensions

Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

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

DETERMINANTS. b 2. x 2

DETERMINANTS 1 Systems of two equations in two unknowns A system of two equations in two unknowns has the form a 11 x 1 + a 12 x 2 = b 1 a 21 x 1 + a 22 x 2 = b 2 This can be written more concisely in

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

(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

COMPUTING WITH HOMOTOPY 1- AND 2-TYPES WHY? HOW? Graham Ellis NUI Galway, Ireland

COMPUTING WITH HOMOTOPY 1- AND 2-TYPES WHY? HOW? Graham Ellis NUI Galway, Ireland Why: 1. potential applications to data analysis 2. examples for generating theory How: 3. discrete Morse theory 4. homological

Q-PERFECT GROUPS AND UNIVERSAL Q-CENTRAL EXTENSIONS

Publicacions Matemátiques, Vol 34 (1990), 291-297. Q-PERFECT GROUPS AND UNIVERSAL Q-CENTRAL EXTENSIONS RONALD BROWN Abstract Using results of Ellis-Rodríguez Fernández, an explicit description by generators

Row Ideals and Fibers of Morphisms

Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

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

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

arxiv:0804.1733v1 [math.fa] 10 Apr 2008

PUSH-OUTS OF DERIVTIONS arxiv:0804.1733v1 [math.f] 10 pr 2008 Niels Grønbæk bstract. Let be a Banach algebra and let X be a Banach -bimodule. In studying H 1 (, X) it is often useful to extend a given

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

Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

The Euler class group of a polynomial algebra

The Euler class group of a polynomial algebra Mrinal Kanti Das Harish-Chandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad - 211 019, India. e-mail : mrinal@mri.ernet.in 1 Introduction

Table of Contents. Introduction... 1 Chapter 1. Vector Bundles... 4. Chapter 2. K Theory... 38. Chapter 3. Characteristic Classes...

Table of Contents Introduction.............................. 1 Chapter 1. Vector Bundles.................... 4 1.1. Basic Definitions and Constructions............ 6 Sections 7. Direct Sums 9. Inner Products

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish

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

Singular fibers of stable maps and signatures of 4 manifolds

359 399 359 arxiv version: fonts, pagination and layout may vary from GT published version Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a

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

The sum of digits of polynomial values in arithmetic progressions

The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France E-mail: stoll@iml.univ-mrs.fr

Euler Class Construction

Euler Class Construction Mrinal Kanti Das Satya Mandal Department of Mathematics University of Kansas, Lawrence, Kansas 66045 email:{mdas,mandal}@math.ku.edu August 24, 2004 1 Introduction The proof of

On the Multiplier of a Lie Algebra

Journal of Lie Theory Volume 13 (003) 1 6 c 003 Heldermann Verlag On the Multiplier of a Lie Algebra Bill Yankosky Communicated by J. D. Lawson Abstract. Under fairly general conditions, we extend the

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

Galois representations with open image

Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets

RINGS WITH A POLYNOMIAL IDENTITY

RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in

ALGEBRA HW 5 CLAY SHONKWILER

ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product

Factorization Algorithms for Polynomials over Finite Fields

Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 2011-05-03 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is

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

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

SPHERICAL CLASSES AND THE ALGEBRAIC TRANSFER

TRNSCTIONS OF THE MERICN MTHEMTICL SOCIETY Volume 349, Number 10, October 1997, Pages 3893 3910 S 0002-9947(9701991-0 SPHERICL CLSSES ND THE LGEBRIC TRNSFER NGUYÊ N H. V. HU NG bstract. We study a wea

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,

some algebra prelim solutions

some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

2.5 Elementary Row Operations and the Determinant

2.5 Elementary Row Operations and the Determinant Recall: Let A be a 2 2 matrtix : A = a b. The determinant of A, denoted by det(a) c d or A, is the number ad bc. So for example if A = 2 4, det(a) = 2(5)

FIELD DEGREES AND MULTIPLICITIES FOR NON-INTEGRAL EXTENSIONS

Illinois Journal of Mathematics Volume 51, Number 1, Spring 2007, Pages 299 311 S 0019-2082 FIELD DEGREES AND MULTIPLICITIES FOR NON-INTEGRAL EXTENSIONS BERND ULRICH AND CLARENCE W. WILKERSON Dedicated