International
Tables for Crystallography Volume D Physical properties of crystals Edited by A. Authier © International Union of Crystallography 2006 |
International Tables for Crystallography (2006). Vol. D. ch. 1.2, pp. 46-51
Section 1.2.3. Space groups
a
Institute for Theoretical Physics, University of Nijmegen, 6524 ED Nijmegen, The Netherlands |
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 bywhere and is an n-dimensional translation. On a point in n-dimensional space, g acts according to Therefore, . The group multiplication law is given by The elements 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 The lattice translation subgroup A is an invariant subgroup because The factor group , 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 . 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 . 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 belongs to the lattice translation group for every and every lattice translation , the lattice generated by the vectors () is invariant under the point group K. Therefore, the latter is a crystallographic point group. On a basis of the lattice , the point group corresponds to a group of integer matrices. One has the following situation. The space group G has an invariant subgroup A isomorphic to , the factor group is a crystallographic point group K which acts according to the integer representation on A. In mathematical terms, G is an extension of K by A with homomorphism from K to the group of automorphisms of A.
The vectors occurring in the elements are called primitive translations. They have integer coefficients with respect to the basis . However, not all vectors in the space-group elements are necessarily primitive. One can decompose the space group G according to To every element there is a coset with as representative. Such a representative is unique up to a lattice translation. Instead of , one could as well have as representative for any lattice translation . For a particular choice, the function 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 , modulo A. Such a system of nonprimitive translations satisfies the relations This follows immediately from the product of two representatives .
If the lattice translation subgroup A acts on a point different from the origin, one obtains the set . One can describe the elements of G as well as combinations of an orthogonal transformation with as centre and a translation. This can be seen from where now leaves the point invariant. The new system of nonprimitive translations is given by 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 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 , and two parameters a and b. The transformation from a basis of the conventional lattice [() and ()] to a basis of the primitive lattice [() and ()] is given by S, and the relations between the generators of the point groups are
The lattice translation group A is isomorphic to the group 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 are the basis vectors of the lattice , the lattice translation group generated by the translations forms an Abelian subgroup of A. The factor group 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 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 1.2.2.6 they can be characterized by n integers and read because a representation of the cyclic group is determined by its value on the basis translations: There are exactly nonequivalent irreducible representations.
If are basis vectors of the lattice , its dual basis consists of vectors defined by These vectors span the reciprocal lattice . The scalar product of an arbitrary lattice vector and a reciprocal-lattice vector is thenThe expression (1.2.3.9) then can be written more concisely if one introduces an n-dimensional vector : Then (1.2.3.9) simplifies toBecause , the vector 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 form a mesh inside the Brillouin zone, but this mesh becomes finer if N increases. In the limit of N going to , the wavevectors 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.
For representations of space groups, we use the same argumentation as for the lattice translation subgroup. Notice that the group generated by the vectors is an invariant Abelian subgroup of the space group G as well. The factor group is a finite group of order times the order of the point group K. Representations of this factor group are representations of G with the property that all elements of are mapped on the unit operator. We shall consider here only such space-group representations.
Suppose that is an irreducible representation of the space group G. Its restriction to the lattice translation subgroup is then reducible, unless it is one-dimensional. Each irreducible representation of A is characterized by a vector in the Brillouin zone. Therefore, Some of the vectors may be identical. Therefore, the matrix representation can be written as It can be shown that the dimensions of the unit matrices E are all the same (and equal to d). Then 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 .
Suppose that is an element of the space group G. Consider a basis vector v of the representation space that gets a factor under the translation . Then one has and because also belongs to the representation space there are vectors that transform with the vector as well as vectors that transform with . This means that for every vector occurring in a block in (1.2.3.5), there is also a block for each vector as R runs over the point group K. The vectors form the star of . Vectors that differ by a reciprocal-lattice vector ( with ) correspond to the same representation and are therefore considered to be the same. Generally, a vector may be left invariant by a subgroup of the point group K. This point group is the point group of .Then there are s point-group elements such that and each element corresponds to a vector in the star: Therefore, the blocks in (1.2.3.15) for an irreducible representation of the space group G correspond to the s branches of the star of . They are all of the same dimension d. If the vectors in (1.2.3.15) belonged to two or more different stars, the representation would be reducible.
To the point group of corresponds a subgroup of the space group G that has as point group. It is called the group of and is defined by Analogously to (1.2.3.17), one can write for elements of the space group G.
As one sees from (1.2.3.15), there is a subspace of vectors v that get a factor ) for any lattice translation . If one considers the action of with , it follows immediately that a vector from this space is transformed into a vector of the same space: the subspace corresponding to a vector is invariant under . Therefore this space carries a representation of . 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 of in . To that end, consider a basis in . The vectors form a basis of the whole representation space. Under a lattice-translation vector , the vector gets a factor . On this basis, one can determine the matrix representation . Take an element . It belongs to a certain coset in the decomposition of G. In addition, the element belongs to a well defined . This means that there is an element in the group such that Then one can writeThis means that the representation matrix can be decomposed into 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 where i and j are uniquely related by It can be shown that is irreducible if and only if 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 .
So the final step is to determine all nonequivalent irreducible representations of . Notice that the lattice translation subgroup is a subgroup of . Therefore, If one makes a choice for the system of nonprimitive translations , every element can be written uniquely as for a lattice translation . Therefore, one has if one defines It is important to notice that this definition of does not depend on the choice of the system of nonprimitive translations. If one takes (), the result for is the same. The product of two matrices and then becomes One sees that the matrices form a projective representation of the point group of . The factor system is given bySuch a factor system may, however, be equivalent to a trivial one.
If the space group is symmorphic, one may choose the system of nonprimitive translations to be zero. Consequently, in this case the factor system is unity and the matrices form an ordinary representation of the space group . This is also the case if is not on the Brillouin-zone boundary. If is inside the Brillouin zone and , one has only for . So inside the Brillouin zone one has for all . This implies that A nontrivial factor system can therefore only occur for a nonsymmorphic group and for a on the Brillouin-zone boundary. But even then, it is possible that one may redefine the matrices with an appropriate phase factor such that they form an ordinary representation. This is, for example, always the case if is cyclic, because cyclic groups do not have genuine projective representations. These are always associated with an ordinary representation.
If the factor system 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 . If these are words in the generators , the corresponding expressions in the representation are multiples of the unit operator. The values of fix the class of the factor system completely. By multiplying the operators by proper phase factors, the values of 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.
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 ) 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 and determines the nonequivalent irreducible representations of the point group , the ordinary representations if the group is symmorphic or is inside the Brillouin zone, or the projective representations with factor system [equation (1.2.3.26)] otherwise. These representations are labelled . There are several conventions for the choice of this label, but an irreducible representation of G is always characterized by a pair (, where fixes the star and the irreducible point-group representation.
The projective representations of the group of , i.e. of , can be obtained from the ordinary representations of a larger group. If the factor system is of order m, the order of this larger group is m times the order of . Then the irreducible representations of the space group are labelled by the vector in the Brillouin zone and an irreducible ordinary representation of , where follows from (1.2.3.26).
Two stars such that one branch of the first one has the same as one branch of the other determine representations that are quite similar. The only difference is the numerical value of the factors , 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 in the Brillouin zone. For example, the origin, conventionally denoted by , belongs to one stratum that corresponds to the ordinary representations of the point group K. For a simple cubic space group, the point [] is denoted by X. Its is the tetragonal group . All points [] with and form one stratum with point group . This stratum is denoted by 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 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 1.2.6.11.
As an example, we consider here the orthorhombic space group . The orthorhombic Brillouin zone has a fundamental domain with volume that is one-eighth of that of the Brillouin zone. The various choices of in this fundamental domain, together with the corresponding point groups , are given in Table 1.2.3.1. The vectors correspond to Wyckoff positions of the group .
|
In the tables, the vectors 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 . Its holohedral space group is . The strata of irreducible representations can be labelled by the symbols for Wyckoff positions of as well as those of . This is shown in Table 1.2.3.2.
|
The defining relations for the point group areFor the subgroups, the defining relations follow from these. The corresponding expressions in the representation matrices for the generators of the point groups give expressionsIn the example one hasThe values for characterize the projective representation factor system and are given in Table 1.2.3.3. They are unity for ordinary representations.
|
By putting factors i in front of the representation matrices in the appropriate places, some of the values of can be changed from to . 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 1.2.3.3. The one-dimensional irreducible representations are ordinary representations of the group . The two-dimensional ones are projective representations, but correspond to ordinary representations of the larger groups isomorphic to and .
In Section 1.2.2.9, it was mentioned that the transformation properties of spin- 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 where the SU(2) operator is given bywhen the rotation R has angle and axis . When R does not belong to SO(3) one has to take ).
For an ordinary space group, one can construct the double space group bywith multiplication rule An invariant subgroup of the double space group is the translation group A. The factor group is the double point group 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 in the Brillouin zone and a label for an irreducible, generally projective, representation of the (double) point group of , which is the double group of . Again, for nonsymmorphic space groups or wavevectors inside the Brillouin zone, the relevant irreducible representations of 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 . If one considers an irreducible representation for the double space group and takes for each one of the two corresponding elements in , the resulting set of linear operators forms a projective representation of the space group. It is also characterized by a vector in the Brillouin zone and a projective representation of the point group (not its double) . This projective representation does not have the same factor system as discussed in Section 1.2.3.3, 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 .
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 . The projective representation of the group then is given by where the projective representation has the factor system where is the spin factor system for and is the nonprimitive translation of the space-group element with orthogonal part S. The factor system can be characterized by the defining relations of . If these are the words then the factor system is characterized by the factors in The factors are the product of the values found from the spin factor system and those corresponding to the factor system for an ordinary representation [equation (1.2.3.26)].