International
Tables for Crystallography Volume B Reciprocal space Edited by U. Shmueli © International Union of Crystallography 2006 
International Tables for Crystallography (2006). Vol. B, ch. 1.5, pp. 165168
Section 1.5.4. Conventions in the classification of spacegroup irreps^{a}Faculty of Physics, University of Sofia, bulv. J. Boucher 5, 1164 Sofia, Bulgaria , and ^{b}Institut für Kristallographie, Universität, D76128 Karlsruhe, Germany 
Because of the isomorphism between the reciprocalspace groups and the symmorphic space groups one can introduce crystallographic conventions in the classification of spacegroup irreps. These conventions will be compared with those which have mainly been used up to now. Illustrative examples to the following more theoretical considerations are discussed in Section 1.5.5.1.
Different types of regions of reciprocal space may be chosen as fundamental regions, see Section 1.5.3.4. The most frequently used type is the first Brillouin zone, which is the Wigner–Seitz cell (or Voronoi region, Dirichlet domain, domain of influence; cf. IT A, Chapter 9.1 ) of the reciprocal lattice. It has the property that with each k vector also its star belongs to the Brillouin zone. Such a choice has three advantages:
Of these advantages only the third may be essential. For the classification of irreps the minimal domains, see Section 1.5.4.2, are much more important than the fundamental regions. The minimal domain does not display the pointgroup symmetry anyway and the distinguished k vectors always belong to its boundary however the minimal domain may be chosen.
The serious disadvantage of the Brillouin zone is its often complicated shape which, moreover, depends on the lattice parameters of . The body that represents the Brillouin zone belongs to one of the five Fedorov polyhedra (more or less distorted versions of the cubic forms cube, rhombdodecahedron or cuboctahedron, of the hexagonal prism, or of the tetragonal elongated rhombdodecahedron). A more detailed description is that by the 24 symmetrische Sorten (Delaunay sorts) of Delaunay (1933), Figs. 11 and 12. According to this classification, the Brillouin zone may display three types of polyhedra of cubic, one type of hexagonal, two of rhombohedral, three of tetragonal, six of orthorhombic, six of monoclinic, and three types of triclinic symmetry.
For low symmetries the shape of the Brillouin zone is so variable that BC, p. 90 ff. chose a primitive unit cell of for the fundamental regions of triclinic and monoclinic crystals. This cell also reflects the point symmetry of , it has six faces only, and although its shape varies with the lattice constants all cells are affinely equivalent. For space groups of higher symmetry, BC and most other authors prefer the Brillouin zone.
Considering as a lattice, one can refer it to its conventional crystallographic lattice basis. Referred to this basis, the unit cell of is always an alternative to the Brillouin zone. With the exception of the hexagonal lattice, the unit cell of reflects the point symmetry, it has only six faces and its shape is always affinely equivalent for varying lattice constants. For a space group with a primitive lattice, the abovedefined conventional unit cell of is also primitive. If has a centred lattice, then also belongs to a type of centred lattice and the conventional cell of [not to be confused with the cell spanned by the basis dual to the basis ] is larger than necessary. However, this is not disturbing because in this context the fundamental region is an auxiliary construction only for the definition of the minimal domain; see Section 1.5.4.2.
One can show that all irreps of can be built up from the irreps of . Moreover, to find all irreps of it is only necessary to consider one k vector from each orbit of k, cf. CDML, p. 31.
Definition. A simply connected part of the fundamental region which contains exactly one k vector of each orbit of k is called a minimal domain Φ.
The choice of the minimal domain is by no means unique. One of the difficulties in comparing the published data on irreps of space groups is due to the different representation domains found in the literature.
The number of k vectors of each general k orbit in a fundamental region is always equal to the order of the point group of ; see Section 1.5.3.4. Therefore, the volume of the minimal domain Φ in reciprocal space is of the volume of the fundamental region. Now we can restrict the search for all irreps of to the k vectors within a minimal domain Φ.
In general, in representation theory of space groups the Brillouin zone is taken as the fundamental region and Φ is called a representation domain.^{4} Again, the volume of a representation domain in reciprocal space is of the volume of the Brillouin zone. In addition, as the Brillouin zone contains for each k vector all k vectors of the star of k, by application of all symmetry operations to Φ one obtains the Brillouin zone; cf. BC, p. 147. As the Brillouin zone may change its geometrical type depending on the lattice constants, the type of the representation domain may also vary with varying lattice constants; see examples (3) and (4) in Section 1.5.5.1.
The simplest crystal structures are the latticelike structures that are built up of translationally equivalent points (centres of particles) only. For such a structure the point group of the space group is equal to the point group of its lattice L. Such point groups are called holohedral, the space group is called holosymmetric. There are seven holohedral point groups of three dimensions: and . For the nonholosymmetric space groups holds.
In books on representation theory of space groups, holosymmetric space groups play a distinguished role. Their representation domains are called basic domains Ω. For holosymmetric space groups holds. If is nonholosymmetric, i.e. holds, Ω is defined by and is smaller than the representation domain Φ by a factor which is equal to the index of in . In the literature these basic domains are considered to be of primary importance. In Miller & Love (1967) only the irreps for the k vectors of the basic domains Ω are listed. Section 5.5 of BC and Davies & Cracknell (1976) state that such a listing is not sufficient for the nonholosymmetric space groups because . Section 5.5 of BC shows how to overcome this deficiency; Chapter 4 of CDML introduces new types of k vectors for the parts of Φ not belonging to Ω.
The crystallographic analogue of the representation domain in direct space is the asymmetric unit, cf. IT A. According to its definition it is a simply connected smallest part of space from which by application of all symmetry operations of the space group the whole space is exactly filled. For each spacegroup type the asymmetric units of IT A belong to the same topological type independent of the lattice constants. They are chosen as `simple' bodies by inspection rather than by applying clearly stated rules. Among the asymmetric units of the 73 symmorphic spacegroup types there are 31 parallelepipeds, 27 prisms (13 trigonal, 6 tetragonal and 8 pentagonal) for the noncubic, and 15 pyramids (11 trigonal and 4 tetragonal) for the cubic .
The asymmetric units of IT A – transferred to the groups of reciprocal space – are alternatives for the representation domains of the literature. They are formulated as closed bodies. Therefore, for inner points k, the asymmetric units of IT A fulfil the condition that each star of k is represented exactly once. For the surface, however, these conditions either have to be worked out or one gives up the condition of uniqueness and replaces exactly by at least in the definition of the minimal domain (see preceding footnote^{4}). The examples of Section 1.5.5.1 show that the conditions for the boundary of the asymmetric unit and its special points, lines and planes are in many cases much easier to formulate than those for the representation domain.
The kvector coefficients. For each k vector one can derive a set of irreps of the space group . Different k vectors of a k orbit give rise to equivalent irreps. Thus, for the calculation of the irreps of the space groups it is essential to identify the orbits of k vectors in reciprocal space. This means finding the sets of all k vectors that are related by the operations of the reciprocalspace group according to equation (1.5.3.13). The classification of these k orbits can be done in analogy to that of the point orbits of the symmorphic space groups, as is apparent from the comparison of equations (1.5.3.14) and (1.5.3.15).
The classes of point orbits in direct space under a space group are well known and are listed in the spacegroup tables of IT A. They are labelled by Wyckoff letters. The stabilizer of a point X is called the sitesymmetry group of X, and a Wyckoff position consists of all orbits for which the sitesymmetry groups are conjugate subgroups of . Let be a symmorphic space group . Owing to the isomorphism between the reciprocalspace groups and the symmorphic space groups , the complete list of the types of special k vectors of is provided by the Wyckoff positions of . The groups and correspond to each other and the multiplicity of the Wyckoff position (divided by the number of centring vectors per unit cell for centred lattices) equals the number of arms of the star of k. Let the vectors t of L be referred to the conventional basis of the spacegroup tables of IT A, as defined in Chapters 2.1 and 9.1 of IT A. Then, for the construction of the irreducible representations of the coefficients of the k vectors must be referred to the basis of reciprocal space dual to in direct space. These kvector coefficients may be different from the conventional coordinates of listed in the Wyckoff positions of IT A.
Example
Let be a space group with an Icentred cubic lattice L, conventional basis . Then is an Fcentred lattice. If referred to the conventional basis with , the k vectors with coefficients 1 0 0, 0 1 0 and 0 0 1 do not belong to due to the `extinction laws' well known in Xray crystallography. However, in the standard basis of , isomorphic to , the vectors 1 0 0, 0 1 0 and 0 0 1 point to the vertices of the facecentred cube and thus correspond to 2 0 0, 0 2 0 and 0 0 2 referred to the conventional basis .
In the following, three bases and, therefore, three kinds of coefficients of k will be distinguished:
The relations between conventional and adjusted coefficients are listed for the different Bravais types of reciprocal lattices in Table 1.5.4.1, and those between adjusted and primitive coordinates in Table 1.5.4.2. If adjusted coefficients are used, then IT A is as suitable for dealing with irreps as it is for handling spacegroup symmetry.


In order to avoid confusion, in the following the analogues to the Wyckoff positions of will be called Wintgen positions of ; the coordinates of the Wyckoff position are replaced by the kvector coefficients of the Wintgen position, the Wyckoff letter will be called the Wintgen letter, and the symbols for the site symmetries of are to be read as the symbols for the little cogroups of the k vectors in . The multiplicity of a Wyckoff position is retained in the Wintgen symbol in order to facilitate the use of IT A for the description of symmetry in k space. However, it is equal to the multiplicity of the star of k only in the case of primitive lattices .
In analogy to a Wyckoff position, a Wintgen position is a set of orbits of k vectors. Each orbit as well as each star of k can be represented by any one of its k vectors. The zero, one, two or three parameters in the kvector coefficients define points, lines, planes or the full parameter space. The different stars of a Wintgen position are obtained by changing the parameters.
Remark. Because reciprocal space is a vector space, there is no origin choice and the Wintgen letters are unique (in contrast to the Wyckoff letters, which may depend on the origin choice). Therefore, the introduction of Wintgen sets in analogy to the Wyckoff sets of IT A, Section 8.3.2 is not necessary.
It may be advantageous to describe the different stars belonging to a Wintgen position in a uniform way. For this purpose one can define:
Definition. Two k vectors of a Wintgen position are uniarm if one can be obtained from the other by parameter variation. The description of the stars of a Wintgen position is uniarm if the k vectors representing these stars are uniarm.
For nonholosymmetric space groups the representation domain Φ is a multiple of the basic domain Ω. CDML introduced new letters for stars of k vectors in those parts of Φ which do not belong to Ω. If one can make a new k vector uniarm to some k vector of the basic domain Ω by an appropriate choice of Φ and Ω, one can extend the parameter range of this k vector of Ω to Φ instead of introducing new letters. It turns out that indeed most of these new letters are unnecessary. This restricts the introduction of new types of k vectors to the few cases where it is indispensible. Extension of the parameter range for k means that the corresponding representations can also be obtained by parameter variation. Such representations can be considered to belong to the same type. In this way a large number of superfluous kvector names, which pretend a greater variety of types of irreps than really exists, can be avoided (Boyle, 1986). For examples see Section 1.5.5.1.
References
Boyle, L. L. (1986). The classification of space group representations. In Proceedings of the 14th international colloquium on grouptheoretical methods in physics, pp. 405–408. Singapore: World Scientific.Davies, B. L. & Cracknell, A. P. (1976). Some comments on and addenda to the tables of irreducible representations of the classical space groups published by S. C. Miller and W. F. Love. Acta Cryst. A32, 901–903.
Delaunay, B. (1933). Neue Darstellung der geometrischen Kristallographie. Z. Kristallogr. 84, 109–149; 85, 332. (In German.)
Miller, S. C. & Love, W. F. (1967). Tables of irreducible representations of space groups and corepresentations of magnetic space groups. Boulder: Pruett Press.