Tables for
Volume D
Physical properties of crystals
Edited by A. Authier

International Tables for Crystallography (2006). Vol. D, ch. 1.2, pp. 46-51

Section 1.2.3. Space groups

T. Janssena*

aInstitute for Theoretical Physics, University of Nijmegen, 6524 ED Nijmegen, The Netherlands
Correspondence e-mail:

1.2.3. Space groups

| top | pdf | Structure of space groups

| top | pdf |

The Euclidean group E(n) in n dimensions is the group of all distance-preserving inhomogeneous linear transformations. In Euclidean space, an element is denoted by[g = \{ R|{\bf a}\}]where [R\in{O}(n)] and [{\bf a}] is an n-dimensional translation. On a point [{\bf r}] in n-dimensional space, g acts according to [\{R|{\bf a}\} {\bf r} = R{\bf r} + {\bf a}. \eqno (]Therefore, [|g{\bf r}_{1}-g{\bf r}_{2}|=|{\bf r}_{1}-{\bf r}_{2}|]. The group multiplication law is given by [\{R|{\bf a}\}\{R'|{\bf a}'\} = \{RR'|{\bf a}+R{\bf a}'\}. \eqno (] The elements [\{E|{\bf a}\}] form an Abelian subgroup, the group of n-dimensional translations T(n).

An n-dimensional space group is a subgroup of E(n) such that its intersection with T(n) is generated by n linearly independent basis translations. This means that this lattice translation subgroup A is isomorphic to the group of n-tuples of integers: each translation in A can be written as [\{E|{\bf a}\} = \textstyle\prod\limits_{i=1}^{n} \{E|{\bf e}_{i}\}^{n_{i}} = \{E|\textstyle\sum\limits_{i=1}^n n_i {\bf e}_i\}. \eqno (]The lattice translation subgroup A is an invariant subgroup because [g\{E|{\bf a}\}g^{-1} = \{R|{\bf b}\}\{E|{\bf a}\}\{R|{\bf b}\}^{-1} = \{E|R{\bf a}\}\in A.]The factor group [G/A], of the space group G and the lattice translation group A, is isomorphic to the group K formed by all elements R occurring in the elements [\{R|{\bf a}\}\in G]. This group is the point group of the space group G. It is a subgroup of O(n).

The unit cell of the space group is a domain in n-dimensional space such that every point in space differs by a lattice translation from some point in the unit cell, and such that between any two points in the unit cell the difference is not a lattice translation. The unit cell is not unique. One choice is the n-dimensional parallelepiped spanned by the n basis vectors. The points in this unit cell have coordinates between 0 (inclusive) and 1. Another choice is not basis dependent: consider all points generated by the lattice translation group from an origin. This produces a lattice of points [\Lambda]. Consider now all points that are closer to the origin than to any other lattice point. This domain is a unit cell, if one takes care which part of the boundary belongs to it and which part not, and is called the Wigner–Seitz cell. In mathematics it is called the Voronoi cell or Dirichlet domain (or region).

Because the point group leaves the lattice of points invariant, it transforms the Wigner–Seitz cell into itself. This implies that points inside the unit cell may be related by a point-group element. Similarly, space-group elements may connect points inside the unit cell, up to lattice translations. A fundamental region or asymmetric unit is a part of the unit cell such that no points of the fundamental region are connected by a space-group element, and simultaneously that any point in space can be related to a point in the fundamental region by a space-group transformation.

Because [\{E|R{\bf a}\}] belongs to the lattice translation group for every [R\in K] and every lattice translation [\{E|{\bf a}\}], the lattice [\Lambda] generated by the vectors [{\bf e}_{i}] ([i=1,2,\ldots, n]) is invariant under the point group K. Therefore, the latter is a crystallographic point group. On a basis of the lattice [\Lambda], the point group corresponds to a group [\Gamma (K)] of integer matrices. One has the following situation. The space group G has an invariant subgroup A isomorphic to [{\bb Z}^{n}], the factor group [G/A] is a crystallographic point group K which acts according to the integer representation [\Gamma (K)] on A. In mathematical terms, G is an extension of K by A with homomorphism [\Gamma] from K to the group of automorphisms of A.

The vectors [{\bf a}] occurring in the elements [\{E|{\bf a}\}\in G] are called primitive translations. They have integer coefficients with respect to the basis [{\bf e}_{1},\ldots, {\bf e}_{n}]. However, not all vectors [{\bf a}] in the space-group elements are necessarily primitive. One can decompose the space group G according to [G = A + g_{2}A + g_{3}A +\ldots +g_{N}A. \eqno (]To every element [R\in K] there is a coset [g_{i}A] with [g_{i}=\{R|{\bf a}(R)\}] as representative. Such a representative is unique up to a lattice translation. Instead of [{\bf a}(R)], one could as well have [{\bf a}(R)+{\bf n}] as representative for any lattice translation [{\bf n}]. For a particular choice, the function [{\bf a}(R)] from the point group to the group T(n) is called the system of nonprimitive translations or translation vector system. It is a mapping from the point group K to [T(n)], modulo A. Such a system of nonprimitive translations satisfies the relations [{\bf a}(R) + R{\bf a}(S) = {\bf a}(RS) \,\,{\rm mod}\,\, A \quad\forall\,\, R,S \in K. \eqno (]This follows immediately from the product of two representatives [g_{i}].

If the lattice translation subgroup A acts on a point [{\bf r}] different from the origin, one obtains the set [\Lambda +{\bf r}]. One can describe the elements of G as well as combinations of an orthogonal transformation with [{\bf r}] as centre and a translation. This can be seen from [\{R|{\bf a}\} = \{E|{\bf a}-{\bf r}+R{\bf r}\}\{R|{\bf r}-R{\bf r}\}, \eqno (]where now [\{R|{\bf r}-R{\bf r}\}] leaves the point [{\bf r}] invariant. The new system of nonprimitive translations is given by [{\bf a}'(R) = {\bf a}(R) + (R-E){\bf r}. \eqno (]This is the effect of a change of origin. Therefore, for a space group, the systems of nonprimitive translations are only determined up to a primitive translation and up to a change of origin.

It is often convenient to describe a space group on another basis, the conventional lattice basis. This is the basis for a sublattice with the same, or higher, symmetry and with the same number of free parameters. Therefore, the sublattice is also invariant under K and with respect to the conventional basis, which is obtained from the original one via a basis transformation S, the point group has the form [\Gamma_{{\rm conventional}}(R) = S\Gamma_{{\rm primitive}}(R)S^{- 1}, \eqno (]where S is the centring matrix. It is a matrix with determinant equal to the inverse of the number of lattice points of the primitive lattice inside the unit cell of the conventional lattice. As an example, consider the primitive and centred rectangular lattices in two dimensions. Both have symmetry [2mm], and two parameters a and b. The transformation from a basis of the conventional lattice [([2a,0]) and ([0,2b])] to a basis of the primitive lattice [([a,-b]) and ([a,b])] is given by S, and the relations between the generators of the point groups are[\eqalign{ \pmatrix{ -1 & 0\cr 0 & 1}&= S \pmatrix{ 0 & -1\cr -1 & 0}S^{-1}, \quad S = \pmatrix{{{1}\over{2}} & {{1}\over{2}}\cr -{{1}\over{2}} &{{1}\over{2}}}\cr \pmatrix{1&0\cr 0&-1}&=S\pmatrix{0& 1\cr 1 & 0}S^{-1}.}] Irreducible representations of lattice translation groups

| top | pdf |

The lattice translation group A is isomorphic to the group [{\bb Z}^{n}] of n-tuples of integers. This is an infinite group and, therefore, the usual techniques for finite groups cannot be applied. A way past this is the following. If [{\bf a}_{i}] are the basis vectors of the lattice [\Lambda], the lattice translation group generated by the translations [\{E|N{\bf a}_{i}\}] forms an Abelian subgroup [A^{N}] of A. The factor group [A/A^{N}] is a finite group isomorphic to the direct product of n cyclic groups of order N. Each representation of this group is a representation of A with the property that the elements of [A^{N}] are represented by the unit operator. This procedure is in fact that of periodic boundary conditions in solid-state physics. In the following, we shall consider only the representations of A that satisfy this condition.

The irreducible representations of the direct product of n cyclic groups of order N are all one-dimensional. According to Section[link] they can be characterized by n integers and read [\Gamma^{\{p_{j}\}}\left(\{E|\textstyle\sum\limits_{i=1}^{n}n_{i}{\bf e}_{i}\}\right ) =\exp[2\pi i(n_1p_1+n_2p_2+\ldots +n_np_n)/N],\eqno (]because a representation of the cyclic group [C_{N}] is determined by its value on the basis translations: [\Gamma^{p}(\{E|{\bf e}\}) = \exp (2\pi i p/N),\quad 0\leq p \,\lt\, N.]There are exactly [N^{n}] nonequivalent irreducible representations.

If [{\bf a}_{i}] are basis vectors of the lattice [\Lambda], its dual basis consists of vectors [{\bf b}_{j}] defined by [{\bf a}_{i}\cdot{\bf b}_{j} = 2\pi\delta_{ij}. \eqno (]These vectors [{\bf b}_{j}] span the reciprocal lattice [\Lambda^{*}]. The scalar product of an arbitrary lattice vector [{\bf a}] and a reciprocal-lattice vector [{\bf K}] is then[{\bf K}\cdot{\bf a} = \bigg(\textstyle\sum\limits_{i=1}^{n}m_{i}{\bf b}_{i}\bigg)\cdot\bigg(\textstyle\sum\limits_{j=1}^{n} n_{j}{\bf a}_{j}\bigg) = 2\pi\textstyle\sum\limits_{i=1}^{n}n_{i}m_{i}. \eqno (]The expression ([link] then can be written more concisely if one introduces an n-dimensional vector [{\bf k}]: [{\bf k} = {({1}/{N})}\textstyle\sum\limits_{i=1}^{n}p_{i}{\bf b}_{i}. \eqno (]Then ([link] simplifies to[\Gamma^{\{{\bf k}\}}(\{E|{\bf a}\}) = \exp (i{\bf k} \cdot {\bf a}). \eqno (]Because [0\leq p_{i}/N \,\lt\, 1], the vector [{\bf k}] belongs to the unit cell of the reciprocal lattice. If one chooses that unit cell as the Voronoi cell for the reciprocal lattice, which in direct space would be the Wigner–Seitz cell, it is called the Brillouin zone. Therefore, representations of the lattice translation subgroup are characterized by a vector in the Brillouin zone. In fact, the vectors [{\bf k}] form a mesh inside the Brillouin zone, but this mesh becomes finer if N increases. In the limit of N going to [\infty], the wavevectors [{\bf k}] fill the Brillouin zone.

Just like the direct lattice, the reciprocal lattice is invariant under the point group K. The Brillouin zone, or at least its interior, is invariant under K as well. A fundamental domain in the Brillouin zone is a part of the zone such that no two points of the fundamental region are related by a point-group transformation from K and that any point in the Brillouin zone can be obtained from a point in the fundamental region by a point-group transformation. Irreducible representations of space groups

| top | pdf |

For representations of space groups, we use the same argumentation as for the lattice translation subgroup. Notice that the group [A^{N}] generated by the vectors [\{E|N{\bf e}_{i}\}] is an invariant Abelian subgroup of the space group G as well. [\{R|{\bf a}\}\{E|N{\bf e}_{i}\}\{R^{-1}|-R^{-1}{\bf a}\} = \{E|NR{\bf e}_{i}\} \in A^{N}.]The factor group [G/A^{N}] is a finite group of order [N^{n}] times the order of the point group K. Representations of this factor group are representations of G with the property that all elements of [A^{N}] are mapped on the unit operator. We shall consider here only such space-group representations.

Suppose that [\Gamma (G)] is an irreducible representation of the space group G. Its restriction [\Gamma (A)] to the lattice translation subgroup is then reducible, unless it is one-dimensional. Each irreducible representation of A is characterized by a vector [{\bf k}] in the Brillouin zone. Therefore, [\displaylines{\Gamma (\{E|{\bf a}\})\hfill\cr\quad = \pmatrix{ \exp (i{\bf k}_{1}\cdot {\bf a}) & 0 & 0 & \ldots & 0 & 0\cr 0 & \exp (i{\bf k}_{2}\cdot {\bf a})& 0 & \ldots & 0 & 0\cr 0 & 0 & \exp (i{\bf k}_{3}\cdot {\bf a}) & \ldots & 0 & 0\cr 0 & 0 & 0 & \ldots & \ldots & 0\cr 0 & 0 & 0 & \ldots & 0 & \exp (i{\bf k}_{n} \cdot {\bf a}) }. \hfill\cr\hfill (}]Some of the vectors [{\bf k}_{i}] may be identical. Therefore, the matrix representation can be written as [\displaylines{\Gamma (\{E|{\bf a}\}) \hfill\cr\quad= \pmatrix{ \exp (i{\bf k}_{1}\cdot {\bf a})E & 0 & 0 & \ldots & 0 & 0\cr 0 & \exp (i{\bf k}_{2}\cdot {\bf a})E& 0 & \ldots & 0 & 0\cr 0 & 0 & \exp (i{\bf k}_{3}\cdot {\bf a})E & \ldots & 0 & 0\cr 0 & 0 & 0 & \ldots & 0 & 0\cr 0 & 0 & 0 & \ldots & 0 & \exp (i{\bf k}_{s}\cdot {\bf a})E }. \hfill\cr\hfill(}]It can be shown that the dimensions of the unit matrices E are all the same (and equal to d). Then [n = s\cdot d.]With respect to the basis on which the translation is of this form, every basis vector in the pth block is multiplied by a factor [\exp(i{\bf k}_{p}\cdot {\bf a})].

Suppose that [\{R|{\bf u}\}] is an element of the space group G. Consider a basis vector v of the representation space that gets a factor [\exp(i{\bf k}\cdot {\bf a})] under the translation [\{E|{\bf a}\}]. Then one has [\eqalign{D(\{E|{\bf a}\})v &= \exp (i{\bf k}\cdot {\bf a})v \cr D(\{E|{\bf a}\})D(\{R|{\bf u}\})v &= D(\{R|{\bf u}\})D(\{E|R^{-1}{\bf a}\})v \cr &= \exp (i R {\bf k} \cdot {\bf a})D(\{R|{\bf u}\})v,}]and because [D(\{R|{\bf u}\})v] also belongs to the representation space there are vectors that transform with the vector [R{\bf k}] as well as vectors that transform with [{\bf k}]. This means that for every vector [{\bf k}] occurring in a block in ([link], there is also a block for each vector [R{\bf k}] as R runs over the point group K. The vectors [\{R{\bf k} | R\in K\}] form the star of [{\bf k}]. Vectors [R{\bf k}] that differ by a reciprocal-lattice vector ([{\bf k}'={\bf k}+{\bf K}] with [K\in \Lambda^{*}]) correspond to the same representation and are therefore considered to be the same. Generally, a vector [{\bf k}] may be left invariant by a subgroup of the point group K. This point group [K_{{\bf k}}] is the point group of [{\bf k}].[K_{{\bf k}} \equiv \{R | R{\bf k} \equiv {\bf k}\,\,{\rm mod}\,\,\Lambda^{*}\}. \eqno (]Then there are s point-group elements [R_{i}] such that [K = K_{{\bf k}} \,\cup \,R_{2}K_{{\bf k}}\,\cup\, \ldots \,\cup \,R_{s}K_{{\bf k}} \eqno (]and each element [R_{i}] corresponds to a vector in the star: [{\bf k}_{i} = R_{i}{\bf k}_{1};\quad {\bf k}_{1}={\bf k},\quad i=1,2,\ldots, s.]Therefore, the blocks in ([link] for an irreducible representation of the space group G correspond to the s branches of the star of [{\bf k}]. They are all of the same dimension d. If the vectors [{\bf k}_{i}] in ([link] belonged to two or more different stars, the representation would be reducible.

To the point group of [{\bf k}] corresponds a subgroup of the space group G that has [K_{{\bf k}}] as point group. It is called the group of [{\bf k}] and is defined by [G_{{\bf k}} \equiv \{g=\{R|{\bf a}\} \in G | R\in K_{{\bf k}}\}. \eqno (]Analogously to ([link], one can write [G = G_{{\bf k}} \,\cup \,g_{2}G_{{\bf k}} \,\cup\, \ldots \,\cup\, g_{s}G_{{\bf k}}\eqno (]for elements [g_{i}=\{R_{i}|{\bf a}_{i}\}] of the space group G.

As one sees from ([link], there is a subspace of vectors v that get a factor [\exp(i{\bf k}\cdot {\bf a}]) for any lattice translation [{\bf a}]. If one considers the action of [D(g)] with [g\in G_{{\bf k}}], it follows immediately that a vector from this space is transformed into a vector of the same space: the subspace corresponding to a vector [{\bf k}] is invariant under [G_{{\bf k}}]. Therefore this space [V_{{\bf k}}] carries a representation of [G_{{\bf k}}]. It can be seen as follows that one may construct the irreducible representation of the whole group G as soon as one knows the representation [D_{{\bf k}}] of [G_{{\bf k}}] in [V_{{\bf k}}]. To that end, consider a basis [{\bf e}_{1},\ldots, {\bf e}_{d}] in [V_{{\bf k}}]. The vectors [{\boldpsi}_{i\mu} = D(g_{i}){\bf e}_{\mu} \quad(i=1,2,\ldots, s;\,\mu =1,2,\ldots, d),\eqno (]form a basis of the whole representation space. Under a lattice-translation vector [{\bf a}], the vector [\boldpsi_{i\mu}] gets a factor [\exp(i{\bf k}_{i}\cdot {\bf a})]. On this basis, one can determine the matrix representation [\Gamma (G)]. Take an element [\{R|{\bf u}\}\in G]. It belongs to a certain coset [g_{m}G_{{\bf k}}] in the decomposition of G. In addition, the element [\{R|{\bf u}\}g_{i}] belongs to a well defined [g_{j}G_{{\bf k}}]. This means that there is an element [\{S|{\bf v}\}] in the group [G_{{\bf k}}] such that [\{R|{\bf u}\}g_{i} = g_{j}\{S|{\bf v}\} \quad (i=1,2,\ldots, s;\,\{S|{\bf v}\}\in G_{{\bf k}}).] Then one can write[\eqalign{ D(\{R|{\bf u}\})\psi_{i\mu} &= D(\{R|{\bf u}\})D(g_i){\bf e}_\mu \cr&=D(g_j)D\left(\{S|{\bf v}\}\right){\bf e}_\mu \cr&= D(g_j)\textstyle\sum\limits_{\nu=1}^d\Gamma_{\bf k}\left(\{S|{\bf v}\}\right)_{\nu\mu}{\bf e}_\mu \cr&= \textstyle\sum\limits_{\nu=1}^d\Gamma_{\bf k}\left(\{S|{\bf v}\}\right)_{\nu\mu}\psi_{j\nu} \cr&= \textstyle\sum\limits_{j=1}^s\textstyle\sum\limits_{\nu=1}^d\Gamma\left(\{R|{\bf u}\}\right)_{j\nu,i\mu}\psi_{j\nu}.}]This means that the representation matrix [\Gamma (\{R|{\bf u}\})] can be decomposed into [s\times s] blocks of dimension d. In each row of blocks there is exactly one that is not a block of zeros, and the same is true for each column of blocks. Moreover, the only nonzero block in the ith column and in the jth row is [D_{{\bf k}}(\{S|{\bf v}\}) = D_{{\bf k}}(g_{j}^{-1}\{R|{\bf u}\}g_{i}),\eqno (]where i and j are uniquely related by [\{R|{\bf u}\}g_{i} \in g_{j}G_{{\bf k}}. \eqno (]It can be shown that [\Gamma (G)] is irreducible if and only if [D_{{\bf k}}(G_{{\bf k}})] is irreducible. From the construction, it is obvious that one may obtain all irreducible representations of G in this way. Moreover, one obtains all representations of G if one takes for the construction all stars and for each star all irreducible representations of [G_{{\bf k}}].

So the final step is to determine all nonequivalent irreducible representations of [G_{{\bf k}}]. Notice that the lattice translation subgroup is a subgroup of [G_{{\bf k}}]. Therefore, [D_{{\bf k}}(\{E|{\bf a}\}) = \exp (i{\bf k}\cdot {\bf a})E. ]If one makes a choice for the system of nonprimitive translations [{\bf u}(R)], every element [g=\{S|{\bf v}\}\in G_{{\bf k}}] can be written uniquely as [g = \{E|{\bf a}\}\{S|{\bf u}(S)\},]for a lattice translation [{\bf a}]. Therefore, one has [D_{{\bf k}}(\{S|{\bf v}\}) = \exp (i{\bf k}\cdot{\bf a})D_{{\bf k}}(\{S|{\bf u}(S)\}) \equiv \exp \{i{\bf k}\cdot [{\bf a}+{\bf u}(S)]\}\Gamma (S) \eqno (]if one defines [\Gamma (S) = \exp [-i{\bf k}\cdot{\bf u}(S)]D_{{\bf k}}(\{S|{\bf u}(S)\}). \eqno (]It is important to notice that this definition of [\Gamma] does not depend on the choice of the system of nonprimitive translations. If one takes [{\bf u}'(S)={\bf u}(S)+{\bf b}] ([{\bf b}\in A]), the result for [\Gamma (S)] is the same. The product of two matrices [\Gamma (S)] and [\Gamma (S')] then becomes [\eqalignno{\Gamma (S)\Gamma (S^{\prime}) &= \exp \left\{-i{\bf k}\cdot[{\bf u}(S)+{\bf u}(S^{\prime})]\right\} D_{{\bf k}}(\{SS^{\prime}|{\bf u}(S)+S{\bf u}(S^{\prime})\})\cr &= \exp \left\{-i{\bf k}\cdot[{\bf u}(S^{\prime})-S{\bf u}(S^{\prime})]\right\} \Gamma (SS^{\prime}).& (}]One sees that the matrices [\Gamma (R)] form a projective representation of the point group of [{\bf k}]. The factor system is given by[\eqalignno{\omega (S,S^{\prime}) &= \exp \{-i{\bf k}\cdot[{\bf u}(S^{\prime})-S{\bf u}(S^{\prime})]\} &\cr&= \exp [-i({\bf k}-S^{-1})\cdot{\bf u}(S^{\prime}) ].& (}]Such a factor system may, however, be equivalent to a trivial one.

If the space group [G_{{\bf k}}] is symmorphic, one may choose the system of nonprimitive translations to be zero. Consequently, in this case the factor system [\omega (S,S')] is unity and the matrices [\Gamma (S)] form an ordinary representation of the space group [G_{{\bf k}}]. This is also the case if [{\bf k}] is not on the Brillouin-zone boundary. If [{\bf k}] is inside the Brillouin zone and [S\in K_{{\bf k}}], one has [S{\bf k}={\bf k}+{\bf K}] only for [{\bf K}=0]. So inside the Brillouin zone one has [S{\bf k}={\bf k}] for all [S\in K_{{\bf k}}]. This implies that [\exp \{-i{\bf k}\cdot[{\bf u}(S')-S{\bf u}(S')]\} = \exp [-i({\bf k}-S^{-1}{\bf k})\cdot{\bf u}(S')] = 1.]A nontrivial factor system [\omega (S,S')] can therefore only occur for a nonsymmorphic group [G_{{\bf k}}] and for a [{\bf k}] on the Brillouin-zone boundary. But even then, it is possible that one may redefine the matrices [\Gamma (S)] with an appropriate phase factor such that they form an ordinary representation. This is, for example, always the case if [K_{{\bf k}}] is cyclic, because cyclic groups do not have genuine projective representations. These are always associated with an ordinary representation.

If the factor system [\omega (S,S')] is not associated with a trivial one, one has to find the irreducible projective representations with the given factor system. As seen in the previous section, one may do this by using the defining relation for the point group [K_{{\bf k}}]. If these are words [W_{i}(A_{1},\ldots, A_{r})] in the generators [A_{1},\ldots, A_{r}], the corresponding expressions in the representation [W_{i}(D_{{\bf k}}(A_{1}),\ldots, D_{{\bf k}}(A_{r})) = \lambda_{i}E]are multiples of the unit operator. The values of [\lambda_{i}] fix the class of the factor system completely. By multiplying the operators [D_{{\bf k}}(A_{j})] by proper phase factors, the values of [\lambda_{i}] can be transformed into those tabulated. Then the tables give all irreducible representations for this factor system.

In summary, the procedure for finding all irreducible representations of a space group G is as follows.

  • (1) Consider all stars of [{\bf k}] with respect to G. This means that one takes all vectors [{\bf k}] in a fundamental region of the Brillouin zone.

  • (2) For each star, one determines the group [K_{{\bf k}}].

  • (3) For each [K_{{\bf k}}], one determines the factor system [\omega (S,S')].

  • (4) For this factor system, one looks for all nonequivalent irreducible (projective) representations.

  • (5) From the representations [D_{{\bf k}}(K_{{\bf k}})], one determines the representations [\Gamma_{{\bf k}}(G_{{\bf k}})] and [\Gamma (G)] according to the procedure given above. Characterization of space-group representations

| top | pdf |

The irreducible representations of space groups are characterized by a star of vectors in the Brillouin zone, and by the irreducible, possibly projective, representations of the point group of one point from that star.

The stars are sets of vectors in the Brillouin zone related mutually by transformations from the point group K of the space group G modulo reciprocal-lattice vectors. To obtain all stars, it is sufficient to take all vectors in the fundamental domain of the Brillouin zone, i.e. a part of the Brillouin zone such that no vectors in the domain are related by point-group elements (modulo [\Lambda^{*}]) and such that every point in the Brillouin zone is related to a vector in the fundamental domain by a point-group operation.

From each star one takes one point [{\bf k}] and determines the nonequivalent irreducible representations of the point group [K_{{\bf k}}], the ordinary representations if the group [G_{{\bf k}}] is symmorphic or [{\bf k}] is inside the Brillouin zone, or the projective representations with factor system [\omega] [equation ([link]] otherwise. These representations are labelled [\mu]. There are several conventions for the choice of this label, but an irreducible representation of G is always characterized by a pair ([{\bf k},\mu)], where [{\bf k}] fixes the star and [\mu] the irreducible point-group representation.

The projective representations of the group of [{\bf k}], i.e. of [K_{{\bf k}}], can be obtained from the ordinary representations of a larger group. If the factor system [\omega (R,R')] is of order m, the order of this larger group [\hat{K}_{{\bf k}\omega}] is m times the order of [K_{{\bf k}}]. Then the irreducible representations of the space group are labelled by the vector [{\bf k}] in the Brillouin zone and an irreducible ordinary representation of [\hat{K}_{{\bf k}\omega}], where [\omega] follows from ([link].

Two stars such that one branch of the first one has the same [K_{{\bf k}}] as one branch of the other determine representations that are quite similar. The only difference is the numerical value of the factors [\exp (i{\bf k}\cdot{\bf a})], the form of the representation matrices being the same. Such irreducible representations of the space group are said to belong to the same stratum. Strata are denoted by a symbol for one vector [{\bf k}] in the Brillouin zone. For example, the origin, conventionally denoted by [\Gamma], belongs to one stratum that corresponds to the ordinary representations of the point group K. For a simple cubic space group, the point [[{\textstyle{1\over2}}, 0,0]] is denoted by X. Its [K_{{\bf k}}] is the tetragonal group [4/mmm]. All points [[\xi, 0,0]] with [\xi \neq 0] and [-{\textstyle{1\over2}} \,\lt\, \xi \,\lt\, {\textstyle{1\over2}}] form one stratum with point group [4mm]. This stratum is denoted by [\Delta] etc. The strata can be compared with the Wyckoff positions in direct space. There a Wyckoff position is a manifold in the unit cell for which all points have the same site symmetry, modulo the lattice translations. Here it is a manifold of k vectors with the same symmetry group modulo the reciprocal lattice. The action of [G_{{\bf k}}] does not involve the nonprimitive translations. Therefore, the strata correspond to Wyckoff positions of the corresponding symmorphic space group. The stratum symbols for the various three-dimensional Bravais classes are given in Table[link].

As an example, we consider here the orthorhombic space group [Pnma]. The orthorhombic Brillouin zone has a fundamental domain with volume that is one-eighth of that of the Brillouin zone. The various choices of [{\bf k}] in this fundamental domain, together with the corresponding point groups [K_{{\bf k}}], are given in Table[link]. The vectors [{\bf k}] correspond to Wyckoff positions of the group [Pmmm].

Table| top | pdf |
Choices of [{\bf k}] in the fundamental domain of [Pnma] and the elements of [K_{\bf k}]

[{\bf k}]Wyckoff position[K_{{\bf k}}]Elements
[000 ] a [mmm] [ E] [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
[{{1}\over{2}}]00 b [mmm] [E ] [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
0[{{1}\over{2}}]0 e [mmm] [ E ] [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
00[{{1}\over{2}}] c [mmm] [ E ] [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
0[{{1}\over{2}}{{1}\over{2}}] g [mmm] E [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
[{{1}\over{2}} 0{{1}\over{2}}] d [mmm] E [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
[{{1}\over{2}} {{1}\over{2}} 0] f [mmm] E [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
[{{1}\over{2}}{{1}\over{2}}{{1}\over{2}}] h [mmm] E [m_{x}] [m_{y}] [m_{z}] [\bar{1}] 2x 2y 2z
[\xi]00 i [2mm] E [m_{y}] [m_{z}] 2x        
[\xi{{1}\over{2}} 0] k [2mm] E [m_{y}] [m_{z}] 2x        
[\xi 0{{1}\over{2}}] j [2mm] E [m_{y}] [m_{z}] 2x        
[\xi {{1}\over{2}}{{1}\over{2}}] l [2mm] E [m_{y}] [m_{z}] 2x        
[0\eta 0] m [m2m] E [m_{x}] [m_{z}] 2y        
[{{1}\over{2}}\eta 0] o [m2m] E [m_{x}] [m_{z}] 2y        
[0\eta {{1}\over{2}}] n [m2m] E [m_{x}] [m_{z}] 2y        
[{{1}\over{2}} \eta {{1}\over{2}}] p [m2m] E [m_{x}] [m_{z}] 2y        
[00\zeta] q [mm2] E [m_{x}] [m_{y}] 2z        
[{{1}\over{2}} 0\zeta] s [mm2] E [m_{x}] [m_{y}] 2z        
[0{{1}\over{2}} \zeta] r [mm2] E [m_{x}] [m_{y}] 2z        
[{{1}\over{2}}{{1}\over{2}}\zeta] t [mm2] E [m_{x}] [m_{y}] 2z        
[0\eta\zeta] u [m11] E [m_{x}]            
[{{1}\over{2}}\eta\zeta] v [m11] E [m_{x}]            
[\xi 0 \zeta] w [ 1m1 ] E [m_{y}]            
[\xi {{1}\over{2}} \zeta] x [1m1] E [m_{y}]            
[\xi\eta 0] y [11m] E [m_{z}]            
[\xi\eta {{1}\over{2}}] z [11m] E [m_{z}]            
[\xi\eta\zeta] [\alpha] [1] E              

In the tables, the vectors [{\bf k}] and their corresponding Wyckoff positions are given for the holohedral space groups. In general, the number of different strata is smaller for the other groups. One can still use the same symbols for these groups, or take the symbols for the Wyckoff positions for the groups that are not holohedral. Consider as an example the group [Pmm2]. Its holohedral space group is [Pmmm]. The strata of irreducible representations can be labelled by the symbols for Wyckoff positions of [Pmm2] as well as those of [Pmmm]. This is shown in Table[link].

Table| top | pdf |
Strata of irreducible representations of [Pmm2] and [Pmmm]

[{\bf k}]Wyckoff position in [Pmm2]Wyckoff positions in [Pmmm][K_{{\bf k}}]
00[\zeta] a [a,c,q] [mm2]
[0 {{1}\over{2}}\zeta] b [e,g,r] [mm2]
[{{1}\over{2}} 0\zeta] c [b,d,s] [mm2]
[{{1}\over{2}}{{1}\over{2}}\zeta] d [f,h,t] [mm2]
[\xi 0\zeta] e [i,j,w] [1m1]
[\xi{{1}\over{2}}\zeta] f [k,l, x] [1m1]
[0\eta\zeta] g [m,n,u] [m11]
[{{1}\over{2}}\eta\zeta] h [o,p,v] [m11]
[\xi\eta\zeta] i [y,z,\alpha] 1

The defining relations for the point group [mmm] are[A^{2}=B^{2}=(AB)^{2}=C^{2}=E,\quad AC=CA,\quad BC=CB.]For the subgroups, the defining relations follow from these. The corresponding expressions in the representation matrices [\Gamma (A_{i})] for the generators of the point groups give expressions[W_{i}^{{\rm left}}(A_{1},\ldots, A_{r}) = \lambda_{i} W_{i}^{{\rm right}}(A_{1},\ldots, A_{r}),\quad i=1,\ldots.]In the example one has[\matrix{\Gamma (A)^{2}=\lambda_{1}E \hfill & \Gamma (B)^{2}=\lambda_{2}E\hfill\cr \left(\Gamma (A)\Gamma (B) \right)^{2}=\lambda_{3}E\hfill&\Gamma (C)^{2}=\lambda_{4}E\hfill\cr \Gamma (A)\Gamma (C)=\lambda_{5}\Gamma (C)\Gamma (A)\hfill & \Gamma (B)\Gamma (C) =\lambda_{6}\Gamma (C)\Gamma (B).\hfill}]The values for [\lambda_{i}] characterize the projective representation factor system and are given in Table[link]. They are unity for ordinary representations.

Table| top | pdf |
Characteristic values of [\lambda_{i}] for the projective irreps of [K_{\bf k}] for the point group [mmm]

[{\bf k}][A^{2}][B^{2}][(AB)^{2} ][ C^{2} ][AC=CA ][BC=CB]Representations
000 1 1 1 1 1 1 8 1
[{{1}\over{2}}]00 −1 1 −1 1 −1 1 2 2
0[{{1}\over{2}}]0 1 −1 1 1 1 1 2 2
00[{{1}\over{2}}] 1 1 1 −1 −1 1 2 2
0[{{1}\over{2}}{{1}\over{2}}] 1 −1 1 −1 −1 1 2 2
[{{1}\over{2}} 0{{1}\over{2}}] −1 1 −1 −1 1 1 8 1
[{{1}\over{2}} {{1}\over{2}} 0] −1 −1 −1 1 −1 1 2 2
[{{1}\over{2}}{{1}\over{2}}{{1}\over{2}}] −1 −1 −1 −1 1 1 2 2
[\xi]00 1 1 1       4 1
[\xi{{1}\over{2}} 0] −1 1 −1       4 1
[\xi 0{{1}\over{2}}] 1 −1 −1       4 1
[\xi {{1}\over{2}}{{1}\over{2}}] −1 −1 1       4 1
[0\eta 0] 1 1 1       4 1
[{{1}\over{2}}\eta 0] −1 1 1       1 2
[0\eta {{1}\over{2}}] 1 −1 1       1 2
[{{1}\over{2}} \eta {{1}\over{2}}] −1 −1 1       4 1
[00\zeta] 1 1 1       4 1
[{{1}\over{2}} 0\zeta] −1 1 −1       1 2
[0{{1}\over{2}} \zeta] 1 −1 1       1 2
[{{1}\over{2}}{{1}\over{2}}\zeta] −1 −1 −1       1 2
[0\eta\zeta] 1           2 1
[{{1}\over{2}}\eta\zeta] −1           2 1
[\xi 0 \zeta] 1           2 1
[\xi {{1}\over{2}} \zeta] −1           2 1
[\xi\eta 0] 1           2 1
[\xi\eta {{1}\over{2}}] −1           2 1
[\xi\eta\zeta]             1 1

By putting factors i in front of the representation matrices in the appropriate places, some of the values of [\lambda_{i}] can be changed from [-1] to [+1]. In this way, one obtains either ordinary representations, which are necessarily one-dimensional for these Abelian groups, or projective representations, which are in this case two-dimensional. This is indicated as well in Table[link]. The one-dimensional irreducible representations are ordinary representations of the group [K_{{\bf k}}]. The two-dimensional ones are projective representations, but correspond to ordinary representations of the larger groups isomorphic to [D_{4}\times C_{2}] and [D_{4}]. Double space groups and their representations

| top | pdf |

In Section[link], it was mentioned that the transformation properties of spin-[{{1}\over{2}}] particles under rotations are not given by the orthogonal group O(3), but by the covering group SU(2). Hence, the transformation of a spinor field under a Euclidean transformation g is given by [g\Psi ({\bf r}) = \pm U(R)\Psi (R^{-1}({\bf r}-{\bf a})) \quad \forall \,\, g = \{R|{\bf a}\} \in E(3), \eqno (]where the SU(2) operator [U(R)] is given by[U(R) = E\cos (\varphi /2) + ({\boldsigma}\cdot{\bf n})\sin (\varphi /2) \eqno (]when the rotation R has angle [\varphi] and axis [{\bf n}]. When R does not belong to SO(3) one has to take [U(-R]).

For an ordinary space group, one can construct the double space group by[\{R|{\bf a}\} \rightarrow \{\pm U(R)|{\bf a}\} \eqno (]with multiplication rule [\{U(R)|{\bf a}\}\{U(S)|{\bf b}\} = \{U(R)U(S)|{\bf a}+R{\bf b}\}. \eqno (]An invariant subgroup of the double space group is the translation group A. The factor group is the double point group [K^{d}] of the point group K.

The representations of the double space groups can be constructed in the same way as those of ordinary space groups. They are characterized by a vector [{\bf k}] in the Brillouin zone and a label for an irreducible, generally projective, representation of the (double) point group [K_{{\bf k}}^{d}] of [{\bf k}], which is the double group of [K_{{\bf k}}]. Again, for nonsymmorphic space groups or wavevectors [{\bf k}] inside the Brillouin zone, the relevant irreducible representations of [K_{{\bf k}}^{d}] are ordinary representations with a trivial factor system.

For an element g of the space group G, there are two elements of the double space group [G^{d}]. If one considers an irreducible representation [D(G^{d})] for the double space group and takes for each [g\in G] one of the two corresponding elements in [G^{d}], the resulting set of linear operators forms a projective representation of the space group. It is also characterized by a vector [{\bf k}] in the Brillouin zone and a projective representation of the point group (not its double) [K_{{\bf k}}]. This projective representation does not have the same factor system as discussed in Section[link], because the factor system now stems partly from the nonprimitive translations and partly from the fact that a double point group gives a projective representation of the ordinary point group [K_{{\bf k}}].

The projective representations of a space group corresponding to ordinary representations of the double space group again are characterized by the star of a vector [{\bf k}]. The projective representation of the group [G_{{\bf k}}] then is given by [P_{{\bf k}}(\{R|{\bf a}\}) = \exp (i{\bf k}\cdot{\bf a})\Gamma (R), \eqno (]where the projective representation [\Gamma (K_{{\bf k}})] has the factor system [\eqalignno{\Gamma (R)\Gamma (S) &= \omega_{s}(R,S) \exp [-i({\bf k}-R^{-1}{\bf k})\cdot{\bf a}(S) ] \Gamma (RS) &\cr&= \omega (R,S)\Gamma (RS), & (}]where [\omega_{s}] is the spin factor system for [K_{{\bf k}}] and [{\bf a}(S)] is the nonprimitive translation of the space-group element with orthogonal part S. The factor system [\omega] can be characterized by the defining relations of [K_{{\bf k}}]. If these are the words [W_{i}(A_{1},\ldots, A_{p}) = E,]then the factor system [\omega] is characterized by the factors [\lambda_{i}] in [W_{i}(\Gamma (A_{1}),\ldots, \Gamma (A_{p})) = \lambda_{i}E. \eqno (]The factors [\lambda_{i}] are the product of the values found from the spin factor system [\omega_{s}] and those corresponding to the factor system for an ordinary representation [equation ([link]].

to end of page
to top of page