Status of Quillen's conjecture on elementary abelian p-groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T20:05:44Z http://mathoverflow.net/feeds/question/38890 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/38890/status-of-quillens-conjecture-on-elementary-abelian-p-groups Status of Quillen's conjecture on elementary abelian p-groups Romeo 2010-09-15T22:29:49Z 2010-11-10T10:52:40Z <p>These are questions on D. Quillen's 1978 paper <em>Homotopy properties of the poset of nontrivial p-subgroups of a group</em>.</p> <p>Let $G$ be a finite group, $p$ a prime number, $\mathcal S(G)$ the poset of non-trivial $p$-subgroups of $G$, and $\mathcal A (G)$ the poset of non-trivial elementary Abelian $p$-subgroups of $G$, both ordered by inclusion.</p> <blockquote> <p>Question One: Is $\mathcal S(G)$ homotopic or weakly homotopic to $\mathcal A (G)$? (Whichever is true is a theorem of Quillen.) If the latter, can someone give a specific example showing that the two posets are not homotopic?</p> </blockquote> <p>Quillen also proved that for $G$ solvable, $\mathcal A (G)$ is contractible if and only if $G$ has a non-trivial normal $p$-subgroup.</p> <p><strong>Conjecture (Quillen):</strong> $\mathcal A (G)$ is contractible if and only if $G$ has a non-trivial normal $p$-subgroup.</p> <blockquote> <p>Question Two: Is this still open (I know it was a few years ago)? What are lines of attack on this problem? Have attempts to prove it led to any <em>a priori</em> unrelated work? </p> </blockquote> http://mathoverflow.net/questions/38890/status-of-quillens-conjecture-on-elementary-abelian-p-groups/39012#39012 Answer by Dan Ramras for Status of Quillen's conjecture on elementary abelian p-groups Dan Ramras 2010-09-16T19:36:48Z 2010-09-23T05:05:44Z <p>To answer your first question, the inclusion <code>$A(G)\to S(G)$</code> is a homotopy equivalence. This is an application of Quillen's "Theorem A" (aka his "fiber lemma"). See Prop. 2.1 in his paper. To apply the fiber lemma, you just need to show that the fibers, which are those points mapping below a particular P-subgroup in S, are contractible. This means you need to show that the elementary abelian p-subgroups of a P-group form a contractible poset. Well, that's done by a conical contraction: just multiply each subgroup by the maximal elementary abelian subgroup of the center (to slide it up above this characteristic subgroup), and then slide it down to this subgroup. </p> <p>The Quillen Conjecture is definitely still open. Grodal showed some connections with higher derived limits (he shows that certain strengthenings of Quillen's conjecture are equivalent to statements about higher limits), and there's an old approach using finite topological spaces due to Richard Stong. There's been some interesting developments lately due to Shareshian (Hypergraph matching complexes and Quillen complexes of symmetric groups. J. Combin. Theory Ser. A 106 (2004), no. 2, 299--314) and others, but mostly they're about figuring out more specific information in particular cases, rather than attacks on the full conjecture. </p> <p>In the early 90's, Aschbacher and Smith made a lot of progress (see their 1993 Annals paper). They proved the conjecture for groups not containing certain matrix groups as subnormal subgroups.</p> <p>I don't know that anyone really has ideas for how to prove it in general.</p> http://mathoverflow.net/questions/38890/status-of-quillens-conjecture-on-elementary-abelian-p-groups/45543#45543 Answer by Neil Strickland for Status of Quillen's conjecture on elementary abelian p-groups Neil Strickland 2010-11-10T10:14:35Z 2010-11-10T10:52:40Z <p>The fact that $\mathcal{A}(G)\simeq\mathcal{S}(G)$ is normally proved using Quillen's Theorem A as explained by Dan, but here is another argument that I like better. (I don't think it is in the literature.) For any poset $X$, let $sX$ be the poset of nonempty chains in $X$, ordered by inclusion. There is a homeomorphism $m:|sX|\to |X|$ by barycentric subdivision. There is also a poset map $\max:sX\to X$, and $|\max|$ is homotopic to $m$ (by a linear homotopy) so it is a homotopy equivalence. Next, if $P$ is a nontrivial $p$-group then the group $TP=\{g\in ZP: g^p=1\}$ is nontrivial (by a standard lemma) and elementary abelian. Unfortunately, the map $T:\mathcal{S}(G)\to\mathcal{A}(G)$ is not order-preserving. However, suppose we have a chain $C=(P_0\leq\dotsb\leq P_r)\in s\mathcal{S}(G)$. When $i\leq j$ we note that $TP_i\leq P_j$ and $TP_j$ is central in $P_j$ so $TP_i$ commutes with $TP_j$. It follows that the product $UC=TP_0.TP_1.\dotsb.TP_r$ is again elementary abelian. This defines a poset map $U:s\mathcal{S}(G)\to\mathcal{A}(G)$ and thus a map $|U|:|\mathcal{S}(G)|\simeq|s\mathcal{S}(G)|\to|\mathcal{A}(G)|$. If we let $i:\mathcal{A}(G)\to\mathcal{S}(G)$ denote the inclusion then $i\circ U\leq\max$ so $|i|\circ|U|$ is homotopic to $|\max|$ and thus to $m$. We also have $U\circ si=\max:s\mathcal{A}(G)\to\mathcal{A}(G)$. It follows that $|i|$ is a homotopy equivalence as claimed.</p>