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

Size: px
Start display at page:

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

Transcription

1 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 13, 1974 It is our purpose here to announce the results of our study of the homology of the spaces in the 2-spectrum for complex cobordism and Brown- Peterson cohomology. Let MU(n) be the standard Thorn complex. MU k = lim^^ ü, 2 ( n ~~ k )MU(n) is the 2k space in the 2-spectrum for complex cobordism. We will consider the space MU hm n^_ 00 Iï ;>n MU f -. We find this product easier to study than the separate factors, as will become apparent below. For a space X we have [X, MU] ~ U 2 *(X), the even degree part of the complex cobordism of X. Because MU is a multiplicative theory, U 2 *(X) is a ring and MU is a commutative ring with identity in the homotopy category. Thus we have that for any field k t H%(MU; k) is a commutative ring with identity in the category offc-coalgebras,i.e., it is a "Hopf ring". In more common language, the homology has two products and a coproduct. o will denote the multiplicative product which comes from the ring structure on the spectrum, while * will denote the additive product coming from the loop structure (Ü, 2 MU MU). They obey the following distributive law: if \p(z) = 2 z z" is the coproduct, then z (x * j) = 2 (Z ' o x) * (z " o j/). We now describe the structure of H%(MU; R) where R is an algebra over a field k. Let C R (X)= be II H.(X;R): \jj(x)^x x,x*o\. ' i>0 f C R (MU) is a ring, and for each x 6 C R (X) we have a ring homomorphism X^: U 2 *{X) >C R (MU) defined by X x (u) = ujx) for u U 2 *{X). Let AMS (MOS) subject classifications (1970). Primary 55F40, 57D90, S7F25, S7F35; Secondary 57F05, 55F20, 16A24, 14L05, 18D35. Key word and phrases. Complex cobordism, homology, Hopf ring, formal group law, 12-spectrum, Eilenberg-Moore spectral sequence, classifying space. *Both authors partially supported by NSF Copyright 1974, American Mathematical Society

2 1186 D. C. RAVENEL AND W. S. WILSON [November P n eh 2n (CP ;R) be the standard generator. 0(r) = Xp/ ec R (CP ) for rgr. U 2 *CP = f/*[[r] ], the power series ring on the canonical generator TE U 2 CP over the coefficient ring U* = Z[x 2, x 4, ], a polynomial algebra on negative even-dimensional generators. We now have b(r) =Y,b/ = x m (T) e c R (uu). (In other words, if we represent T by a map ƒ: GP * WJ, /^(js^) = b n.) Note that?r 0 M /~ ir+mu^ U^ cz U~* 9 and any element a E {ƒ* or /. gives rise to an element [a] EH 0 MU. The [x 2i ] generate the Hopf ring H 0 MU. Under the standard multiplication CP x CP GP, T pulls back to S fl^r/ JT', where a /; G tf* O-'-/). The ^ are the coefficients of the formal group associated with complex cobordism (see [1]). We use the above multiplication to get our first theorem. THEOREM 1. In C R (MU\ b(r x +r 2 )= Z [arfbirjbfyj. i,j>0 The following is just a restatement of the theorem. THEOREM 1'. In HJWJ\R\ ftfri+' 2 )= * (["if] Hrjt b(r 2 r). V>o COROLLARY 2. log b(r x + r 2 ) = log b(r t ) + log b(r 2 ) in C R (MU) W>0 H If we are working over the integers we can rephrase this to: COROLLARY 2'. log b{r) = b t r in QHJ}AU\Q[r]). Let H R WJ denote the Hopf ring generated by the [x 2i ] b n subject to the relations implied by Theorem 1. and the THEOREM 3. The map H R WJ * H^(MU; R) is a Hopf ting isomorphism. This is still true if we replace R by Z.

3 1974] THE HOPF RING FOR COMPLEX COBORDISM 1187 The main result of [6], where the investigation of the homology of MU k was begun, is now an immediate corollary of Theorem 3. COROLLARY 4. HJ$AU k \ Z) has no torsion. PROOF. H R MU has only even-dimensional elements. Theorem 3 is a total information result. Not only does it give a complete description of both products and the coproduct, but, using the results of Switzer [5] on the coaction of the dual of the Steenrod algebra on CP, we can compute the structure of H^MU; F ) as a comodule over the dual to the Steenrod algebra directly from our algebraic construction H R MU. The most difficult part of the proof of Theorem 3 is showing that the map is onto. To do this, we first replace MU by BP, the Brown-Peterson spectrum [2], [3]. We can recover information about MU from BP by Quillen's result that U*(X\ p) ^ U* p) <8> Bp * BP*(X). There are, of course, analogues of Theorems 1 4 for the analogous space BP. We have H^MU; F p ) ~ H 0 (MU 9 F p ) H 0 (BP;F p ) #*(B^; F p ) and BP# cz TT^BP ^ Z^p) [v l9 v 2, ], where v s is a 2(p s - l)-dimensional generator. From now on, all homology groups will have coefficients in F. An immediate consequence of Theorem 1 is that all the b ( can be expressed in terms of b n, which we denote by b, n y Note that these elements generate the stable homology H^BP. Define where I = (i 1, i 2, ) and / = (/ 0, j\, ) are sequences of nonnegative o ƒ integers, and b, n, denotes the j n th power of b^ or o product. DEFINITION. i/b J is called allowable if under the multiplicative / = paï + p 2 A 1r 4- + p n A Jr + J' (nonneg. seq.), k x < k 2 < < k n implies i n 0. (A k is the sequence with 1 in the kth place and zeros elsewhere.) Let BP( 0 ) denote the zero component of BP. H^BP^ is a Hopf algebra under the * product. Let Q and P denote the indécomposables and primitives respectively. We now have

4 1188 D. C. RAVENEL AND W. S. WILSON [November for THEOREM 5. (a) HJàP^ is a polynomial algebra. (b) The allowable u V (J ± 0) form a basis for QH^BP {oy (c) The v J b with v T b J allowable (J possibly zero) form a basis PH*BP (oy The proof of Theorem 5 is by induction on dimension, using Eilenberg- Moore spectral sequences which go from H^BP,^ to H%ÇIBP, 0^ and back to H^BP^ using the periodicity O 2 BP (0) ^ BP and Theorem 6. H^BP is a BP+ module under the o product as BP*CH 0 (BP). We have the ideal (u l9 v 2, ) = / C BP^. The \p]-sequence [p](x) can be defined by log^p [p]00 = P log^ppo- Also, [p](t) is the image of T when pulled back by the pth power map CP > (CP ) P» CP in BI*CP-^BP*[[T]]. (Note, b = b(l).) THEOREM 6. (a) \p] (b) = 0 in C F (BP). (b) Z» =1 N * (^0 = 0 in QH^BP/PQH^BP. The first statement follows from the fact that the pth power map is trivial in H^CP 00. (Recall that our coefficients are all F_.) The second statement follows from the fact that the coefficient of X? in the [p] sequence is a 2(p n l)-dimensional generator in BP^. We now state some of the geometric corollaries which follow from our work. U^MU can be identified with the cobordism group of maps (with even codimension) of compact stably almost complex manifolds (see Stong [4] for the analogous statement in the unoriented case). From this point of view our main result is THEOREM 7. UJS/iU is a Hopf ring generated by maps to a point, identity maps, and linear embeddings b n \ CP n ~ l c+ QP n. COROLLARY 8. Any map of compact stably almost complex manifolds is cobordant to one of the form f: U. F t x V t > Af, where f\f t x V t is the composition of the projection F. x V i > V t and an embedding V i -+ M. REFERENCES 1. J. F. Adams, Quillen's work on formal groups and complex cobordism, Lecture Notes, University of Chicago, E. H. Brown, Jr. and F. P. Peterson, A spectrum whose Z -cohomology is the algebra of reduced p-th powers, Topology 5 (1966), MR 33 #719.

5 1974] THE HOPF RING FOR COMPLEX COBORDISM D. Quillen, On the formal group laws of unoriented and complex cobordism theory, Bull. Amer. Math. Soc. 75 (1969), MR 40 # R. E. Stong, Cobordism of maps, Topology 5 (1966), MR 33 # R. M. Switzer, Homology comodules, Invent. Math. 20 (1973), W. S. Wilson, The Sl-spectrum for Brown-Peterson cohomology. I, Comment. Math. Helv. 48 (1973), DEPARTMENT OF MATHEMATICS, COLUMBIA UNIVERSITY, NEW YORK, NEW YORK DEPARTMENT OF MATHEMATICS, PRINCETON UNIVERSITY, PRINCETON, NEW JERSEY Current address (both authors): School of Mathematics, Institute for Advanced Study, Princeton, New Jersey 08540

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

More information

Spherical Classes Detected by the Algebraic Transfer

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

More information

Math 231b Lecture 35. G. Quick

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

More information

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

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

More information

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 (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 information

Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel

Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006 Spectra associated with Artin-Schreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the

More information

OF «MANIFOLDS IMBEDDED IN Rn+k

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)

More information

On the existence of G-equivariant maps

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,

More information

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

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

More information

COBORDISM IN ALGEBRA AND TOPOLOGY

COBORDISM IN ALGEBRA AND TOPOLOGY COBORDISM IN ALGEBRA AND TOPOLOGY ANDREW RANICKI (Edinburgh) http://www.maths.ed.ac.uk/ aar Dedicated to Robert Switzer and Desmond Sheiham Göttingen, 13th May, 2005 1 Cobordism There is a cobordism equivalence

More information

ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1

ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1 BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 6, November 1973 ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1 BY YUM-TONG SIU 2 Communicated

More information

Note on desuspending the Adams map

Note on desuspending the Adams map Math. Proc. Camb. Phil. Soc. (1986), 99, 59 59 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

More information

Algebraic Morava K-theories and the. higher degree formula

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

More information

Samuel Omoloye Ajala

Samuel Omoloye Ajala 49 Kragujevac J. Math. 26 (2004) 49 60. SMOOTH STRUCTURES ON π MANIFOLDS Samuel Omoloye Ajala Department of Mathematics, University of Lagos, Akoka - Yaba, Lagos NIGERIA (Received January 19, 2004) Abstract.

More information

Lecture 4 Cohomological operations on theories of rational type.

Lecture 4 Cohomological operations on theories of rational type. Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem

More information

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

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

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

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

More information

Allen Back. Oct. 29, 2009

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

More information

FIXED POINT SETS OF FIBER-PRESERVING MAPS

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

More information

A SURVEY OF ALGEBRAIC COBORDISM

A SURVEY OF ALGEBRAIC COBORDISM A SURVEY OF ALGEBRAIC COBORDISM MARC LEVINE Abstract. This paper is based on the author s lecture at the ICM Satellite Conference in Algebra at Suzhou University, August 30-September 2, 2002, describing

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

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

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

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

More information

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

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

More information

8.1 Examples, definitions, and basic properties

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

More information

it is easy to see that α = a

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

More information

A COUNTEREXAMPLE FOR SUBADDITIVITY OF MULTIPLIER IDEALS ON TORIC VARIETIES

A COUNTEREXAMPLE FOR SUBADDITIVITY OF MULTIPLIER IDEALS ON TORIC VARIETIES Communications in Algebra, 40: 1618 1624, 2012 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927872.2011.552084 A COUNTEREXAMPLE FOR SUBADDITIVITY OF MULTIPLIER

More information

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 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 information

Commutative Algebra seminar talk

Commutative Algebra seminar talk Commutative Algebra seminar talk Reeve Garrett May 22, 2015 1 Ultrafilters Definition 1.1 Given an infinite set W, a collection U of subsets of W which does not contain the empty set and is closed under

More information

Row Ideals and Fibers of Morphisms

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

More information

FIELD DEGREES AND MULTIPLICITIES FOR NON-INTEGRAL EXTENSIONS

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

More information

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

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

More information

QUADRATIC ALGEBRAS WITH EXT ALGEBRAS GENERATED IN TWO DEGREES. Thomas Cassidy

QUADRATIC ALGEBRAS WITH EXT ALGEBRAS GENERATED IN TWO DEGREES. Thomas Cassidy QUADRATIC ALGEBRAS WITH EXT ALGEBRAS GENERATED IN TWO DEGREES Thomas Cassidy Department of Mathematics Bucknell University Lewisburg, Pennsylvania 17837 Abstract Green and Marcos [3] call a graded k-algebra

More information

Algebraic K-Theory of Ring Spectra (Lecture 19)

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

More information

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 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 information

arxiv:math/ v1 [math.nt] 31 Mar 2002

arxiv:math/ v1 [math.nt] 31 Mar 2002 arxiv:math/0204006v1 [math.nt] 31 Mar 2002 Additive number theory and the ring of quantum integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx, New York 10468 Email: nathansn@alpha.lehman.cuny.edu

More information

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

More information

Introduction to finite fields

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

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

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

More information

HOLOMORPHIC MAPPINGS: SURVEY OF SOME RESULTS AND DISCUSSION OF OPEN PROBLEMS 1

HOLOMORPHIC MAPPINGS: SURVEY OF SOME RESULTS AND DISCUSSION OF OPEN PROBLEMS 1 BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 3, May 1972 HOLOMORPHIC MAPPINGS: SURVEY OF SOME RESULTS AND DISCUSSION OF OPEN PROBLEMS 1 BY PHILLIP A. GRIFFITHS 1. Introduction. Our purpose

More information

The Factor Theorem and a corollary of the Fundamental Theorem of Algebra

The Factor Theorem and a corollary of the Fundamental Theorem of Algebra Math 421 Fall 2010 The Factor Theorem and a corollary of the Fundamental Theorem of Algebra 27 August 2010 Copyright 2006 2010 by Murray Eisenberg. All rights reserved. Prerequisites Mathematica Aside

More information

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS

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

More information

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

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

More information

COHOMOLOGY OF GROUPS

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

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

Classification of Bundles

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

More information

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

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

More information

Smith Theory Revisited

Smith Theory Revisited Smith Theory Revisited William G. Dwyer Clarence W. Wilkerson 1 Introduction In the late 1930 s, P. A. Smith began the investigation of the cohomological properties of a group G of prime order p acting

More information

DIVISORS AND LINE BUNDLES

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

More information

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

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

More information

The sum of digits of polynomial values in arithmetic progressions

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

More information

Ideal Class Group and Units

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

More information

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

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

More information

Séminaire Dubreil. Algèbre

Séminaire Dubreil. Algèbre Séminaire Dubreil. Algèbre DAVID EISENBUD Notes on an extension of Krull s principal ideal theorem Séminaire Dubreil. Algèbre, tome 28, n o 1 (1974-1975), exp. n o 20, p. 1-4.

More information

Nonzero degree tangential maps between dual symmetric spaces

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

More information

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

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

More information

TMF for number theorists

TMF for number theorists TMF for number theorists Paul VanKoughnett September 14, 2014 1 What is stable homotopy theory? Stable homotopy theory starts with a question: what are the homotopy groups of spheres? We define π n+k S

More information

The components of a variety of matrices with square zero and submaximal rank

The components of a variety of matrices with square zero and submaximal rank The components of a variety of matrices with square zero and submaximal ran DIKRAN KARAGUEUZIAN Mathematics Department, SUNY Binghamton, Binghamton, NY 13902, USA E-mail: diran@math.binghamton.edu BOB

More information

Invariant Metrics with Nonnegative Curvature on Compact Lie Groups

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.

More information

ADDITIVE GROUPS OF RINGS WITH IDENTITY

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

More information

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness

More information

Cohomology theories. Ulrike Tillmann Oxford University, Oxford, UK

Cohomology theories. Ulrike Tillmann Oxford University, Oxford, UK Cohomology theories Ulrike Tillmann Oxford University, Oxford, UK 1. Introduction The origins of cohomology theory are found in topology and algebra at the beginning of the last century but since then

More information

NOTES ON CATEGORIES AND FUNCTORS

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

More information

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

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

More information

9 Multiplication of Vectors: The Scalar or Dot Product

9 Multiplication of Vectors: The Scalar or Dot Product Arkansas Tech University MATH 934: Calculus III Dr. Marcel B Finan 9 Multiplication of Vectors: The Scalar or Dot Product Up to this point we have defined what vectors are and discussed basic notation

More information

A NEW CONSTRUCTION OF 6-MANIFOLDS

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

More information

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

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

More information

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

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

More information

arxiv: v2 [math.ag] 10 Jul 2011

arxiv: v2 [math.ag] 10 Jul 2011 DEGREE FORMULA FOR THE EULER CHARACTERISTIC OLIVIER HAUTION arxiv:1103.4076v2 [math.ag] 10 Jul 2011 Abstract. We give a proof of the degree formula for the Euler characteristic previously obtained by Kirill

More information

THE CLASSIFICATION OF FREE ACTIONS OF CYCLIC GROUPS OF ODD ORDER ON HOMOTOPY SPHERES

THE CLASSIFICATION OF FREE ACTIONS OF CYCLIC GROUPS OF ODD ORDER ON HOMOTOPY SPHERES BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 77, Number 3, May 1971 THE CLASSIFICATION OF FREE ACTIONS OF CYCLIC GROUPS OF ODD ORDER ON HOMOTOPY SPHERES BY WILLIAM BROWDER, 1 TED PETRIE AND C.

More information

Continuity of the Perron Root

Continuity of the Perron Root Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North

More information

EXTENSIONS OF MAPS IN SPACES WITH PERIODIC HOMEOMORPHISMS

EXTENSIONS OF MAPS IN SPACES WITH PERIODIC HOMEOMORPHISMS BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 4, July 1972 EXTENSIONS OF MAPS IN SPACES WITH PERIODIC HOMEOMORPHISMS BY JAN W. JAWOROWSKI Communicated by Victor Klee, November 29, 1971

More information

WHEN DOES A CROSS PRODUCT ON R n EXIST?

WHEN DOES A CROSS PRODUCT ON R n EXIST? WHEN DOES A CROSS PRODUCT ON R n EXIST? PETER F. MCLOUGHLIN It is probably safe to say that just about everyone reading this article is familiar with the cross product and the dot product. However, what

More information

Revision of ring theory

Revision of ring theory CHAPTER 1 Revision of ring theory 1.1. Basic definitions and examples In this chapter we will revise and extend some of the results on rings that you have studied on previous courses. A ring is an algebraic

More information

Introduction to Finite Fields (cont.)

Introduction to Finite Fields (cont.) Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

More information

LINEAR DIFFERENTIAL EQUATIONS IN DISTRIBUTIONS

LINEAR DIFFERENTIAL EQUATIONS IN DISTRIBUTIONS LINEAR DIFFERENTIAL EQUATIONS IN DISTRIBUTIONS LESLIE D. GATES, JR.1 1. Introduction. The main result of this paper is an extension of the analysis of Laurent Schwartz [l ] concerning the primitive of

More information

Universitat de Barcelona

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

More information

The Dirichlet Unit Theorem

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

More information

FIBER BUNDLES AND UNIVALENCE

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

More information

2 Complex Functions and the Cauchy-Riemann Equations

2 Complex Functions and the Cauchy-Riemann Equations 2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)

More information

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

More information

FINITE FIELDS KEITH CONRAD

FINITE FIELDS KEITH CONRAD FINITE FIELDS KEITH CONRAD This handout discusses finite fields: how to construct them, properties of elements in a finite field, and relations between different finite fields. We write Z/(p) and F p interchangeably

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

REAL PROJECTIVE SPACE AS A SPACE OF PLANAR POLYGONS. 1. Introduction

REAL PROJECTIVE SPACE AS A SPACE OF PLANAR POLYGONS. 1. Introduction REAL PROJECTIVE SPACE AS A SPACE OF PLANAR POLYGONS DONALD M DAVIS Abstract We describe an explicit homeomorphism between real projective space RP n 3 and the space M n,n 2 of all isometry classes of n-gons

More information

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)

More information

Separation Properties for Locally Convex Cones

Separation Properties for Locally Convex Cones Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

More information

A simple criterion on degree sequences of graphs

A simple criterion on degree sequences of graphs Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

More information

APPLICATIONS OF THE ORDER FUNCTION

APPLICATIONS OF THE ORDER FUNCTION APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and

More information

Orthogonal Diagonalization of Symmetric Matrices

Orthogonal Diagonalization of Symmetric Matrices MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding

More information

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients DOI: 10.2478/auom-2014-0007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)! Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

More information

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson JUST THE MATHS UNIT NUMBER 1.8 ALGEBRA 8 (Polynomials) by A.J.Hobson 1.8.1 The factor theorem 1.8.2 Application to quadratic and cubic expressions 1.8.3 Cubic equations 1.8.4 Long division of polynomials

More information

TRANSFERS OF CHERN CLASSES IN BP-COHOMOLOGY AND CHOW RINGS. 1. Introduction

TRANSFERS OF CHERN CLASSES IN BP-COHOMOLOGY AND CHOW RINGS. 1. Introduction TRANSFERS OF CHERN CLASSES IN BP-COHOMOLOGY AND CHOW RINGS Abstract. The BP -module structures of BP (BG) for extraspecial 2-groups are studied using transfer and Chern classes. These give rise to p-torsion

More information

Department of Mathematics, University of Utah, Salt Lake City, UT 84112, USA

Department of Mathematics, University of Utah, Salt Lake City, UT 84112, USA Flip and Flop Janos Kollâr Department of Mathematics, University of Utah, Salt Lake City, UT 84112, USA Dedicated to my teacher Teruhisa Matsusaka The study of smooth projective varieties naturally breaks

More information

Rough Semi Prime Ideals and Rough Bi-Ideals in Rings

Rough Semi Prime Ideals and Rough Bi-Ideals in Rings Int Jr. of Mathematical Sciences & Applications Vol. 4, No.1, January-June 2014 Copyright Mind Reader Publications ISSN No: 2230-9888 www.journalshub.com Rough Semi Prime Ideals and Rough Bi-Ideals in

More information

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field 1. Throughout this section, F is a field and F [x] is the ring of polynomials with coefficients in F. We will

More information

SMALL SKEW FIELDS CÉDRIC MILLIET

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

More information

arxiv:math/ v1 [math.nt] 9 Mar 2005

arxiv:math/ v1 [math.nt] 9 Mar 2005 QUADRATIC ADDITION RULES FOR QUANTUM INTEGERS arxiv:math/0503177v1 [math.nt] 9 Mar 2005 ALEX V. KONTOROVICH AND MELVYN B. NATHANSON Abstract. For every positive integer n, the quantum integer [n] q is

More information

Gröbner Bases and their Applications

Gröbner Bases and their Applications Gröbner Bases and their Applications Kaitlyn Moran July 30, 2008 1 Introduction We know from the Hilbert Basis Theorem that any ideal in a polynomial ring over a field is finitely generated [3]. However,

More information