COHOMOLOGY OF GROUPS


 Darcy Preston
 2 years ago
 Views:
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 Aftheory consisting of a definition of ATgroups 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 finitelygenerated, 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 pgroup ([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 AtiyahSegal to prove the completion theorem in equivariant ^theory and first generalizes it to Gspaces, which for the sake of simplicity I suppose to be smooth compact Gmanifolds 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 finitelygenerated 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 pth 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 orderreversing 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 oneone 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 nonzero 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 fcschemes. Identifying a fcscheme 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 Gaction (Grothendieck, réédition of SGAA). If X is a fcscheme endowed with a Gaction, 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 Gscheme 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 Xtheory 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 3cells 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 ATtheory. 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 finitelygenerated projective ^4modules. Also K(X \A) is naturally a Xring 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 extensionofscalars homomorphism induces an isomorphism Gal (*/*,) K 2i _ x (k,) ~ K 2i _,(k) l/l> in terms of which the restrictionofscalars 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 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 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 informationChapter 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 informationIRREDUCIBLE 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 informationEXERCISES 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 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 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 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 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 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 informationBABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS
BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEYABRAHAMSON Abstract. These are notes for a talk in the MITNortheastern Spring 2015 Geometric Representation Theory Seminar. The main source
More informationOn 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 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 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 informationON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2COVERABLE 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 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 informationGROUP 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 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 informationSOME 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 rth
More informationGROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS
GROUPS WITH TWO EXTREME CHARACTER DEGREES AND THEIR NORMAL SUBGROUPS GUSTAVO A. FERNÁNDEZALCOBER AND ALEXANDER MORETÓ Abstract. We study the finite groups G for which the set cd(g) of irreducible complex
More informationG = 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 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 informationLectures 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 informationThe 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 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 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 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 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 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 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 informationProof. 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 informationGalois 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 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 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 informationGROUP 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 informationALGORITHMS 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 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 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 informationA 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 quasicompact and separated. 1.1 Theorem.
More informationChapter 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 informationI. 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 informationSmith 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 information7. 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 informationPrime 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 informationIdeal 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 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 informationON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath
International Electronic Journal of Algebra Volume 7 (2010) 140151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December
More informationAlgebraic 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 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 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 information(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 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 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 informationSince [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 information50. 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 informationCHAPTER 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 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 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 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 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 informationRevision 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 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 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 determinant of a skewsymmetric 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 informationChapter 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 informationA 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 informationElements 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 informationH/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 informationMath 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 information3. 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 informationFactoring 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 pelements. We want to
More informationEMBEDDING 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 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 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 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 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 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 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 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 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 informationFiber bundles and nonabelian cohomology
Fiber bundles and nonabelian 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 informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and nonsingular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.
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 informationA Minkowskistyle bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field.
A Minkowskistyle bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field JeanPierre Serre Let k be a field. Let Cr(k) be the Cremona group of rank 2 over k,
More informationSMALL 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 informationOSTROWSKI 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 padic absolute values for
More informationGROUP 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 informationMath 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 informationLecture 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 informationApplying 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 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 informationA 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 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 informationIntroduction 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 informationFirst 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 informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alggeom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationGROUPS 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 informationThe 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 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 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 information