Is there a known set $S=\{x \in G: x^2=1, x\ne1\}$ of elements of a simple compact Lie group $G$ ? By simple compact Lie group I consider $SO\_n$, $SU\_n$, $Sp\_n$, $G\_2$, $F\_4$, $E\_6$, $E\_7$, $E\_8$. (Feel free to extend this definition in case you find it useful). What are the conjugacy classes in this set and their dimensions ? By "conjugacy class" I mean any set $\{gxg^{-1}\}\_{g\in G}$ for $x$ in above set $S$.


For example in $SO\_8$ the dimensions are 0, 12, 16, 12. In $O\_8$ we should add 7, 15, 15, 7. These are dimensions of grassmanians $G\_{k,8-k}$. For spin groups it would be oriented grassmanians. For given grassmanian element $K$ we have the map in $O\_8$ which reverse $K$ and fix perpendicular space.


I am especially interested in the answer for exceptional Lie groups $F\_4, E\_6, E\_7, E\_8$. Elements which square to one I would call "octonion reflections" there. The conjecture is that the conjugacy classes of involutions correspond to [Riemanian symmetric spaces](https://en.wikipedia.org/wiki/Symmetric_space#Classification_result).


I would add later more information on how to define such elements in spin groups.


By another occasion I am also interested in set $\{x^2=-1\}$. Element $-1$ in the group can be defined as order 2 element in the center. This question is only valid for groups having $-1$. This should be another question, I suppose. For mentioned group $SO\_8$ this set is 12-dimensional, equal to complex structures on $\mathbb R^8$. By looking at Clifford algebra $C\_6$ we can prove that it is equal to oriented grassmanian $G\_{2,6}^+$.


EDIT: I am mainly interested in answer for groups $SO\_n$, $SU\_n$, $Sp\_n$ and exceptional ones listed above. The "conjecture" is that for three families there are subsets of dimensions $n, 2n, 4n$ corresponding to projective spaces $\mathbb RP^n, \mathbb CP^n, \mathbb HP^n$. For exceptional ones the sets correspond to exceptional symmetric spaces embedded in the group (all of them or some of them ?).


EDIT 2: By looking at [this](https://en.wikipedia.org/wiki/Symmetric_space#Classification_result) wikipedia list of all Riemannian symmetric spaces we can check whether each such space can be embedded in proper Lie group and what are the properties of this set in the group. For example let's count dimension of quaternion structures on $\mathbb C^4$. Fix the point $v\_0$ in $\mathbb CP^3$. Quaternion structure is the element $j$ in $U\_4$ which square to $-1$ and map each complex plane to perpendicular one. We have 4 dimensions to select $w$ in $\mathbb CP^2$ perpendicular to $v\_0$. Additional $5^{th}$ dimension is allowed to rotate image of $v\_0$ in $w$. In space $\mathbb C^2$ perpendicular to $<v\_0,w>$ map $j$ has also one more dimension of freedom, but we should subtract one dimension, because the circle $e^{i\alpha}j$ gives the same quaternion structure (is it clear ?). This gives $AII$ symmetric space $SU\_4/Sp\_2$.


Here is link to my previous [question](https://mathoverflow.net/questions/239628/exceptional-symmetric-spaces-embedded-in-exceptional-lie-group) in this subject. 


Regards,
Marek



Conjugacy classes of involutions in compact simple Lie group
For the case of a *connected semisimple* compact Lie group $G$, see [this preprint](http://arxiv.org/abs/1506.06252), Section 3, where, following ideas of Kac and Vinberg, we describe set of conjugacy classes of $n$-th roots of a given central element $z$ of $G$. You should take $n=2$ and $z=1$ (or $z=-1$ in your sense).


EDIT: I can prove your conjecture that the conjugacy class of an involution $x$ in a connected, semisimple, compact Lie group $G$ is a Riemannian symmetric space of $G$. It suffices to assume that $x^2\in Z(G)$ but $x\notin Z(G)$, where $Z(G)$ denotes the center of $G$.


The conjugacy class $X$ of $x$ in $G$ is clearly $G/H$, where $H$ is the centralizer of $x$ in $G$. Consider the automorphism $i\_x$ of $G$ defined by
$$ i\_x(g)=xgx^{-1}.$$
Our conditions on $x$ guarantee that that $(i\_x)^2=1$, but $i\_x\neq 1$.
Clearly
$$ H=\{g\in G\ |\ i\_x(g)=g\}. $$
Thus $H$ is the subgroup of fixed points of an involutive automorphism of $G$, which means that $X=G/H$ is a Riemannian symmetric space of $G$. 


In this way we obtain all Riemannian symmetric spaces of $G$ *of inner type*, i.e., the homogeneous spaces $X=G/H$, where $H$ is .the group of fixed points of some *inner* involutive automorphism of $G.$ See Helgason's book "Differential geometry, Lie groups, and symmetric spaces" for a list of inner and outer involutive automorphisms and the corresponding symmetric spaces. Note that if G is one of the exceptional simple groups $E\_7,\, E\_8,\, F\_4,\, G\_2$, then there are no outer involutive automorphisms of $G$ (because the Dynkin diagram of $G$ has no involutive automorphisms), and therefore, in this way we obtain all Riemannian symmetric spaces of $G$. The same refers to ${\rm Sp}\_n$ and ${\rm SO}\_{2n+1}$.


