Skip to main content
added 197 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

Groups like SO$(2,1)$ have been studied in several frameworks: geometry and generation of classical groups over various ground fields, where unipotent elements tend to appear as transvections; real Lie groups, where the structure theory of groups like this is well developed (as in Helgason's old book, for example, republished by AMS); real points of (almost) simple algebraic groups, where papers by Borel and Tits have worked out the abstract group structure and generation in considerable generality. From the last point of view, I guess the crucial point about your question is that the group is isotropic over $\mathbb{R}$ and thus noncompact as a Lie group unlike SO(3). In particular, it has nontrivial unipotent elements (here of infinite order as group elements); the subgroup they generate in the algebraic group setting is closed and normal as well as defined over $\mathbb{R}$.

Your example is old and references can be quoted, but you need to keep in mind the different approaches possible. What is simplest here depends a lot on your viewpoint.

P.S. The blog entry by Terry Tao suggested by Jack Schmidt gives a nice way to visualize the 3-dimensional situation, but the general perspectives I've sketched are useful in higher dimensions.

Groups like SO$(2,1)$ have been studied in several frameworks: geometry and generation of classical groups over various ground fields, where unipotent elements tend to appear as transvections; real Lie groups, where the structure theory of groups like this is well developed (as in Helgason's old book, for example, republished by AMS); real points of (almost) simple algebraic groups, where papers by Borel and Tits have worked out the abstract group structure and generation in considerable generality. From the last point of view, I guess the crucial point about your question is that the group is isotropic over $\mathbb{R}$ and thus noncompact as a Lie group unlike SO(3). In particular, it has nontrivial unipotent elements (here of infinite order as group elements); the subgroup they generate in the algebraic group setting is closed and normal as well as defined over $\mathbb{R}$.

Your example is old and references can be quoted, but you need to keep in mind the different approaches possible. What is simplest here depends a lot on your viewpoint.

Groups like SO$(2,1)$ have been studied in several frameworks: geometry and generation of classical groups over various ground fields, where unipotent elements tend to appear as transvections; real Lie groups, where the structure theory of groups like this is well developed (as in Helgason's old book, for example, republished by AMS); real points of (almost) simple algebraic groups, where papers by Borel and Tits have worked out the abstract group structure and generation in considerable generality. From the last point of view, I guess the crucial point about your question is that the group is isotropic over $\mathbb{R}$ and thus noncompact as a Lie group unlike SO(3). In particular, it has nontrivial unipotent elements (here of infinite order as group elements); the subgroup they generate in the algebraic group setting is closed and normal as well as defined over $\mathbb{R}$.

Your example is old and references can be quoted, but you need to keep in mind the different approaches possible. What is simplest here depends a lot on your viewpoint.

P.S. The blog entry by Terry Tao suggested by Jack Schmidt gives a nice way to visualize the 3-dimensional situation, but the general perspectives I've sketched are useful in higher dimensions.

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

Groups like SO$(2,1)$ have been studied in several frameworks: geometry and generation of classical groups over various ground fields, where unipotent elements tend to appear as transvections; real Lie groups, where the structure theory of groups like this is well developed (as in Helgason's old book, for example, republished by AMS); real points of (almost) simple algebraic groups, where papers by Borel and Tits have worked out the abstract group structure and generation in considerable generality. From the last point of view, I guess the crucial point about your question is that the group is isotropic over $\mathbb{R}$ and thus noncompact as a Lie group unlike SO(3). In particular, it has nontrivial unipotent elements (here of infinite order as group elements); the subgroup they generate in the algebraic group setting is closed and normal as well as defined over $\mathbb{R}$.

Your example is old and references can be quoted, but you need to keep in mind the different approaches possible. What is simplest here depends a lot on your viewpoint.