The building-realization conjecture for exceptional Chevalley groups over finite fields

Let G\mathcal G be a Chevalley group of adjoint type τ\tau, rank rr, and dimension n=r+2mn=r+2m, with Lie algebra g\mathfrak g. Let P[Ψ]\mathbb P[\Psi] be the associated F1\mathbb F_1-model and let Δ(+P[g]Fq)\Delta({}^{+}\mathbb P[\mathfrak g]_{\mathbb F_q}) denote the simplicial complex of the base change to Fq\mathbb F_q. The building-realization conjecture. There is an (r1)(r-1)-simplex δq\delta_q in +P[g]Fq{}^{+}\mathbb P[\mathfrak g]_{\mathbb F_q} such that the orbit G(Fq).δqG(\mathbb F_q).\delta_q in Δ(+P[g]Fq)\Delta({}^{+}\mathbb P[\mathfrak g]_{\mathbb F_q}) is the spherical building of type τ\tau over Fq\mathbb F_q. The action of G(Fq)G(\mathbb F_q) on G(Fq).δqG(\mathbb F_q).\delta_q coincides with the usual action on the building.

This is presented as an expectation following the corresponding theorem for the Weyl-group orbit over the F1\mathbb F_1-model. The source gives no resolution or additional evidence, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Oliver Lorscheid, “A blueprinted view on F_1-geometry”, arXiv:1301.0083 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.