Skip to main content
The answer is 'yes'
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

The answer to thisYes, $\operatorname{Aut}(G) \to \operatorname{Out}(G)$ always splits. The proof is just as in my answer to your question Classification of (not necessarily connected) compact Lie groups: regard $\operatorname{Aut}(G)$ as an extension of $\operatorname{Inn}(G) = G/\operatorname Z(G)$ by a discrete group $\operatorname{Out}(G)$, and lift $\operatorname{Out}(G)$ to $\operatorname{Aut}(G)$ as the automorphisms that preserve a pinning in the sense of that answer. (These are often called "diagram automorphisms".) Over in that other question we did not get an honest section of the component group inside the Lie group because you did not assume that the identity component was centreless, but since the adjoint group $\operatorname{Inn}(G)$ is centreless, everything is fine here.

The answer to this is just as my answer to your question Classification of (not necessarily connected) compact Lie groups: regard $\operatorname{Aut}(G)$ as an extension of $\operatorname{Inn}(G) = G/\operatorname Z(G)$ by a discrete group $\operatorname{Out}(G)$, and lift $\operatorname{Out}(G)$ to $\operatorname{Aut}(G)$ as the automorphisms that preserve a pinning in the sense of that answer. (These are often called "diagram automorphisms".) Over in that other question we did not get an honest section of the component group inside the Lie group because you did not assume that the identity component was centreless, but since the adjoint group $\operatorname{Inn}(G)$ is centreless, everything is fine here.

Yes, $\operatorname{Aut}(G) \to \operatorname{Out}(G)$ always splits. The proof is just as in my answer to your question Classification of (not necessarily connected) compact Lie groups: regard $\operatorname{Aut}(G)$ as an extension of $\operatorname{Inn}(G) = G/\operatorname Z(G)$ by a discrete group $\operatorname{Out}(G)$, and lift $\operatorname{Out}(G)$ to $\operatorname{Aut}(G)$ as the automorphisms that preserve a pinning in the sense of that answer. (These are often called "diagram automorphisms".) Over in that other question we did not get an honest section of the component group inside the Lie group because you did not assume that the identity component was centreless, but since the adjoint group $\operatorname{Inn}(G)$ is centreless, everything is fine here.

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

The answer to this is just as my answer to your question Classification of (not necessarily connected) compact Lie groups: regard $\operatorname{Aut}(G)$ as an extension of $\operatorname{Inn}(G) = G/\operatorname Z(G)$ by a discrete group $\operatorname{Out}(G)$, and lift $\operatorname{Out}(G)$ to $\operatorname{Aut}(G)$ as the automorphisms that preserve a pinning in the sense of that answer. (These are often called "diagram automorphisms".) Over in that other question we did not get an honest section of the component group inside the Lie group because you did not assume that the identity component was centreless, but since the adjoint group $\operatorname{Inn}(G)$ is centreless, everything is fine here.