So the essential question is: > How should we think about, or if possible compute, the semisimple > support of a cuspidal character sheaf? For example, let $G=SL_2$. We have the cuspidal character sheaf $IC(\mathcal{O},\mathcal{F})[2]=\mathcal{F}[2]$ where $\mathcal{O}$ is the regular unipotent orbit and $\mathcal{F}$ is the non-trivial $G$-equivariant local system on it. It has semisimple support $s=\left(\begin{matrix}1&0\\0&-1\end{matrix}\right)\in G^{\vee}=PGL_2$. In other words $\mathcal{F}[2]\in\hat{G}_{\mathcal{L}}$ in Lusztig's original language where $\mathcal{L}$ is the unique order 2 local system on the maximal torus of $G$. Do we have any method/algorithm to compute this semisimple support in general without a case-by-case study? The most elementary way to realize the $SL_2$ case is probably that the Deligne-Lusztig induction of $\theta_{\mathcal{L}}$ (which corresponds to $s\in G^{\vee}$ as in Deligne-Lusztig) contains two irreducible representations. The perverse sheaf $\mathcal{F}[2]$ then appears in the difference of their characters, again via function-sheaf correspondence. But this seems *ad hoc* as this decomposition relies implicitly on $G$ having disconnected center. My apology for my ignorance if the answer is somewhere in the obvious literatures (e.g. [L1]-[L5]) that I fail to fully read. And thanks a lot for any answer and comment.