Abstract: We prove, for certain pairs of finite groups of Lie type, that the -fusion systems and are equivalent. In other words, there is an isomorphism between a Sylow -subgroup of and one of which preserves -fusion. This occurs, for example, when and for a simple Lie ``type'' , and and are prime powers, both prime to , which generate the same closed subgroup of -adic units. Our proof uses homotopy-theoretic properties of the -completed classifying spaces of and , and we know of no purely algebraic proof of this result.
[Bor]Armand
Borel, Sur la cohomologie des espaces fibrés principaux et
des espaces homogènes de groupes de Lie compacts, Ann. of Math.
(2) 57 (1953), 115–207 (French). MR 0051508
(14,490e)
[FM]Paul
Fong and R.
James Milgram, On the geometry and cohomology of the simple groups
𝐺₂(𝑞) and ³𝐷₄(𝑞),
Group representations: cohomology, group actions and topology (Seattle, WA,
1996), Proc. Sympos. Pure Math., vol. 63, Amer. Math. Soc.,
Providence, RI, 1998, pp. 221–244. MR 1603163
(99f:20088)
[Fr]Eric
M. Friedlander, Étale homotopy of simplicial schemes,
Annals of Mathematics Studies, vol. 104, Princeton University Press,
Princeton, N.J., 1982. MR 676809
(84h:55012)
[Mi]R.
James Milgram, On the geometry and cohomology of the simple groups
𝐺₂(𝑞) and ³𝐷₄(𝑞).
II, Group representations: cohomology, group actions and topology
(Seattle, WA, 1996), Proc. Sympos. Pure Math., vol. 63, Amer. Math.
Soc., Providence, RI, 1998, pp. 397–418. MR 1603199
(99f:20089)
[O2]Bob
Oliver, Equivalences of classifying spaces completed at the prime
two, Mem. Amer. Math. Soc. 180 (2006), no. 848,
vi+102. MR
2203209 (2007c:55014)
[Se]Jean-Pierre
Serre, Linear representations of finite groups,
Springer-Verlag, New York, 1977. Translated from the second French edition
by Leonard L. Scott; Graduate Texts in Mathematics, Vol. 42. MR 0450380
(56 #8675)
K. Andersen, J. Grodal, J. Møller, and A. Viruel, The classification of -compact groups for odd, Annals of Math. (2) 167 (2008), 95-210. MR 2373153 (2009a:55012)
A. Borel, Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts, Annals of Math. (2) 57 (1953), 115-207. MR 0051508 (14:490e)
C. Broto, N. Castellana, J. Grodal, R. Levi, and B. Oliver, Extensions of -local finite groups. Trans. Amer. Math. Soc. 359 (2007), 3791-3858. MR 2302515 (2008i:55013)
W. Dwyer and C. Wilkerson, Homotopy fixed-point methods for Lie groups and finite loop spaces, Ann. of Math. (2) 139 (1994), 395-442. MR 1274096 (95e:55019)
P. Fong and J. Milgram, On the geometry and cohomology of the simple groups and , Group representations: cohomology, group actions and topology, Proc. Symp. Pure Maths. 63 (1998), 221-244. MR 1603163 (99f:20088)
E. Friedlander, Étale homotopy of simplicial schemes, Annals of Mathematics Studies, vol. 104, Princeton University Press (1982). MR 676809 (84h:55012)
D. Gorenstein, R. Lyons, and R. Solomon, The classification of the finite simple groups, nr. 3, Amer. Math. Soc. Surveys and Monogr. 40 #3 (1997). MR 1490581 (98j:20011)
S. Jackowski, J. McClure, and B. Oliver, Self-homotopy equivalences of classifying spaces of compact connected Lie groups, Fund. Math. 147 (1995), 99-126. MR 1341725 (96f:55009)
P. Kleidman, The maximal subgroups of the Steinberg triality groups and of their automorphism groups, J. Algebra 115 (1988), 182-199. MR 937609 (89f:20024)
P. Kleidman, The maximal subgroups of the Chevalley groups with odd, the Ree groups , and their automorphism groups, J. Algebra 117 (1988), 30-71. MR 955589 (89j:20055)
J. Milgram, On the geometry and cohomology of the simple groups and : II, Group representations: cohomology, group actions and topology, Proc. Symp. Pure Math. 63 (1998), 397-418. MR 1603199 (99f:20089)