Rigid-triple conjecture for exceptional finite groups

About 15 years old · traced to

Let G^\widehat{G} be of type E8E_8 or G2G_2, and let C1C_1 be the regular unipotent class in G^(Fℓ)\widehat{G}(\mathbb{F}_{\ell}), C∞C_{\infty} the unipotent class of vv, and C0C_0 the conjugacy class of the reduction of κ\kappa. A triple is strictly rigid when the equation

g0g1g∞=1,gi∈Cifor i=0,1,∞g_0g_1g_{\infty}=1,\qquad g_i\in C_i\quad\text{for }i=0,1,\infty

has a unique solution up to conjugacy and every such solution generates the whole group.

Rigid-triple conjecture. The triple (C0,C1,C∞)(C_0,C_1,C_{\infty}) is strictly rigid in G^(Fℓ)\widehat{G}(\mathbb{F}_{\ell}): the equation

g0g1g∞=1,gi∈Cifor i=0,1,∞g_0g_1g_{\infty}=1,\qquad g_i\in C_i\quad\text{for }i=0,1,\infty

has a unique solution up to conjugacy in G^(Fℓ)\widehat{G}(\mathbb{F}_{\ell}), and any such solution generates G^(Fℓ)\widehat{G}(\mathbb{F}_{\ell}).

Rigid triples are used in the inverse Galois problem to construct étale coverings and, via Hilbert irreducibility, Galois groups over Q\mathbb{Q}. The supplied text does not state whether this conjecture has been proved or refuted.

References

Primary source

Zhiwei Yun, “Motives with exceptional Galois groups and the inverse Galois problem”, arXiv:1112.2434 (2011).

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.