I recently needed to know which circles $S$ in a maximal torus $T^6$ of the compact exceptional group $E\_6$ yield one-dimensional subspaces $\mathfrak s$ of the Lie algebra $\mathfrak t^6$ that are reflected by some element of the Weyl group $W\_{E\_6}$. 


I found that such ($-1$)-eigenspaces were precisely those contained in some four-dimensional subspace $\mathfrak t^4$ of $\mathfrak t^6$ spanned by four mutually orthogonal coroots. Moreover, there are exactly forty-five such $\mathfrak t^4$, each tangent to a maximal torus of a $\mbox{Spin}(8)$ subgroup of $E\_6$.


From there, there's an incidental corollary that one of these injections $\mathfrak t^4 \to \mathfrak t^6$ induces an injection of Weyl groups $W\_{F\_4} \to W\_{E\_6}$, which just follows from the orbit–stabilizer theorem.


It seems very likely these facts were known. *Does anyone know a reference?*


Versions of this question have previously been asked here:


<https://math.stackexchange.com/questions/884275/the-weyl-group-of-e-6-acting-on-embedded-circles>
<https://math.stackexchange.com/questions/1144878/an-injection-of-weyl-groups>



Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?
EDIT II: Sorry to bump this again but the answer to this question can be phrased entirely in terms of finite Coxeter groups and doesn’t depend at all on the fact that we’re dealing with $\textsf{E}\_6$, so it seemed best to write the answer that way.


Let $V$ be a finite dimensional real euclidean vector space and let $\Phi \subseteq V$ be a root system in the sense of §1.2 in Humphrey’s “Reflection groups and Coxeter groups”. For convenience we will assume that $\Phi$ spans $V$. We will denote by $W = \langle s\_{\alpha} \mid \alpha \in \Phi \rangle$ the corresponding reflection group and we choose a set of simple roots $\Delta \subseteq \Phi$.


If $w\_0 \in W$ is the longest element, with respect to $\Delta$, then $-w\_0(\Delta) = \Delta$ and hence $-w\_0$ defines an automorphism $\sigma : V \to V$ such that $\sigma(\Delta) = \Delta$.


We will denote by $\mathcal{S}$ the set of all 1-dimensional subspaces $A \subseteq V$ such that $w(v) = -v$ for some $w \in W$ and any $v \in A$. Clearly $W$ acts on the set $\mathcal{S}$ because we have


\begin{equation\*}
w(v) = -v \Leftrightarrow xwx^{-1}(x(v)) = -x(v)
\end{equation\*}


for any $x \in W$. Let $D = \{\lambda \in V \mid (\lambda,\alpha) \geqslant 0$ for all $\alpha \in \Delta\}$ be the closure of the fundamental Weyl chamber of $W$, where $(-,-) : V \times V \to \mathbb{R}$ is the euclidean form on $V$. As any element in $V$ is conjugate under $W$ to a unique element in $D$, i.e., $D$ is a fundamental domain for the action of $W$, it suffices to determine for which $v \in D$ we have $\mathbb{R}v \in \mathcal{S}$.


Assume $v \in D$ is such that $w(v) = -v$ for some $w \in W$ then we have


\begin{equation\*}
w\_0w(v) = -w\_0(v) = \sigma(v).
\end{equation\*}


Now assume $\lambda \in D$ then $(\sigma(\lambda),\sigma(\alpha)) = (\lambda,\alpha) \geqslant 0$ for all $\alpha \in \Delta$. As $\sigma(\Delta) = \Delta$ this shows that $\sigma(D) = D$. Hence $w\_0w(v) \in D$ but as $v \in D$ this implies $w\_0w(v) = v$ and $w\_0w = 1$. In particular, we have $\sigma(v) = v$ and $w = w\_0$.


Consider the subgroup $H = \{w \in W \mid w\_0ww\_0 = w\}$ fixed under conjugation by $w\_0$. If $W/H$ are the cosets of $H$ in $W$ then it is clear from the above discussion that we have


\begin{equation\*}
\mathcal{S} = \bigsqcup\_{x \in W/H} x(\mathcal{S}^{\sigma})
\end{equation\*}


where $\mathcal{S}^{\sigma} = \{A \in \mathcal{S} \mid \sigma(A) = A\}$.


Firstly, if $w\_0 = -1$ then it is clear that $\mathcal{S}$ simply contains all 1-dimensional subspaces of $V$. Now, let us consider your special situation of $\textsf{E}\_6$. We number the simple roots $\Delta = \{\alpha\_1,\dots,\alpha\_6\}$ as in Bourbaki. In this case $\sigma(\alpha\_i) = \alpha\_{\rho(i)}$ where $\rho \in \mathfrak{S}\_6$ is the permutation $(1,6)(3,5)$. It is well known that the subgroup $H$ is isomorphic to the Weyl group $W\_{\textsf{F}\_4}$, see for instance 13.3.3 of Carter's "Simple groups of Lie type". Comparing the orders of the Weyl groups of type $\textsf{E}\_6$ and $\textsf{F}\_4$ we see that $|W/H| = 45$, which explains your 45 tori.


I am not aware of a reference for this fact but in the end it's reasonably straight forward.


