Fake Lie groups with maximal tori. IV (Q1204242): Difference between revisions

This paper is a continuation of a series of papers on fake Lie groups of \textit{L. Smith} and the author [ibid. 288, 637-661, 663-673 (1990; Zbl 0697.55006 and Zbl 0697.55007); ibid. 290, 629-642 (1991; Zbl 0741.55004)]. A fake Lie group of type \(G\), \(G\) a compact connected Lie group, is a finite loop space \(X\) such that the classifying space \(BX\) has the same genus as \(BG\); i.e., both spaces are \(p\)-local equivalent for any prime \(p\). For such spaces there exists a notion of a maximal torus. A map \(BT_ X\to BX\), \(T_ X\) a torus, is a maximal torus of \(X\) if the homotopy fiber is equivalent to a finite CW-complex and if \(\text{rank}(T_ X)=\text{rank}(X)\). The main result classifies the fake Lie groups with maximal torus. A fake Lie group \(X\) of type \(G\) has a maximal torus iff there exists a compact connected Lie group \(H\) such that \(BX\) and \(BH\) are homotopy-equivalent. If \(G\) is simply connected or if \(G\) is simple, then \(H=G\), i.e., \(BX\) and \(BG\) are equivalent.