arxiv: v2 [math.at] 29 Aug 2015

Transcription

1 A BRANCHING RULE FOR PARTITION COMPLEXES arxiv: v2 [math.at] 29 Aug 2015 G. Z. ARONE Abstract. Let Σ n be the symmetric group, an let Σ n1 Σ nk Σ n be a Young subgroup. Let Π n be the complex of partitions of n. Our main result is a Σ n1 Σ nk -equivariant ecomposition of Π n. As an application, we obtain new information about the quotient space of Π n by a Young subgroup. 1. Introuction Let Π n enote the poset of (proper, nontrivial) partitions of the set n = {1,...,n}. Let Π n be the geometric realization of Π n. It is well-known that for n 3 there is a homotopy equivalence Π n S n 3. (n 1)! However the poset Π n has a natural action of the symmetric group Σ n, which is not preserve by this equivalence. The space Π n, with its natural action of Σ n, arises in various contexts. For example, the homology group H n 3 ( Π n ) is closely relate to the Lie representation. Let Σ n1 Σ nk Σ n be a Young subgroup. In this paper we investigate the Σ n1 Σ nk -equivariant homotopy type of Π n. To stateour result, we nee torecall onemore efinition. Let L[x 1,...,x k ] be the free Lie algebra (over Z) on k generators. Let M(n 1,...,n k ) L[x 1,...,x k ] be the subgroup generate by commutators that contain x i exactly n i times, for all 1 i k. It is well-known that M(n 1,...,n k ) is a free Abelian group. The rank of M(n 1,...,n k ) is given by a famous formula ue to Witt [26]: (1.1) 1 n gc(n 1,...,n k ) µ() ( n n 1,..., n k Here ranges over positive common ivisors of n 1,...,n k. Later we will use a particular basis B(n 1,...,n k ) of M(n 1,...,n k ). For now, all that matters is that B(n 1,...,n k ) is a finite set with size given by Witt s formula (1.1). ). Date: July 30,

2 2 G. Z. ARONE The following is our main theorem. By a G-equivariant equivalence we mean a map of G spaces that inuces an equivalence of H-fixe points for every subgroup H of G. Theorem 1.2. Suppose n = n 1 + +n k. Let g = gc(n 1,...,n k ). There is a Σ n1 Σ nk -equivariant homotopy equivalence (1.3) Π n Σ n1 Σ nk+ Σ S n 1 Π. g B( n 1,..., n k ) Here ranges over positive ivisors of g. Here is a brief explanation of the terms in equation (1.3). Throughout the paper, n = n n k, an Σ n1 Σ nk Σ n is the subgroup of permutations that leave invariant the blocks {1,...,n 1 },{n 1 +1,n 1 +2,...,n 1 +n 2 },...,{n 1 + +n k 1 +1,...,n}. If > 0 ivies all of n 1,...,n k, then ivies n, an Σ Σ }{{} n is a subgroup of Σ n1 Σ nk. We have group inclusions Σ Σ n Σn1 Σ nk Σ n. We ientify Σ with its image uner each one of these inclusions. If X is a topological space, X enotes the unreuce suspension of X. We have to use the unreuce suspension of Π in the main theorem, because Π oes not have a Σ -invariant basepoint. However, note that if Σ n1 Σ nk is a proper Young subgroup of Σ n, then Π n oes have a Σ n1 Σ nk -invariant basepoint. The map (1.3) is in fact a pointe equivariant homotopy equivalence. By S n 1 we mean a esuspension of the sphere S n = (S ) n, equippe with the natural action of Σ. Note that since ivies n, it ivies n, so this is well-efine. There is a Σ -equivariant homeomorphisms = S 1 Ŝ 1, whereontherighthansieσ actstrivially on S 1, an acts on Ŝ 1 via the reuce stanar representation. It follows that there is a Σ -equivariant homeomorphism S n 1 = S n 1 (Ŝ 1 ) n. It follows that S n 1 Π is a space with a pointe action of Σ. The space Σ n1 Σ nk+ Σ S n 1 Π

3 A BRANCHING RULE FOR PARTITION COMPLEXES 3 ishomeomorphictoawegesumofσ n1 Σ nk /Σ copiesofs n 1 Π, an it has a natural action of Σ n1 Σ nk. We shoul note that our efinition of Π only works well for 2. For = 2, Π 2 is the empty set, which we ientify with the 1- imensional sphere, since its unreuce suspension Π 2 is homeomorphic to S 0. We ecree that Π 1 is the 2-imensional sphere. In practice this means that the space Π 1 is unefine, but for l 0, S l Π 1 := S l 1. In particular, the wege summan corresponing to = 1 in equation (1.3) is equivalent to Σ n1 Σ nk+ S n 3. B(n 1,...,n k ) Examples 1.4. If gc(n 1,...,n k ) = 1, Theorem 1.2 says that Π n is Σ n1 Σ nk -equivariantly equivalent to a wege sum of copies of S n 3, that are freely permute by Σ n1 Σ nk. In the special case of the subgroup Σ n 1 Σ 1 Σ n, we note that B(n 1,1) = 1 an conclue that that there is a Σ n 1 -equivariant homotopy equivalence Π n Σn 1 Σ n 1 + Sn 3. This equivalence is a well-known result. For example, see [8] for a closely relate statement. In the case of the subgroup Σ n 2 Σ 2, where n is even, one easily calculates that B(n 2,2) = n 2 an B( n 2,1) = 1. We conclue 2 2 that there is a Σ n 2 Σ 2 -equivariant equivalence (1.5) Π n n 2 2 Σ n 2 Σ 2+ S n 3 Σ n 2 Σ 2+ Σ2 S n 3. Note that in the last summan S n 3 has an action of Σ 2 : it is homeomorphic to the smash prouct S n 2 2 (Ŝ1 ) n 2 1, where S n 2 2 is a sphere with a trivial action of Σ 2 while (Ŝ1 ) n 2 1 is a sphere on which Σ 2 acts by the suspension of the antipoal action. Formula (1.5) was first obtaine by Ragnar Freij by ifferent methos. See [11], Theorems 5.3 an 5.5. In the case n = 4 we obtain a Σ 2 Σ 2 -equivariant equivalence Π 4 Σ 2 Σ 2+ S 1 Σ 2 Σ 2+ Σ2 Ŝ 1 where Ŝ1 enotes a circle on which Σ 2 acts by reflection. This equivalence is illustrate in Figure 1.4. Π 4 is a one-imensional complex. The map is efine by collapsing to a point a Σ 2 Σ 2 -equivariantly contractible subcomplex, epicte with thin lines. The subcomplex is rawn separately on the left in a form that makes its contractibility

4 4 G. Z. ARONE Figure 1. The Σ 2 Σ 2 -equivariant equivalence Π 4 Σ 2 Σ 2+ S 1 Σ 2 Σ 2+ Σ2 Ŝ 1 is efine by collapsing the contractible subcomplex rawn with thin lines. The collapse subcomplex is rawn separately on the left. 12/34 1/2/34 12/3/4 2/134 1/234 4/123 3/124 1/3/24 1/4/23 2/3/14 13/24 12/34 14/23 1/3/24 1/2/34 1/4/23 1/234 3/124 2/134 4/123 apparent. The reaer is invite to check that the subcomplex of thin lines is Σ 2 Σ 2 -invariant, an that the quotient space of Π 4 by this subcomplex is homeomorphic to Σ 2 Σ 2+ S 1 Σ 2 Σ 2+ Σ2 Ŝ 1. Our Theorem 1.2 is a strengthening of the main result of [4]. There is an overlap of methos as well. In both papers, the proof uses the relationship between Π n anlie algebras, along with a ecomposition result for free groups, or free Lie algebras. In [loc. cit], the authors use the Hilton-Milnor theorem, which is a ecomposition result for the topological free group generate by a wege sum of connecte spaces. Using the Hilton-Milnor theorem, it was possible to prove a weak version of Theorem 1.2. In this paper we use an algebraic version of the Hilton-Milnor theorem, which is a ecomposition result for a free Lie algebra on a irect sum. Using this algebraic version enables us to have a point-set level escription of the map in (1.3), an to prove that it is an equivariant homotopy equivalence. The proof of the main theorem also epens on escribing the fixe points space Π n G for certain subgroups G Σ n. Then once prove, Theorem 1.2 can be use to escribe the fixe points space for all subgroups G Σ n, in terms of posets of subgroups. These results are notreally new (see Remark 1.9below), but they areperhaps not wiely known, so we will give a brief outline. Suppose G acts effectively on n. Each orbit of the action of G on n is a G-invariant subset of n. We say that the action of G on n is isotypical if all the orbits of G are pairwise isomorphic as G-sets. The following is prove in the paper as Lemma 7.1. Lemma 1.6. Suppose G acts on n, an the action is not isotypical. Then Π n G.

5 A BRANCHING RULE FOR PARTITION COMPLEXES 5 We learne recently that this lemma was observe inepenently by Markus Hausmann. We suspect that it ha been observe by others as well, but we o not know of a publishe reference. It remains to analyze the fixe points of isotypical actions. An important special case of isotypical actions is that of transitive actions. If G acts transitively on n, then n can be ientifie, as a G-set, with the coset space G/H, where H is a subgroup of G (etermine up to conjugacy). For transitive actions, it is not ifficult to show that the poset of G-invariant partitions of G/H is isomorphic to the poset of subgroups of G that contain H. This is Lemma 7.2 (it ha appeare in the paper of White-Williamson [25, Lemma 3], an they attribute the result to Klass [15]). Using the transitive case together with the main theorem, one can escribe the fixe point space Π n G for a general isotypical action of G on n as follows. Suppose G acts isotypically on n. Then there exists a unique iviing n such that G is a transitive subgroup of Σ, embee iagonally in Σ n. Our escription of Π n G epens on this. The following is prove in the paper as 9.1. Proposition 1.7. Suppose that Σ is embee iagonally in Σ n an G is a transitive subgroup of Σ. Let C Σ (G) be the centralizer of G in Σ. There is an equivalence ( enotes join) Π n G C Σ (G) n + CΣ (G) Σ Π G Πn. Example 1.8. There is some overlap between this part of the paper an [3]. In that paper, the authors analyze the fixe point space of Π n P where P is a p-subgroup of Σ n. More precisely, it was shown that the only p-groups P for which the fixe points space Π n P is not contractible are elementary abelian groups acting freely on n. It also was observe in [loc. cit.] that if n = p k an P = (Z/p) k acts freely an transitively on n, then Π n P is isomorphic to the poset of proper non-trivial subgroups of P, which is closely relate to the Tits builing for GL k (F p ). We complete the calculation in Corollary 9.3, where we escribe the fixe points for elementary abelian groups that act freely but not necessarily transitively. Remark 1.9. After making this paper public we learne that our results about fixe points of the partition poset (in particular Proposition 1.7 an its consequences) were iscovere inepenently by Lukas Brantner in the spring of He prove Proposition 1.7 irectly, using iscrete Morse theory [7].

6 6 G. Z. ARONE In aition to fixe points, we consier quotient spaces of Π n by an action of a Young subgroup. Here we seem to have something genuinely new to say. Quotient spaces of Π n by subgroups of Σ n have receive some attention over the years. For starters, it is known that the quotient space of Π n by the full symmetric group is contractible for n 3 (see Kozlov [16]). Results about quotient spaces by certain subgroups of Σ n were obtaine, for example, by Patricia Hersh [14] an Ralf Donau [8]. Here we observe that Theorem 1.2 has the following immeiate consequence regaring quotient by action of a Young subgroup. Proposition Suppose n = n 1 + +n k. Let g = gc(n 1,...,n k ). There is a homotopy equivalence Σ n1 Σ nk \ Π n Σ \ ( S n 1 Π ). g B( n 1,..., n k ) Proposition 1.10 reuces the problem of calculating quotient spaces of Π n by Young subgroups of Σ n to the problem of calculating quotient spaces of the form (1.11) Σ \S l 1 Π. Here l 1, an S l 1 is equippe with an action of Σ : esuspension of the natural action on S l. The following proposition summarizes our results about these quotient spaces. Proposition The quotient space Σ \S l 1 Π is: (1) rationally contractible unless = 1 or = 2 an l is even. (2) equivalent to Σ l RP l 1 if = 2. (3) equivalent to the p-localization of the orbit space Σp \S lp 1 if = p = an o prime, an l is o. (4) equivalent to the p-localization of the homotopy cofiber of the quotient map S lp 1 Σp \S lp 1 if = p = an o prime, an l is even. (5) contractible if l = 1 (6) contractible if l = 2 an is an o prime. In other wors, we manage to analyze Σ \S l 1 Π when is a prime (or l = 1). We have no oubt that more complicate values of are within reach, an we are hopeful that eventually these spaces will be well-unerstoo for all l an. In the meantime, propositions 1.10 an 1.12 enable us to (1) escribe the torsion-free part of H ( Σn1 Σ nk \ Π n ) in all cases (but this is not new). This is Corollary 10.8.

7 A BRANCHING RULE FOR PARTITION COMPLEXES 7 (2) prove that H ( Σn1 Σ nk \ Π n ) has p-primary torsion only for primes p that satisfy p gc(n 1,...,n k ) (Lemma 10.9). (3) escribethehomotopytypeof Σn1 Σ nk \ Π n whengc(n 1,...,n k ) equals 1 or a prime number(corollary 10.2 an Proposition 10.15). (4) escribe the homotopy type of Σp 2 Σ \ Π p 2 2p2 where p is a prime. (5) classify all Young subgroups for which the quotient space is equivalent to a wege of spheres (Corollary 10.18) Organization of the paper. In Section 2 we review backgroun material on simplicial complexes (with emphasis on the partition complex), the join construction an equivariant topology. In Section 3 we review some generalities regaring free Lie algebras, an state the algebraic Hilton-Milnor theorem. In Section 4 we show how the algebraic Hilton-Milnor theorem gives rise to a branching rule for the Lie representation. This is an algebraic analogue of our main theorem. In Section 5 we review Barcelo s theorem on the isomorphism between the Lie representation an the cohomology of the partition complex. In Section 6 we efine the map (1.3), an prove that it inuces an isomorphism in cohomology, by comparing it with the isomorphism that we constructe earlier in Section 4. In Section 7 we analyze the fixe point space of Π n for some groups, incluing all groups that occur as an isotropy of either the source or target of the map (1.3). In Section 8 we use the calculations in the preceing section to show that the map in (1.3) inuces an equivalence of fixe points spaces for every group that occurs as an isotropy of either the source or target of the map. We conclue that the map is an equivariant equivalence, thus proving the main theorem. In Section 9 we use the main theorem to escribe (in terms of subgroup posets) the fixe point space Π n G for every G Σ n. In Section 10 we use the main theorem to stuy the quotient space of Π n by an action of a Young subgroup. Acknowlegements. The initial impetus for this work was provie by Ralf Donau s paper [8] an my esire to unerstan its connection with [4]. I thank Donau for several useful exchanges, an in particular for sharing with me the results of some of his computeraie calculations of the homology groups of quotient spaces of Π n. I also thank the Hausorff Institute of Mathematics in Bonn, where much of the writing was one, for its hospitality. 2. Preliminaries

8 8 G. Z. ARONE 2.1. Simplicial complexes an posets. We will assume that the reaer is familiar with basic notions concerning simplicial complexes, the orer complex of a poset, an geometric realizaiton. Given a poset P, let P enote its geometric realization. Many posets have an initial an/or final element. We will enote the initial an final element of a poset P by ˆ0 an ˆ1, or ˆ0 P an ˆ1 P if neee. Given a poset P, we enote the poset P \{ˆ0,ˆ1} by P. Example 2.1. Let C m be the poset of integers between 1 an m, with the usual linear orer. Then C m = m 1 is the stanar m 1- imensional simplex. The simplicial bounary of C m is the simplicial complex consisting of all the increasing chains in C m, except for the unique maximal chain 1 < < m. Its geometric realization is the topological bounary of m 1, i.e. the sphere S m 2. Example 2.2. Let B m be the poset of subsets of m. It is easy to see that there is an isomorphism of posets B m = (B1 ) m. Since B 1 = [0,1], there is a homeomorphism B m = [0,1] m. Next, consier the posets B m \ {ˆ0} the poset of non-empty subsets of m, an B m the poset of proper, non-empty subsets of m. It is well-known, an not ifficult to check, that the orer complexes of B \{ˆ0} an B m are isomorphic to the barycentric subivisions of C m an of its simplicial bounary, respectively (see Example 2.1). In particular, there is a homeomorphism B m = S m 2. The action of Σ m on B m inuces an unpointe action on B m, i.e. on S m 2. Once again, it is well-known annotifficult toprovethatthisactionishomeomorphictotheaction of Σ m on the unit sphere in R m 1, where R m 1 is enowe with the reuce stanar action of Σ m. Given two elements x an y of a poset P, their least upper boun, if it exists, is enote x y. The greatest lower boun is enote x y. In the course of the paper we will use several times the following elementary criterion for the contractibility of a poset. Lemma 2.3. Suppose P has an element θ such that x θ exists for all x P (or alternatively, x θ exists for all x). Then P is contractible. Proof. The assumption implies that there is a well-efine map of posets θ: P P. This map has the property that x x θ for all x P. In other wors, there is a natural transformation from the ientity functor to θ. It is well-known that a natural transformation between functors inuces a homotopy between maps of geometric realizations. So the inuce map of geometric realizations θ : P P is homotopic to the ientity map. But this map

9 A BRANCHING RULE FOR PARTITION COMPLEXES 9 factors through P θ, where P θ P is the subposet of all elements x satisfying x θ. This poset has an initial element, namely θ, so P θ is contractible. It follows that the map θ is null-homotopic, an therefore the ientity map of P is null-homotopic. It follows that P is contractible. The proof uner the assumption of existence x θ is similar The join operation on spaces an posets. Next we will review the join operation, since it plays a role in this paper. First recall that the join of two topological spaces X an Y, enote X Y, is the ouble mapping cyliner (a.k.a homotopy pushout) of the iagram X X Y Y. It is easy to check that the operation is associative up to natural isomorphism. It is well-known that if X an Y are pointe spaces, there is a natural homotopy equivalence (2.4) X Y S 1 X Y. This fact can be generalize slightly to a situation where only one of the spaces X an Y has a basepoint. Recall that X enotes the unreuce suspension of X. This space has a canonical basepoint (the south pole ). We note that X is homeomorphic to the pointe homotopy cofiber of the canonical map X + S 0. Lemma 2.5. SupposeY is a well-pointespace. Thenthere is anatural weak equivalence X Y X Y. Proof. Consier the following iagram X X X X Y Y X + Y Y The columns in the iagram are homotopy cofibration sequences, so it inuces a homotopy cofibration sequence of homotopy pushouts of the rows. The homotopy pushout of the top row is contractible, so we have an equivalence between the pushouts of the mile an bottom rows. The pushout of the mile row is X Y. The bottom row is homeomorphic to the iagram obtaine by taking object-wise smash prouct of the following iagram with Y X + S 0.

10 10 G. Z. ARONE Therefore, the homotopy pushout of the bottom row is the smash prouct of the unpointe homotopy cofiber of the map X + S 0 with Y. Since the spaces X +,S 0 an Y are well-pointe, the unpointe homotopy cofiber can be replace with the pointe homotopy cofiber. It follows that the expression S n 1 Π in the main theorem (see (1.3)) can be replace with S n 1 Π. This form seems to be more convenient for the purpose of proving the theorem. Examples 2.6. The empty set is a unit for the join operation. That is, there are natural isomorphisms X = X = X. Taking join with S 0 is the same as taking unreuce suspension. We use notations S 0 X, X an ΣX interchangeably. A special case of Lemma 2.5 is the well-known equivalence S m S n = S m+n+1 (in fact these spaces are homeomorphic). We think of the empty set as the 1-imensional sphere. Then the formula remains vali for m,n 1. The join of two simplices i j is homeomorphic to i+j+1. It also is easy to see that 0 S j, the join of a point an a sphere, is homeomorphic to j+1. It follows that for all i 0, j 1, i S j is homeomorphic to i+j+1. There is a version of the join operation for simplicial complexes. Let (U, Φ) an (V, Ψ) be simplicial complexes. Their simplicial join is efine to be the simplicial complex (U,Φ) (V,Ψ) := (U V,Φ Ψ), where Φ Ψ is the collection of subsets S U V satisfying S U Φ an S V Ψ. It is well known that geometric realization takes simplicial join to space-level join. Now let P an Q be posets. The join of P an Q is efine to be the following poset. On the level of unerlying sets, P Q = P Q. The partial orer is efine by keeping the ol orer on P an Q, an ecreeing that every element of P is smaller than every element of Q. It is easy to see that the orer complex of P Q is isomorphic to the simplicial join of the two orer complexes. It follows that P Q = P Q. There is another moel for the join of two posets, that will be useful to us. First, some notation. For an element a P, let P <a = {x P x < a}. Define P >a,p a, an P a analogously. Suppose b Q. Then (a,b) P Q. The following lemma is ue to Quillen [21, Proposition 1.9]. See also [24, Theorem 5.1 (b), (c)]. Lemma 2.7. There are natural homeomorphisms (P Q) >(a,b) = P >a Q >b

11 A BRANCHING RULE FOR PARTITION COMPLEXES 11 (P Q) <(a,b) = P <a Q <b Let P be a poset with an initial an final element. Recall that P = P \{ˆ0,ˆ1}. Suppose that P =. Then there are two possibilities. Either P has two elements, or just one. In the first case, we ientify P with the empty space, as expecte. But if P has just one element, which is then both initial an final, then we aopt the convention that P = S 2 (recall that we ientify the empty space with S 1 ). In practicethismeansthatthespace P isnotefine, butanysuspension of this space is. In particular S 0 P = S 1 =, an in general S n P = S n 1. With this convention in place, we have the following formula for the prouct of close intervals, with initial an final object remove. Proposition 2.8. Let P 1,...,P n be posets, each with an initial an final object. There is a natural homeomorphism P 1 P n = S n 2 P 1 P n. Moreover, a permutation of factors on the left han sie correspons on the right han sie to permutation of factors, an the stanar action of a permutation on S n 2 (as in Example 2.2). Proof. The case n = 2 is [24, Theorem 5.1 ()]. The general case is prove by a similar argument, plus inuction. Once again, note that if for some i the poset P i consists of a single object, there is a homeomorphism S n 2 P 1 P n = S n 3 P 1 P i 1 P i+1 P n Poset of partitions. Our main interest is in the poset of partitions (i.e., equivalence relations) of a finite set. For a finite set S, let Part S be the collection of partitions of S, partially orere by refinement. We say that λ 1 < λ 2 if λ 2 is finer than λ 1 (this is opposite of the convention we use in some of our previous papers, but it seems convenient here). Throughout the paper, let n = {1,...,n} be the stanar set with n elements. We enote the poset of partitions of n by Part n. The poset Part n has an initial an a final object. As usual we enote thembyˆ0anˆ1(wewillnotinclueninthenotationforthese, trusting that it will not cause confusion). They may be calle the iniscrete an the iscrete partition respectively (note that for n = 1, ˆ0 = ˆ1). We often will want to consier the poset of partitions without the initial an final object, so we introuce separate notation for it. For n > 1 efine Π n = Part n \{ˆ0,ˆ1}. It is well-known that for n 3

12 12 G. Z. ARONE there is a homotopy equivalence Π n (n 1)! Sn 3. For n = 1,2 this equivalencecannotbetrueasstate, ifonlybecausetherighthansie is not efine. Note that Π 2 =, a.k.a, S 1, which is compatible with the general formula. In keeping with the conventions of section 2.1, we ientify Π 1 with S 2. This means that Π 1 is not efine as a space, but Π 1 =, an for all n 0, S n Π 1 = S n Π 1 := S n 1. Let H (X) be the reuce cohomology of a space X. It is efine using the augmente simplicial or singular chain complex. Since for n 3 Π n is a wege of spheres of imension n 3, it only has reuce homology in this imension. For n = 2 Π 2 = an it is still true that H 1 ( ) = Z, if one efines cohomology using the augmente chain complex. Since we efine Π 1 to be S 2, we also efine H 2 (Π 1 ) = Z. This convention will enable us to make statement vali for all Π n, without neeing to make exceptions for n = 1. We notice that the poset Part n (an also Π n ) is equippe with a rank function: for a partition λ, let rk(λ) be the number of equivalence classes of λ. We note the following elementary properties of the rank function: if λ 1 < λ 2 then rk(λ 1 ) < rk(λ 2 ). In particular, istinct partitions of same rank are not comparable. The action of the symmetric group on Part n preserves the rank function. We will nee to eal with intervals in Part n. Let λ 1,λ 2 be partitions, an suppose that λ 1 < λ 2. Let us suppose that λ 1 has k equivalence classes, an label them c 1,...,c k. Since λ 1 < λ 2, each equivalence class of λ 1 is a union of classes of λ 2. Let us suppose that for i = 1,...,k, c i is the union of m i classes of λ 2. Then it is easy to see the following formula for the close interval [λ 1,λ 2 ] [λ 1,λ 2 ] = Part m1 Part mk. It follows that the open interval (λ 1,λ 2 ) is isomorphic to the poset Part m1 Part mk. By Proposition 2.8, there is a homeomorphism (2.9) (λ 1,λ 2 ) = S k 2 Π m1 Π mk Remark We will nee the following simple observation: if λ 1 < λ 2, an rk(λ 1 ) < r < rk(λ 2 ) then there are at least two partitions λ of rank r satisfying λ 1 < λ < λ 2. For example, if rk(λ 2 ) rk(λ 1 ) > 2 then an intermeiate partition will have rank equal to rk(λ 1 ) + 1. There are two possibilities: either λ 2 is obtaine from λ 1 by splitting two equivalence classes in two parts each, or by splitting a single class in three parts. In the first case, there are two intermeiate partitions between λ 1 an λ 2, in the secon case there are three.

13 A BRANCHING RULE FOR PARTITION COMPLEXES Stars an links. Let P be a poset. Let P = (p 0 < < p k ) be a non-empty increasing chain in P. The star of P is the poset of elements of P that are comparable with each one of the elements p 0,...,p k. Denote it St(P). The star ecomposes canonically as a join of posets. More precisely St(P) = P <p0 {p 0 } (p 0,p 1 ) {p 1 } {p k } P >pk. It follows in particular that St(P) is contractible, since the join of any space with a point is contractible. The link of P, enote Lk(P) is the subposet of St(P) consisting of elements that are istinct from p 0,...,p k. The link also ecomposes as a join. More precisely Lk(P) = P <p0 (p 0,p 1 ) P >pk. Let us consier the case of Π n. Let Λ = (λ 0 < < λ k ) be an increasing chain of partitions in Π n. Then St(Λ) is a subspace of Π n. We will nee to ientify the bounary of this subspace. Lemma The bounary of St(Λ) is the geometric realization of the subcomplex of St(Λ) efine by chains that o not contain Λ as a subchain. Proof. Let Θ = (θ 0 < < θ m ) be an increasing chain in St(Λ). It belongs to the bounary precisely if there exists a partition µ that is comparable with all the θ j s, but not all the λ i s. If Λ is a subchain of Θ then clearly such a partition oes not exists. Conversely, if Θ oes not contain one of the λ i s then by remark 2.10 one can fin another partition µ of the same rank as λ i that is comparable with all the θ j s. Then µ is not comparable with λ i. Definition Let us say that an increasing chain of partitions Λ = (λ 0 < < λ k ) is binary if for all i 0, each equivalence class of λ i is the union of at most two equivalence classes of λ i+1. For i = k this means that each component of λ k has at most two elements. However, note that we o not require that λ 0 has two equivalence classes. We nee to analyze the bounary of St(Λ) for a binary chain. We alreay observe that St(Λ) = (ˆ0,λ 0 ) {λ 0 } (λ 0,λ 1 ) {λ k } (λ k,ˆ1). By (2.9), (ˆ0,λ 0 ) = Π c, where c is the set of equivalence classes of λ 0. The geometric realization of an open interval (λ i 1,λ i ) is homeomorphic to a join of a sphere an, for each equivalence class of λ i 1 a copy of Π mj, where m j is number of classes of λ i within the given class of λ i 1. The assumption that Λ is binary means precisely that m j 2

14 14 G. Z. ARONE in all cases. This means that each Π mj is either S 1, i.e., empty, if m j = 2 or is S 2, if m = 1. Recall that taking join of a sphere with S 2 has the effect of lowering the imension of a sphere by one. This means that (λ i 1,λ i ) is homeomorphic to a sphere of imension k 2, where k is the number of equivalence classes of λ i 1 that are the union of two classes of λ i. It follows that {λ 0 } (λ 0,λ 1 ) {λ k } (λ k,ˆ1) is homeomorphic to a simplex. Its imension is easily calculate to be n c 1. We conclue that there are homeomorphisms (2.13) St(Λ) = St(Λ) <λ0 St(Λ) λ0 = Πc n c 1 Let n c 1 be the topological bounary of the simplex. It is homeomorphic to S n c 2 of course. We may ientify Π c n c 1 with a subspace of St(Λ). Our next goal is to prove the unsurprising assertion that this is in fact the bounary of St(Λ) consiere as a subspace of Π n. Proposition Using the notation above, the bounary of St(Λ) is precisely Π c n c 1. Proof. We alreay saw that there is a ecomposition St(Λ) = St(Λ) <λ0 St(Λ) λ0 = Πc ( {λ 0 } (λ 0,λ 1 ) {λ k } (λ k,ˆ1) ). By Lemma 2.11, the bounary of St(Λ) is given by the subcomplex spanne by all chains that o not contain Λ as a subchain. Let B(St(Λ) λ0 ) be the subcomplex of St(Λ) λ0 spanne by chains that o not contain Λ as a subchain. Clearly, the bounary of St(Λ) is the geometric realization of Π c B(St(Λ) λ0 ). So we nee to show that B(St(Λ) λ0 ) is in fact the topological bounary of St(Λ) λ0. We saw that St(Λ) λ0 is combinatorially equivalent to a simplex. It is well-known, an not har to prove, that a chain belongs to the topological bounary if an only if the geometric realization of the link of the chain is contractible. So we nee to prove that the link of a chain in St(Λ) λ0 is contractible precisely if it oes not contain Λ as a subchain. Let Θ = (θ 0 < < θ m ) be a chain in St(Λ) λ0. The link of this chain is the join of intervals [λ 0,θ 0 ) (θ 0,θ 1 ) (θ m,ˆ1), where the intervals are taken in St(Λ) λ0. If Θ oes not contain Λ as a subchain, then one of these intervals contains a λ i. Let us suppose that λ i (θ j 1,θ j ). Then (θ j 1,θ j ) = (θ j 1,λ i ) {λ i } (λ i,θ j ), an so the geometric realization is contractible. Conversely, if Θ oes contain Λ as a subchain then the link is a join of copies of Π m for various m, an therefore is not contractible.

15 A BRANCHING RULE FOR PARTITION COMPLEXES Equivariant topology. Let G be a finite group. We only want to consier nice spaces with an action of G. Thus when we say that X is a G-space, we assume that X is homeomorphic, as a G space, to the geometric realization of a G-simplicial set. Equivalently, we coul choose to work with G-CW complexes. A (finite, pointe) G space X can be written as a (finite, pointe) homotopy colimit of spaces of the form G/H, where H is an isotropy group of X. A G-map f: X Y is a G-equivariant weak equivalence if it inuces weak equivalences of fixe point spaces f H : X H Y H for every subgroup H of G. It is well-known that for nice spaces, an equivariant weak equivalence is an equivariant homotopy equivalence. In fact, it is sometimes not necessary to check the fixe points conition for every subgroup of G. It is enough to o it for subgroups that occur as an isotropy of one of the spaces in questions. A proof of the following lemma can be foun in [10, 4.1], but it is oler than that. Lemma Let f: X Y be a G-map. Suppose that f inuces an equivalence f H : X H Y H for every subgroup H that occurs as an isotropy of X or of Y. Then f is an equivariant equivalence. Suppose K,H are subgroups of G an X is a pointe space with an action of H. Then one may form the G-space G + H X. We will nee several times to calculate the fixe points space (G + H X) K. The following lemma is prove by a stanar calculation with the ouble cosets formula. Lemma Let N G (K;H) = {g G g 1 Kg H}. Note that H acts on this set on the right. There is a homeomorphism (G + H X) K = X g 1Kg. [g] N G (K;H)/H In particular, if K is not subconjugate to H then (G + H X) K =. We will often have to eal with the following special case: G Σ Σ n, where n an Σ is embee iagonally in Σ n (we hope that the reaer will not be confuse by the change in the role of G). Lemma Suppose G Σ Σ n, where Σ is embee in Σ n iagonally. Let σ be an element of N Σn (G;Σ ). Thus σ is an element of Σ n that conjugates G to a subgroup of Σ. Then there exists an element η Σ such that conjugation by η on G is the same as conjugation by σ. Proof. Aninclusion ofginto Σ n isthesame thing asaneffective action of G on n. If the inclusion factors through Σ, then n is isomorphic,

16 16 G. Z. ARONE as a G-set, to a isjoint union of n copies of the set, which equippe with an effective action of G. Specifying an element σ of Σ n that conjugates G into a subgroup of Σ is the same as specifying a secon action of G on (let enote with the secon action of G), a group isomorphism σ G : G G, an an isomorphism of sets σ: n n that is equivariant with respect to the isomorphism σ G. Such an isomorphism exists if an only if n an n are isomorphic permu- tation representations of G. But this is possible if an only if an are isomorphic permutation representations of G, which means that the isomorphism σ G can be realize as conjugation by an element of Σ. Let C W (G) enote the centralizer of G in W. Corollary Suppose G Σ W Σ n where Σ is embee iagonally in Σ n, an W is any intermeiate subgroup. There is an isomorphism of sets, inuce by inclusion C W (G)/C Σ (G) = N W (G;Σ )/Σ. Proof. By efinition, N W (G;Σ ) = {w W w 1 Gw Σ }. By Lemma 2.17 for every such w one can fin an η Σ such that conjugation by η on G coincies with conjugation by w. It follows that wη 1 C W (G). Thus ever element of N W (G;Σ )/Σ has a representative in C W (G). Clearly two elements of C W (G) iffer by an element of Σ if an only if they iffer by an element of C Σ (G). The corollary follows. Corollary Suppose G Σ W Σ n where Σ is embee iagonally in Σ n, an W is any intermeiate subgroup. Suppose X is a space with an action of Σ. Then there is a homeomorphism (W + Σ X) G = CW (G) + CΣ (G) X G. In particular, if X G is contractible, then so is (W + Σ X) G. Proof. By Lemma 2.16 there is a homeomorphism (W + Σ X) G = N W (G;Σ )/Σ X w 1Gw.

17 A BRANCHING RULE FOR PARTITION COMPLEXES 17 By Corollary 2.18, N W (G;Σ )/Σ = CW (G)/C Σ (G). In particular, w can always be chosen in the centralizer of G, so X w 1Gw = X G. It follows that (W + Σ X) G = X G. C W (G)/C Σ (G) The right han sie is isomorphic to C W (G) + CΣ (G)X G but the latter presentation is better in the sense that it gives the correct action of C W (G). 3. Free Lie algebras an the algebraic Hilton-Milnor theorem For a free abelian group V, let L[V] be the free Lie algebra (over Z) generate by V. If V has a Z-basis x 1,...,x k, we enote L[V] by L[x 1,...,x k ]. The multiplication in L[V] satisfies the following well-known relations: the square zero relation [u, u] = 0 (which implies anticommutativity) an the Jacobi relation [u,[v,w]]+[w,[u,v]]+[v,[w,u]] = 0. In fact, L[x 1,...,x k ] can be constructe as the quotient of the free nonassociative an non-unital algebra on {x 1,...,x k } by the two sie ieal generate by these relations (for example see [22], Theorem 0.4 an its proof). Throughout the paper, monomials are unerstoo to be in noncommutative an non-associative variables. We will also refer to them as parenthesize monomials. Elements of L[x 1,...,x k ] can be represente aslinear combinations of parenthesize monomialsin x 1,...,x k. Asiscustomaryinthecontext ofliealgebras, we willuse squarebrackets to inicate the parenthesization. For example, [[x 1,[x 2,x 1 ]],x 2 ] represents an element of L[x 1,x 2 ]. Let (n 1,...,n k ) be non-negative integers. We say that a monomial in x 1,...,x k has multi-egree (n 1,...,n k ) if it contains n i copies of x i, for all i = 1,...,k. For example, the monomial [[x 1,[x 2,x 1 ]],x 2 ] has multi-egree (2,2). We efine M(n 1,...,n k ) L[x 1,...,x k ] to be the Z-submoule generate by monomials of multi-egree (n 1,...,n k ). Note that M(0,...,0) is the trivial group. The following theorem is well-known. Theorem 3.1. Aitively, L[x 1,...,x k ] is a free abelian group. Moreover, there is an aitive isomorphism (3.2) L[x 1,...,x k ] = M(n 1,...,n k ) n 1,...,n k 0

18 18 G. Z. ARONE Proof. For the first assertion see, for example, [22, Corollary 0.10]. The secon assertion follows from the first an the fact that the square zero relation an the Jacobi relations are generate by relations that are sums of monomials of the same egree. Note that if u M(n 1,...,n k ) an v M(m 1,...,m k ) then [u,v] an [v,u] are in M(n 1 + m 1,...,n k + m k ). It follows that isomorphism (3.2) makes L[x 1,...,x k ] into an N k -grae algebra (here N stans for non-negative integers). It also has an N-graing, given by the total number of generators in a monomial. ItfollowsfromTheorem3.1thateachM(n 1,...,n k )isafreeabelian group. Next, we choose an explicit bases for these groups. There are many known bases for the free Lie algebra. We will use the basic monomials efine by M. Hall an P. Hall. We will now recall the construction. Definition 3.3. Basic monomials in x 1,...,x k an their weights areefine inuctively as follows: To begin with, x 1,...,x k are basic monomials of weight one. Next, suppose we have efine all the basic monomials of weight less than n, an orere them in some way, so that monomials of lower weight precee those of higher weight. Let us say that the basic monomials of weight less than n are u 1,...,u α, for some α k. Then basic monomials of weight n are all monomials of the form [u i,u j ] such that (1) u i an u j are basic monomials of weight less than n, an the sum of their weights equals n, (2) i > j (3) either u i = x i for some i k, or u i = [u s,u t ] an t j. Now orer the newly forme basic monomial of weight n in some way, appen them to the list of basic monomials, an repeat the proceure. It is well-known that basic monomials form a basis for L[x 1,...,x k ] [12, 13]. Let B(n 1,...,n k ) be the set of basic monomials of multiegree (n 1,...,n k ). Then B(n 1,...,n k ) is a basis for M(n 1,...,n k ). The size of B(n 1,...,n k ) is given by the Witt formula (1.1). Last topic in this section is the algebraic Hilton-Milnor theorem. In topology, the Hilton-Milnor theorem is a statement about the homotopy ecomposition of the space ΩΣ(X 1... X k ) as a weak prouct inexe by basic monomials in k variables x 1,...,x k. Equivalently, one can view the theorem as a statement about the homotopy ecomposition of the pointe free topological group generate by X 1,...,X k, where X i are connecte spaces. This is so because the functor ΩΣ

19 A BRANCHING RULE FOR PARTITION COMPLEXES 19 is equivalent to the pointe free topological group functor. By algebraic Hilton-Milnor theorem we mean an analogous ecomposition of a free Lie algebra on a irect sum. Let us point out a couple of ifferences between the topological an algebraic versions of the theorem: the algebraic version gives an isomorphism, rather than a homotopy equivalence, an it oes not require a connectivity hypothesis. Before we state the theorem, we nee to efine a certain operation on monomials. Definition 3.4. Let w B(n 1,...,n k ) (more generally, w can be any monomial of multi-egree (n 1,...,n k )). By efinition, w is a monomial in x 1,...,x k that contains n i copies of x i for each i. The resolution of w, enote w, is the multi-linear monomial in n variables obtaine from w by replacing the n 1 occurrences of x 1 with x 1,...,x n1, in the orer in which they occur in w, replacing the n 2 occurrences of x 2 with x n1 +1,...,x n1 +n 2, an so on. Example 3.5. Consier the following monomial of multi-egree (2, 2) w(x 1,x 2 ) = [[[x 2,x 1 ],x 1 ],x 2 ]. To obtain the resolution of w replace the twooccurrencesofx 1 withx 1 anx 2,anthetwooccurrencesofx 2 with x 3 anx 4. We obtainthe monomial w(x 1,x 2,x 3,x 4 ) = [[[x 3,x 1 ],x 2 ],x 4 ] in Lie 4. Now let V 1,...,V k be free Abelian groups. Let w B(n 1,...,n k ) be a basic monomial. We associate with w a group homomorphism α w : V n 1 1 V n k k L[V 1 V k ]. The homomorphism is efine by the following formula α w ( k i=1 n i j=1 vj i ) = w(v 1 1,v 2 1,...,vn 1 1,v1 2,...,vn k k ). where v j i V i for all 1 i k,1 j n i. Since w is a multi-linear monomial in the correct number of variables, this is a well-efine homomorphism. Example 3.6. Let w = [[[x 2,x 1 ],x 1 ],x 2 ]. Then w etermines a homomorphism α w : V1 2 V2 2 L[V 1 V 2 ], by the formula α w (v1 1 v1 2 v2 1 v2) 2 = w(v 1,v 1 1,v 2 2,v 1 2) 2 = [[[v 3,v 1 ],v 2 ],v 4 ]. The homomorphism α w extens to a homomorphism of Lie algebras α w : L[V n 1 1 V n k k ] L[V 1 V k ]. Taking irect sum over w B(n 1,...,n k ) we obtain a homomorphism of abelian groups Σ α w : w B(n 1,...,n k ) L[V n 1 1 V n k k ] L[V 1 V k ].

20 20 G. Z. ARONE Remark 3.7. There is an isomorphism L[V n 1 1 V n k k ] = M(n 1,...,n k ) L[V n 1 1 V n k k ] w B(n 1,...,n k ) so we constructe a homomorphism M(n 1,...,n k ) L[V n 1 1 V n k k ] L[V 1 V k ]. However, we emphasize that this isomorphism is not canonical - it epens on a choice of basis of M(n 1,...,n k ). Finally, taking irect sum over all n-tuples (n 1,...,n k ), we obtain a homomorphism of abelian groups. (3.8) L[V n 1 1 V n k k ] L[V 1 V k ]. n 1,...,n k 0 B(n 1,...,n k ) This is not a homomorphism of Lie algebras, but notice that it is a homomorphism of grae abelian groups, provie that on the left han sie one enows V n 1 1 V n k k with graing n 1 + +n k. The following is the algebraic Hilton-Milnor theorem Theorem 3.9. The homomorphism (3.8) is an isomorphism. Proof. Let V,W be free Abelian groups. Consier the natural split surjection of Lie algebras. L[V W] L[V]. The key to the proof is the following lemma, which ientifies the kernel of this homomorphism as a free Lie algebra with an explicit set of generators. Lemma There is a short exact sequence of free Lie algebras, (which splits on the level of grae abelian groups). [ ] 0 L W V i L[V W] L[V] 0. i=0 Here the first map is etermine by the group homomorphisms W V i L[V W] that sen the element w v 1 v i to the iterate commutator [...[w,v 1 ],v 2 ],...]v i ]. The lemma is prove as part of Example ( The Hilton-Milnor example ) in Neisenorfer s book[20]. It shoul be note that Neisenorfer works with grae Lie algebras, an in the proof he uses some lemmas that assume that Lie algebras are zero-connecte. However, Lemma 3.10 hols for ungrae Lie algebras as well. To see this, notice that we can make our algebras connecte by assigning V an W graing 2, an this oes not change anything. Whether V has graing 0 or 2, the resulting Lie algebras L[V] are canonically isomorphic as grae abelian groups.

21 A BRANCHING RULE FOR PARTITION COMPLEXES 21 Once we have Lemma 3.10, the rest of the proof of the theorem procees exactly as for the classic Hilton-Milnor theorem. For etails, see the proof of Theorem 4 in [18]. The input for that theorem is the exact analogue of Lemma 3.10 for topological free groups. The proof of our theorem can emulate Milnor s proof almost wor for wor. One just nees to replace free group with free Lie algebra, homotopy equivalence with isomorphism an complexes with free Abelian groups. 4. From Lie algebras to the Lie representation Recall from previous section that M(1,...,1) L[x 1,...,x n ] is the submoule generate by monomials that contain each generator exactly once. We call such monomials multilinear. By the Witt formula, M(1,...,1) is a free abelian group of rank (n 1)!. Moreover, there is a natural action of Σ n, permuting the generators. We arrange it so that it is a right action. We call M(1,...,1), consiere as an integral representation of Σ n, the Lie representation, an enote it by Lie n The sequence of representations Lie 1,Lie 2,...,Lie n,... forms an opera in abelian groups - the Lie opera. Let us recall what this means. = Suppose that we have an isomorphism φ: n 1 ni n. Then there is a homomorphism associate with φ, s φ : Lie i Lie n1 Lie ni Lie n. The homomorphism s φ is natural with respect to isomorphisms of the sets n 1,...,n i an also with respect to permutations of these set. Let us escribe s φ explicitly in terms of monomials. Recall that Lie n is generate by (parenthesize) multilinear monomials in variables x 1,...,x n. Let w i (x 1,...,x i ),w n1 (x 1,...,x n1 ),...,w ni (x 1,...,x ni ) bemonomialsrepresentingelementsoflie i,lie n1,...,lie ni respectively. To istinguish between elements of n 1,n 2, etc., let 1 j,...n j j be elements of n j. Then s φ (w i w n1,...,w ni )(x 1,...,x n ) equals to w i (w n1 (x φ(1 1 ),...,x φ(n1 1 )),...,w ni (x φ(1 i ),...,x φ(ni i ))). In wors, s φ (w i w n1,...,w ni ) is obtaine by taking the monomial w i (x 1,...,x i ), substituting the monomials w n1,...,w ni for the variables x 1,...,x i, an then reinexing the variables as prescribe by the isomorphism φ. Unless sai otherwise, we take φ to be the obvious isomorphism that takes the elements of n 1 to 1,...,n 1, the elements of n 2 to n 1 + 1,...,n 1 +n 2, etc.

22 22 G. Z. ARONE Lie algebras are the same thing as algebras over the Lie opera. There is a well-known formula for a free algebra over an opera. In the case of Lie algebras it says that there is a natural isomorphism (4.1) ǫ: Lie n Z[Σn]V n L[V]. n=1 See [17], Propositions 1.25 an The isomorphism ǫ is escribe explicitly in terms of monomials as follows. Let w(x 1,...,x n ) be a parenthesize multilinear monomial in x 1,...x n. The group V n is generate by elements of the form v 1 v n. The homomorphism ǫ sens w v 1 v n to w(v 1,...,v n ). Note that ǫ preserves the natural graing. Thus ǫ restricts to an isomorphism of Lie n Z[Σn]V n with the egree n part of L[V]. The isomorphism ǫ, together with the algebraic Hilton-Milnor theorem, yiel a branching rule for the restriction of Lie n to a Young subgroup of Σ n. To see this, consier L[V 1 V k ], the free Lie algebra on a irect sum of k free abelian groups. Combining the operaic moel for the free Lie algebra an the Hilton-Milnor theorem, we obtain a commutative square of isomorphisms (4.2) n 1,...,n k 0 w B(n 1,...,n k ) 1 n 1,...,n k 0 w B(n 1,...,n k ) Lie Σ (V n V n k k ) Lie n Σn (V 1... V k ) n n 1 L[V n1 1 V n k k ] L[V 1 V k ] Here the top map is efine to be the unique isomorphism that makes the iagram commute. An easy iagram chase shows that this isomorphism preserves multi-egree in the variables V 1,...,V k. This means that both the source an the target of the top map are irect sums of terms of the form A Σn1 Σ nk V n 1 1 V n k k, where n 1,...,n k are natural numbers an A is a (free abelian) group with an action of Σ n1 Σ nk. Fixing a k-tuple (n 1,...,n k ) an restricting to terms of multi-egree (n 1,...,n k ), we fin that the top isomorphism restricts to an isomorphism (natural in the variables V 1,...,V k ) of the following form: Lie Z[Σ ](V n V nk k ) gc(n 1,...,n k ) w B( n 1,..., n k ) Lie n Z[Σn1 Σ nk ](V n V n k k ).

23 A BRANCHING RULE FOR PARTITION COMPLEXES 23 Recall that for each that ivies n 1,...,n k, we view Σ as a subgroup of Σ n1 Σ nk via the iagonal inclusion. It follows that the source of this isomorphism can be rewritten as follows Lie Z[Σ ]Z[Σ n1 Σ nk ] Z[Σn1 Σ nk ](V n V n k k ). gc(n 1,...,n k ) w B( n 1,..., n k ) Any natural isomorphism between this functor an the functor Lie n Z[Σn1 Σ nk ](V n V n k k ) is inuce by an isomorphism of Z[Σ n1 Σ nk ]-moules (4.3) Lie Z[Σ ]Z[Σ n1 Σ nk ] = Lie n. gc(n 1,...,n k ) w B( n 1,..., n k ) (Onewaytoseethisistotake(n 1,...,n k )-cross-effectsofthesefunctors of V 1,...,V k ). Recall that the isomorphism is inuce by iagram (4.2). Our next goal is to escribe the homorphism (4.3) explicitly. To o this it is enough to escribe, for each that ivies n 1,...,n k, a Σ -equivariant homomorphism (4.4) Lie Lie n. B( n 1,..., n k ) Let w B(n 1,...,n k ). In Definition 3.4 we efine the resolution of w, enote w, to be a certain multi-linear monomial in n variables. In particular, resolution efines a function B(n 1,...,n k ) Lie n. We emphasize that B(n 1,...,n k ) is just a set, so this is just a function between sets. Sometimes it is convenient to think of it as a homomorphism Z[B(n 1,...,n k )] Lie n. In a similar way, we have a homomorphism Z[B( n 1,..., n k )] Lien. Now consier the following sequence of homomorphisms [ Lie Z B ( n1,..., n k Lie Z [ B )] [ ( n1 Lie Z B ( n1,..., n k,..., n ) ] k )] Lie Lie n = Lie n. HerethefirsthomomorphismisinucebytheiagonalB ( n 1 ),..., n k B ( ) n 1,..., n k, the secon is the obvious isomorphism, the thir is inuce by the map B( n 1,..., n k ) Lien that we efine earlier, an

24 24 G. Z. ARONE the last one uses the opera structure on {Lie n }. Since the source of this homomorphism is canonically isomorphic to B( n 1,..., n k ) Lie, we have constructe a homomorphism as promise in (4.4). The homomorphism is clearly Σ -equivariant. In wors, the homomorphism (4.4) can be escribe as follows. Let w B ( ) n 1,..., n k. In particular, w is a monomial of multi-egree ( n 1,..., n k ). Starting with w efine the monomial w in n istinct variables by replacing the n 1 occurrences of x 1 with x 1,...,x n 1 in the same orer as they occur in w, replacing the n 2 occurrences of x 2 with x n 1 +1,...,x n 1 + n 2, etc. Then efine a homomorphism Lie Lie n in the following way: given a monomial w (x 1,...,x ), sen it to the monomial (4.5) w ( w(x 1,x 1+,...,x 1+n ), w(x 2,x 2+,...,x 2+n ),..., w(x,x 2,...,x n )) Example 4.6. Let n 1 = n 2 = 4, = 2. Then (4.4) specializes to a homomorphism B(2,2) Lie 2 Lie 8.ThesetB(2,2)hasoneelement: the basic monomial w = [[[x 2,x 1 ],x 1 ],x 2 ]. Then w is obtaine from w by replacing the two occurrences of x 1 with x 1 an x 2, an the two occurrences of x 2 with x 3 an x 4. Thus w(x 1,x 2,x 3,x 4 ) = [[[x 3,x 1 ],x 2 ],x 4 ]. Now the homomorphism Lie 2 Lie 8 is efine follows. Suppose w 2 (x 1,x 2 ) is a monomial in x 1,x 2, representing an element of Lie 2. then w 2 is sent to the following monomial in 8 variables: w 2 ( w(x 1,x 3,x 5,x 7 ), w(x 2,x 4,x 6,x 8 )). In particular our homomorphism oes the following [x 2,x 1 ] [[[[x 6,x 2 ],x 4 ],x 8 ],[[[x 5,x 1 ],x 3 ],x 7 ]] [x 1,x 2 ] [[[[x 5,x 1 ],x 3 ],x 7 ],[[[x 6,x 2 ],x 4 ],x 8 ]]. Clearly, thehomomorphismisσ 2 -equivariant(remember thatσ 2 isembeeinσ 8 asthesubgroupgeneratebythecycle(1,2)(3,4)(5,6)(7,8)). The homomorphism (4.4) is Σ equivariant. Since Σ is a subgroup of Σ n1 Σ nk, we can inuce it up to a Σ n1 Σ nk -equivariant homomorphism. Taking irect sum over all positive that ivie n 1,...,n k, we obtain the homomorphism promise in (4.3). A routine iagram chase, using our explicit escriptions of the Hilton- Milnor isomorphism an the isomorphism (4.1), establishes the following proposition. Proposition 4.7. The homomorphism (4.3) that we just escribe is the isomorphism inuce by the top map in iagram (4.2).