When you have a vector space W with a metric and you want to talk about SO(W) instead of O(W). You do need an orientation, i.e., an element, up to positive multiples, of ∧dimWW. Of course, this orientation is invisible when you look at them as matrices, since you are choosing a basis, say {wi}, and the basis is giving you an orientation w1∧…∧wn. If you choose a different basis, say {−w1}∪{w2,…,wn}, you may get the opposite orientation, as it happens in this example: −w1∧…∧wn.
What about V⊕V∗? Apart from a canonical pairing, there is a canonical orientation on V⊕V∗! We have to give an element of
∧(2dimV)(V⊕V∗)=∧dimVV⊗∧dimV∗V∗. The canonical pairing between ∧dimVV and ∧dimV∗V∗ gives that element. If you want, it is 1∈R≡∧dimVV⊗∧dimV∗V∗,
where the isomorphism is given by the canonical pairing.
We will talk about SO(V⊕V∗). Notice that the Lie algebra so(V⊕V∗) is exactly o(V⊕V∗), as it only depends on a neighbourhood of the identity element, which is the same for SO and O.
What about V⊕V∗? Apart from a canonical pairing, there is a canonical orientation on V⊕V∗! We have to give an element of
∧(2dimV)(V⊕V∗)=∧dimVV⊗∧dimV∗V∗. The canonical pairing between ∧dimVV and ∧dimV∗V∗ gives that element. If you want, it is 1∈R≡∧dimVV⊗∧dimV∗V∗,
where the isomorphism is given by the canonical pairing.
We will talk about SO(V⊕V∗). Notice that the Lie algebra so(V⊕V∗) is exactly o(V⊕V∗), as it only depends on a neighbourhood of the identity element, which is the same for SO and O.
No comments:
Post a Comment
Please, use the comments to share any thoughts or concerns, and also to leave some anonymous feedback, which will not be published.