On the uniqueness of the generalized octagon of order \((2,4)\) (Q468711)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the uniqueness of the generalized octagon of order \((2,4)\)
scientific article

    Statements

    On the uniqueness of the generalized octagon of order \((2,4)\) (English)
    0 references
    0 references
    0 references
    0 references
    7 November 2014
    0 references
    There is a generalized octagon of order \((2,4)\) which belongs to the group \(^2F_4(2)\). Whether this is the unique generalized octagon of this order is still an open question. There is just one vertex transitive one (see [\textit{I. N. Belousov} and \textit{A. A. Makhnev}, Math. Notes 84, No. 3, 483--492 (2008; Zbl 1165.05328); translation from Mat. Zametki 84, No. 4, 516--526 (2008)]) or also just one Moufang octagon [\textit{J. Tits}, Am. J. Math. 105, 539--594 (1983; Zbl 0521.20016)]. In this paper, the authors prove that there is a unique octagon of order \((2,4)\) if it admits a group \(Q\) of automorphisms which fixes a point \(a\) and all lines through \(a\) and acts transitively on the set \(P_a\) of points opposite to \(a\). For the proof, the authors define a subgroup \(Q_0\) of \(Q\) as the group generated by elements \(\alpha_i \in Q\), \(i= 1, \dots , 5\), where \(b\) is a fixed element in \(P_a\), \(\{b,c_i\}\), \(i = 1, \dots, 5\), are the lines through \(b\) and \(b^{\alpha_i} = c_i\). They show that \(2^8 \leq |Q_0| \leq 2^{10}\) and prove many properties of this group. Using these facts, they go over the GAP-list of 2-groups of order \(2^8\), \(2^9\) and \(2^{10}\) and eventually come down with a unique one, which is of order \(2^9\). This then implies uniqueness of the generalized octagon. The authors say that to treat the groups of order \(2^8\) and \(2^9\) it takes 10 CPU-years and for \(2^{10}\) it will be 15 CPU-years. The referee and probably also many readers are not familiar with this kind of measure. Hence, it is not clear whether one is able to verify the proof in reasonable time.
    0 references
    0 references
    generalized polygon
    0 references
    octagon
    0 references
    point-line geometry
    0 references
    incidence geometry
    0 references
    groups of order a small power of 2
    0 references
    Ree group
    0 references
    Cayley graph
    0 references
    0 references
    0 references

    Identifiers