Strong eigencone functoriality along folds

About 10 years old · traced to

Let GG be a simple, simply connected algebraic group over C\mathbb{C}, and let M⊆GM\subseteq G be a semisimple subgroup that is the fixed subgroup of an automorphism of GG. Let M1M_1 be a simple factor of MM whose highest root coincides with the highest root of GG. Write ϕ:Γ‾n(M1)→Γ‾n(G)\phi:\overline{\Gamma}_{n}(M_1)\to\overline{\Gamma}_{n}(G) for the induced map, and call λ⃗∈Γ‾n(M1)\vec{\lambda}\in\overline{\Gamma}_{n}(M_1) a point along a fold when

ϕ−1(ϕ(λ⃗))={λ⃗}.\phi^{-1}(\phi(\vec{\lambda}))=\{\vec{\lambda}\}.

Strong eigencone functoriality along folds. Along the folds of ϕ\phi, one has

λ⃗∈Γ‾n(M1)⟺λ⃗∈Γ‾n(G).\vec{\lambda}\in\overline{\Gamma}_{n}(M_1)\quad\Longleftrightarrow\quad\vec{\lambda}\in\overline{\Gamma}_{n}(G).

This conjecture proposes that the eigencones agree along the parts of the map where no points are identified. The source reports that the conjecture remains open for fixed subgroups of inner automorphisms in types E⁡6\operatorname{E}_6, E⁡7\operatorname{E}_7, and E⁡8\operatorname{E}_8.

References

Primary source

Michael Schuster, “Maximal rank subgroups and strong functoriality of the additive eigencone”, arXiv:1608.06215 (2017).

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.