Skip to main content
MathOverflow

Return to Answer

added 536 characters in body; deleted 1 characters in body
Source Link
Jim Humphreys
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

There is no problem about the Whitehead lemmas over an arbitrary field of characteristic 0 in the context of (1) complete reducibility of finite dimensional representations of a semisimple Lie algebra, (2) existence of a Levi decomposition of a finite dimensional Lie algebra. Besides the modern treatment by Weibel, there are various older treatments such as Bourbaki, Chapter 1 of Groupes et algebres de Lie (1960) and Jacobson, Sections III.7, III.9 of Lie Algebras (1962 (followed) followed by III.10 on Lie algebra cohomology). Along the way, one can make use of a Casimir element in the universal enveloping algebra: this is a commuting operator in the representations studied, which is what counts. (Of course, when the field is large enough and the representation is irreducible, Schur's Lemma provides a scalar, but this is a corollary of the general Schur formulation.)

For a treatment emphasizing highest weight representations, such as I gave in my short graduate text, it's not satisfactory to work over such an arbitrary field. At the least, one needs a splitting field for a semisimple Lie algebra; my convention, not needed for some of the generalities, was that the field be algebraically closed. So I may be partly responsible for confusing the issue of just how large the field needs to be at each step of the theory.

In particular, complete reducibility does not require that a Casimir element operate on a representation space by a scalar. However, irreducible representations over arbitrary fields of characteristic 0 might be larger than those over a splitting field. The Cartan-Weyl theory is best understood over a large enough field, where eigenvalues are available when needed.

P.S. I've just tracked down my copy of Weibel. Concerning his treatment of these topics, I've never gone through this in detail and find it difficult to sort out his proof of the Whitehead lemmas without going back into the earlier part of his book. He does want the Casimir element to act by scalars when needed even though the field is arbitrary of characteristic 0, but this argument doesn't seem to enter into the other more self-contained treatments mentioned above. Anyway, it's worth looking at Jacobson's Chapter III.

There is no problem about the Whitehead lemmas over an arbitrary field of characteristic 0 in the context of (1) complete reducibility of finite dimensional representations of a semisimple Lie algebra, (2) existence of a Levi decomposition of a finite dimensional Lie algebra. Besides the modern treatment by Weibel, there are various older treatments such as Bourbaki, Chapter 1 of Groupes et algebres de Lie (1960) and Jacobson, Sections III.7, III.9 of Lie Algebras (1962 (followed by III.10 on Lie algebra cohomology). Along the way, one can make use of a Casimir element in the universal enveloping algebra: this is a commuting operator in the representations studied, which is what counts. (Of course, when the field is large enough and the representation is irreducible, Schur's Lemma provides a scalar, but this is a corollary of the general Schur formulation.)

For a treatment emphasizing highest weight representations, such as I gave in my short graduate text, it's not satisfactory to work over such an arbitrary field. At the least, one needs a splitting field for a semisimple Lie algebra; my convention, not needed for some of the generalities, was that the field be algebraically closed. So I may be partly responsible for confusing the issue of just how large the field needs to be at each step of the theory.

In particular, complete reducibility does not require that a Casimir element operate on a representation space by a scalar. However, irreducible representations over arbitrary fields of characteristic 0 might be larger than those over a splitting field. The Cartan-Weyl theory is best understood over a large enough field, where eigenvalues are available when needed.

There is no problem about the Whitehead lemmas over an arbitrary field of characteristic 0 in the context of (1) complete reducibility of finite dimensional representations of a semisimple Lie algebra, (2) existence of a Levi decomposition of a finite dimensional Lie algebra. Besides the modern treatment by Weibel, there are various older treatments such as Bourbaki, Chapter 1 of Groupes et algebres de Lie (1960) and Jacobson, Sections III.7, III.9 of Lie Algebras (1962) followed by III.10 on Lie algebra cohomology. Along the way, one can make use of a Casimir element in the universal enveloping algebra: this is a commuting operator in the representations studied, which is what counts. (Of course, when the field is large enough and the representation is irreducible, Schur's Lemma provides a scalar, but this is a corollary of the general Schur formulation.)

For a treatment emphasizing highest weight representations, such as I gave in my short graduate text, it's not satisfactory to work over such an arbitrary field. At the least, one needs a splitting field for a semisimple Lie algebra; my convention, not needed for some of the generalities, was that the field be algebraically closed. So I may be partly responsible for confusing the issue of just how large the field needs to be at each step of the theory.

In particular, complete reducibility does not require that a Casimir element operate on a representation space by a scalar. However, irreducible representations over arbitrary fields of characteristic 0 might be larger than those over a splitting field. The Cartan-Weyl theory is best understood over a large enough field, where eigenvalues are available when needed.

P.S. I've just tracked down my copy of Weibel. Concerning his treatment of these topics, I've never gone through this in detail and find it difficult to sort out his proof of the Whitehead lemmas without going back into the earlier part of his book. He does want the Casimir element to act by scalars when needed even though the field is arbitrary of characteristic 0, but this argument doesn't seem to enter into the other more self-contained treatments mentioned above. Anyway, it's worth looking at Jacobson's Chapter III.

Source Link
Jim Humphreys
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

There is no problem about the Whitehead lemmas over an arbitrary field of characteristic 0 in the context of (1) complete reducibility of finite dimensional representations of a semisimple Lie algebra, (2) existence of a Levi decomposition of a finite dimensional Lie algebra. Besides the modern treatment by Weibel, there are various older treatments such as Bourbaki, Chapter 1 of Groupes et algebres de Lie (1960) and Jacobson, Sections III.7, III.9 of Lie Algebras (1962 (followed by III.10 on Lie algebra cohomology). Along the way, one can make use of a Casimir element in the universal enveloping algebra: this is a commuting operator in the representations studied, which is what counts. (Of course, when the field is large enough and the representation is irreducible, Schur's Lemma provides a scalar, but this is a corollary of the general Schur formulation.)

For a treatment emphasizing highest weight representations, such as I gave in my short graduate text, it's not satisfactory to work over such an arbitrary field. At the least, one needs a splitting field for a semisimple Lie algebra; my convention, not needed for some of the generalities, was that the field be algebraically closed. So I may be partly responsible for confusing the issue of just how large the field needs to be at each step of the theory.

In particular, complete reducibility does not require that a Casimir element operate on a representation space by a scalar. However, irreducible representations over arbitrary fields of characteristic 0 might be larger than those over a splitting field. The Cartan-Weyl theory is best understood over a large enough field, where eigenvalues are available when needed.