Namespaces
Variants
Actions

Orthogonal group

From Encyclopedia of Mathematics
Revision as of 18:20, 7 November 2014 by Richard Pinch (talk | contribs) (→‎Comments: link to Pythagorean field)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 20G [MSN][ZBL]


An orthogonal group is a group of all linear transformations of an $n$-dimensional vector space $V$ over a field $k$ which preserve a fixed non-singular quadratic form $Q$ on $V$ (i.e. linear transformations $\def\phi{\varphi}\phi$ such that $Q(\phi(v))=Q(v)$ for all $v\in V$). An orthogonal group is a classical group. The elements of an orthogonal group are called orthogonal transformations of $V$ (with respect to $Q$), or also automorphisms of the form $Q$. Furthermore, let ${\rm char\;} k\ne 2$ (for orthogonal groups over fields with characteristic 2 see [Di], [2]) and let $f$ be the non-singular symmetric bilinear form on $V$ related to $Q$ by the formula

$$f(u,v)=\frac{1}{2}(Q(u+v) - Q(u) - Q(v)).$$ The orthogonal group then consists of those linear transformations of $V$ that preserve $f$, and is denoted by $\def\O{ {\rm O} }\O_n(k,f)$, or (when one is talking of a specific field $k$ and a specific form $f$) simply by $\O_n$. If $B$ is the matrix of $f$ with respect to some basis of $V$, then the orthogonal group can be identified with the group of all $(n\times n)$-matrices $A$ with coefficients in $k$ such that $A^TBA = B$ (${}^T$ is transposition).

The description of the algebraic structure of an orthogonal group is a classical problem. The determinant of any element from $\O_n$ is equal to 1 or $-1$. Elements with determinant 1 are called rotations; they form a normal subgroup $\O_n^+(k,f)$ (or simply $\O_n^+$) of index 2 in the orthogonal group, called the rotation group. Elements from $\O_n\setminus \O_n^+$ are called inversions. Every rotation (inversion) is the product of an even (odd) number of reflections from $\O_n$.

Let $Z_n$ be the group of all homotheties $\def\a{\alpha}\phi_\a : v\mapsto \a v$, $\a\in k$, $\a\ne 0$, of the space $V$. Then $\O_n\cap Z_n$ is the centre of $\O_n$; it consists of two elements: $\phi_1$ and $\phi_{-1}$. If $n$ is odd, then $\O_n$ is the direct product of its centre and $\O_n^+$. If $n\ge 3$, the centre of $\O_n^+$ is trivial if $n$ is odd, and coincides with the centre of $\O_n$ if $n$ is even. If $n=2$, the group $\O_n^+$ is commutative and is isomorphic either to the multiplicative group $k^*$ of $k$ (when the Witt index $\nu$ of $f$ is equal to 1), or to the group of elements with norm 1 in $k(\sqrt-\Delta)$, where $\Delta$ is the discriminant of $f$ (when $\nu=0$). The commutator subgroup of $\O_n(k,f)$ is denoted by $\def\Om{\Omega}\Om_n(k,f)$, or simply by $\Om_n$; it is generated by the squares of the elements from $\O_n$. When $n\ge 3$, the commutator subgroup of $\O_n^+$ coincides with $\Om_n$. The centre of $\Om_n$ is $\Om_n\cap Z_n$.

Other classical groups related to orthogonal groups include the canonical images of $\O_n^+$ and $\Om_n$ in the projective group; they are denoted by ${\rm P}\O_n^+(k,f)$ and ${\rm P}\Om_n(k,f)$ (or simply by ${\rm P}\O_n^+$ and ${\rm P}\Om_n$) and are isomorphic to $\O_n^+/(\O_n^+\cap Z_n)$ and $\Om_n/(\Om_n\cap Z_n)$, respectively.

The basic classical facts about the algebraic structure describe the successive factors of the following series of normal subgroups of an orthogonal group:

$$\O_n\supset \O_n^+\supset \Om_n\supset \Om_n\cap Z_n \supset \{e\}.$$ The group $\O_n/\O_n^+$ has order 2. Every element in $\O_n/\Om_n$ has order 2, thus this group is defined completely by its cardinal number, and this number can be either infinite or finite of the form $2^\a$ where $\a$ is an integer. The description of the remaining factors depends essentially on the Witt index $\nu$ of the form $f$.

First, let $\nu\ge 1$. Then $\O_n^+/\Om_n \simeq k^*/{k^*}^2$ when $n>2$. This isomorphism is defined by the spinor norm, which defines an epimorphism from $\O_n^+$ on $k^*/{k^*}^2$ with kernel $\Om_n$. The group $\Om_n\cap Z_n$ is non-trivial (and consists of the transformations $\phi_1$ and $\phi_{-1}$) if and only if $n$ is even and $\Delta\in {k^*}^2$. If $n\ge 5$, then the group ${\rm P}\Om_n = \Om_n/(\Om_n\cap Z_n)$ is simple. The cases where $n=3,4$ are studied separately. Namely, ${\rm P}\Om_3 = \Om_3$ is isomorphic to $\def\PSL{ {\rm PSL}}\PSL_2(k)$ (see Special linear group) and is also simple if $k$ has at least 4 elements (the group $\O_3^+$ is isomorphic to the projective group $\def\PGL{ {\rm PGL}}\PGL_2(k)$). When $\nu=1$, the group ${\rm P}\Om_4 = \Om_4$ is isomorphic to the group $\PSL_2(k(\sqrt{\Delta}))$ and is simple (in this case $\Delta\notin k^2$), while when $\nu=2$, the group ${\rm P}\Om_4$ is isomorphic to $\PSL_2(k)\times \PSL_2(k)$ and is not simple. In the particular case when $k = \R$ and $Q$ is a form of signature $(3,1)$, the group ${\rm P}\Om_4 = \Om_4\simeq \PSL_2(\C)$ is called the Lorentz group.

When $\nu = 0$ (i.e. $Q$ is an anisotropic form), these results are not generally true. For example, if $k=\R$ and $Q$ is a positive-definite form, then $\Om_n = O_n^+$, although $\R^*/{\R^*}^2$ consists of two elements; when $k=\Q$, $n=4$, one can have $\Delta\in k^2$, but $\phi_{-1}\notin \Om_4$. When $\nu=0$, the structures of an orthogonal group and its related groups essentially depend on $k$. For example, if $k=\R$, then ${\rm P}\O_n^+$, $n\ge 3$, $n\ne 4$, $\nu=0$, is simple (and ${\rm P}\O_4^+$ is isomorphic to the direct product $\O_3^+ \times \O_3^+$ of two simple groups); if $k$ is the field of $p$-adic numbers and $\nu=0$, there exists in $\O_3$ (and $\O_4$) an infinite normal series with Abelian quotients. Important special cases are when $k$ is a locally compact field or an algebraic number field. If $k$ is the field of $p$-adic numbers, then $n=0$ is impossible when $\nu\ge 5$. If $k$ is an algebraic number field, then there is no such restriction and one of the basic results is that ${\rm P}\Om_n$, when $\nu=0$ and $n\ge 5$, is simple. In this case, the study of orthogonal groups is closely connected with the theory of equivalence of quadratic forms, where one needs the forms obtained from $Q$ by extension of coefficients to the local fields defined by valuations of $k$ (the Hasse principle).

If $k$ is the finite field $\F_q$ of $q$ elements, then an orthogonal group is finite. The order of $\O_n^+$ for $n$ odd is equal to

$$(q^{n-1}-1)q^{n-2}(q^{n-3}-1)q^{n-4}\cdots (q^2-1)q,$$ while when $n=2m$ it is equal to

$$\def\e{\epsilon}(q^{2m-1}-\e q^{m-1})(q^{2m-2}-1)q^{2m-3}\cdots(q^2-1)q,$$ where $\e=1$ if $(-1)^m\Delta\in \F_q^2$ and $\e=-1$ otherwise. These formulas and general facts about orthogonal groups when $\nu\ge 1$ also allow one to calculate the orders of $\Om_n$ and ${\rm P}\Om_n$, since $\nu\ge 1$ when $n\ge 3$, while the order of $k^*/{k^*}^2$ is equal to 2. The group ${\rm P}\Om_n$, $n\ge 5$, is one of the classical simple finite groups (see also Chevalley group).

One of the basic results on automorphisms of orthogonal groups is the following: If $n\ge 3$, then every automorphism $\phi$ of $\O_n$ has the form $\phi(u)=\chi(u)gug^{-1}$, $u\in \O_n$, where $\chi$ is a fixed homomorphism of $\O_n$ into its centre and $g$ is a fixed bijective semi-linear mapping of $V$ onto itself satisfying $Q(g(v))=r_gQ^\sigma(v)$ for all $v\in V$, where $r_g\in k^*$ while $\sigma$ is an automorphism of $k$. If $\nu\ge 1$ and $n\ge 6$, then every automorphism of $\O_n^+$ is induced by an automorphism of $\O_n$ (see [Di], ).

Like the other classical groups, an orthogonal group has a geometric characterization (under certain hypotheses). Indeed, let $ Q$ be an anisotropic form such that $Q(v)\in k^2$ for all $v\in V$. In this case $k$ is a Pythagorean orderable field. For a fixed order of the field $k$, any sequence $((H_s)_{1\le s\le n}$ constructed from a linearly independent basis $((h_s)_{1\le s\le n}$, where $H_s$ is the set of all linear combinations of the form $\def\l{\lambda}\sum_{j=1}^sl_jh_j$, $\l_s\ge 0$, is called an $n$-dimensional chain of incident half-spaces in $V$. The group $\O_n$ has the property of free mobility, i.e. for any two $n$-dimensional chains of half-spaces there exists a unique transformation from $\O_n$ which transforms the first chain into the second. This property characterizes an orthogonal group: If $L$ is any ordered skew-field and $G$ is a subgroup in ${\rm GL_n(L)}$, $n\ge 3$, having the property of free mobility, then $L$ is a Pythagorean field, while $G=\O_n(L,f)$, where $f$ is an anisotropic symmetric bilinear form such that $f(v,v)\in L_1^2$ for any vector $v$.

Let $\def\bk{ {\bar k}}\bk$ be a fixed algebraic closure of the field $k$. The form $f$ extends naturally to a non-singular symmetric bilinear form ${\bar f}$ on $V\otimes_k \bk$, and the orthogonal group $\O_n(\bk,f)$ is a linear algebraic group defined over $k$ with $\O_n(k,f)$ as group of $k$-points. The linear algebraic groups thus defined (for various $f$) are isomorphic over $\bk$ (but in general not over $k$); the corresponding linear algebraic group over $\bk$ is called the orthogonal algebraic group $\O_n(\bk)$. Its subgroup $\O_n^+(\bk,{\bar f})$ is also a linear algebraic group over $\bk$, and is called a properly orthogonal, or special orthogonal algebraic group (notation: $\def\SO{ {\rm SO}}\SO_n(\bk)$); it is the connected component of the identity of $\O_n(\bk)$. The group $\SO_n(\bk)$ is an almost-simple algebraic group (i.e. does not contain infinite algebraic normal subgroups) of type $B_s$ when $n=2s+1$, $s\ge 1$, and of type $D_s$ when $n=2s$, $s\ge 3$. The universal covering group of $\SO_n$ is a spinor group.

If $ k=\R,\C$ or a $p$-adic field, then $\O_n(k,f)$ has a canonical structure of a real, complex or $p$-adic analytic group. The Lie group $\O_n(\R,f)$ is defined up to isomorphism by the signature of the form $f$; if this signature is $(p,q)$, $p+q=n$, then $\O_n(\R,f)$ is denoted by $\O_(p,q)$ and is called a pseudo-orthogonal group. It can be identified with the Lie group of all real $(n\times n)$-matrices $A$ which satisfy

$$A^TI_{p,q}A = I_{p,q}\qquad\textrm{ where }I_{p,q} = \begin{pmatrix}1_p & 0 \\ 0 & -1_q\end{pmatrix}$$ ($1_s$ denotes the unit $(s\times s)$-matrix). The Lie algebra of this group is the Lie algebra of all real $(n\times n)$-matrices $X$ that satisfy the condition $X^TI_{p,q} = -I_{p.q}X$. In the particular case $q=0$, the group $\O(p,q)$ is denoted by $\O(n)$ and is called a real orthogonal group; its Lie algebra consists of all skew-symmetric real $(n\times n)$-matrices. The Lie group $\O(p,q)$ has four connected components when $q\ne 0$, and two connected components when $q=0$. The connected component of the identity is its commutator subgroup, which, when $q=0$, coincides with the subgroup $\def\SO{ {\rm SO}}\SO(n)$ in $\O(n)$ consisting of all transformations with determinant 1. The group $\O(p,q)$ is compact only when $q=0$. The topological invariants of $\SO(n)$ have been studied. One of the classical results is the calculation of the Betti numbers of the manifold $\SO(n)$: Its Poincaré polynomial has the form

$$\prod_{s=1}^m(1+t^{4s-1})$$ when $n=2m+1$, and the form

$$(1+t^{2m-1})\prod_{s=1}^{m-1}(1+t^{4s-1})$$ when $n=2m$. The fundamental group of the manifold $\SO(n)$ is $\Z_2$. The calculation of the higher homotopy groups $\pi_l(\SO(n))$ is directly related to the classification of locally trivial principal $\SO(n)$-fibrations over spheres. An important part in topological $K$-theory is played by the periodicity theorem, according to which, when $N\gg n$, there are the isomorphisms

$$\pi_{n+8}(\O(N)) \simeq \pi_{n}(\O(N));$$ further,

$$\pi_n(\O(N)) \simeq \Z_2$$ if $n=0,1$;

$$\pi_n(\O(N)) \simeq \Z$$ if $n=3,7$; and

$$\pi_n(\O(N)) = 0$$ if $n=2,4,5,6$. The study of the topology of the group $\O(p,q)$ reduces in essence to the previous case, since the connected component of the identity of $\O(p,q)$ is diffeomorphic to the product $\SO(p)\times \SO(q)$ on a Euclidean space.

Comments

A Pythagorean field is a field in which the sum of two squares is again a square.

References

[Ar] E. Artin, "Geometric algebra", Interscience (1957) MR1529733 MR0082463 Zbl 0077.02101
[Bo] N. Bourbaki, "Elements of mathematics. Algebra: Modules. Rings. Forms", 2, Addison-Wesley (1975) pp. Chapt.4;5;6 (Translated from French) MR2333539 MR2327161 MR2325344 MR2284892 MR2272929 MR0928386 MR0896478 MR0782297 MR0782296 MR0722608 MR0682756 MR0643362 MR0647314 MR0610795 MR0583191 MR0354207 MR0360549 MR0237342 MR0205211 MR0205210
[Di] J.A. Dieudonné, "La géométrie des groups classiques", Springer (1955) Zbl 0221.20056
[Di2] J. Dieudonné, "On the automorphisms of the classical groups", Mem. Amer. Math. Soc., 2, Amer. Math. Soc. (1951) MR0045125 Zbl 0042.25603
[Hu] D. Husemoller, "Fibre bundles", McGraw-Hill (1966) MR0229247 Zbl 0144.44804
[OM] O.T. O'Meara, "Introduction to quadratic forms", Springer (1973) Zbl 0259.10018
[We] H. Weyl, "The classical groups, their invariants and representations", Princeton Univ. Press (1946) MR0000255 Zbl 1024.20502
[Zh] D.P. Zhelobenko, "Compact Lie groups and their representations", Amer. Math. Soc. (1973) (Translated from Russian) MR0473097 MR0473098 Zbl 0228.22013
How to Cite This Entry:
Orthogonal group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Orthogonal_group&oldid=34320
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article