Indefinite orthogonal group
In mathematics, the indefinite orthogonal group, 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 , where . It is also called the pseudo-orthogonal group or generalized orthogonal group. The dimension of the group is . The indefinite special orthogonal group, is the subgroup of consisting of all elements with determinant 1. Unlike in the definite case, is not connected – it has 2 components – and there are two additional finite index subgroups, namely the connected and , which has 2 components – see "" 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 is defined for vector spaces over the reals. For complex spaces, all groups are isomorphic to the usual orthogonal group , since the transform formula_1 changes the signature of a form. This should not be confused with the indefinite  unitary group which preserves a sesquilinear form of signature . In even dimension , is known as the split orthogonal group. Examples. The basic example is the squeeze mappings, which is the group of (the identity component of) linear transforms preserving the unit hyperbola. Concretely, these are the matrices formula_2 and can be interpreted as "hyperbolic rotations," just as the group SO(2) can be interpreted as "circular rotations." In physics, the Lorentz group is of central importance, being the setting for electromagnetism and special relativity. (Some texts use for the Lorentz group; however, is prevalent in quantum field theory because the geometric  properties of the Dirac equation are more natural in .) Matrix definition. One can define as a group of matrices, just as for the classical orthogonal group O("n"). Consider the formula_3 diagonal matrix formula_4 given by Then we may define a symmetric bilinear form formula_6 on formula_7 by the formula where formula_9 is the standard inner product on formula_7. We then define formula_11 to be the group of formula_3 matrices that preserve this bilinear form: More explicitly, formula_11 consists of matrices formula_15 such that where formula_17 is the transpose of formula_15. One obtains an isomorphic group (indeed, a conjugate subgroup of  ) 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 . Subgroups. The group and related subgroups of can be described algebraically. Partition a matrix "L" in as a block matrix: where "A", "B", "C", and "D" are "p"×"p", "p"×"q", "q"×"p", and "q"×"q" blocks, respectively. It can be shown that the set of matrices in whose upper-left "p"×"p" block "A" has positive determinant is a subgroup. Or, to put it another way, if are in , then The analogous result for the bottom -right "q"×"q" block also holds. The subgroup consists of matrices "L" such that and are both positive. For all matrices "L" in , the determinants of "A" and "D" have the property that formula_22 and that formula_23 In particular, the subgroup consists of matrices "L" such that and have the same sign. Topology. Assuming both "p" and "q" are positive, neither of the groups nor are connected, having four and two components respectively. The identity component of is often denoted and can be identified with the set of elements in that preserve both orientations. This notation is related to the notation  for the orthochronous Lorentz group, where the + refers to preserving the orientation on the first (temporal) dimension. The group 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, is a maximal compact subgroup of , while is a maximal compact subgroup of . Likewise, is a maximal compact subgroup of . Thus, the spaces are homotopy equivalent to products of (special) orthogonal groups, from which algebro-topological invariants can be computed. (See Maximal compact subgroup.) In particular, the fundamental group of is the product of the fundamental  groups of the components, , and is given by: Split orthogonal group. In even dimensions, the middle group is known as the split orthogonal group, and is of particular interest, as it occurs as the group of T-duality transformations in string theory, for example. It is the split Lie group corresponding to the complex Lie algebra so (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 , which is the "compact" real form of the complex Lie algebra. The case 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.