“Indefinite orthogonal group”的意思、由来-开放百科全书

词条

Indefinite orthogonal group

释义

Examples
Matrix definition
Topology
Split orthogonal group
See also
References

In mathematics, the indefinite orthogonal group, {{nowrap|O(p, q)}} is the Lie group of all linear transformations of an n-dimensional real vector space that leave invariant a nondegenerate, symmetric bilinear form of signature {{nowrap|(p, q)}}, where {{nowrap|1=n = p + q}}. The dimension of the group is {{nowrap|n(n − 1)/2}}.

The indefinite special orthogonal group, {{nowrap|SO(p, q)}} is the subgroup of {{nowrap|O(p, q)}} consisting of all elements with determinant 1. Unlike in the definite case, {{nowrap|SO(p, q)}} is not connected – it has 2 components – and there are two additional finite index subgroups, namely the connected {{nowrap|SO⁺(p, q)}} and {{nowrap|O⁺(p, q)}}, which has 2 components – see {{slink||Topology}} for definition and discussion.

The signature of the form determines the group up to isomorphism; interchanging p with q amounts to replacing the metric by its negative, and so gives the same group. If either p or q equals zero, then the group is isomorphic to the ordinary orthogonal group O(n). We assume in what follows that both p and q are positive.

The group {{nowrap|O(p, q)}} is defined for vector spaces over the reals. For complex spaces, all groups {{nowrap|O(p, q; C)}} are isomorphic to the usual orthogonal group {{nowrap|O(p + q; C)}}, since the transform changes the signature of a form.

In even dimension {{nowrap|1=n = 2p}}, {{nowrap|O(p, p)}} is known as the split orthogonal group.

Examples

The basic example is the squeeze mappings, which is the group {{nowrap|SO⁺(1, 1)}} of (the identity component of) linear transforms preserving the unit hyperbola. Concretely, these are the matrices and can be interpreted as hyperbolic rotations, just as the group SO(2) can be interpreted as circular rotations.

In physics, the Lorentz group {{nowrap|O(1, 3)}} is of central importance, being the setting for electromagnetism and special relativity.

Matrix definition

One can define {{nowrap|O(p, q)}} as a group of matrices, just as for the classical orthogonal group O(n). Consider the diagonal matrix given by

Then we may define a symmetric bilinear form on by the formula

,

where is the standard inner product on .

We then define to be the group of matrices that preserve this bilinear form:^[1]

.

More explicitly, consists of matrices such that^[2]

,

where is the transpose of .

One obtains an isomorphic group (indeed, a conjugate subgroup of {{nowrap|GL(p + q)}}) by replacing g with any symmetric matrix with p positive eigenvalues and q negative ones. Diagonalizing this matrix gives a conjugation of this group with the standard group {{nowrap|O(p, q)}}.

Topology

Assuming both p and q are positive, neither of the groups {{nowrap|O(p, q)}} nor {{nowrap|SO(p, q)}} are connected, having four and two components respectively.

{{nowrap|1=π₀(O(p, q)) ≅ C₂ × C₂}} is the Klein four-group, with each factor being whether an element preserves or reverses the respective orientations on the p and q dimensional subspaces on which the form is definite; note that reversing orientation on only one of these subspaces reverses orientation on the whole space. The special orthogonal group has components {{nowrap|1=π₀(SO(p, q)) = {(1, 1), (−1, −1)}}} which either preserves both orientations or reverses both orientations, in either case preserving the overall orientation.

The identity component of {{nowrap|O(p, q)}} is often denoted {{nowrap|SO⁺(p, q)}} and can be identified with the set of elements in {{nowrap|SO(p, q)}} which preserves both orientations. This notation is related to the notation {{nowrap|O⁺(1, 3)}} for the orthochronous Lorentz group, where the + refers to preserving the orientation on the first (temporal) dimension.

The group {{nowrap|O(p, q)}} is also not compact, but contains the compact subgroups O(p) and O(q) acting on the subspaces on which the form is definite. In fact, {{nowrap|O(p) × O(q)}} is a maximal compact subgroup of {{nowrap|O(p, q)}}, while {{nowrap|S(O(p) × O(q))}} is a maximal compact subgroup of {{nowrap|SO(p, q)}}.

Likewise, {{nowrap|SO(p) × SO(q)}} is a maximal compact subgroup of {{nowrap|SO⁺(p, q)}}.

Thus up to homotopy, the spaces are products of (special) orthogonal groups, from which algebro-topological invariants can be computed.

In particular, the fundamental group of {{nowrap|SO⁺(p, q)}} is the product of the fundamental groups of the components, {{nowrap|1=π₁(SO⁺(p, q)) = π₁(SO(p)) × π₁(SO(q))}}, and is given by:

π₁(SO⁺(p, q))	p = 1	p = 2	p ≥ 3
q = 1	C₁	Z	C₂
q = 2	Z	Z × Z	Z × C₂
q ≥ 3	C₂	C₂ × Z	C₂ × C₂

Split orthogonal group

In even dimension, the middle group {{nowrap|O(n, n)}} is known as the split orthogonal group, and is of particular interest{{why|date=January 2016}}. It is the split Lie group corresponding to the complex Lie algebra so_2n (the Lie group of the split real form of the Lie algebra); more precisely, the identity component is the split Lie group, as non-identity components cannot be reconstructed from the Lie algebra. In this sense it is opposite to the definite orthogonal group {{nowrap|1=O(n) := O(n, 0) = O(0, n)}}, which is the compact real form of the complex Lie algebra.

The case {{nowrap|(1, 1)}} corresponds to the multiplicative group of the split-complex numbers.

In terms of being a group of Lie type – i.e., construction of an algebraic group from a Lie algebra – split orthogonal groups are Chevalley groups, while the non-split orthogonal groups require a slightly more complicated construction, and are Steinberg groups.

Split orthogonal groups are used to construct the generalized flag variety over non-algebraically closed fields.

References

{{citation|first=Brian C.|last=Hall|title=Lie Groups, Lie Algebras, and Representations: An Elementary Introduction|edition= 2nd|series=Graduate Texts in Mathematics|volume=222 |publisher=Springer|year=2015|isbn=978-3319134666}}
Anthony Knapp, Lie Groups Beyond an Introduction, Second Edition, Progress in Mathematics, vol. 140, Birkhäuser, Boston, 2002. {{ISBN|0-8176-4259-5}} – see page 372 for a description of the indefinite orthogonal group
{{springer|id=O/o070300|title=Orthogonal group|author=V. L. Popov}}
Joseph A. Wolf, Spaces of constant curvature, (1967) page. 335.

1 : Lie groups

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Examples

Matrix definition

Topology

Split orthogonal group

See also

References