The endomorphism conjecture for F-roots of the full twist

At least 20 years old · documented by

Let BB be the braid group, let B+B^+ be its positive braid monoid, let FF act on BB by the Frobenius diagram automorphism, and let π{\boldsymbol\pi} be the positive generator of the center of the pure braid group. Let B{\mathcal B} and D{\mathcal D} be the categories defined by FF-conjugation of braids, so that End⁡B(b)=CB(bF)\operatorname{End}_{\mathcal B}({\bf b})=C_B({\bf b}F) and End⁡D(b)\operatorname{End}_{\mathcal D}({\bf b}) is obtained by inverting the morphisms in D+{\mathcal D}^+. An element b∈B+{\bf b}\in B^+ is an FF-root of π{\boldsymbol\pi} if (bF)d=πFd({\bf b}F)^d={\boldsymbol\pi}F^d for some positive integer dd. Endomorphism conjecture. When b{\bf b} is an FF-root of π{\boldsymbol\pi},

End⁡D(b)=End⁡B(b)=CB(bF).\operatorname{End}_{\mathcal D}({\bf b})=\operatorname{End}_{\mathcal B}({\bf b})=C_B({\bf b}F).

The paper proves this in several cases, including b=π{\bf b}={\boldsymbol\pi}, w0{\bf w}_0, Coxeter elements, roots in types AA and BB, and fourth roots in type D4D_4, but does not establish it in general.

References

Primary source

François Digne and Jean Michel, “Endomorphisms of Deligne-Lusztig varieties”, arXiv:math/0509011 (2005).

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.