The mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville
|
|
- Alexina Melton
- 5 years ago
- Views:
Transcription
1 p. 1/1 The mod-2 cohomology of the finite Coxeter groups James A. Swenson swensonj/ University of Wisconsin Platteville
2 p. 2/1 Thank you! Thanks for spending this half-hour here I hope you have fun!
3 p. 3/1 Coxeter Groups Theorem 1 ([Cox35]). The finite Coxeter groups are precisely the finite groups of reflections and rotations in Euclidean space. Every Coxeter group is a direct sum of irreducible Coxeter groups, and these have been classified.
4 p. 3/1 Coxeter Groups Theorem 1 ([Cox35]). The finite Coxeter groups are precisely the finite groups of reflections and rotations in Euclidean space. Every Coxeter group is a direct sum of irreducible Coxeter groups, and these have been classified. In this talk, every Coxeter group is finite.
5 p. 3/1 Coxeter Groups Theorem 1 ([Cox35]). The finite Coxeter groups are precisely the finite groups of reflections and rotations in Euclidean space. Every Coxeter group is a direct sum of irreducible Coxeter groups, and these have been classified. In this talk, every Coxeter group is finite. Some examples: Symmetric groups, dihedral groups, groups of symmetries of regular polyhedra...
6 p. 4/1 Group Cohomology Definition. Let G be a discrete group and BG an Eilenberg-Mac Lane space of type K(G, 1). The mod-2 cohomology of G, denoted by H (G), is the cohomology ring H (BG; F 2 ).
7 p. 5/1 First Examples Example. H (Z 2 ) = H (BZ 2, F 2 ) = H (RP, F 2 ) = F 2 [X].
8 First Examples Example. H (Z 2 ) = H (BZ 2, F 2 ) = H (RP, F 2 ) = F 2 [X]. Example. Let Dih(8) denote the dihedral group with eight elements. We will show (Theorem 16) that H (Dih(8)) = F 2 [X 1,Y 1,Z 2 ]/(X 1 Y 1 ). Here, generators are indexed by degree; e.g., Z 2 H 2 (Dih(8)). p. 5/1
9 p. 6/1 What is H (G) like? Theorem 2 (cf. [Bro82], I.4.2). H (G) = Ext F 2 G(F 2, F 2 ). In particular, H q (G) = { F 2 (q = 0), 0 (q < 0).
10 p. 6/1 What is H (G) like? Theorem 2 (cf. [Bro82], I.4.2). H (G) = Ext F 2 G(F 2, F 2 ). In particular, H q (G) = { F 2 (q = 0), 0 (q < 0). Corollary 3. H is a contravariant functor from the category of groups to the category of graded F 2 -algebras.
11 p. 7/1 In principle, H (G) can be computed Theorem 4 ([Eve61]). H (G) is finitely generated as an F 2 -algebra.
12 p. 7/1 In principle, H (G) can be computed Theorem 4 ([Eve61]). H (G) is finitely generated as an F 2 -algebra. Proposition 5 (e.g. [Bro82], III.10.1). If n > 0, then G H n (G) = 0.
13 p. 7/1 In principle, H (G) can be computed Theorem 4 ([Eve61]). H (G) is finitely generated as an F 2 -algebra. Proposition 5 (e.g. [Bro82], III.10.1). If n > 0, then G H n (G) = 0. Corollary 6. If G is odd, then H (G) = F 2 (concentrated in degree zero).
14 p. 8/1 Computing H (G) Theorem 7 (Künneth). H (G G ) = H (G) H (G ).
15 p. 8/1 Computing H (G) Theorem 7 (Künneth). H (G G ) = H (G) H (G ). Example (e.g. [Hat02], 3.17). H ((Z 2 ) d ) = F 2 [X 1,...,X d ]. (These generators are all of degree one).
16 p. 8/1 Computing H (G) Theorem 7 (Künneth). H (G G ) = H (G) H (G ). Example (e.g. [Hat02], 3.17). H ((Z 2 ) d ) = F 2 [X 1,...,X d ]. (These generators are all of degree one). Corollary 8. If G is odd, then H (G G ) = H (G).
17 p. 9/1 A computational method Proposition 9 (e.g. [Nak61], 1.3). If f Inn(G), then H (f) is the identity.
18 p. 9/1 A computational method Proposition 9 (e.g. [Nak61], 1.3). If f Inn(G), then H (f) is the identity. Definition ([Qui71]). The Quillen category of G is denoted C(G). Its objects are the elementary abelian 2-subgroups of G. The morphisms are generated by inclusions and inner automorphisms of G.
19 p. 9/1 A computational method Proposition 9 (e.g. [Nak61], 1.3). If f Inn(G), then H (f) is the identity. Definition ([Qui71]). The Quillen map q G is the map which makes the following diagram commute for every A: H (G) q G lim A C(G) H (A) H (A)
20 p. 10/1 The Quillen map Theorem 10 ([Qui71]). The kernel and cokernel of the Quillen map are nilpotent.
21 p. 10/1 The Quillen map Theorem 10 ([Qui71]). The kernel and cokernel of the Quillen map are nilpotent. Theorem 11 ([FL]). If G is a finite Coxeter group, then the Quillen map is an isomorphism: H (G) = lim A C(G) H (A).
22 p. 11/1 Naming the cohomology classes Corollary 12. If G is a finite Coxeter group, then a class f H (G) is equivalent to a coherent family i.e., one for which {f A H (A) : A C(G)} (f A ) A B = f B and (c g ) (f A ) = f (g A), where g G and c g : g A A sends x g 1 xg.
23 p. 12/1 f A is stable (c g ) (f A ) = f (g A) (f A ) A B = f B. Proposition 13 ([CE99], 9.3). For each A, f A is stable i.e., the following diagram commutes: H (A) c g H ( g A) H (A g A)
24 p. 12/1 f A is stable (c g ) (f A ) = f (g A) (f A ) A B = f B. Corollary 15. For each A, f A H (A) N G(A)/A.
25 p. 13/1 Computations using Quillen s Theorem Find the maximal A C(G) up to conjugacy.
26 p. 13/1 Computations using Quillen s Theorem Find the maximal A C(G) up to conjugacy. Compute the action of N G (A)/A on H 1 (A).
27 p. 13/1 Computations using Quillen s Theorem Find the maximal A C(G) up to conjugacy. Compute the action of N G (A)/A on H 1 (A). Find the invariant ring H (A) N G(A).
28 p. 13/1 Computations using Quillen s Theorem Find the maximal A C(G) up to conjugacy. Compute the action of N G (A)/A on H 1 (A). Find the invariant ring H (A) N G(A). See which invariants are stable.
29 p. 13/1 Computations using Quillen s Theorem Find the maximal A C(G) up to conjugacy. Compute the action of N G (A)/A on H 1 (A). Find the invariant ring H (A) N G(A). See which invariants are stable. Find a lot of coherent families of stable elements.
30 p. 13/1 Computations using Quillen s Theorem Find the maximal A C(G) up to conjugacy. Compute the action of N G (A)/A on H 1 (A). Find the invariant ring H (A) N G(A). See which invariants are stable. Find a lot of coherent families of stable elements. Prove that an arbitrary coherent family can be generated by the chosen families.
31 p. 13/1 Computations using Quillen s Theorem Find the maximal A C(G) up to conjugacy. Compute the action of N G (A)/A on H 1 (A). Find the invariant ring H (A) N G(A). See which invariants are stable. Find a lot of coherent families of stable elements. Prove that an arbitrary coherent family can be generated by the chosen families. Find the relation ideal.
32 p. 14/1 Example: Dih(2m) Theorem 16. If G = Dih(2m), then F 2 [X 1 ] m odd, H (G) = F 2 [X 1,Y 1 ] m 2 (mod 4), F 2 [X 1,Y 1,Z 2 ]/(X 1 Y 1 ) 4 m. Proof: Unless 4 m, all maximal elementary 2-subgroups are conjugate. If A is a representative, then H (G) = H (A).
33 p. 15/1 H (Dih(2m)), 4 m Proof (cont.): Let 4 m. Let {A 1,A 2 } represent the two conjugacy classes of maximal elementary abelian 2-subgroups. We have N G (A i ) = Dih(8).
34 p. 15/1 H (Dih(2m)), 4 m Proof (cont.): If f Ai is stable, then f Ai H (A i ) N G(A i )/A i = F 2 [u,v] Σ 2 = F 2 [e 1,e 2 ] where e k denotes the k th elementary symmetric function. Every element of F 2 [e 1,e 2 ] is stable. Denoting each coherent family by the pair (f A1,f A2 ), fix {X 1 = (e 1, 0),Y 1 = (0,e 1 ),Z 2 = (e 2,e 2 )}.
35 p. 16/1 Example: H (E 6 ) Consider the group E 6, whose Coxeter graph is:
36 p. 16/1 Example: H (E 6 ) Theorem 17. If G = E 6, then H (G) is isomorphic to F 2 [X 1,X 2,X 3,X 3,X 4,X 5 ] (R 2,R 3,X 3 R 1,R 4,X 5 R 1,X 1 R 5,X 3 R 5) where the generators are indexed by their degrees, and the relations have degrees [6, 8, 9, 10, 11, 11, 13] respectively.
37 p. 17/1 Future questions H (E 8 ) and its relationship to other H (G)
38 p. 17/1 Future questions H (E 8 ) and its relationship to other H (G) Compare other detecting families of subgroups
39 p. 17/1 Future questions H (E 8 ) and its relationship to other H (G) Compare other detecting families of subgroups Stable splittings of BG
40 p. 17/1 Future questions H (E 8 ) and its relationship to other H (G) Compare other detecting families of subgroups Stable splittings of BG Invariant theory and commutative algebra
41 p. 17/1 Future questions H (E 8 ) and its relationship to other H (G) Compare other detecting families of subgroups Stable splittings of BG Invariant theory and commutative algebra Group cohomology and commutative algebra
42 p. 17/1 Future questions H (E 8 ) and its relationship to other H (G) Compare other detecting families of subgroups Stable splittings of BG Invariant theory and commutative algebra Group cohomology and commutative algebra...
43 p. 18/1 Works cited [Bro82] Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, [CE99] Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, With an appendix by David A. Buchsbaum, Reprint of the 1956 original. MR MR (2000h:18022) [Cox35] H. S. M. Coxeter, The complete enumeration of finite groups r 2 i = (r ir j ) k ij, J. London Math. Soc. 10 (1935), [Eve61] Leonard Evens, The cohomology ring of a finite group, Trans. Amer. Math. Soc. 101 (1961), MR MR (25 #1191) [FL] Mark Feshbach and Jean Lannes, Personal communication. [Hat02] Allen Hatcher, Algebraic topology, Cambridge University Press, [Nak61] Minoru Nakaoka, Homology of the infinite symmetric group, Ann. of Math. (2) 73 (1961), [Qui71] Daniel Quillen, The spectrum of an equivariant cohomology ring I, Ann. of Math. (2) 94 (1971), MR MR (45 #7743)
Quantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationCohomology operations and the Steenrod algebra
Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationRealization problems in algebraic topology
Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationWilliam G. Dwyer Clarence W. Wilkerson
Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
More informationReflection Groups and Invariant Theory
Richard Kane Reflection Groups and Invariant Theory Springer Introduction 1 Reflection groups 5 1 Euclidean reflection groups 6 1-1 Reflections and reflection groups 6 1-2 Groups of symmetries in the plane
More informationApplications of geometry to modular representation theory. Julia Pevtsova University of Washington, Seattle
Applications of geometry to modular representation theory Julia Pevtsova University of Washington, Seattle October 25, 2014 G - finite group, k - field. Study Representation theory of G over the field
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More information38 CHAPTER 2. COMPUTATIONAL METHODS. f n. n 1. X n 1. g n. X n
38 CHAPTER 2. COMPUTATIONAL METHODS 15 CW-complexes II We have a few more general things to say about CW complexes. Suppose X is a CW complex, with skeleton filtration = X 1 X 0 X 1 X and cell structure
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationThe Homotopic Uniqueness of BS 3
The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationThe Steenrod algebra
The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationCohomology of higher rank graphs, an interim report.
Cohomology of higher rank graphs, an interim report. Alex Kumjian 1, David Pask 2, Aidan Sims 2 1 University of Nevada, Reno 2 University of Wollongong GPOTS, Arizona State University Tempe, May 2011 Introduction
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationAn Axiomatic Description of a Duality for Modules
advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany
More informationOdds and ends on equivariant cohomology and traces
Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.
More informationON SOME EXAMPLES OF GROUP ACTIONS AND GROUP EXTENSIONS
ON SOME EXAMPLES OF GROUP ACTIONS AND GROUP EXTENSIONS Alejandro Adem* and Ergün Yalçın Department of Mathematics University of Wisconsin Madison, WI 53706 USA 0 Introduction It is well-known that finite
More informationPreprint Preprint Preprint Preprint
CADERNOS DE MATEMÁTICA 13, 69 81 May (2012) ARTIGO NÚMERO SMA# 362 (H, G)-Coincidence theorems for manifolds Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS
ON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS OLGA VARGHESE Abstract. Graph products and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then
More informationLie algebra cohomology
Lie algebra cohomology November 16, 2018 1 History Citing [1]: In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the
More information38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form
38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional
More informationPeriodic Cyclic Cohomology of Group Rings
Periodic Cyclic Cohomology of Group Rings Alejandro Adem (1) and Max Karoubi Department of Mathematics University of Wisconsin Madison WI 53706 Let G be a discrete group and R any commutative ring. According
More informationORDINARY i?o(g)-graded COHOMOLOGY
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 4, Number 2, March 1981 ORDINARY i?o(g)-graded COHOMOLOGY BY G. LEWIS, J. P. MAY, AND J. McCLURE Let G be a compact Lie group. What is
More information1.1 Definition of group cohomology
1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to
More informationRecent Developments in the Cohomology of Finite Groups
Recent Developments in the Cohomology of Finite Groups Alejandro Adem In this expository paper we describe some recent work in the cohomology of finite groups. In particular, we discuss techniques for
More informationarxiv:math/ v2 [math.ac] 25 Sep 2006
arxiv:math/0607315v2 [math.ac] 25 Sep 2006 ON THE NUMBER OF INDECOMPOSABLE TOTALLY REFLEXIVE MODULES RYO TAKAHASHI Abstract. In this note, it is proved that over a commutative noetherian henselian non-gorenstein
More informationFiber bundles and characteristic classes
Fiber bundles and characteristic classes Bruno Stonek bruno@stonek.com August 30, 2015 Abstract This is a very quick introduction to the theory of fiber bundles and characteristic classes, with an emphasis
More informationThe Dyer-Lashof Algebra in Bordism (June To Appear, C.R.Math.Rep.Acad.Sci.Canada)
The Dyer-Lashof Algebra in Bordism (June 1995. To Appear, C.R.Math.Rep.Acad.Sci.Canada) Terrence Bisson bisson@canisius.edu André Joyal joyal@math.uqam.ca We present a theory of Dyer-Lashof operations
More informationPERIODS OF PRINCIPAL HOMOGENEOUS SPACES OF ALGEBRAIC TORI
PERIODS OF PRINCIPAL HOMOGENEOUS SPACES OF ALGEBRAIC TORI A. S. MERKURJEV Abstract. A generic torsor of an algebraic torus S over a field F is the generic fiber of a S-torsor P T, where P is a quasi-trivial
More informationRELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY
RELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY SEMRA PAMUK AND ERGÜN YALÇIN Abstract. Let G be a finite group and F be a family of subgroups of G closed under conjugation and taking subgroups. We consider
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationCentralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups
International Journal of Algebra, Vol. 3, 2009, no. 10, 465-473 Centralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups Anton Kaul Mathematics Department, California Polytecnic
More informationGeometric Realization and K-Theoretic Decomposition of C*-Algebras
Wayne State University Mathematics Faculty Research Publications Mathematics 5-1-2001 Geometric Realization and K-Theoretic Decomposition of C*-Algebras Claude Schochet Wayne State University, clsmath@gmail.com
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More information3.20pt. Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring / 45
3.20pt Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring 2017 1 / 45 Commutative Algebra of Equivariant Cohomology Rings Mark Blumstein Spring 2017 Mark Blumstein Commutative Algebra
More informationFIXED POINT SETS AND LEFSCHETZ MODULES. John Maginnis and Silvia Onofrei Department of Mathematics, Kansas State University
AMS Sectional Meeting Middle Tennessee State University, Murfreesboro, TN 3-4 November 2007 FIXED POINT SETS AND LEFSCHETZ MODULES John Maginnis and Silvia Onofrei Department of Mathematics, Kansas State
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 For a Lie group G, we are looking for a right principal G-bundle EG BG,
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationA CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY. 1. Introduction
A CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY NATHANIEL STAPLETON Abstract. We prove that the pth Hecke operator on the Morava E-cohomology of a space is congruent to the Frobenius mod p. This is a
More informationsset(x, Y ) n = sset(x [n], Y ).
1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationSome topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller
Some topological reflections of the work of Michel André Lausanne, May 12, 2011 Haynes Miller 1954: Albrecht Dold and Dieter Puppe: To form derived functors of non-additive functors, one can t use chain
More informationFINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE
FINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE COSTANTINO DELIZIA, PRIMOŽ MORAVEC, AND CHIARA NICOTERA Abstract. Finite groups in which a given property of two-generator
More informationFOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO
FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO SEJONG PARK Abstract. For each finite p-group P, Glauberman [8] defined characteristic subgroup K (P ) and K (P ) of P and showed that, under
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationON AXIOMATIC HOMOLOGY THEORY
ON AXIOMATIC HOMOLOGY THEORY J. MlLNOR A homology theory will be called additive if the homology group of any topological sum of spaces is equal to the direct sum of the homology groups of the individual
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationTHE CLASSIFICATION OF EXTENSIONS OF C*-ALGEBRAS
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 4, Number 1, 1981 THE CLASSIFICATION OF EXTENSIONS OF C*-ALGEBRAS BY JONATHAN ROSENBERG 1 AND CLAUDE SCHOCHET 1 1. G. G. Kasparov [9] recently
More informationVANISHING HOMOLOGY OVER NILPOTENT GROUPS i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 49, Number 1, M*y 1975 VANISHING HOMOLOGY OVER NILPOTENT GROUPS i WILLIAM G. DWYER ABSTRACT. Let rr be a nilpotent group and let M be a 77-module.
More informationRAPHAËL ROUQUIER. k( )
GLUING p-permutation MODULES 1. Introduction We give a local construction of the stable category of p-permutation modules : a p- permutation kg-module gives rise, via the Brauer functor, to a family of
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationHalf the sum of positive roots, the Coxeter element, and a theorem of Kostant
DOI 10.1515/forum-2014-0052 Forum Math. 2014; aop Research Article Dipendra Prasad Half the sum of positive roots, the Coxeter element, and a theorem of Kostant Abstract: Interchanging the character and
More informationMaximal finite subgroups of Sp(2n, Q)
Maximal finite subgroups of Sp(2n, Q) Markus Kirschmer RWTH Aachen University Groups, Rings and Group-Rings July 12, 2011 Goal Characterization Goal: Classify all conjugacy classes of maximal finite symplectic
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationCOARSENINGS, INJECTIVES AND HOM FUNCTORS
COARSENINGS, INJECTIVES AND HOM FUNCTORS FRED ROHRER It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded
More informationHomological Decision Problems for Finitely Generated Groups with Solvable Word Problem
Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationRelative rational K-theory and cyclic homology
Relative rational K-theory and cyclic homology Introduction Topologicial K-theory was the first example of an extra-ordinary cohomology theory and furthermore right from the beginning it was extra-ordinary
More informationCOMPLEX COBORDISM THEORY FOR NUMBER THEORISTS. Douglas C. Ravenel Department of Mathematics University of Washington Seattle, WA 98195
COMPLEX COBORDISM THEORY FOR NUMBER THEORISTS Douglas C. Ravenel Department of Mathematics University of Washington Seattle, WA 98195 1. Elliptic cohomology theory The purpose of this paper is to give
More informationTHE GENERALIZED HOMOLOGY OF PRODUCTS
THE GENERALIZED HOMOLOGY OF PRODUCTS MARK HOVEY Abstract. We construct a spectral sequence that computes the generalized homology E ( Q X ) of a product of spectra. The E 2 -term of this spectral sequence
More informationOn conjugacy classes of the Klein simple group in Cremona group
Loughborough University Institutional Repository On conjugacy classes of the Klein simple group in Cremona group This item was submitted to Loughborough University's Institutional Repository by the/an
More informationAPPLICATIONS OF LOCAL COHOMOLOGY
APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationTilting exotic sheaves, parity sheaves on affine Grassmannians, and the Mirković Vilonen conjecture
Tilting exotic sheaves, parity sheaves on affine Grassmannians, and the Mirković Vilonen conjecture (joint work with C. Mautner) Simon Riche CNRS Université Blaise Pascal (Clermont-Ferrand 2) Feb. 17th,
More information48 CHAPTER 2. COMPUTATIONAL METHODS
48 CHAPTER 2. COMPUTATIONAL METHODS You get a much simpler result: Away from 2, even projective spaces look like points, and odd projective spaces look like spheres! I d like to generalize this process
More informationOn the Moduli Space of Klein Four Covers of the Projective Line
On the Moduli Space of Klein Four Covers of the Projective Line D. Glass, R. Pries a Darren Glass Department of Mathematics Columbia University New York, NY 10027 glass@math.columbia.edu Rachel Pries Department
More informationSPLITTING TOWER AND DEGREE OF TT-RINGS. Introduction
SPLITTING TOWER AND DEGREE OF TT-RINGS PAUL BALMER Abstract. After constructing a splitting tower for separable commutative ring objects in tensor-triangulated categories, we define and study their degree.
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationA classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger
Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,
More informationMODEL STRUCTURES ON MODULES OVER DING-CHEN RINGS
Homology, Homotopy and Applications, vol. 12(1), 2010, pp.61 73 MODEL STRUCTURES ON MODULES OVER DING-CHEN RINGS JAMES GILLESPIE (communicated by J. Daniel Christensen) Abstract An n-fc ring is a left
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More information132 C. L. Schochet with exact rows in some abelian category. 2 asserts that there is a morphism :Ker( )! Cok( ) The Snake Lemma (cf. [Mac, page5]) whi
New York Journal of Mathematics New York J. Math. 5 (1999) 131{137. The Topological Snake Lemma and Corona Algebras C. L. Schochet Abstract. We establish versions of the Snake Lemma from homological algebra
More informationThe 3-local cohomology of the Mathieu group M 24
The 3-local cohomology of the Mathieu group M 24 David John Green Institut für Experimentelle Mathematik Universität GHS Essen Ellernstraße 29 D 45326 Essen Germany Email: david@exp-math.uni-essen.de 11
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationRELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES
RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension
More informationDERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION
DERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION HIROTAKA KOGA Abstract. In this note, we introduce the notion of complexes of finite Gorenstein projective dimension and show that a derived equivalence
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationCommutative algebra and representations of finite groups
Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation
More informationProjective resolutions of representations of GL(n)
Projective resolutions of representations of GL(n) Burt Totaro The representations of the algebraic group GL(n) are well understood over a field of characteristic 0, but they are much more complicated
More information