Burnside rings and fusion systems

Size: px
Start display at page:

Download "Burnside rings and fusion systems"

Transcription

1 university of copenhagen Burnside rings and fusion systems Sune Precht Reeh Centre for Symmetry and Deformation Department of Mathematical Sciences UC Santa Cruz, May 21, 2014 Slide 1/16

2 The Burnside ring of a finite group Let G be a finite group. The isomorphism classes of finite G-sets form an abelian monoid with disjoint union as addition. The Grothendieck group of this monoid is the Burnside ring of G, denoted A(G). The multiplication in A(G) is given by Cartesian products. We call the elements of A(G) virtual G-sets. Every finite G is the disjoint union of its orbits, hence the transitive G-sets [G/H] for H G form an additive basis for A(G). The basis element [G/H] only depends on H up to conjugation in G. Slide 2/16

3 For each finite G-set X and any subgroup H G, we can count the number of fixed points X H. Taking fixed points respects the structure of A(G): (X Y ) H = X H + Y H and (X Y ) H = X H Y H, so the fixed point maps X X H extend to ring homomorphisms A(G) Z. X H only depends on H up to G-conjugation, and the collection of numbers X H for H G determines X A(G) uniquely. Slide 3/16

4 Fusion systems A fusion system over a finite p-group S is a category F where the objects are the subgroups P S and the morphisms satisfy: Hom S (P, Q) F(P, Q) Inj(P, Q) for all P, Q S. Every ϕ F(P, Q) factors in F as an isomorphism P ϕp followed by an inclusion ϕp Q. A saturated fusion system satisfies a few additional axioms that play the role of Sylow s theorems. The canonical example of a saturated fusion system is F S (G) defined for S Syl p (G) with morphisms for P, Q S. Hom FS (G)(P, Q) := Hom G (P, Q). Slide 4/16

5 The Burnside ring of a fusion system If S is a subgroup of G, we can turn any G-set X into an S-set by restricting the G-action to S. The S-set X still remembers some of the G-sction, for instance the fixed points X P only depend on P S up to G-conjugation. In general, let F be a saturated fusion system over S. A finite S-set X (or an element of A(S)) is said to be F-stable if X Q = X P whenever Q, P are isomorphic/conjugate in F. Slide 5/16

6 The Burnside ring of a fusion system Theorem (R.) The isomorphism classes of F-stable finite S-sets form a free abelian monoid. The irreducible stable sets are in 1-to-1 correspondence with the subgroups of S up to F-conjugation. The Grothendieck group of this monoid is the Burnside ring of F, denoted A(F), and is a subring of A(S). Slide 6/16

7 A transfer map Theorem (R.) Let F be a saturated fusion system over a finite p-group S. Then there is a transfer map tr F S : A(S) (p) A(F) (p) satisfying tr F S (X) Q = 1 #{Q F Q} Q F Q X Q for all X A(S) (p) and Q S. Furthermore, π is a homomorphism of A(F) (p) -modules and restricts to the identity on A(F) (p). Slide 7/16

8 The p-local basis By applying tr F S to each transitive S-set [S/P ], we get an alternative Z (p) -basis for A(F) (p) consisting of β P := tr F S ([S/P ]) which only depends on P S up to F-conjugation. In the case where G has S as a Sylow p-subgroup and F = F S (G), the sets [G/P ] for P S also form a basis for A(F) (p). However this basis depends on more than just F. Proposition (R.) When S is a Sylow p-subgroup of G, [G/S] is invertible in A(F) (p). The G-basis and the β-basis are furthermore related by β P = [G/P ] [G/S] for all P S. Slide 8/16

9 Bisets The Burnside biset module A(S, T ) is additively constructed like a Burnside ring, but from sets that have both a right S-action and a free left T -action that commute. The composition A(T, R) A(S, T ) A(S, R) is defined by Y X := Y T X. A(S, S) is the double Burnside ring of S. We are particularly interested in (virtual) (S, S)-bisets where all stabilizers have the form of twisted diagonals (P, ϕ) = {(ϕ(x), x) x P } S S for some P S and ϕ F(P, S). For each twisted diagonal, we denote the transitive biset [S S/ (P, ϕ)] by [P, ϕ]. Slide 9/16

10 The characteristic idempotent If G induces a fusion system on S, we can ask what properties G has as an (S, S)-biset in relation to F S (G). Linckelmann-Webb wrote down the essential properties as the following definition: An element Ω A(S, S) (p) is said to be F-characteristic if Ω is F-stable with respect to both S-actions, every stabilizer of Ω has the form (P, ϕ) = {(ϕ(x), x) x P } for some ϕ F(P, S), Ω / S is invertible in Z (p). Theorem (Ragnarsson-Stancu) Every saturated fusion system F has a unique F-characteristic idempotent ω F A(S, S) (p), and ω F determines F. Slide 10/16

11 The transfer map for fusion systems, when applied to the product fusion system F F, gives a new construction for ω F : Theorem (R.) Let F be a saturated fusion system. The element β (S,id) A(S, S) (p) for F F is F-characteristic and idempotent. Hence ω F = β (S,id). As an immediate consequence we even get a formula for the fixed points of ω F : Theorem (Boltje-Danz, R.) We have (ω F ) (P,ϕ) = S F(P,S) for ϕ F(P, S), and (ω F ) D = 0 for all other subgroup D S S. Slide 11/16

12 Maps induced by virtual bisets Each (virtual) biset B A(S, S) (p) induces a map A(S) (p) A(S) (p) by X B X = B S X. For F = F S (G), the map induced by the (S, S)-biset G is res G S trg S : A(S) A(F), which sends [S/P ] to [G/P ]. Theorem (R.) The map A(S) (p) A(F) (p) induced by the characteristic idempotent ω F A(S, S) (p) coincides with the transfer map from earlier: (ω F X) Q = 1 #{Q F Q} Q F Q X Q. Slide 12/16

13 Embedding the Burnside ring in the biset ring In the double Burnside ring A(G, G) of a finite group G, the transitive bisets [G H G] = [H, id] for H G satisfy the same multiplication formulas as the G-sets G/H in A(G). Consequently, A(G) is isomorphic to the subring of A(G, G) generated by [H, id] for H G. For a saturated fusion system F we have A(F) and A(F, F) the ring of (F F)-stable virtual bisets. Is there a similar result for these rings? Slide 13/16

14 Recall: For a saturated fusion system F an element Ω A(S, S) (p) is F-characteristic if Ω is F-stable with respect to both S-actions, every stabilizer of Ω has the form (P, ϕ) := {(ϕ(x), x) x P } for some ϕ F(P, S), Ω / S is invertible in Z (p). Slide 14/16

15 Define: For a saturated fusion system F an element Ω A(S, S) (p) is F-semicharacteristic if Ω is F-stable with respect to both S-actions, every stabilizer of Ω has the form (P, ϕ) := {(ϕ(x), x) x P } for some ϕ F(P, S), Ω / S is invertible in Z (p). Let A semichar (F) be the subring of A(F, F) consisting of all semicharacteristic elements. Slide 14/16

16 The ring of semicharacteristic elements Theorem (R.) The ring of semicharacteristic elements A semichar (F) (p) is isomorphic to the Burnside ring A(F) (p) with the basiselement β (P,id) A semichar (F) (p) corresponding to β P A(F) (p). The isomorphism A semichar = (F) (p) A(F)(p) coincides with the map X X/S that quotients out the right S-action of a biset. Corollary The characteristic idempotent ω F A semichar (F) (p) is unique, since A(F) (p) only has idempotents 0 and 1. Slide 15/16

17 References [1] Robert Boltje and Susanne Danz, A ghost ring for the left-free double Burnside ring and an application to fusion systems, Adv. Math. 229 (2012), no. 3, MR [2] Kári Ragnarsson, Classifying spectra of saturated fusion systems, Algebr. Geom. Topol. 6 (2006), MR (2007f:55013) [3] Kári Ragnarsson and Radu Stancu, Saturated fusion systems as idempotents in the double Burnside ring, Geom. Topol. 17 (2013), no. 2, MR [4] Sune Precht Reeh, The abelian monoid of fusion-stable finite sets is free, 15 pp., preprint, available at arxiv: [5] Sune Precht Reeh, Transfer and characteristic idempotents for saturated fusion systems, 39 pp., preprint, available at arxiv: Slide 16/16

Saturated fusion systems as stable retracts of groups

Saturated fusion systems as stable retracts of groups Massachusetts Institute of Technology Department of Mathematics Saturated fusion systems as stable retracts of groups Sune Precht Reeh MIT Topology Seminar, September 28, 2015 Slide 1/24 Outline 1 Bisets

More information

arxiv: v2 [math.at] 28 Mar 2014

arxiv: v2 [math.at] 28 Mar 2014 ON THE BASIS OF THE BURNSIDE RING OF A FUSION SYSTEM MATTHEW GELVIN, SUNE PRECHT REEH, AND ERGÜN YALÇIN Abstract. We consider the Burnside ring A(F) of F-stable S-sets for a saturated fusion system F defined

More information

THE ABELIAN MONOID OF FUSION-STABLE FINITE SETS IS FREE

THE ABELIAN MONOID OF FUSION-STABLE FINITE SETS IS FREE THE ABELIAN MONOID OF FUSION-STABLE FINITE SETS IS FREE SUNE PRECHT REEH Abstract. We show that the abelian monoid of isomorphism classes of G-stable finite S-sets is free for a finite group G with Sylow

More information

REALIZING A FUSION SYSTEM BY A SINGLE FINITE GROUP

REALIZING A FUSION SYSTEM BY A SINGLE FINITE GROUP REALIZING A FUSION SYSTEM BY A SINGLE FINITE GROUP SEJONG PARK Abstract. We show that every saturated fusion system can be realized as a full subcategory of the fusion system of a finite group. The result

More information

arxiv: v2 [math.at] 13 Jun 2016

arxiv: v2 [math.at] 13 Jun 2016 REPRESENTATION RINGS FOR FUSION SYSTEMS AND DIMENSION FUNCTIONS SUNE PRECHT REEH AND ERGÜN YALÇIN arxiv:1603.08237v2 [math.at] 13 Jun 2016 Abstract. We define the representation ring of a saturated fusion

More information

In the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion.

In the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion. Definition 1 A map f : Y X between connected spaces is called a homotopy monomorphism at p if its homotopy fibre F is BZ/p-local for every choice of basepoint. In the special case where Y = BP is the classifying

More information

Burnside rings of fusion systems

Burnside rings of fusion systems F A C U L T Y O F S C I E N C E U N I V E R S I T Y O F C O P E N H A G E N Burnside rings of fusion systems Sune Precht Reeh Thesis for the Master degree in Mathematics Department of Mathematical Sciences,

More information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

arxiv: v3 [math.at] 21 Dec 2010

arxiv: v3 [math.at] 21 Dec 2010 SATURATED FUSION SYSTEMS AS IDEMPOTENTS IN THE DOUBLE BURNSIDE RING arxiv:0911.0085v3 [math.at] 21 Dec 2010 KÁRI RAGNARSSON AND RADU STANCU Abstract. We give a new, unexpected characterization of saturated

More information

The Ring of Monomial Representations

The Ring of Monomial Representations Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents

More information

FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO

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

MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP #

MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP # Communications in Algebra, 33: 3667 3677, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500243312 MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL

More information

A FORMULA FOR p-completion BY WAY OF THE SEGAL CONJECTURE

A FORMULA FOR p-completion BY WAY OF THE SEGAL CONJECTURE A FORMULA FOR -COMPLETION BY WAY OF THE SEGAL CONJECTURE SUNE PRECHT REEH, TOMER M. SCHLANK, AND NATHANIEL STAPLETON Abstract. The Segal conjecture describes stable mas between classifying saces in terms

More information

A Ghost Algebra of the Double Burnside Algebra in Characteristic Zero

A Ghost Algebra of the Double Burnside Algebra in Characteristic Zero A Ghost Algebra of the Double Burnside Algebra in Characteristic Zero Robert Boltje Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A. boltje@ucsc.edu Susanne Danz Department

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy

ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

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

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

The Ordinary RO(C 2 )-graded Cohomology of a Point

The Ordinary RO(C 2 )-graded Cohomology of a Point The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

Normal forms in combinatorial algebra

Normal forms in combinatorial algebra Alberto Gioia Normal forms in combinatorial algebra Master s thesis, defended on July 8, 2009 Thesis advisor: Hendrik Lenstra Mathematisch Instituut Universiteit Leiden ii Contents Introduction iv 1 Generators

More information

Bisets and associated functors

Bisets and associated functors Bisets and associated functors Recall that the letter R denotes a commutative and associative ring with unit, and G denotes a finite group. 1. Functors between categories of G-sets In view of Dress s definition

More information

Saturated fusion systems with parabolic families

Saturated fusion systems with parabolic families Saturated fusion systems with parabolic families Silvia Onofrei The Ohio State University AMS Fall Central Sectional Meeting, Saint Louis, Missouri, 19-21 October 2013 Basics on Fusion Systems A fusion

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

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

Etale cohomology of fields by Johan M. Commelin, December 5, 2013

Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in

More information

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.

More information

RAPHAËL ROUQUIER. k( )

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

Frobenius Green functors

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

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion

More information

Quasi-Hereditary Structure of Twisted Split Category Algebras Revisited

Quasi-Hereditary Structure of Twisted Split Category Algebras Revisited Quasi-Hereditary Structure of Twisted Split Category Algebras Revisited Robert Boltje Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A. boltje@ucsc.edu Susanne Danz Department

More information

On p-monomial Modules over Local Domains

On p-monomial Modules over Local Domains On p-monomial Modules over Local Domains Robert Boltje and Adam Glesser Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A. boltje@math.ucsc.edu and aglesser@math.ucsc.edu December

More information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

More information

Noetherian property of infinite EI categories

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

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

Kevin James. p-groups, Nilpotent groups and Solvable groups

Kevin James. p-groups, Nilpotent groups and Solvable groups p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a

More information

DISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY

DISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY DISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY Abstract. We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Odds and ends on equivariant cohomology and traces

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

Fusion Systems: Group theory, representation theory, and topology. David A. Craven

Fusion Systems: Group theory, representation theory, and topology. David A. Craven Fusion Systems: Group theory, representation theory, and topology David A. Craven Michaelmas Term, 2008 Contents Preface iii 1 Fusion in Finite Groups 1 1.1 Control of Fusion.................................

More information

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno 3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h

More information

Zeta Function of the Burnside Ring for Cyclic Groups

Zeta Function of the Burnside Ring for Cyclic Groups International Journal of Algebra, Vol. 5, 2011, no. 26, 1255-1266 Zeta Function of the Burnside Ring for Cyclic Groups David Villa-Hernandez Instituto de Matematicas, UNAM (Campus Morelia) Morelia, Michoacan,

More information

REPRESENTATION THEORY. WEEK 4

REPRESENTATION THEORY. WEEK 4 REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators

More information

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

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

INTRODUCTION TO FUSION SYSTEMS

INTRODUCTION TO FUSION SYSTEMS INTRODUCTION TO FUSION SYSTEMS SEJONG PARK Abstract. This is an expanded lecture note for a series of four talks given by the author for postgraduate students in University of Aberdeen, UK, in February

More information

0.1 Spec of a monoid

0.1 Spec of a monoid These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.

More information

Two subgroups and semi-direct products

Two subgroups and semi-direct products Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset

More information

Logarithmic geometry and rational curves

Logarithmic geometry and rational curves Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 24-28, 2015 Abramovich (Brown) Logarithmic geometry

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

More information

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

Quizzes for Math 401

Quizzes for Math 401 Quizzes for Math 401 QUIZ 1. a) Let a,b be integers such that λa+µb = 1 for some inetegrs λ,µ. Prove that gcd(a,b) = 1. b) Use Euclid s algorithm to compute gcd(803, 154) and find integers λ,µ such that

More information

Total 100

Total 100 Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4

More information

Name: Solutions - AI FINAL EXAM

Name: Solutions - AI FINAL EXAM 1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from

More information

ne varieties (continued)

ne varieties (continued) Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

More information

MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.

MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra. MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.

More information

43 Projective modules

43 Projective modules 43 Projective modules 43.1 Note. If F is a free R-module and P F is a submodule then P need not be free even if P is a direct summand of F. Take e.g. R = Z/6Z. Notice that Z/2Z and Z/3Z are Z/6Z-modules

More information

Topos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos

Topos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can

More information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO TO TENSOR PRODUCTS MATH 250B INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the

More information

Universal Properties

Universal Properties A categorical look at undergraduate algebra and topology Julia Goedecke Newnham College 24 February 2017, Archimedeans Julia Goedecke (Newnham) 24/02/2017 1 / 30 1 Maths is Abstraction : more abstraction

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

CHARACTERS OF FINITE GROUPS.

CHARACTERS OF FINITE GROUPS. CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.

More information

I216e Discrete Math (for Review)

I216e Discrete Math (for Review) I216e Discrete Math (for Review) Nov 22nd, 2017 To check your understanding. Proofs of do not appear in the exam. 1 Monoid Let (G, ) be a monoid. Proposition 1 Uniquness of Identity An idenity e is unique,

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

ALGEBRA QUALIFYING EXAM PROBLEMS

ALGEBRA QUALIFYING EXAM PROBLEMS ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General

More information

Essays on representations of p-adic groups. Smooth representations. π(d)v = ϕ(x)π(x) dx. π(d 1 )π(d 2 )v = ϕ 1 (x)π(x) dx ϕ 2 (y)π(y)v dy

Essays on representations of p-adic groups. Smooth representations. π(d)v = ϕ(x)π(x) dx. π(d 1 )π(d 2 )v = ϕ 1 (x)π(x) dx ϕ 2 (y)π(y)v dy 10:29 a.m. September 23, 2006 Essays on representations of p-adic groups Smooth representations Bill Casselman University of British Columbia cass@math.ubc.ca In this chapter I ll define admissible representations

More information

Group Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:

Group Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: Group Actions 8-26-202 Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: (a) θ(g,θ(g 2,x)) = θ(g g 2,x) for all g,g 2 G and x X. (b) θ(,x) =

More information

Birational geometry and deformations of nilpotent orbits

Birational geometry and deformations of nilpotent orbits arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit

More information

Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

More information

arxiv:math/ v1 [math.at] 6 Oct 2004

arxiv:math/ v1 [math.at] 6 Oct 2004 arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.

More information

NOTES ON CHAIN COMPLEXES

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

Hungry, Hungry Homology

Hungry, Hungry Homology September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of

More information

Zeta Functions of Burnside Rings for Symmetric and Alternating Groups

Zeta Functions of Burnside Rings for Symmetric and Alternating Groups International Journal of Algebra, Vol. 6, 2012, no. 25, 1207-1220 Zeta Functions of Burnside Rings for Symmetric and Alternating Groups David Villa-Hernández Benemérita Universidad Autónoma de Puebla Facultad

More information

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March. SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set

More information

5 Structure of 2-transitive groups

5 Structure of 2-transitive groups Structure of 2-transitive groups 25 5 Structure of 2-transitive groups Theorem 5.1 (Burnside) Let G be a 2-transitive permutation group on a set Ω. Then G possesses a unique minimal normal subgroup N and

More information

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian

More information

Decompositions of Modules and Comodules

Decompositions of Modules and Comodules Decompositions of Modules and Comodules Robert Wisbauer University of Düsseldorf, Germany Abstract It is well-known that any semiperfect A ring has a decomposition as a direct sum (product) of indecomposable

More information

arxiv: v1 [math.at] 18 Nov 2015

arxiv: v1 [math.at] 18 Nov 2015 AN ALGEBRAIC MODEL FOR RATIONAL G SPECTRA OVER AN EXCEPTIONAL SUBGROUP MAGDALENA KȨDZIOREK arxiv:1511.05993v1 [math.at] 18 Nov 2015 Abstract. We give a simple algebraic model for rational G spectra over

More information

Galois theory of fields

Galois theory of fields 1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account

More information

Math 752 Week s 1 1

Math 752 Week s 1 1 Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

More information

CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago

CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago arxiv:1301.0025v1 [math.rt] 31 Dec 2012 CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Overview These are slides for a talk given

More information

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

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

The Major Problems in Group Representation Theory

The Major Problems in Group Representation Theory The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship

More information

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather

More information

Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter

Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter Iris Cong, Meng Cheng, Zhenghan Wang cong@g.harvard.edu Department of Physics Harvard University, Cambridge, MA January 13th,

More information

Categories and functors

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

The coincidence Nielsen number for maps into real projective spaces

The coincidence Nielsen number for maps into real projective spaces F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence

More information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.

MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra. MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.

More information

The Hurewicz Theorem

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

Summer Algebraic Geometry Seminar

Summer Algebraic Geometry Seminar Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties

More information

Fusion Systems On Finite Groups and Alperin s Theorem

Fusion Systems On Finite Groups and Alperin s Theorem Fusion Systems On Finite Groups and Alperin s Theorem Author: Eric Ahlqvist, ericahl@kth.se Supervisor: Tilman Bauer SA104X - Degree Project in Engineering Physics, First Level Department of Mathematics

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Finite Fields. [Parts from Chapter 16. Also applications of FTGT] Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory

More information