Counterexamples to Indexing System Conjectures
|
|
- Wilfrid Welch
- 6 years ago
- Views:
Transcription
1 to Indexing System Conjectures January 5, 2016 Contents 1 Introduction 1 2 N Operads Barratt-Eccles operad Computing Stabilizers The Model Conjecture A Counterexample Property (E) and the Model Conjecture A Sufficient Condition Counterexample to the Suboperad Conjecture 8 5 Future Work 8 1 Introduction We provide counterexamples to some conjectures about indexing systems presented in [BH15]. 2 N Operads Let us fix a finite group G. We recall some definitions: Definition 1. Given a group G, a collection F of subgroups is called a family if F is closed under passage to subgroups and under conjugacy. Given such a family F, the universal space for F is a G-space EF such that for all subgroups H G, { (EF ) H H F H / F These exist for all families of finite groups, and there exist models which are G-CW complexes [Lue05]. Definition 2. A G-operad O consists of a sequence of G Σ n spaces O n for all n 0, such that i. There is a G-fixed identity element 1 O(1) ii. We have G-equivariant composition maps O n O k1... O kn O k1+...+k n satisfying the the usual associativity, unitality, and symmetric group equivariance. 1
2 Definition 3. A G-operad O is an N operad if i. The space O 0 is G-contractible ii. The action of Σ n on O n is free iii. O n is a universal space for a family F n (O) of subgroups of G Σ n which contains all subgroups of the form H {1}. We can combine (ii) and (iii) by saying O n is a universal space for a family F n (O) of subgroups Λ G Σ n such that Λ Σ n = 1 and all H {1} are in F. Lastly, we say a map O O between N operads is a weak equivalence it induces G Σ n -equivalence level-wise. That is, O and O have the same associated families. We would like to transpose this geometric information into a different setting. Blumberg and Hill used categorical coefficient systems: Definition 4. A categorical coefficient system is a contravariant functor C from the orbit category O G of G to the category of small categories. A coefficient system is symmetric monoidal if it lands in the category of symmetric monoidal categories and strong monoidal functors. The exemplary one is Set with disjoint union, defined by Set(H) = Set H, the category of H-sets and H-maps, where it sends morphisms to restrictions and conjugations. A sub-symmetric coefficient system C of Set is called an indexing system if C is closed under direct products, subobjects, and self-induction: T C(K) and H/K C(H) implies H K T C(H). Given a sequence of families {F n } of subgroups of G Σ n, we define a subcoefficient system of Set, called the system C O of admissible sets, defined as follows: we declare an H-set T to be admissible iff Γ(ρ) F n O for any choice of permutative representation ρ : G Σ n of T. In particular, given an N -operad, we have an associated coefficient system C O. Blumberg and Hill prove: Proposition 5. The coefficient system associated to an N operad is an indexing system. Moreover: Proposition 6 ([BH15], Theorem 4.18). This association is functorial, and the descends to a full and faithful functor from the homotopy category of N operads to the poset category of indexing systems. Conversely, given a coefficient system C, we define an associated sequence of families F n of subgroups of G Σ n : we declare Γ(ρ) is in Fn C iff there exists T C(H) which realizes the representation ρ. This leads to a natural conjecture: Conjecture 7 ([BH15]). An indexing system uniquely (up to homotopy equivalence) determines an N operad. In particular, the universal spaces for the families of subgroups generated by an indexing system form an N operad. This would imply that the homotopy category of N operads is equivalent to the poset category of indexing systems. The question now becomes, how do we realizes these spaces as an operad? sub-operads of some well-known operad? Can we display them as 2
3 2.1 Barratt-Eccles operad We recall the categorical Barratt-Eccles operad O, defined by O n = i Set(G, Σ n ). Here, i : Set Cat is the right adjoint to the objects forgetful functor; so i (X) is the category with objects X and a unique arrow between any two objects (Guillou-May called i X the chaotic category generated by X ). Guillou- May-Merling show in [GMM12] that each O n is a categorical model for the universal (G, Σ n )-bundle; that is, they are a universal space for the complete graph family F om of G Σ n. Moreover, in [GM14], they show that these form a categorical model for a G-E -operad, i.e. a complete N -operad. Since we are trying to form universal spaces of smaller families, we would like to construct, for each family F associated to an indexing system C, a suboperad O F of this Barratt-Eccles operad for which O F n is a universal space for the family F n. The natural choice is to define Set F (G, Σ n ) := {f Set(G, Σ n ) Stab(f) F n }, and let O n F be the subcategory i Set F (G, Σ n ) i Set(G, Σ n ). Conjecture 8 ([BH15], The Model Conjecture). The realization of O F n is a model for EF n. Moreover: Conjecture 9 ([BH15], The Suboperad Conjecture). If the families F are generated by an indexing system, then the categories O F form a suboperad of the Barratt-Eccles operad O. A direct consequence of these two conjectures would be our original conjecture; sending C to the operad O F would be a clear inverse of the functor described in the above section. However, we have some problems. Proposition 10. Conjecture 8 is false for generic groups G. Moreover, even if this conjecture holds for a particular group G, the resulting symmetric G-sequences may not be a suboperad: Proposition 11. There exist groups G for which, given any sequence of families F, O F n is a model for EF n, but there also exist indexing systems C over G such that, for F = F (C), O F is not a suboperad of O. 2.2 Computing Stabilizers Due to our definition of O F, much of the discussion will revolve around calculations of stabilizers. We have: Lemma 12. For f Set(G, Σ n ), Stab(f) = { (h, f(h) 1 f(1)) f(hx) = f(x)f(1) 1 f(h) for all x G }. Proof. Suppose (g, σ) Stab(f), so f(x) = ((g, σ).f)(x) = f(g 1 x)σ 1 for all x G. In particular, taking x = g, we find σ = f(g) 1 f(1), and then taking x = gx, we produce f(gx) = f(x)f(1) 1 f(g). We write H f = { h G f(hx) = f(x)f(1) 1 f(h) for all x G } ; then Stab(f) = Γ(f Hf ). Remark 13. Two warnings: 1. Even if f(1) = 1, this H f is not necessarily the largest subgroup H of G such that f H is a group anti-homomorphism; clearly H f H, but they do not have to be equal. Consider the example where 3
4 G = C 4 = { 1, t, t 2, t 3}, k >> 0 so that {z n 0 n 7} = C 8 Σ k, and we have a map f : G Σ k defined by 1 1 t z t 2 z 4 t 3 z. Then the largest H f such that f(hg) = f(g)f(h) for all h H f, g G is the trivial subgroup. Indeed, f(t t) f(t)f(t), f(t 2 t) f(t)f(t 2 ), and f(t 3 t) f(t)f(t 3 ). However, f {1,t 2 } is clearly a group (anti-)homomorphism. 2. The stabilizer of f K for some subgroup K G can again be larger than H f K; the previous example also shows this, with K = { 1, t 2}. We will also need to know when set maps f are fixed by subgroups Λ: Lemma 14. For ρ Hom(H, Σ n ) and f Set(G, Σ n ), Γ(ρ) Stab(f) iff f(hx) = f(x)ρ(h) 1 for all x G and h H. Proof. Assuming f is stabilized by Γ(ρ), we have ρ(h) = f(h) 1 f(1) for all h H. Thus, for all h H, f(hx) = f(x)f(1) 1 f(h) = f(x)f(1) 1 f(1)ρ(h) 1 = f(x)ρ(h) 1. Conversely, we have f(h 1) = f(1)ρ(h) 1, so ρ(h) 1 = f(1) 1 f(h), and thus f(hx) = f(x)ρ(h) 1 = f(x)f(1) 1 f(h), as desired. We call a set map f with Γ(ρ) Stab(f) a stabilizer extension of ρ. Moreover: Lemma 15. If f Set(G, Σ n ) is a stabilizer extension of ρ Hom(H, Σ n ), then g i H f iff Hg i H f. Proof. We have f(g i x) = f(x)f(1) 1 f(g i ) for all x G, and moreover f(hx) = f(x)ρ(h) 1 for all x G and h H. Thus f(hg i x) = f(g i x)ρ(h) 1 = f(x)f(1) 1 f(g i )ρ(h) 1 = f(x)f(hg i ). Further: Lemma 16. If there exists f Set(G, Σ n ) with Stab(f) = Λ, then there exists f Set(G, Σ n ) with f(1) = 1 and Stab( f) = Stab(f) = Λ. Proof. We let f(x) = f(1) 1 f(x). The verification is straight-forward. 4
5 Remark 17. These last three lemmas imply that if we are trying to build a stabilizer extension of ρ, we only need to choose values for f on a transversal {g i } of H\G with g 1 = 1 and f(1) = 1; indeed, we then must define f by f(kg i ) = f(g i )ρ(k) 1. That is, f must repeat itself (shifted by the values of f(g i )) on cosets of H. 3 The Model Conjecture 3.1 A Counterexample For determining whether O F n is a universal space for the family F n, it suffices to check that Set F (G, Σ n ) Λ iff Λ F n. Indeed, since O F n is a chaotic category, it is a connected groupoid where every element has trivial automorphism group; thus its realization is contractible iff it is non-empty. Moreover, since fixed points commute with geometric realization and right adjoints, we have O F n Λ = i Set F (G, Σ n ) Λ = i (Set F (G, Σ n ) Λ ). We now give a counterexample to Conjecture 8, proving Proposition 10: Example 18. Let G = C 2 C 2, and consider the indexing system defined by letting C(1 1) = C(1 C 2 ) = C(C 2 C 2 ) be just the trivial H-sets, and C(C 2 1) = { n C 2 1} n N N. Then, in particular Λ = Γ(ρ) = {((1, 1), 1), ((τ, 1), τ)} is in F 2, where τ is the non-trivial element in C 2 = Σ 2 and ρ the obvious associated non-trivial homomorphism C 2 1 Σ 2. However, any map ρ Set(C 2 C 2, Σ 2 ) having Λ = Γ(ρ) Stab( ρ) has a strictly larger stabilizer. Indeed, no matter where we send (1, τ) and (τ, τ), they will both be in the stabilizer: (1, 1) > 1 (τ, 1) > τ (1, τ) > x (τ, τ) > τ x; a ρ((1, τ) a) ρ(a) ρ((1, τ)) (1, 1) x 1 x = x (τ, 1) τx τ x (1, τ) 1 x x = 1 (τ, τ) τ τx x = τ for x either 1 or τ. Thus any map in Set(G, Σ n ) Λ has stabilizer Γ(β) for some β Hom(G, Σ 2 ), and hence cannot be in F 2. Thus Set F (G, Σ n ) Λ = for some Λ F 2, and hence O F 2 is not a universal space for F 2. So, our original guess does not work for all groups G and all the sequences of families F we want to consider. 5
6 3.2 Property (E) and the Model Conjecture Let us try to salvage something from O F n. In particular, we would like to know when O F n is in fact a universal space for F n. Our counterexample shows what can go wrong: the map f Stab(f) might not have a large enough target. This is the defining feature of groups that will work. Definition 19. We say a group G satisfies Property (E) if for all ρ Hom(H, Σ n ) non-trivial, there exists f Set(G, Σ n ) such that Stab(f) = Γ(ρ) Equivalently, G satisfies Property (E) if the image of the map Set(G, Σ n ) {Λ G Σ n Λ Σ n = 1} given by f Stab(f) contains the subset {Λ G Σ n Λ Σ n = 1} \ {H {1} G Σ n } for all n N. Proposition 20. G satisfies Property (E) iff Conjecture 8 holds for G. Proof. We just need to show that Set F (G, Σ n ) Λ is non-empty. But since Λ F n there exists f Set(G, Σ n ) with Stab(f) = Λ, and hence f Set F (G, Σ n ) Λ. Suppose we have ρ Hom(H, Σ n ) non-trivial such that for all f Set(G, Σ n ) with Stab(f) Γ(ρ) (that is, f Set(G, Σ n ) Γ(ρ) ), Stab(f) is strictly larger than Γ(ρ). Then we construct the family F generated by Γ(ρ) by collecting all subgroups, all conjugates, and all conjugates of subgroups. In particular, H and it s conjugates are maximal elements in the lattice of F. But since all f Set(G, Σ n ) Γ(ρ) have stabilizers in a strictly higher stratum of the lattice, Set F (G, Σ n ) Γ(ρ) is empty. Remark 21. Example 18 above exactly says that C 2 C 2 does not have Property (E). Moreover, a similar argument shows that G C 2, G abelian and non-trivial, never has Property (E). So the question now becomes: when does a group satisfy Property (E)? We start by looking at some extension properties: for fixed ρ Hom(H, Σ n ), are there some properties of the pair (G, H) that can allow us to construct an f Set(G, Σ n ) with Stab(f) = Γ(ρ)? By Lemma 17, we only need to define our new set map f on a transversal of H\G: f(kg i ) := f(g i )ρ(k) 1, k H and g i in our transversal A Sufficient Condition Suppose we have a given fixed ρ Hom(H, Π). Lemma 22. Suppose there exists π 0 Π such that π 2 0 1, and there exists h 0 Z(G) such that ρ(h 0 ) 1. Then there exists a map f Set(G, Σ n ) such that Stab(f) = Γ(ρ). Proof. We will build our function f Set(G, Π) coset by coset, by choosing our representatives and their images carefully by induction, again setting f(kg i ) = f(g i )ρ(k) 1 for k H and {g i } our chosen transversal. For each g i 1, we will show that g i / H f, and by the above lemmas that will be enough. We start by letting g 1 = 1 and letting f(1) = 1. Now, by induction, suppose we have choose g 1,..., g n 1 such that g i H f iff i = 1, and let g n G \ ( n 1 i=1 Hg i) be arbitrary. 6
7 Case I Hg 1 n = Hg n. Let h n be defined by g 1 n = h n g n. Case IA ρ(h n ) 1. Then define f(g n ) = 1. We observe that g n / H f : 1 = f(g n gn 1 ) f(gn 1 )f(g n ) = ρ(h 2 ) 1 1, Case IB ρ(h n ) = 1. Then define f(g n ) = π 0. We observe that g n / H f : 1 = f(g n gn 1 ) f(gn 1 )f(g n ) = 1 π 0. Case II Hg2 1 Hg i for any i {1,..., n 1}. Then define g n+1 such that gn 1 = h 0 g n+1 (i.e. g n+1 = h 1 observe that neither g n nor g n+1 are in H f : 0 g 1 n 1 = f(g n gn 1 ) f(gn 1 )f(g n ) = f(h 0 g n+1 )f(g n ) = 1 ρ(h 0 ) 1 1; ), and let f(g n ) = f(g n+1 ) = 1. We 1 = f(g n+1 g 1 n+1 ) f(g 1 n+1 )f(g n+1) = f(g n h 0 )f(g n+1 ) = f(h 0 g n )f(g n+1 ) = 1 ρ(h 0 ) 1 1. Case III Hg 1 n = Hg i for some i {1,..., n 1}; say g 1 n = h n g i. Case IIIA ρ(h n ) 1. Define f(g n ) = f(g i ) 1. We observe that g n / H f : f(gn 1 )f(g n ) = f(h n g i )f(g i ) 1 = f(g i )ρ(h 2 )f(g i ) 1, and this equals 1 = f(g n gn 1 ) iff ρ(h n ) = 1, a contradiction. Case IIIB ρ(h n ) = 1. Define f(g n ) to be 1 if f(g i ) = π 0 or π 1 0, and π 0 if f(g i ) = 1. We observe that g n / H f : 1 = f(g n gn 1 ) f(gn 1 )f(g n ) = f(h n g i )f(g n ) = f(g i )f(g n ). This again may seem restrictive, but for abelian groups it simplifies matters greatly: Corollary 23. If G is abelian, we only need to check that Property (E) holds for n = 2. Proposition 24. Cyclic groups satisfy Property (E). Proof. Let G = C n =< t >, and H G, say H =< t m >, with m minimal, and let b be such that n = mb. Let ρ Hom(H, Σ 2 ). Case I: m = 1. Choose f = inv ρ. 7
8 Case II: m 1. Since ρ is non-trivial, ρ(t m ) = π 1 and ρ((t m ) k ) = π k. We have a transversal { 1, t, t 2,..., t m 1} for G/H, and we define f(t l ) = π if l 0, and f(t 0 ) = f(1) = 1. Thus, globally, we have f(t mk+l ) = π ɛ π k, for 0 l m, 0 a b, with ɛ = 0 if l = 0 and ɛ = 1 if l 0. In particular, this satisfies f(hx) = f(x)ρ(h) 1 for all h H, x G (since every element of C 2 is its own inverse). By Lemma 15, it suffices to check that these t l are not in H f unless l = 0. If t l were in H f, then in particular we would have f(t l t m l ) = f(t m 1 )f(t l ). Since l 0, both f(t l ) and f(t m l ) are equal to π, and hence the right hand side is equal to π 2 = 1. However, the left hand side is f(t m ) = π. Hence no non-trivial t l are in H f, and hence H f is precisely H, so Stab(f) = Γ(ρ), as desired. 4 Counterexample to the Suboperad Conjecture We can now describe a family of counterexamples to Conjecture 9 which proves Proposition 11: Example 25. Let G = C 2N be any even-ordered cyclic group. Consider the map φ Set(C 2N, Σ 3 ) which sends t 2m to 1, and t 2m+1 to σ := (1 3 2) for all 0 m < N. Then, a straightforward calculation shows that Stab(φ) =< t 2 > 1, where < x > is the subgroup generated by the element x. Now, let f 1, f 2, and f 3 be trivial maps from C 2 to Σ 5, Σ 3, and Σ 2, respectively, and γ := γ(φ; f 1, f 2, f 3 ) be their Barratt- Eccles operadic composition. We compute that γ(t 2m ) equals 1, and γ(t 2m+1 ) equals the block permutation τ := (1 3 2)(5, 3, 2). However, since τ 2 = 1, H γ is all of C 2N, and in particular is the graph of a non-trivial homomorphism out of G. Thus, if C is any indexing system for G = C 2N such that C(G) contains only the trivial G-sets, then this lands outside Set F (C 2N, Σ ), and hence Set F (C 2N, Σ ) is not a suboperad of the Barratt-Eccles operad Set(C 2N, Σ ). Remark 26. This example is fairly ad-hoc, and we can create many other similar families of counterexamples. Moreover, this counterexample came from composing set functions with trivial graphs as stabilizers. This just emphasizes the fact that the stabilizers exert very little control over the composition. Even more troubling, we can show: Proposition 27. Let p be an odd prime, q = 2, and let G = C p 2 q and H = C pq. Consider the indexing system where C(K) is generated only by K/K if K H, and is generated by K/K and K itself if K H. This indexing system cannot be realized as Set F (G, Σ n ), nor D(U) or L(U) for any representation G-universe U, nor P (U) or Q(U) for any G-set universe U, where D is the little disks operad, L is the linear isometries operad, P is the coproduct-embeddings operad, and Q is the product-embeddings operad (see [GM14] for definitions of the last two). 5 Future Work We would like to find a categorical operad which realizes any indexing system. We have possibilities for realizing universal spaces, but not yet for suboperads. The goal would be to use our solution to this problem 8
9 to build a standard N operad for any indexing system, which could possibly allow us to mimic some of Fiedorowicz-Vogt [FV15] to show that N -operads are closed under tensor product in a nice way, or to try to extend the work of Guillou-May to build N spaces/spectra out of incomplete G-permutative categories. References [BH15] A. J. Blumberg and M. A. Hill. Operadic multiplications in equivariant spectra, norms, and transfers. Advances in Mathematics, 285: , November [FV15] Z. Fiedorowicz and R. M. Vogt. An Additivity Theorem for the interchange of En structures. Advances in Mathematics, 273: , [GM14] B. J. Guillou and J. P. May. Permutative G-categories in equivariant infinite loop space theory. ArXiv preprint: math/ v2, [GMM12] B. J. Guillou, J. P. May, and M. Merling. Categorical models for equivariant classifying spaces. ArXiv preprint: math/ , [Lue05] W. Lueck. Survey on classifying spaces for families of subgroups. In Infinite groups: geometric, combinatorial and dynamical aspects, pages Springer,
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 informationGroups 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 informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
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 informationCONSEQUENCES 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 informationTeddy Einstein Math 4320
Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationits image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1
10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationFall /29/18 Time Limit: 75 Minutes
Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages
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 informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
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 informationThe 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 informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationMA441: Algebraic Structures I. Lecture 26
MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order
More informationAlgebra-I, Fall Solutions to Midterm #1
Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the
More information2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.
Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
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 informationMath 210A: Algebra, Homework 5
Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose
More informationAPPENDIX C. Groupoids
APPENDIX C This appendix is written for two purposes. It can serve as a reference for facts about categories in which all morphisms are isomorphisms. More importantly, it can be regarded as a short text
More informationMath 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 informationMinimal Cell Structures for G-CW Complexes
Minimal Cell Structures for G-CW Complexes UROP+ Final Paper, Summer 2016 Yutao Liu Mentor: Siddharth Venkatesh Project suggested by: Haynes Miller August 31, 2016 Abstract: In this paper, we consider
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More informationRepresentations 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 informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
More informationCover Page. Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of Shimura varieties Date:
Cover Page The handle http://hdl.handle.net/1887/56255 holds various files of this Leiden University dissertation Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationSolutions to some of the exercises from Tennison s Sheaf Theory
Solutions to some of the exercises from Tennison s Sheaf Theory Pieter Belmans June 19, 2011 Contents 1 Exercises at the end of Chapter 1 1 2 Exercises in Chapter 2 6 3 Exercises at the end of Chapter
More informationStab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.
1. Group Theory II In this section we consider groups operating on sets. This is not particularly new. For example, the permutation group S n acts on the subset N n = {1, 2,...,n} of N. Also the group
More informationOn non-hamiltonian circulant digraphs of outdegree three
On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationGROUP ACTIONS EMMANUEL KOWALSKI
GROUP ACTIONS EMMANUEL KOWALSKI Definition 1. Let G be a group and T a set. An action of G on T is a map a: G T T, that we denote a(g, t) = g t, such that (1) For all t T, we have e G t = t. (2) For all
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 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 informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationCHARACTER 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 informationSUPPLEMENT ON THE SYMMETRIC GROUP
SUPPLEMENT ON THE SYMMETRIC GROUP RUSS WOODROOFE I presented a couple of aspects of the theory of the symmetric group S n differently than what is in Herstein. These notes will sketch this material. You
More informationAbstract 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 informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationSets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).
Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More information3. 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 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 informationConnectivity of Cayley Graphs: A Special Family
Connectivity of Cayley Graphs: A Special Family Joy Morris Department of Mathematics and Statistics Trent University Peterborough, Ont. K9J 7B8 January 12, 2004 1 Introduction Taking any finite group G,
More informationCHARACTER 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 Some historical comments A geometric approach to representation theory for unipotent
More informationSection III.15. Factor-Group Computations and Simple Groups
III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor
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 information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More information9 Direct products, direct sums, and free abelian groups
9 Direct products, direct sums, and free abelian groups 9.1 Definition. A direct product of a family of groups {G i } i I is a group i I G i defined as follows. As a set i I G i is the cartesian product
More informationBisets 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 informationHall subgroups and the pronormality
1 1 Sobolev Institute of Mathematics, Novosibirsk, Russia revin@math.nsc.ru Novosibirsk, November 14, 2013 Definition A subgroup H of a group G is said to be pronormal if H and H g are conjugate in H,
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationSECTION 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 informationSYMBOLIC DYNAMICS AND SELF-SIMILAR GROUPS
SYMBOLIC DYNAMICS AND SELF-SIMILAR GROUPS VOLODYMYR NEKRASHEVYCH Abstract. Self-similar groups and permutational bimodules are used to study combinatorics and symbolic dynamics of expanding self-coverings.
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
More informationAmalgamable diagram shapes
Amalgamable diagram shapes Ruiyuan hen Abstract A category has the amalgamation property (AP) if every pushout diagram has a cocone, and the joint embedding property (JEP) if every finite coproduct diagram
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationne 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 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 informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationMath 430 Exam 2, Fall 2008
Do not distribute. IIT Dept. Applied Mathematics, February 16, 2009 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 2, Fall 2008 These theorems may be cited at any time during the test
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More information1. Group actions and other topics in group theory
1. Group actions and other topics in group theory October 11, 2014 The main topics considered here are group actions, the Sylow theorems, semi-direct products, nilpotent and solvable groups, and simple
More informationAlgebraic Geometry
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationHomework Problems, Math 200, Fall 2011 (Robert Boltje)
Homework Problems, Math 200, Fall 2011 (Robert Boltje) Due Friday, September 30: ( ) 0 a 1. Let S be the set of all matrices with entries a, b Z. Show 0 b that S is a semigroup under matrix multiplication
More informationAXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY
AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationSolutions of exercise sheet 4
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
More information1. Introduction. Let C be a Waldhausen category (the precise definition
K-THEORY OF WLDHUSEN CTEGORY S SYMMETRIC SPECTRUM MITY BOYRCHENKO bstract. If C is a Waldhausen category (i.e., a category with cofibrations and weak equivalences ), it is known that one can define its
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More informationOMEGA-CATEGORIES AND CHAIN COMPLEXES. 1. Introduction. Homology, Homotopy and Applications, vol.6(1), 2004, pp RICHARD STEINER
Homology, Homotopy and Applications, vol.6(1), 2004, pp.175 200 OMEGA-CATEGORIES AND CHAIN COMPLEXES RICHARD STEINER (communicated by Ronald Brown) Abstract There are several ways to construct omega-categories
More informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More informationTHE CANTOR-SCHROEDER-BERNSTEIN PROPERTY IN CATEGORIES
THE CANTOR-SCHROEDER-BERNSTEIN PROPERTY IN CATEGORIES DON LAACKMAN Abstract. A category is said to have the Cantor-Schroeder-Bernstein property if, whenever there are monic maps f : C D and g : D C, there
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More informationCATEGORICAL 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 informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationA PRESENTATION FOR THE MAPPING CLASS GROUP OF A NON-ORIENTABLE SURFACE FROM THE ACTION ON THE COMPLEX OF CURVES
Szepietowski, B. Osaka J. Math. 45 (008), 83 36 A PRESENTATION FOR THE MAPPING CLASS GROUP OF A NON-ORIENTABLE SURFACE FROM THE ACTION ON THE COMPLEX OF CURVES BŁAŻEJ SZEPIETOWSKI (Received June 30, 006,
More informationPermutation groups H. W. Lenstra, Fall streng/permutation/index.html
Permutation groups H. W. Lenstra, Fall 2007 http://www.math.leidenuniv.nl/ streng/permutation/index.html Solvable groups. Let G be a group. We define the sequence G (0) G (1) G (2)... of subgroups of G
More informationSupplementary Notes: Simple Groups and Composition Series
18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.
More information