Wreath products and representations of \(p\)-local finite groups.

*(English)*Zbl 1248.20019From the introduction: Given two finite \(p\)-local finite groups and a fusion preserving morphism between their Sylow subgroups, we study the question of extending it to a continuous map between their classifying spaces. The results depend on the construction of the wreath product of \(p\)-local finite groups which is also used to study \(p\)-local permutation representations.

A fusion system \(\mathcal F\) on a finite \(p\)-group \(P\) is a small category whose objects are the subgroups of \(P\) and whose morphisms are group monomorphisms which include all those homomorphisms obtained from conjugation by the elements of \(P\). The idea of saturated fusion systems was formulated in the early 1980’s by L. Puig [J. Algebra 303, No. 1, 309-357 (2006; Zbl 1110.20011)] who studied representations of finite groups. Every block \(b\) of the group algebra \(kG\), where \(k\) is an algebraically closed field of characteristic \(p\), gives rise to a saturated fusion system on its defect group \(P\leq G\). The principal block of \(kG\) gives rise to the fusion system \(\mathcal F_S(G)\) whose objects are the subgroups of a Sylow \(p\)-subgroup \(S\) of \(G\) and its morphisms are induced by conjugation in \(G\).

In order to understand self-homotopy equivalences of \(BG^{\land}_p\), C. Broto, R. Levi and B. Oliver considered [in [5] = Invent. Math. 151, No. 3, 611-664 (2003; Zbl 1042.55008)] a category \(\mathcal L_S(G)\) closely related to \(\mathcal F_S(G)\). This category was earlier studied by Puig. Abstraction of this construction led them [in J. Am. Math. Soc. 16, No. 4, 779-856 (2003; Zbl 1033.55010)] to the notion of a centric linking system \(\mathcal L\) associated to a saturated fusion system \((S,\mathcal F)\). The triple \((S,\mathcal F,\mathcal L)\) is called a \(p\)-local finite group. Its classifying space is by definition the space \(|\mathcal L|^{\land}_p\), a terminology justified by the fact that \(|\mathcal L_S(G)|^{\land}_p\simeq BG^{\land}_p\) [5, loc. cit., Lemma 1.2]. The spaces \(|\mathcal L|^{\land}_p\) have many properties in common with \(p\)-completed classifying spaces of finite groups. Thus, \(p\)-local finite groups provide an important connection between group theory and topology via their linking systems.

This paper focuses on the following fundamental problem. In what way, if any, a fusion preserving map \((S,\mathcal F)\to(S',\mathcal F')\), see details below, gives rise to a map \(|\mathcal L|^{\land}_p\to|\mathcal L'|^{\land}_p\) between the classifying spaces? A step forward is given in Theorem B below. It is related to the yet open problem of defining the concept of morphisms between \(p\)-local finite groups in a way which is compatible with maps between their classifying spaces. It also gives a new insight to the study of maps between \(p\)-completed classifying spaces.

We will define a permutation representations of a \(p\)-local finite group \((S,\mathcal F,\mathcal L)\) as a homotopy class of a map \(|\mathcal L|\to(B\Sigma_n)^{\land}_p\) where \(\Sigma_n\) is a symmetric group. In Theorem C below we will prove a \(p\)-local form of Cayley’s theorem, namely the existence of \(p\)-regular representations. We will then approach the notion of the homotopy-index of the Sylow subgroup \(S\) in \((S,\mathcal F,\mathcal L)\) through the regular representation. The index of a subgroup \(S\) in a finite group \(G\) is the number of orbits of \(S\) in its action by translation of \(G\). In other words, restriction of the regular representation of \(G\) to \(S\) results in \(|G:S|\) copies of the regular representation of \(S\). From the homotopy point of view, one could define the homotopy-index of \(S\) in \(\mathcal L\) by the minimal \(n\) for which there is a map \(|\mathcal L|\to(B\Sigma_{n\cdot|S|})^{\land}_p\) whose restriction to \(BS\) is homotopic to the map \(BS@>n\cdot\text{reg}_S>>(B\Sigma_{n\cdot|S|})^{\land}_p\) induced by \(n\) copies of the regular representation of \(S\). But this number is very difficult to compute, even for a \(p\)-local finite group associated to a finite group. Instead, we will define the lower homotopy-index of \(S\) in \(\mathcal L\) as the smallest number \(p^k\) such that the map \(BS\to(B\Sigma_{p^k\cdot|S|})^{\land}_p\) induced by \(p^k\cdot\text{reg}_S\) can be extended up to homotopy to a map \(|\mathcal L|\to(B\Sigma_{p^k\cdot|S|})^{\land}_p\). This is a new invariant of \(p\)-local finite groups.

A fusion system \(\mathcal F\) on a finite \(p\)-group \(P\) is a small category whose objects are the subgroups of \(P\) and whose morphisms are group monomorphisms which include all those homomorphisms obtained from conjugation by the elements of \(P\). The idea of saturated fusion systems was formulated in the early 1980’s by L. Puig [J. Algebra 303, No. 1, 309-357 (2006; Zbl 1110.20011)] who studied representations of finite groups. Every block \(b\) of the group algebra \(kG\), where \(k\) is an algebraically closed field of characteristic \(p\), gives rise to a saturated fusion system on its defect group \(P\leq G\). The principal block of \(kG\) gives rise to the fusion system \(\mathcal F_S(G)\) whose objects are the subgroups of a Sylow \(p\)-subgroup \(S\) of \(G\) and its morphisms are induced by conjugation in \(G\).

In order to understand self-homotopy equivalences of \(BG^{\land}_p\), C. Broto, R. Levi and B. Oliver considered [in [5] = Invent. Math. 151, No. 3, 611-664 (2003; Zbl 1042.55008)] a category \(\mathcal L_S(G)\) closely related to \(\mathcal F_S(G)\). This category was earlier studied by Puig. Abstraction of this construction led them [in J. Am. Math. Soc. 16, No. 4, 779-856 (2003; Zbl 1033.55010)] to the notion of a centric linking system \(\mathcal L\) associated to a saturated fusion system \((S,\mathcal F)\). The triple \((S,\mathcal F,\mathcal L)\) is called a \(p\)-local finite group. Its classifying space is by definition the space \(|\mathcal L|^{\land}_p\), a terminology justified by the fact that \(|\mathcal L_S(G)|^{\land}_p\simeq BG^{\land}_p\) [5, loc. cit., Lemma 1.2]. The spaces \(|\mathcal L|^{\land}_p\) have many properties in common with \(p\)-completed classifying spaces of finite groups. Thus, \(p\)-local finite groups provide an important connection between group theory and topology via their linking systems.

This paper focuses on the following fundamental problem. In what way, if any, a fusion preserving map \((S,\mathcal F)\to(S',\mathcal F')\), see details below, gives rise to a map \(|\mathcal L|^{\land}_p\to|\mathcal L'|^{\land}_p\) between the classifying spaces? A step forward is given in Theorem B below. It is related to the yet open problem of defining the concept of morphisms between \(p\)-local finite groups in a way which is compatible with maps between their classifying spaces. It also gives a new insight to the study of maps between \(p\)-completed classifying spaces.

We will define a permutation representations of a \(p\)-local finite group \((S,\mathcal F,\mathcal L)\) as a homotopy class of a map \(|\mathcal L|\to(B\Sigma_n)^{\land}_p\) where \(\Sigma_n\) is a symmetric group. In Theorem C below we will prove a \(p\)-local form of Cayley’s theorem, namely the existence of \(p\)-regular representations. We will then approach the notion of the homotopy-index of the Sylow subgroup \(S\) in \((S,\mathcal F,\mathcal L)\) through the regular representation. The index of a subgroup \(S\) in a finite group \(G\) is the number of orbits of \(S\) in its action by translation of \(G\). In other words, restriction of the regular representation of \(G\) to \(S\) results in \(|G:S|\) copies of the regular representation of \(S\). From the homotopy point of view, one could define the homotopy-index of \(S\) in \(\mathcal L\) by the minimal \(n\) for which there is a map \(|\mathcal L|\to(B\Sigma_{n\cdot|S|})^{\land}_p\) whose restriction to \(BS\) is homotopic to the map \(BS@>n\cdot\text{reg}_S>>(B\Sigma_{n\cdot|S|})^{\land}_p\) induced by \(n\) copies of the regular representation of \(S\). But this number is very difficult to compute, even for a \(p\)-local finite group associated to a finite group. Instead, we will define the lower homotopy-index of \(S\) in \(\mathcal L\) as the smallest number \(p^k\) such that the map \(BS\to(B\Sigma_{p^k\cdot|S|})^{\land}_p\) induced by \(p^k\cdot\text{reg}_S\) can be extended up to homotopy to a map \(|\mathcal L|\to(B\Sigma_{p^k\cdot|S|})^{\land}_p\). This is a new invariant of \(p\)-local finite groups.

##### MSC:

20D20 | Sylow subgroups, Sylow properties, \(\pi\)-groups, \(\pi\)-structure |

55R35 | Classifying spaces of groups and \(H\)-spaces in algebraic topology |

55R37 | Maps between classifying spaces in algebraic topology |

55R40 | Homology of classifying spaces and characteristic classes in algebraic topology |

20D30 | Series and lattices of subgroups |

20E22 | Extensions, wreath products, and other compositions of groups |

##### Keywords:

permutation representations; \(p\)-local finite groups; wreath products; classifying spaces; saturated fusion systems; centric linking systems
PDF
BibTeX
XML
Cite

\textit{N. Castellana} and \textit{A. Libman}, Adv. Math. 221, No. 4, 1302--1344 (2009; Zbl 1248.20019)

Full Text:
DOI

##### References:

[1] | Bousfield, A.K., On the p-adic completions of nonnilpotent spaces, Trans. amer. math. soc., 331, 335-359, (1992) · Zbl 0763.55008 |

[2] | Bousfield, A.K.; Kan, D.M., Homotopy limits, completions and localizations, Lecture notes in math., vol. 304, (1972), Springer Berlin · Zbl 0259.55004 |

[3] | Broto, N.; Castellana, C.; Grodal, J.; Levi, R.; Oliver, B., Extensions of p-local finite groups, Trans. amer. math. soc., 259, 3791-3858, (2007) · Zbl 1145.55013 |

[4] | Broto, N.; Castellana, C.; Grodal, J.; Levi, R.; Oliver, B., Subgroup families controlling p-local finite groups, Proc. London math. soc. (3), 91, 325-354, (2005) · Zbl 1090.20026 |

[5] | Broto, N.; Levi, R.; Oliver, B., Homotopy equivalences of p-completed classifying spaces of finite groups, Invent. math., 151, 3, 611-664, (2003) · Zbl 1042.55008 |

[6] | Broto, C.; Levi, R.; Oliver, B., The homotopy theory of fusion systems, J. amer. math. soc., 16, 4, 779-856, (2003) · Zbl 1033.55010 |

[7] | Broto, C.; Levi, R.; Oliver, B., A geometric construction of saturated fusion systems, (), 11-40, (English summary) · Zbl 1100.55005 |

[8] | A. Chermak, Bob Oliver, S. Shpectorov, The simple connectivity of \(B \operatorname{Sol}(q)\), preprint · Zbl 1157.55012 |

[9] | Díaz, A.; Ruiz, A.; Viruel, A., All p-local finite groups of rank two for odd prime p, Trans. amer. math. soc., 359, 4, 1725-1764, (2007), (electronic) · Zbl 1113.55010 |

[10] | Dwyer, W.; Zabrodsky, A., Maps between classifying spaces, (), 106-119 · Zbl 0646.55007 |

[11] | Levi, R.; Oliver, B., Construction of 2-local finite groups of a type studied by Solomon and benson, Geom. topol., 6, 917-990, (2002) · Zbl 1021.55010 |

[12] | Libman, A., The normaliser decomposition for p-local finite groups, Algebr. geom. topol., 6, 1267-1288, (2006) · Zbl 1128.55006 |

[13] | A. Libman, A. Viruel, On the homotopy type of the non-completed classifying space of a p-local finite group, Forum Math., in press · Zbl 1168.55005 |

[14] | Martino, J.; Priddy, S., Unstable homotopy classification of \(B G_p^\wedge\), Math. proc. Cambridge philos. soc., 119, 1, 119-137, (1996) · Zbl 0855.55008 |

[15] | Mislin, G., On group homomorphisms inducing mod-p cohomology isomorphisms, Comment. math. helv., 65, 3, 454-461, (1990) · Zbl 0713.55009 |

[16] | Oliver, B., Equivalences of classifying spaces completed at odd primes, Math. proc. Cambridge philos. soc., 137, 2, 321-347, (2004) · Zbl 1077.55006 |

[17] | Oliver, B., Equivalences of classifying spaces completed at the prime two, Mem. amer. math. soc., 180, (2006) · Zbl 1095.55008 |

[18] | B. Oliver, Extensions of linking systems and fusion systems, preprint · Zbl 1205.55014 |

[19] | Puig, Ll., Frobenius categories, J. algebra, 303, 309-357, (2006) · Zbl 1110.20011 |

[20] | Quillen, A., Higher algebraic K-theory. I, (), 85-147 · Zbl 0292.18004 |

[21] | Ragnarsson, K., Classifying spectra of saturated fusion systems, Algebr. geom. topol., 6, 195-252, (2006), (electronic) · Zbl 1098.55012 |

[22] | Ruiz, A.; Viruel, A., The classification of p-local finite groups over the extraspecial group of order p3 and exponent p, Math. Z., 248, 1, 45-65, (2004) · Zbl 1062.20022 |

[23] | Spanier, E., Algebraic topology, (1981), Springer New York |

[24] | Thomason, R.W., Homotopy colimits in the category of small categories, Math. proc. Cambridge philos. soc., 85, 1, 91-109, (1979) · Zbl 0392.18001 |

[25] | Whitehead, G.W., Elements of homotopy theory, Grad. texts in math., vol. 61, (1978), Springer New York · Zbl 0151.31101 |

[26] | Wojtkowiak, Z., On maps from \(\operatorname{ho} \overset{\lim}{\leftarrow} \leftarrow F\) to Z, (), 227-236 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.