COHOMOLOGY OF GROUPS

Size: px
Start display at page:

Download "COHOMOLOGY OF GROUPS"

Transcription

1 Actes, Congrès intern. Math., 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 results on the structure of the ring H* (BG, Z/pZ) when G is a compact Lie group, a theorem computing this ring for a large number of interesting finite groups, and applications to algebraic Af-theory consisting of a definition of AT-groups K t A for / > 0 agreeing with those of Bass and Milnor and their computation when A is a finite field. 1. The spectrum of H*(BG, Z/pZ). Let G be a compact Lie group (e.g. a finite group) and let H*(BG) be the cohomology ring of its classifying space with coefficients in Z/pZ where p is a fixed prime number. According to Venkov (and Evens for finite G) the ring #*(5G) is finitely-generated, hence its Poincaré series 2 (dim z/pz H n (BG)) f 1 is a rational function of t and one may define the dimension dim H*(BG) to be the order of the pole of this function at t = 1. For example if A = (Z/pZ) r is an elementary abelian p-group ([p]-group for short) of rank r 9 then dim H*(BA) = r. The following for finite G has been conjectured independently by Atiyah and Swan. PROPOSITION 1. - dim H*(BG) = the maximum rank of a [p]-subgroup G. To prove this one follows the method used by Atiyah-Segal to prove the completion theorem in equivariant ^-theory and first generalizes it to G-spaces, which for the sake of simplicity I suppose to be smooth compact G-manifolds with boundary. Let X G be the associated fibre space over BG with fibre X and set H*(X) = H*(X G ). PROPOSITION 1' - dim H G (X) = the maximum rank of a [p]-subgroup G fixing some point of X. To prove this one can replace the pair (G, X) by (U, Y) where U is a unitary group containing G and Y = U x G X ; then one can reduce to the case (A, Y) where A is the subgroup of elements of order p in a maximal torus of U, because H%(Y) is a finitely-generated free //y(y>module. Hence one can of of (*) Supported by The Institute for Advanced Study and the Alfred P. Sloan Foundation.

2 48 D. QUILLEN C 1 suppose that G is a [p]-group, in which case the result can be checked by using the spectral sequence E% = H S (X/G, Gx -> H G (Gx)) => H G +t (X). The same technique can be used to prove the following result. THEOREM - Consider the [p]-subgroups A of G as the objects of a category in which a morphism from A to A 1 is a component of the set of g such that gag~ l CA' 9 and let u : H*(BG)-*]imH*(BA) be the homorphism induced by restriction. Then every element of Ker (u) is nilpotent and if z is an element of the inverse limit then z pn G Im (u) for large n. In other words 'up to extraction of p-th roots' a cohomology class of BG is the same as a family of cohomology classes for each [p]-subgroup compatible with conjugation and restriction. One should compare this result with Brauer's theorem asserting that the analogous map with character rings and the category of elementary subgroups is an isomorphism when G is finite. This theorem and some commutative algebra permit one to deduce the following description of the space Spec H*(BG) of prime ideals in H*(BG) (i.e. inverse images of prime ideals in the commutative ring H*(BG) nd = H*(BG)/ideal of nilpotent elements). If A is a [p]-subgroup of G, let h = Ker {H*(BG) -+ H*(BA) ted }. Then ^4 ->- ^^ gives an order-reversing bijection between conjugacy classes of [p]-subgroups and those homogeneous prime ideals of H*(BG) which are closed under the Steenrod operations. In particular the irreducible components of Spec H*(BG) are in one-one correspondence with maximal [p]-subgroups up to conjugacy. If T A is the v )set of prime ideals containing $ A but not fc 4, for A 1 < A, then there is a s tification Spec H*(BG) =L1T A into irreducible locally closed subspaces indexed by the conjugacy classes of [p]-subgroups. Moreover T A = (Spec S(A v )[e l A ])/N(A) where N(A) is the finite group of components of the normalizer of A in G, where S(A y ) = H*(BA) Kd is the symmetric algebra of the dual of A over Z/pZ, and e A is the product of the non-zero elements of A. 2. Computations using etale cohomology and the Lang isomorphism. One knows (Chevalley, Steinberg) that a large number of interesting finite groups occur as the group G of fixpoints of an endomorphism a of a connected algebraic group G defined over an algebraically closed field k. For example if G is defined over a finite subfied k 0 of k then the group of rational points G(k 0 ) is the group of fixpoints of the Frobenius endomorphism associated to this finite field of definition. Since G a is finite there is an inseparable isogeny

3 COHOMOLOGY OF GROUPS 49 G/G a -> G gg'-tgiog)- 1 (the Lang isomorphism when a is a Frobenius endomorphism), hence G/G a and G are homeomorphic for the etale topology. This suggests that H*(BG a ) (coefficients in Z//Z where / is a prime number different from the characteristic of k) might be computed by using the analogue in etale cohomology of the Leray spectral sequence of the "fibration" (G/G a, BG a, BG) 9 because the rings H*(BG) and H*(G) are usually known, e.g. by lifting G to characteristic zero. Before going on I should explain what is meant by BG in this context. Let % be the topos of sheaves for the etale topology on the category of all algebraic fc-schemes. Identifying a fc-scheme with the sheaf it represents, G becomes a group object of % and so it has a "classifying topos" % G consisting of objects of ^ endowed with G-action (Grothendieck, réédition of SGAA). If X is a fc-scheme endowed with a G-action, let X G be the object of *S G it gives rise to, and denote by H G (X) the cohomology of X G with coefficients in the constant sheaf Z//Z ; write BG instead of e G where e = Spec k. The Leray spectral sequence for the map X G -+BG 9 or as I shall say of the fibration (X, X G, BG) takes the form (1) E 2 =H*(BG) H*(X)=*H*(X) provided the map X -> e is cohomologically proper, which is the case for X = G because the map factors into a sequence of principal G a and G m bundles and the proper map G/B -* e. Taking X to be G acting on itself by left translations gives a spectral sequence (2) E 2 = H* (BG) H* (G) => H* (e). Assume that this spectral sequence has the nice form studied by Borei in his thesis, namely H*(G) has a simple system of transgressive generators, whence H*(BG) = S(V) is a polynomial ring and the transgression sets up an isomorphism of the primitive subspace P of H*(G) and V[ 1] (the [ 1] means degrees are shifted down by one). When X = G t 9 the G-scheme obtained by letting G act on itself by the rule g(g x ) = gg x (og)~ l 9 (1) takes the form (3) E 2 = H*(BG) 9 H*(G) ** H*(G/G a ) = H*(BG a ). on account of the Lang isomorphism. To determine the differentials in (3), let G s be the (G x G)-scheme obtained by letting G x G act on G by the rule (#i. 2) = SiStfi" 1 an d consider the map of spectral sequences associated to the map (G, (G%,5G)-> (G, (G s ) GxG,B(G x G )). In the latter spectral sequence a primitive element z of H* (G) transgresses to v 1 1 v if z transgresses to v in (2), consequently in (3) z transgresses to v o*(v). Thus the spectral sequence (3) can be determined completely and it yields the following. THEOREM - Let G be a connected algebraic group defined over an algebraically closed field k, and let a be an endomorphism of G such that G a is finite. Assume that the etale cohomology 77* (G) (coefficients in Z/ Z,J2 prime = char (k)) has a simple system of transgressive generators for the spectral sequence (2) (e.g. if H*(G) is an exterior algebra with odd degree generators), and that the

4 50 D. QUILLEN C 1 subspace V of generators for the polynomial ring H* (BG) can be chosen so as to be stable under a*. Let V a and V a be the kernel and cokernel of the endomorphism id a* of V. Then there is an isomorphism of graded Z/fiZ vector spaces H*(BG a )=S(V a )*h (V a [- 1]) which is an algebra isomorphism if I is odd. This theorem may be used to determine the mod cohomology rings of the classical groups over a finite field k Q (at least additively when = 2) provided fi is different from the characteristic. For example if k 0 has q elements and r is the order of q mod fi, then H*(BGL n (k Q ), Z/fiZ) is the tensor product of a polynomial ring with one generaror of degree 2/V and an exterior algebra with one generator of degree 2/> 1 for / < / < [n/r], except that this is only true additively when fi = Applications to algebraic X-theory Let A be a ring, GL (A) its infinite general linear group, and E (A) the subgroup generated by elementary matrices. As E (A) is perfect, by attaching 2- and 3-cells to BE (A) to kill its kundamental group without changing homology one can construct a map / : BGL(A) -> BGL(A) + such that ir t (f) kills E(A) and such that / as a map in the homotopy category of pointed spaces is universal with this property. Set K t A = 7r,BGL(A) + for / > 1 ; it is not hard to show that this definition agrees with those of Bass and Milnor. The representable functor on the homotopy category K(X ;A) = [X, K 0 A x BGL(A) + ] deserves to be called ^-theory with coefficients in A, because it enjoys many of the properties of topological AT-theory. For example it is the degree zero part of a connected generalized cohomology theory. Indeed Graeme Segal has recently associated such a cohomology theory to any category with a coherent commutative associative composition law, and the cohomology theory in question come from the additive category of finitely-generated projective ^4-modules. Also K(X \A) is naturally a X-ring when A is commutative. If one wants to compute the groups K t A by standard techniques of homotopy theory (e.g. unstable Adams spectral sequence for the //-space BGL(A) + ) it is necessary to know the homology of BGL(A) +, which is the same as that of BGL(A). For example K t A Q is isomorphic to the primitive subspace of H t (BGL(A) 9 Q). For a finite field enough is known about the homology to do the computation : Let k Q be a finite field with q elements, let k be an algebraic closure of k Q, and let 0 : k* -* C* be an embedding. By modular character theory one knows how to associate to a representation of a group G over k 0 a virtual complex representation fixed under the Adams operation ty q by using 0 to lift eigenvalues. Lifting the standard representation of GL n (k 0 ) on k% 9 one obtains a map BGL n (k 0 ) -> E^! q 9 where the latter space is the fibre of the endomorphism ^q id of BU. This map kills elementary matrices, hence gives rise to a map in the pointed homotopy category

5 COHOMOLOGY OF GROUPS 51 BGL(k 0 ) + which depends only on the choice of 0. -*EV q THEOREM 1. The map (*) is a homotopy equivalence. This is proved by showing that the map induces an isomorphism on homology and using the Whitehead theorem. The homotopy groups of E^q may be computed by using Bott periodicity, so one obtains the formulas K 2i (k 0 ) = 0 / > 1 The functorial behavior of these groups as the finite field varies may be determined in similar fashion, and it leads to the following : THEOREM 2. If k is an algebraic closure of F p, then K 2i (k) = 0 i>\ V,W= Q fi /Zg i> 1 fifp and the Frobenius automorphism of k over F p acts on K 2i _ x (k) by multiplying by p*. If k t is any subfield of k, then the extension-of-scalars homomorphism induces an isomorphism Gal (*/*,) K 2i _ x (k,) ~ K 2i _,(k) l/l> in terms of which the restriction-of-scalars homomorphism u* : K 2i _ x (k 2 \-+ Ku^kJ associated to a finite extension u : k x -* k 2 is given by the norm from Ga\(k/k 2 )- invariants to GdX (kik^-invariants. Massachusetts Institute of Technology Dept. of Mathematics Cambridge, Massachusetts U.S.A.

6

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

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

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

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

EXERCISES FOR THE COURSE MATH 570, FALL 2010

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

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

some algebra prelim solutions

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

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

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

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

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEY-ABRAHAMSON Abstract. These are notes for a talk in the MIT-Northeastern Spring 2015 Geometric Representation Theory Seminar. The main source

More information

On Bhargava s representations and Vinberg s invariant theory

On Bhargava s representations and Vinberg s invariant theory On Bhargava s representations and Vinberg s invariant theory Benedict H. Gross Department of Mathematics, Harvard University Cambridge, MA 02138 gross@math.harvard.edu January, 2011 1 Introduction Manjul

More information

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

FIBER PRODUCTS AND ZARISKI SHEAVES

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

More information

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

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

More information

Galois representations with open image

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

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

Lifting abelian schemes: theorems of Serre-Tate and Grothendieck

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

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

GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS

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

More information

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

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

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

Lectures on the Cohomology of Finite Groups

Lectures on the Cohomology of Finite Groups Contemporary Mathematics Lectures on the Cohomology of Finite Groups Alejandro Adem Abstract. These are notes based on lectures given at the summer school Interactions Between Homotopy Theory and Algebra,

More information

The cover SU(2) SO(3) and related topics

The cover SU(2) SO(3) and related topics The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of

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

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

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

Group Theory. Contents

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

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

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

Proof. The map. G n i. where d is the degree of D.

Proof. The map. G n i. where d is the degree of D. 7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal

More information

Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

More information

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

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

More information

Factoring of Prime Ideals in Extensions

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

More information

GROUP ACTIONS KEITH CONRAD

GROUP ACTIONS KEITH CONRAD GROUP ACTIONS KEITH CONRAD 1. Introduction The symmetric groups S n, alternating groups A n, and (for n 3) dihedral groups D n behave, by their very definition, as permutations on certain sets. The groups

More information

ALGORITHMS FOR ALGEBRAIC CURVES

ALGORITHMS FOR ALGEBRAIC CURVES ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 4 1. SCHOOF S ALGORITHM Let K be a finite field with q elements. Let p be its characteristic. Let X be an elliptic curve over K. To simplify we assume

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

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

A result of Gabber. by A.J. de Jong

A result of Gabber. by A.J. de Jong A result of Gabber by A.J. de Jong 1 The result Let X be a scheme endowed with an ample invertible sheaf L. See EGA II, Definition 4.5.3. In particular, X is supposed quasi-compact and separated. 1.1 Theorem.

More information

Chapter 10. Abstract algebra

Chapter 10. Abstract algebra Chapter 10. Abstract algebra C.O.S. Sorzano Biomedical Engineering December 17, 2013 10. Abstract algebra December 17, 2013 1 / 62 Outline 10 Abstract algebra Sets Relations and functions Partitions and

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

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

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

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

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

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

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

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

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

More information

Algebraic Geometry. Keerthi Madapusi

Algebraic Geometry. Keerthi Madapusi Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness

More information

A NOTE ON TRIVIAL FIBRATIONS

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

More information

Symplectic structures on fiber bundles

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,

More information

(January 14, 2009) End k (V ) End k (V/W )

(January 14, 2009) End k (V ) End k (V/W ) (January 14, 29) [16.1] Let p be the smallest prime dividing the order of a finite group G. Show that a subgroup H of G of index p is necessarily normal. Let G act on cosets gh of H by left multiplication.

More information

ALGEBRA HW 5 CLAY SHONKWILER

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

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

Since [L : K(α)] < [L : K] we know from the inductive assumption that [L : K(α)] s < [L : K(α)]. It follows now from Lemma 6.

Since [L : K(α)] < [L : K] we know from the inductive assumption that [L : K(α)] s < [L : K(α)]. It follows now from Lemma 6. Theorem 7.1. Let L K be a finite extension. Then a)[l : K] [L : K] s b) the extension L K is separable iff [L : K] = [L : K] s. Proof. Let M be a normal closure of L : K. Consider first the case when L

More information

50. Splitting Fields. 50. Splitting Fields 165

50. Splitting Fields. 50. Splitting Fields 165 50. Splitting Fields 165 1. We should note that Q(x) is an algebraic closure of Q(x). We know that is transcendental over Q. Therefore, p must be transcendental over Q, for if it were algebraic, then (

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

NOTES ON LINEAR TRANSFORMATIONS

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

THE AVERAGE DEGREE OF AN IRREDUCIBLE CHARACTER OF A FINITE GROUP

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

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

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

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

EVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA

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.

More information

4.1 Modules, Homomorphisms, and Exact Sequences

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,

More information

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

The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14 4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with

More information

Chapter 7: Products and quotients

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

More information

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

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

More information

Elements of Abstract Group Theory

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

More information

H/wk 13, Solutions to selected problems

H/wk 13, Solutions to selected problems H/wk 13, Solutions to selected problems Ch. 4.1, Problem 5 (a) Find the number of roots of x x in Z 4, Z Z, any integral domain, Z 6. (b) Find a commutative ring in which x x has infinitely many roots.

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

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

Factoring polynomials over finite fields

Factoring polynomials over finite fields Factoring polynomials over finite fields Summary and et questions 12 octobre 2011 1 Finite fields Let p an odd prime and let F p = Z/pZ the (unique up to automorphism) field with p-elements. We want to

More information

EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION

EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication.

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

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

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

More information

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

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,

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

Effective homotopy of the fiber of a Kan fibration

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

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

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

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

Fiber bundles and non-abelian cohomology

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

More information

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and non-singular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.

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

A Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field.

A Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field. A Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field Jean-Pierre Serre Let k be a field. Let Cr(k) be the Cremona group of rank 2 over k,

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

OSTROWSKI FOR NUMBER FIELDS

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

More information

GROUP ACTIONS ON SETS WITH APPLICATIONS TO FINITE GROUPS

GROUP ACTIONS ON SETS WITH APPLICATIONS TO FINITE GROUPS GROUP ACTIONS ON SETS WITH APPLICATIONS TO FINITE GROUPS NOTES OF LECTURES GIVEN AT THE UNIVERSITY OF MYSORE ON 29 JULY, 01 AUG, 02 AUG, 2012 K. N. RAGHAVAN Abstract. The notion of the action of a group

More information

Math 504, Fall 2013 HW 3

Math 504, Fall 2013 HW 3 Math 504, Fall 013 HW 3 1. Let F = F (x) be the field of rational functions over the field of order. Show that the extension K = F(x 1/6 ) of F is equal to F( x, x 1/3 ). Show that F(x 1/3 ) is separable

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

Applying this to X = A n K it follows that Cl(U) = 0. So we get an exact sequence

Applying this to X = A n K it follows that Cl(U) = 0. So we get an exact sequence 3. Divisors on toric varieties We start with computing the class group of a toric variety. Recall that the class group is the group of Weil divisors modulo linear equivalence. We denote the class group

More information

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

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

More information

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

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

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

First and raw version 0.1 23. september 2013 klokken 13:45

First and raw version 0.1 23. september 2013 klokken 13:45 The discriminant First and raw version 0.1 23. september 2013 klokken 13:45 One of the most significant invariant of an algebraic number field is the discriminant. One is tempted to say, apart from the

More information

On The Existence Of Flips

On The Existence Of Flips On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry

More information

GROUPS ACTING ON A SET

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

More information

The van Hoeij Algorithm for Factoring Polynomials

The van Hoeij Algorithm for Factoring Polynomials The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial

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

The Euler class group of a polynomial algebra

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

More information