Skip to main content
Two typos
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

$\DeclareMathOperator\Cent{C}\newcommand\oG{\overline G}\newcommand\oe{\overline e}$Put $\oG = \operatorname{PGL}_n(\mathbb C)$. I hope you will permit me to denote the involutions by $\oe_i$ instead of $e_i$.

At first, it matters only that we are dealing with semisimple elements (which is implied by being an involution in characteristic $\ne 2$). It doesn't even matter at first that we are dealing with $\oG = \operatorname{PGL}_n(\mathbb C)$; I will put $G = \operatorname{GL}_n(\mathbb C)$, but there is a general theory of $z$-extensions, of which every connected, reductive group $\oG$ admits one, which are to $\oG$ as $\operatorname{GL}_n(\mathbb C)$ is to $\operatorname{PGL}_n(\mathbb C)$.

If $t$ is any semisimple element of $G$, then $\Cent_G(t)$ is connected, $\Cent_G(t) = \Cent_G(t)^\circ \to \Cent_{\oG}(\overline t)^\circ$ is a surjection, and $\Cent_G(t)$ is the full pre-image in $G$ of $\Cent_{\oG}(\overline t)$$\Cent_{\oG}(\overline t)^\circ$, where $\overline t$ is the image of $t$ in $\oG$. In particular, if $\oe_i$$e_i$ is a lift of $e_i$$\oe_i$, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image in $\oG$ of $\Cent_G(e_1) \cap \Cent_G(e_2) = \Cent_G(e_1, e_2)$. Thus, the question is whether $\Cent_G(e_1, e_2)$ is connected. If so, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image $\Cent_{\oG}(\oe_1, \oe_2)^\circ$ in $\oG$ of $\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$.

In the full generality that I have considered so far (where $G$ has connected centre and simply connected derived group, and the $e_i$ can be any semisimple elements), this need not be true. Even in your setting, where $\oG = \operatorname{PGL}_n(\mathbb C)$ and the $\oe_i$ are involutions, I do not know whether $C_G(e_1, e_2)$ is always connected. However, you have indicated that you are interested in the case where $\oe_1$ and $\oe_2$ belong to a common maximal torus $\overline T$ (which is the same as $\oe_2$ belonging to $\Cent_{\oG}(\oe_1)^\circ$). I now specialise to that case, without requiring that the $\oe_i$ are involutions. Let $T$ be the pre-image in $G$ of $\overline T$. Then $T$ is a maximal torus in $G$.

In general (not just for $G = \operatorname{GL}_n$), the map from $\operatorname{stab}_W(e_1, e_2)/\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$ to $\Cent_G(e_1, e_2)/\Cent_G(e_1, e_2)^\circ$ is an isomorphism, where $W$ is the Weyl group of $T$ in $G$. Now, finally specialising to $G = \operatorname{GL}_n$ and so identifying $W$ with $\operatorname S_n$, and conjugating $T$ if necessary so that it is the diagonal torus of $G$, an explicit computation shows that $\operatorname{stab}_W(e_1, e_2)$ is the product of permutation groups that respect the decomposition of $\{1, \dotsc, n\}$ into maximal subsets $I$ such that all diagonal entries of $e_1$ with entries in $I$ are equal, and all diagonal entries of $e_2$ with entries in $I$ are equal; and that this is just $\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$. Thus, $\Cent_G(e_1, e_2)$ is connected, so your desired conclusion follows.

$\DeclareMathOperator\Cent{C}\newcommand\oG{\overline G}\newcommand\oe{\overline e}$Put $\oG = \operatorname{PGL}_n(\mathbb C)$. I hope you will permit me to denote the involutions by $\oe_i$ instead of $e_i$.

At first, it matters only that we are dealing with semisimple elements (which is implied by being an involution in characteristic $\ne 2$). It doesn't even matter at first that we are dealing with $\oG = \operatorname{PGL}_n(\mathbb C)$; I will put $G = \operatorname{GL}_n(\mathbb C)$, but there is a general theory of $z$-extensions, of which every connected, reductive group $\oG$ admits one, which are to $\oG$ as $\operatorname{GL}_n(\mathbb C)$ is to $\operatorname{PGL}_n(\mathbb C)$.

If $t$ is any semisimple element of $G$, then $\Cent_G(t)$ is connected, $\Cent_G(t) = \Cent_G(t)^\circ \to \Cent_{\oG}(\overline t)^\circ$ is a surjection, and $\Cent_G(t)$ is the full pre-image in $G$ of $\Cent_{\oG}(\overline t)$, where $\overline t$ is the image of $t$ in $\oG$. In particular, if $\oe_i$ is a lift of $e_i$, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image in $\oG$ of $\Cent_G(e_1) \cap \Cent_G(e_2) = \Cent_G(e_1, e_2)$. Thus, the question is whether $\Cent_G(e_1, e_2)$ is connected. If so, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image $\Cent_{\oG}(\oe_1, \oe_2)^\circ$ in $\oG$ of $\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$.

In the full generality that I have considered so far (where $G$ has connected centre and simply connected derived group, and the $e_i$ can be any semisimple elements), this need not be true. Even in your setting, where $\oG = \operatorname{PGL}_n(\mathbb C)$ and the $\oe_i$ are involutions, I do not know whether $C_G(e_1, e_2)$ is always connected. However, you have indicated that you are interested in the case where $\oe_1$ and $\oe_2$ belong to a common maximal torus $\overline T$ (which is the same as $\oe_2$ belonging to $\Cent_{\oG}(\oe_1)^\circ$). I now specialise to that case, without requiring that the $\oe_i$ are involutions. Let $T$ be the pre-image in $G$ of $\overline T$. Then $T$ is a maximal torus in $G$.

In general (not just for $G = \operatorname{GL}_n$), the map from $\operatorname{stab}_W(e_1, e_2)/\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$ to $\Cent_G(e_1, e_2)/\Cent_G(e_1, e_2)^\circ$ is an isomorphism, where $W$ is the Weyl group of $T$ in $G$. Now, finally specialising to $G = \operatorname{GL}_n$ and so identifying $W$ with $\operatorname S_n$, and conjugating $T$ if necessary so that it is the diagonal torus of $G$, an explicit computation shows that $\operatorname{stab}_W(e_1, e_2)$ is the product of permutation groups that respect the decomposition of $\{1, \dotsc, n\}$ into maximal subsets $I$ such that all diagonal entries of $e_1$ with entries in $I$ are equal, and all diagonal entries of $e_2$ with entries in $I$ are equal; and that this is just $\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$. Thus, $\Cent_G(e_1, e_2)$ is connected, so your desired conclusion follows.

$\DeclareMathOperator\Cent{C}\newcommand\oG{\overline G}\newcommand\oe{\overline e}$Put $\oG = \operatorname{PGL}_n(\mathbb C)$. I hope you will permit me to denote the involutions by $\oe_i$ instead of $e_i$.

At first, it matters only that we are dealing with semisimple elements (which is implied by being an involution in characteristic $\ne 2$). It doesn't even matter at first that we are dealing with $\oG = \operatorname{PGL}_n(\mathbb C)$; I will put $G = \operatorname{GL}_n(\mathbb C)$, but there is a general theory of $z$-extensions, of which every connected, reductive group $\oG$ admits one, which are to $\oG$ as $\operatorname{GL}_n(\mathbb C)$ is to $\operatorname{PGL}_n(\mathbb C)$.

If $t$ is any semisimple element of $G$, then $\Cent_G(t)$ is connected, $\Cent_G(t) = \Cent_G(t)^\circ \to \Cent_{\oG}(\overline t)^\circ$ is a surjection, and $\Cent_G(t)$ is the full pre-image in $G$ of $\Cent_{\oG}(\overline t)^\circ$, where $\overline t$ is the image of $t$ in $\oG$. In particular, if $e_i$ is a lift of $\oe_i$, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image in $\oG$ of $\Cent_G(e_1) \cap \Cent_G(e_2) = \Cent_G(e_1, e_2)$. Thus, the question is whether $\Cent_G(e_1, e_2)$ is connected. If so, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image $\Cent_{\oG}(\oe_1, \oe_2)^\circ$ in $\oG$ of $\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$.

In the full generality that I have considered so far (where $G$ has connected centre and simply connected derived group, and the $e_i$ can be any semisimple elements), this need not be true. Even in your setting, where $\oG = \operatorname{PGL}_n(\mathbb C)$ and the $\oe_i$ are involutions, I do not know whether $C_G(e_1, e_2)$ is always connected. However, you have indicated that you are interested in the case where $\oe_1$ and $\oe_2$ belong to a common maximal torus $\overline T$ (which is the same as $\oe_2$ belonging to $\Cent_{\oG}(\oe_1)^\circ$). I now specialise to that case, without requiring that the $\oe_i$ are involutions. Let $T$ be the pre-image in $G$ of $\overline T$. Then $T$ is a maximal torus in $G$.

In general (not just for $G = \operatorname{GL}_n$), the map from $\operatorname{stab}_W(e_1, e_2)/\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$ to $\Cent_G(e_1, e_2)/\Cent_G(e_1, e_2)^\circ$ is an isomorphism, where $W$ is the Weyl group of $T$ in $G$. Now, finally specialising to $G = \operatorname{GL}_n$ and so identifying $W$ with $\operatorname S_n$, and conjugating $T$ if necessary so that it is the diagonal torus of $G$, an explicit computation shows that $\operatorname{stab}_W(e_1, e_2)$ is the product of permutation groups that respect the decomposition of $\{1, \dotsc, n\}$ into maximal subsets $I$ such that all diagonal entries of $e_1$ with entries in $I$ are equal, and all diagonal entries of $e_2$ with entries in $I$ are equal; and that this is just $\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$. Thus, $\Cent_G(e_1, e_2)$ is connected, so your desired conclusion follows.

Slightly re-organising, to try to impose assumptions as late as possible
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

$\DeclareMathOperator\Cent{C}\newcommand\oG{\overline G}\newcommand\oe{\overline e}$Put $\oG = \operatorname{PGL}_n(\mathbb C)$. I hope you will permit me to denote the involutions by $\oe_i$ instead of $e_i$.

You have indicatedAt first, it matters only that youwe are interesteddealing with semisimple elements (which is implied by being an involution in the case wherecharacteristic $\oe_1$ and$\ne 2$). It doesn't even matter at first that we are dealing with $\oe_2$ belong to$\oG = \operatorname{PGL}_n(\mathbb C)$; I will put $G = \operatorname{GL}_n(\mathbb C)$, but there is a common torusgeneral theory of $\overline T$$z$-extensions, of which we may as well assume is the diagonal torus inevery connected, reductive group $\overline G$. This is a partial answer addressing this case$\oG$ admits one, where it no longer matters that our elementswhich are involutionsto $\oG$ as $\operatorname{GL}_n(\mathbb C)$ is to $\operatorname{PGL}_n(\mathbb C)$.

In this setting, if we lift $\oe_i$ to elementsIf $e_i$$t$ is any semisimple element of the diagonal torus $T$ in $G \mathrel{:=} \operatorname{GL}_n(\mathbb C)$$G$, then $\Cent_G(e_i) = \Cent_G(e_i)^\circ \to \Cent_{\oG}(\oe_i)^\circ$$\Cent_G(t)$ is connected, $\Cent_G(t) = \Cent_G(t)^\circ \to \Cent_{\oG}(\overline t)^\circ$ is a surjection, and $\Cent_G(e_i)$$\Cent_G(t)$ is the full pre-image in $G$ of $\Cent_{\oG}(\oe_i)$$\Cent_{\oG}(\overline t)$, where $\overline t$ is the image of $t$ in $\oG$. Therefore In particular, if $\oe_i$ is a lift of $e_i$, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image in $\oG$ of $\Cent_G(e_1) \cap \Cent_G(e_2) = \Cent_G(e_1, e_2)$. So Thus, the question becomesis whether $\Cent_G(e_1, e_2)$ is connected. Most of If so, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the rest of this answer deals with quite arbitraryimage $z$-extensions$\Cent_{\oG}(\oe_1, \oe_2)^\circ$ in $\oG$ of algebraic groups, but here I use a fact particular to $\operatorname{GL}_n$$\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$.

We begin withIn the full generality that I have considered so far (generalwhere $G$ has connected centre and simply connected derived group, and the $e_i$ can be any semisimple elements), this need not specificbe true. Even in your setting, where $\oG = \operatorname{PGL}_n(\mathbb C)$ and the $\oe_i$ are involutions, I do not know whether $C_G(e_1, e_2)$ is always connected. However, you have indicated that you are interested in the case where $\oe_1$ and $\oe_2$ belong to a common maximal torus $\operatorname{GL}_n$$\overline T$ (which is the same as $\oe_2$ belonging to $\Cent_{\oG}(\oe_1)^\circ$) fact. I now specialise to that case, without requiring that the $\oe_i$ are involutions. Let $T$ be the pre-image in $G$ of $\overline T$. Then $T$ is a maximal torus in $G$.

In general (not just for $G = \operatorname{GL}_n$), the map from $\operatorname{stab}_W(e_1, e_2)/\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$ to $\Cent_G(e_1, e_2)/\Cent_G(e_1, e_2)^\circ$ is an isomorphism, where $W$ is the Weyl group of $T$ in $G$. Now, finally specialising to $\operatorname{GL}_n$$G = \operatorname{GL}_n$ and so identifying $W$ with $\operatorname S_n$, and conjugating $T$ if necessary so that it is the diagonal torus of $G$, an explicit computation shows that $\operatorname{stab}_W(e_1, e_2)$ is the product of permutation groups that respect the decomposition of $\{1, \dotsc, n\}$ into maximal subsets $I$ such that all diagonal entries of $e_1$ with entries in $I$ are equal, and all diagonal entries of $e_2$ with entries in $I$ are equal; and that this is just $\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$. Thus, $\Cent_G(e_1, e_2)$ is connected, so $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image $\Cent_{\oG}(\oe_1, \oe_2)^\circ$ of $\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$, as requiredyour desired conclusion follows.

$\DeclareMathOperator\Cent{C}\newcommand\oG{\overline G}\newcommand\oe{\overline e}$Put $\oG = \operatorname{PGL}_n(\mathbb C)$. I hope you will permit me to denote the involutions by $\oe_i$ instead of $e_i$.

You have indicated that you are interested in the case where $\oe_1$ and $\oe_2$ belong to a common torus $\overline T$, which we may as well assume is the diagonal torus in $\overline G$. This is a partial answer addressing this case, where it no longer matters that our elements are involutions.

In this setting, if we lift $\oe_i$ to elements $e_i$ of the diagonal torus $T$ in $G \mathrel{:=} \operatorname{GL}_n(\mathbb C)$, then $\Cent_G(e_i) = \Cent_G(e_i)^\circ \to \Cent_{\oG}(\oe_i)^\circ$ is a surjection, and $\Cent_G(e_i)$ is the full pre-image in $G$ of $\Cent_{\oG}(\oe_i)$. Therefore, $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image of $\Cent_G(e_1) \cap \Cent_G(e_2) = \Cent_G(e_1, e_2)$. So the question becomes whether $\Cent_G(e_1, e_2)$ is connected. Most of the rest of this answer deals with quite arbitrary $z$-extensions of algebraic groups, but here I use a fact particular to $\operatorname{GL}_n$.

We begin with the (general, not specific to $\operatorname{GL}_n$) fact that the map from $\operatorname{stab}_W(e_1, e_2)/\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$ to $\Cent_G(e_1, e_2)/\Cent_G(e_1, e_2)^\circ$ is an isomorphism, where $W$ is the Weyl group of $T$ in $G$. Now, specialising to $\operatorname{GL}_n$ and so identifying $W$ with $\operatorname S_n$, an explicit computation shows that $\operatorname{stab}_W(e_1, e_2)$ is the product of permutation groups that respect the decomposition of $\{1, \dotsc, n\}$ into maximal subsets $I$ such that all diagonal entries of $e_1$ with entries in $I$ are equal, and all diagonal entries of $e_2$ with entries in $I$ are equal; and that this is just $\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$. Thus, $\Cent_G(e_1, e_2)$ is connected, so $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image $\Cent_{\oG}(\oe_1, \oe_2)^\circ$ of $\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$, as required.

$\DeclareMathOperator\Cent{C}\newcommand\oG{\overline G}\newcommand\oe{\overline e}$Put $\oG = \operatorname{PGL}_n(\mathbb C)$. I hope you will permit me to denote the involutions by $\oe_i$ instead of $e_i$.

At first, it matters only that we are dealing with semisimple elements (which is implied by being an involution in characteristic $\ne 2$). It doesn't even matter at first that we are dealing with $\oG = \operatorname{PGL}_n(\mathbb C)$; I will put $G = \operatorname{GL}_n(\mathbb C)$, but there is a general theory of $z$-extensions, of which every connected, reductive group $\oG$ admits one, which are to $\oG$ as $\operatorname{GL}_n(\mathbb C)$ is to $\operatorname{PGL}_n(\mathbb C)$.

If $t$ is any semisimple element of $G$, then $\Cent_G(t)$ is connected, $\Cent_G(t) = \Cent_G(t)^\circ \to \Cent_{\oG}(\overline t)^\circ$ is a surjection, and $\Cent_G(t)$ is the full pre-image in $G$ of $\Cent_{\oG}(\overline t)$, where $\overline t$ is the image of $t$ in $\oG$. In particular, if $\oe_i$ is a lift of $e_i$, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image in $\oG$ of $\Cent_G(e_1) \cap \Cent_G(e_2) = \Cent_G(e_1, e_2)$. Thus, the question is whether $\Cent_G(e_1, e_2)$ is connected. If so, then $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image $\Cent_{\oG}(\oe_1, \oe_2)^\circ$ in $\oG$ of $\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$.

In the full generality that I have considered so far (where $G$ has connected centre and simply connected derived group, and the $e_i$ can be any semisimple elements), this need not be true. Even in your setting, where $\oG = \operatorname{PGL}_n(\mathbb C)$ and the $\oe_i$ are involutions, I do not know whether $C_G(e_1, e_2)$ is always connected. However, you have indicated that you are interested in the case where $\oe_1$ and $\oe_2$ belong to a common maximal torus $\overline T$ (which is the same as $\oe_2$ belonging to $\Cent_{\oG}(\oe_1)^\circ$). I now specialise to that case, without requiring that the $\oe_i$ are involutions. Let $T$ be the pre-image in $G$ of $\overline T$. Then $T$ is a maximal torus in $G$.

In general (not just for $G = \operatorname{GL}_n$), the map from $\operatorname{stab}_W(e_1, e_2)/\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$ to $\Cent_G(e_1, e_2)/\Cent_G(e_1, e_2)^\circ$ is an isomorphism, where $W$ is the Weyl group of $T$ in $G$. Now, finally specialising to $G = \operatorname{GL}_n$ and so identifying $W$ with $\operatorname S_n$, and conjugating $T$ if necessary so that it is the diagonal torus of $G$, an explicit computation shows that $\operatorname{stab}_W(e_1, e_2)$ is the product of permutation groups that respect the decomposition of $\{1, \dotsc, n\}$ into maximal subsets $I$ such that all diagonal entries of $e_1$ with entries in $I$ are equal, and all diagonal entries of $e_2$ with entries in $I$ are equal; and that this is just $\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$. Thus, $\Cent_G(e_1, e_2)$ is connected, so your desired conclusion follows.

Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

$\DeclareMathOperator\Cent{C}\newcommand\oG{\overline G}\newcommand\oe{\overline e}$Put $\oG = \operatorname{PGL}_n(\mathbb C)$. I hope you will permit me to denote the involutions by $\oe_i$ instead of $e_i$.

You have indicated that you are interested in the case where $\oe_1$ and $\oe_2$ belong to a common torus $\overline T$, which we may as well assume is the diagonal torus in $\overline G$. This is a partial answer addressing this case, where it no longer matters that our elements are involutions.

In this setting, if we lift $\oe_i$ to elements $e_i$ of the diagonal torus $T$ in $G \mathrel{:=} \operatorname{GL}_n(\mathbb C)$, then $\Cent_G(e_i) = \Cent_G(e_i)^\circ \to \Cent_{\oG}(\oe_i)^\circ$ is a surjection, and $\Cent_G(e_i)$ is the full pre-image in $G$ of $\Cent_{\oG}(\oe_i)$. Therefore, $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image of $\Cent_G(e_1) \cap \Cent_G(e_2) = \Cent_G(e_1, e_2)$. So the question becomes whether $\Cent_G(e_1, e_2)$ is connected. Most of the rest of this answer deals with quite arbitrary $z$-extensions of algebraic groups, but here I use a fact particular to $\operatorname{GL}_n$.

We begin with the (general, not specific to $\operatorname{GL}_n$) fact that the map from $\operatorname{stab}_W(e_1, e_2)/\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$ to $\Cent_G(e_1, e_2)/\Cent_G(e_1, e_2)^\circ$ is an isomorphism, where $W$ is the Weyl group of $T$ in $G$. Now, specialising to $\operatorname{GL}_n$ and so identifying $W$ with $\operatorname S_n$, an explicit computation shows that $\operatorname{stab}_W(e_1, e_2)$ is the product of permutation groups that respect the decomposition of $\{1, \dotsc, n\}$ into maximal subsets $I$ such that all diagonal entries of $e_1$ with entries in $I$ are equal, and all diagonal entries of $e_2$ with entries in $I$ are equal; and that this is just $\langle s_\alpha : \alpha(e_1) = \alpha(e_2) = 1\rangle$. Thus, $\Cent_G(e_1, e_2)$ is connected, so $\Cent_{\oG}(\oe_1)^\circ \cap \Cent_{\oG}(\oe_2)^\circ$ is the image $\Cent_{\oG}(\oe_1, \oe_2)^\circ$ of $\Cent_G(e_1, e_2) = \Cent_G(e_1, e_2)^\circ$, as required.