Note on desuspending the Adams map


 Kathleen Dennis
 2 years ago
 Views:
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 jjprimary 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 11. There is a homotopy commutative diagram A S 2p where a^ is a generator for the pprimary component ofn 2p S 3. The proof of 11 occupies the rest of Section 1. Let S 2n+1 {p r } be the homotopytheoretic 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 homotopytheoretic 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 modp 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 modp 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 3fold loop space of the localization atp of the 3connected 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 nzpi(qp 3 i!p r );Z/p), the modp 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 modp 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 11 exists if and only if v v is in the image of the modp 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 modp 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 modp 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 21. 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 pprimary component of n 2p 8 3. Next consider M(p r ) = (V 0 *ij<zp2 pi+2i (P r )) V P 2p {p T+1 ). We shall show LEMMA 22. 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 23. 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 22 and 23, we prove 21 (a). Let K denote the cofibre of A, the map which A 0 was given in 22. Consider the cofibre sequence M(p r ) > X * K. Let F denote the homotopytheoretic 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 22, 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 23, jkp induces an isomorphism on H 2p ( ; Z) and 21 (a) follows. To prove 21 (b), observe that a, x : S 2p » $ 3 <3> has nonzero Hurewicz image. This suffices. Observe that the above proof gives PROPOSITION 24. Ifp > 2, then M(p r ) if if i < 2p. We omit the proof of the following 2primary analogue: i = 2p, and
4 62 F. R. COHEN AND J. A. NEISENDORFER PROPOSITION 25. (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 31. (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 31 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^p1, 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 22 By construction, X is 2connected 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 modp 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 Afold 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 nonzero and algebraically independent. Since Q.X is the homotopytheoretic 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 41. There exists a map V 0sy<p2 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 41 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 23 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 HiltonMilnor theorem [7] and the splitting ev/i fold ^^2 P iy^^2p>( V P 4+2 V)) H 2p _ s Y, where the righthand map is given by the splitting in 41 and the Hurewicz homomorphism. That A induces an integral homology isomorphism in degrees less than p follows from 41 and 23. Thus 22 follows. We finish this section by supplying a proof of 41. 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 17 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^<p3P 3+2 'b r )) such that a(qh.q.e) is homotopic to the identity. The map or of 41 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 homotopytheoretic 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 simplyconnected, 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 modp homology of ^(V 0^j^P3 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 modp homology in degrees through 2p 1, it follows that the Poincar6 series for the modp homology of 2X in degrees ^ 2p 2 is given by %, where Thus in degrees < 2p 2, 1t * ~ 1 / t 2 ' If 6 is the Poincare' series for the modp homology of O( V P i+21 (P r )), then (KK3 6 = In degrees ^ 2p 2, 6 is given by in this range and 41 follows. 1,.,. 1t )/())  which is1tt* 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 andpprimary 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 Jhomomorphism could be defined by
More informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics ManuscriptNr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan BechtluftSachs, Marco Hien Naturwissenschaftliche
More informationThe 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),
More informationOn the existence of Gequivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of Gequivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationOnline 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
More informationNOTES 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
More informationTHE 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
More informationAlgebraic KTheory of Ring Spectra (Lecture 19)
Algebraic KTheory 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
More informationCOHOMOLOGY 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
More informationEffective 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
More informationSpherical 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 SpringerVerlag 1997 Short Communication Spherical Classes Detected by the Algebraic Transfer Nguyen Huu Viet
More informationHatcher 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 3simplex 3. Let be the equivalence relation that identifies [] [3] and [2] [23]. The quotient space S/ is the Klein bottle
More informationBPcohomology of mapping spaces from the classifying space of a torus to some ptorsion free space
BPcohomology of mapping spaces from the classifying space of a torus to some ptorsion free space 1. Introduction Let p be a fixed prime number, V a group isomorphic to (Z/p) d for some integer d and
More informationA homotopytheoretic 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
More informationNonzero degree tangential maps between dual symmetric spaces
ISSN 14722739 (online) 14722747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris
More informationOF «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)
More informationFIBRATION 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
More informationAllen 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
More informationA 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.unilj.si Abstract We study the conditions
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A kform ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)form σ Ω k 1 (M) such that dσ = ω.
More informationA 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 semilocally simply
More informationIntroduction. 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 LAKERSMASSEY WOJIEH HAHÓLSKI AND JÉRÔME SHERER Abstract. onsider a pushout diaram of spaces A, construct the homotopy pushout, and then the homotopy pullback of the diaram one
More informationSymplectic 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,
More informationUniversitat 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
More informationHomological Algebra Workshop 020315/060315
Homological Algebra Workshop 020315/060315 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
More informationResearch 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
More informationAlgebraic Morava Ktheories and the. higher degree formula
Algebraic Morava Ktheories and the higher degree formula 1 Contents Chapter 1. Introduction 1 Chapter 2. The construction of an algebraic Morava Ktheory spectrum 5 Chapter 3. The theorem in the general
More informationA NEW CONSTRUCTION OF 6MANIFOLDS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 8, August 2008, Pages 4409 4424 S 00029947(08)044620 Article electronically published on March 12, 2008 A NEW CONSTRUCTION OF 6MANIFOLDS
More informationADDITIVE 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 torsionfree
More informationFIBER 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
More informationLinear 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
More informationAnalytic 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
More informationSKEWPRODUCTS WITH SIMPLE APPROXIMATIONS
proceedings of the american mathematical society Volume 72, Number 3, December 1978 SKEWPRODUCTS WITH SIMPLE APPROXIMATIONS P. N. WHITMAN Abstract. Conditions are given in order that the cartesian product
More informationKyoto University. Note on the cohomology of finite cyclic coverings. Yasuhiro Hara and Daisuke Kishimoto
Kyoto University KyotoMath 201302 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
More informationDIVISORS 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
More informationFACTORING 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
More informationTHE 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
More informationThe 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
More informationSection 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,
More informationFIXED POINT SETS OF FIBERPRESERVING MAPS
FIXED POINT SETS OF FIBERPRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 email: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationit 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
More informationChapter 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,
More informationFIBER 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
More informationORIENTATIONS. 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 nsimplex which
More informationClassification 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
More information4.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,
More informationThe 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 HarishChandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad
More informationEVALUATION 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.
More informationThe 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
More informationIntroduction 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
More informationLINEAR 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,
More informationLifting abelian schemes: theorems of SerreTate and Grothendieck
Lifting abelian schemes: theorems of SerreTate 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
More informationStrongly Principal Ideals of Rings with Involution
International Journal of Algebra, Vol. 2, 2008, no. 14, 685700 Strongly Principal Ideals of Rings with Involution Usama A. Aburawash and Wafaa M. Fakieh Department of Mathematics, Faculty of Science Alexandria
More informationNOTES 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
More informationTOPOLOGY 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
More informationFactoring 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
More informationLecture 11,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
More informationDETERMINANTS. 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
More information1 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
More informationCURVES 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
More information(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
More informationCOMPUTING WITH HOMOTOPY 1 AND 2TYPES WHY? HOW? Graham Ellis NUI Galway, Ireland
COMPUTING WITH HOMOTOPY 1 AND 2TYPES 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
More informationQPERFECT GROUPS AND UNIVERSAL QCENTRAL EXTENSIONS
Publicacions Matemátiques, Vol 34 (1990), 291297. QPERFECT GROUPS AND UNIVERSAL QCENTRAL EXTENSIONS RONALD BROWN Abstract Using results of EllisRodríguez Fernández, an explicit description by generators
More informationRow 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
More informationGroup 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
More informationPOLYNOMIAL 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).
More information1 = (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 realclosed fields These notes develop the algebraic background needed to understand the model theory of realclosed fields. To understand these notes, a standard graduate course in algebra is
More informationarxiv:0804.1733v1 [math.fa] 10 Apr 2008
PUSHOUTS 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
More informationA 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
More informationLecture 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
More informationThe Euler class group of a polynomial algebra
The Euler class group of a polynomial algebra Mrinal Kanti Das HarishChandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad  211 019, India. email : mrinal@mri.ernet.in 1 Introduction
More informationTable 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
More informationTHE 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
More informationMATH 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
More informationFiber sums of genus 2 Lefschetz fibrations
Proceedings of 9 th Gökova GeometryTopology 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
More informationSingular 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
More informationRIGIDITY 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
More informationThe 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 Email: stoll@iml.univmrs.fr
More informationEuler 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
More informationOn 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
More informationContinued 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
More informationGalois 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
More informationn 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
More informationChapter 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
More information4. CLASSES OF RINGS 4.1. Classes of Rings class operator Aclosed 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
More informationRINGS 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
More informationALGEBRA 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
More informationFactorization Algorithms for Polynomials over Finite Fields
Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 20110503 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is
More informationTHE 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 EMail: isaacs@math.wisc.edu Maria
More informationModule 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
More informationSPHERICAL CLASSES AND THE ALGEBRAIC TRANSFER
TRNSCTIONS OF THE MERICN MTHEMTICL SOCIETY Volume 349, Number 10, October 1997, Pages 3893 3910 S 00029947(97019910 SPHERICL CLSSES ND THE LGEBRIC TRNSFER NGUYÊ N H. V. HU NG bstract. We study a wea
More informationON 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 00192082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a
More informationCLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDERREITEN THEORY
CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDERREITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,
More informationsome 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
More informationFOUNDATIONS 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
More information2.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)
More informationFIELD DEGREES AND MULTIPLICITIES FOR NONINTEGRAL EXTENSIONS
Illinois Journal of Mathematics Volume 51, Number 1, Spring 2007, Pages 299 311 S 00192082 FIELD DEGREES AND MULTIPLICITIES FOR NONINTEGRAL EXTENSIONS BERND ULRICH AND CLARENCE W. WILKERSON Dedicated
More informationNOTES ON LINEAR TRANSFORMATIONS
NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all
More informationNOTES ON DEDEKIND RINGS
NOTES ON DEDEKIND RINGS J. P. MAY Contents 1. Fractional ideals 1 2. The definition of Dedekind rings and DVR s 2 3. Characterizations and properties of DVR s 3 4. Completions of discrete valuation rings
More information