Return to Answer

added 36 characters in body

Source Link

edited Jul 3, 2019 at 11:40

52.9k
4
120
240

In the original sense, Chevalley groups are generated by copies of the additive group of the field and are in fact simple as abstract groups if the field is not too small. (This was the motive for constructing them in Chevalley's 1955 paper.) But it's nontrivial to make the connection with compact semisimple Lie groups (always connected by assumption), which are determined by root data. The Chevalley seminar of 1956-58 classified the semisimple algebraic ggroups over an arbitrary algebraically closed field in a similar way, allowing one to match these with the (connected) semisimple Lie groujps over $\mathbb{C}$.

In particular, it's not neessary to consider just the compact groups here, if you are willing to cite the Chevalley seminar. Similarly, you could follow Steinberg's more general version of "Chevalley group" in his Yale lectures of 1967-68, starting with an arbitrary rational/algebraic irreducible representation of a similar algebraic group (which for Chevalley was just of adjoint type) Here there can be a finite center.

Note that typeset, corrected versions of the Chevalley seminar and the Steinberg lectures have been published respectively by Springer-Verlag and AMS.

In the original sense, Chevalley groups are generated by copies of the additive group of the field and are in fact simple as abstract groups if the field is not too small. (This was the motive for constructing them in Chevalley's 1955 paper.) But it's nontrivial to make the connection with compact semisimple Lie groups (always connected by assumption), which are determined by root data. The Chevalley seminar of 1956-58 classified the semisimple algebraic ggroups over an arbitrary algebraically closed field in a similar way, allowing one to match these with the (connected) semisimple Lie groujps over $\mathbb{C}$.

In particular, it's not neessary to consider just the compact groups here, if you are willing to cite the Chevalley seminar. Similarly, you could follow Steinberg's more general version of "Chevalley group" in his Yale lectures of 1967-68, starting with an arbitrary rational/algebraic irreducible representation of a similar algebraic group (which for Chevalley was just of adjoint type)

Note that typeset, corrected versions of the Chevalley seminar and the Steinberg lectures have been published respectively by Springer-Verlag and AMS.

In the original sense, Chevalley groups are generated by copies of the additive group of the field and are in fact simple as abstract groups if the field is not too small. (This was the motive for constructing them in Chevalley's 1955 paper.) But it's nontrivial to make the connection with compact semisimple Lie groups (always connected by assumption), which are determined by root data. The Chevalley seminar of 1956-58 classified the semisimple algebraic ggroups over an arbitrary algebraically closed field in a similar way, allowing one to match these with the (connected) semisimple Lie groujps over $\mathbb{C}$.

In particular, it's not neessary to consider just the compact groups here, if you are willing to cite the Chevalley seminar. Similarly, you could follow Steinberg's more general version of "Chevalley group" in his Yale lectures of 1967-68, starting with an arbitrary rational/algebraic irreducible representation of a similar algebraic group (which for Chevalley was just of adjoint type) Here there can be a finite center.

Note that typeset, corrected versions of the Chevalley seminar and the Steinberg lectures have been published respectively by Springer-Verlag and AMS.

Source Link

created Jul 3, 2019 at 11:34

52.9k
4
120
240

In the original sense, Chevalley groups are generated by copies of the additive group of the field and are in fact simple as abstract groups if the field is not too small. (This was the motive for constructing them in Chevalley's 1955 paper.) But it's nontrivial to make the connection with compact semisimple Lie groups (always connected by assumption), which are determined by root data. The Chevalley seminar of 1956-58 classified the semisimple algebraic ggroups over an arbitrary algebraically closed field in a similar way, allowing one to match these with the (connected) semisimple Lie groujps over $\mathbb{C}$.

In particular, it's not neessary to consider just the compact groups here, if you are willing to cite the Chevalley seminar. Similarly, you could follow Steinberg's more general version of "Chevalley group" in his Yale lectures of 1967-68, starting with an arbitrary rational/algebraic irreducible representation of a similar algebraic group (which for Chevalley was just of adjoint type)

Note that typeset, corrected versions of the Chevalley seminar and the Steinberg lectures have been published respectively by Springer-Verlag and AMS.