Homotopy and homology of p-subgroup complexes

Citation

Das, Kaustuv Mukul (1994) Homotopy and homology of p-subgroup complexes. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/GAWP-0T18. https://resolver.caltech.edu/CaltechETD:etd-06032004-143153

Abstract

NOTE: Text or symbols not renderable in plain ASCII are indicated by [...]. Abstract is included in .pdf document.

In this thesis we analyzed the simple connectivity of the Quillen complex at [...] for the classical groups of Lie type. In light of the Solomon-Tits theorem, we focused on the case where [...] is not the characteristic prime. Given (p,q) = 1. let dp(q) be the order of [...] in [...]. In this thesis we proved the following result:

Main Theorem. When (p,q) = 1 we have the following results about the simple connectivity of the Quillen complex at p, Ap(G), for the classical groups of Lie type:

1. If G = GLn(q), dp(q) > 2 and mp(G) > 2, then Ap[...](G) is simply connected.

2. If G = [...], then: (a) Ap(G) is Cohen-Macaulay of dimension n - 1 if dp(q) = 1. (b) If nip(G) > 2 and dp(q) is odd, then Ap(G) is simply connected.

3. If G = [...], then: (a) Ap(G) is Cohen-IVlacaulay of dimension n - 1 if [...] and dp(q) = 1. (b) If mp(G) > 2 and dp(q) is odd, then ,Ap(G) is simply connected. (c) If n [...] 3, q [...] 5 is odd, and dp(q) = 2, then Ap(G)(> Z) is simply connected, where Z is the central subgroup of G of order p.

In the course of analyzing the [...]-subgroup complexes we developed new tools for studying relations between various simplicial complexes and generated results about the join of complexes and the [...]-subgroup complexes of products of groups. For example we proved: Theorem A. Let [...] be a map of posets satisfying:

(1) [...] is strict; that is,[...] (2)[...] (3) [...]connected for all [...] with [...].

Then Y n-connected implies X is n-connected.

Theorem A provides us with a tool for studying [...] in terms of [...]. For example, we used this method to prove:

Theorem 8.6. Let G = [...] where [...] is solvable and S is a p-group of symplectic type. Then [...]spherical.

In this thesis we also generated a library of results about geometric complexes which do not arise as [...]-subgroup complexes. This library includes, but is not restricted to, the following:

(l.) the poset of proper nondegenerate subspaces of a 2[...]-dimensional symplectic space -ordered by inclusion - is Cohen-Macaulay of dimension n-2. (2) If q is an odd prime power anal n [...] (with n [...] 5 if q = 3), then the poset of proper nondegenerate subspaces of an n-dimensional unitary space over Fq2 is simply connected.

Thesis Files