Indefinite orthogonal group

Indefinite orthogonal group

In mathematics, the indefinite orthogonal group, O("p","q") is the Lie group of all linear transformations of a "n" = "p" + "q" dimensional real vector space which leave invariant a nondegenerate, symmetric bilinear form of signature ("p", "q"). The dimension of the group is :"n"("n" − 1)/2.The indefinite special orthogonal group, SO("p","q") is the subgroup of O("p","q") consisting of all elements with determinant 1.

The signature of the metric ("p" positive and "q" negative eigenvalues) 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 O("p","q") is defined for vector spaces over the reals. For complex spaces, all groups O("p","q"; C) are isomorphic to the usual orthogonal group O("p" + "q"; C), since the transform z_j mapsto iz_j changes the signature of a form.

Matrix definition

One can define O("p","q") as a group of matrices, just as for the classical orthogonal group O("n"). The standard inner product on R"p","q" is given in coordinates by the diagonal matrix::eta = mathrm{diag}(underbrace{1,cdots,1}_{p},underbrace{-1,cdots,-1}_{q}).,As a quadratic form,Q(x_1,dots,x_n) = x_1^2 + cdots + x_p^2 - x_{p+1}^2 - cdots - x_{p+q}^2

The group O("p","q") is then the group of a "n"×"n" matrices "M" (where "n" = "p"+"q") such that Q(Mv)=Q(v); as a bilinear form,:M^Teta M = eta.,Here "M""T" denotes the transpose of the matrix "M". One can easily verify that the set of all such matrices forms a group. The inverse of "M" is given by:M^{-1} = eta^{-1}M^Teta.,

One obtains an isomorphic group (indeed, a conjugate subgroup of GL(V)) by replacing η with any symmetric matrix with "p" positive eigenvalues and "q" negative ones (such a matrix is necessarily nonsingular); equivalently, any quadratic form with signature ("p","q"). Diagonalizing this matrix gives a conjugation of this group with the standard group O("p","q").

Topology

Neither of the groups O("p","q") or SO("p","q") are connected, having 4 and 2 components respectively.pi_0(O(p,q)) cong C_2 imes C_2 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.The special orthogonal group has components pi_0(SO(p,q)) = {(1,1), (-1,-1)} which either preserves both orientations or reverses both orientations.

The identity component of O("p","q") is often denoted SO+("p","q") and can be identified with the set of elements in SO("p","q") which preserves both orientations.

The group 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, O("p")×O("q") is a maximal compact subgroup of O("p","q"), while S(O(p) imes O(q)) is a maximal compact subgroup of SO("p","q").Likewise, SO("p")×SO("q") is a maximal compact subgroup of 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 SO+("p", "q") is the product of the fundamental groups of the components, pi_1(mbox{SO}^{+}(p,q)) = pi_1(mbox{SO}(p)) imespi_1(mbox{SO}(q)),!, and is given by::

References

*springer|id=O/o070300|title=Orthogonal group|author=V. L. Popov
*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)

*Joseph A. Wolf, "Spaces of constant curvature", (1967) page. 335.

ee also

*Lorentz group
*orthogonal group
*pin group


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Orthogonal group — Group theory Group theory …   Wikipedia

  • Lorentz group — Group theory Group theory …   Wikipedia

  • Unitary group — In mathematics, the unitary group of degree n , denoted U( n ), is the group of n times; n unitary matrices, with the group operation that of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n , C).In the… …   Wikipedia

  • Spin group — In mathematics the spin group Spin( n ) is the double cover of the special orthogonal group SO( n ), such that there exists a short exact sequence of Lie groups:1 o mathbb{Z} 2 o operatorname{Spin}(n) o operatorname{SO}(n) o 1.For n gt; 2, Spin(… …   Wikipedia

  • Pin group — In mathematics, the pin group is a certain subgroup of the Clifford algebra associated to a quadratic space. It maps 2 to 1 to the orthogonal group, just as the spin group maps 2 to 1 to the special orthogonal group.In general the map from the… …   Wikipedia

  • Classical group — For the book by Weyl, see The Classical Groups. Lie groups …   Wikipedia

  • Rotation group — This article is about rotations in three dimensional Euclidean space. For rotations in four dimensional Euclidean space, see SO(4). For rotations in higher dimensions, see orthogonal group. In mechanics and geometry, the rotation group is the… …   Wikipedia

  • Symplectic group — For finite groups with all characteristc abelian subgroups cyclic, see group of symplectic type. Group theory …   Wikipedia

  • Quadratic form — In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables. For example, is a quadratic form in the variables x and y. Quadratic forms occupy a central place in various branches of mathematics, including… …   Wikipedia

  • Spin representation — In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature (i.e., including indefinite orthogonal groups). More precisely, they are… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”