Projective special linear group:PSL(2,C)
This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]
This group, denoted or , is defined in the following equivalent ways:
- It is the projective special linear group of degree two over the field of complex numbers.
- It is the projective general linear group of degree two over the field of complex numbers.
As a group of conformal automorphisms
The group is the automorphism group of the Riemann sphere. Explicitly, viewing the Riemann sphere as , its automorphisms are given as fractional linear transformations of the form:
The composition of these works like multiplication of the corresponding matrices .
The reason why the group is the projective special linear group rather than the general linear group is that matrices that are scalar multiples of each other define the same fractional linear transformation, so we need to quotient out by the center. The fact that is the same as follows from the fact that every nonzero element of is the square of a nonzero element (this follows from being algebraically closed).
From an algebraic perspective, if we think of the Riemann sphere as , the action by fractional linear transformations is just the usual way any projective special linear group of degree two over a field acts on the corresponding projective line.
Note: It requires a bit of complex analysis to show that the only conformal automorphisms possible for the Riemann sphere are the ones described by fractional linear transformations.
The group can be viewed at many levels of structure:
- It is a topological group, with the quotient topology from special linear group:SL(2,C), which in turn gets a subspace topology living inside a Euclidean space of matrices over .
- It is an algebraic group over the field of complex numbers.
- It is a complex Lie group.
- It is a real Lie group.
|dimension of an algebraic group||3||As : (note that this dimension is considering the group as an algebraic group over . The dimension as an algebraic group over is twice this dimension, i.e., 6.|
|dimension of a complex Lie group||3||As :|
|dimension of a real Lie group||6||Twice the dimension as a complex Lie group.|
|simple group, simple non-abelian group||Yes||projective special linear group is simple (with exceptions and )|
Further information: element structure of projective special linear group:PSL(2,C)
Further information: subgroup structure of projective special linear group:PSL(2,C)