A connected is semisimple if its connected is trivial, equivalently if it has no positive-dimensional central torus.

A f:HGf:H\to G of connected semisimple groups is a surjective morphism with finite central kernel. The group GG is simply connected in the algebraic sense if every central isogeny HGH\to G is an isomorphism.

Root-datum criterion

For a TGT\subset G, semisimple GG is simply connected exactly when

X(T)=ZΦ,X_*(T)=\mathbb Z\Phi^\vee,

the . Equivalently, its character lattice is the full .

Every connected semisimple group has a simply connected central cover

GscG.G_{\mathrm{sc}}\longrightarrow G.
Not topological simple connectedness

This is a notion in the category of . Over C\mathbb C, it is closely related to simple connectedness of the associated , but over R\mathbb R or a nonarchimedean field it should not be defined from the topology of G(F)G(F).

For example, SLn\operatorname{SL}_n is algebraically simply connected, whereas PGLn\operatorname{PGL}_n is adjoint and not simply connected.

Langlands duality

The of a simply connected semisimple group is adjoint, and the dual of an adjoint group is simply connected. This is the isogeny-form information carried by the .

Relation to the letter

The letter chooses simply connected nonabelian factors so that the root, weight, and constructions have their clean extremal form.

References
  1. A. Borel, Linear Algebraic Groups, second edition, Springer, 1991.
  2. Robert Steinberg, Lectures on Chevalley Groups, AMS, 2016.