International
Tables for Crystallography Volume A Space-group symmetry Edited by M. I. Aroyo © International Union of Crystallography 2016 |
International Tables for Crystallography (2016). Vol. A. ch. 1.3, pp. 37-39
Section 1.3.4.4.1. Arithmetic crystal classes^{a}Radboud University Nijmegen, Faculty of Science, Mathematics and Computing Science, Institute for Mathematics, Astrophysics and Particle Physics, Postbus 9010, 6500 GL Nijmegen, The Netherlands |
We have already seen that every space group can be assigned to a symmorphic space group in a natural way by setting the translation parts of coset representatives with respect to the translation subgroup to . The groups assigned to a symmorphic space group in this way all have the same translation lattice and the same point group but the different possibilities for the interplay between these two parts are ignored.
If we want to collect together all space groups that correspond to symmorphic space groups of the same type, we arrive at the classification into arithmetic crystal classes. This can also be seen as a classification of the symmorphic space-group types. The distribution of the space groups into arithmetic classes, represented by the corresponding symmorphic space-group types, is given in Table 2.1.3.3 .
The crucial observation for characterizing this classification is that space groups that correspond to the same symmorphic space group all have translation lattices of the same Bravais type. This means that the freedom in the choice of a basis transformation of the underlying vector space is restricted, because a primitive basis has to be mapped again to a primitive basis. Assuming that the point groups are written with respect to primitive bases, this means that the basis transformation is an integral matrix with determinant .
Definition
Two space groups and with point groups and , respectively, both written with respect to primitive bases of their translation lattices, are said to lie in the same arithmetic crystal class if can be obtained from by an integral basis transformation of determinant , i.e. if there is an integral 3 × 3 matrix with such that
Also, two integral matrix groups and are said to belong to the same arithmetic crystal class if they are conjugate by an integral 3 × 3 matrix with .
Example
Letbe reflections in the planes x = 0, y = 0 and x = y, respectively, and let , and be the integral matrix groups generated by these reflections. Then and belong to the same arithmetic crystal class because they are transformed into each other by the basis transformationinterchanging the x and y axes. But belongs to a different arithmetic crystal class, because is not conjugate to by an integral matrix of determinant . The two groups and belong, however, to the same geometric crystal class, because and are transformed into each other by the basis transformationwhich has determinant . This basis transformation shows that and can be interpreted as the action of the same reflection on a primitive lattice and on a C-centred lattice.
As explained above, the number of arithmetic crystal classes is equal to the number of symmorphic space-group types: in dimension 2 there are 13 such classes, in dimension 3 there are 73 arithmetic crystal classes. The Hermann–Mauguin symbol of the symmorphic space-group type to which a space group belongs is obtained from the symbol for the space-group type of by replacing any screw-rotation axis symbol N_{m} by the corresponding rotation axis symbol N and every glide-plane symbol a, b, c, d, e, n by the symbol m for a mirror plane.
It is clear that the classification into arithmetic crystal classes refines both the classifications into geometric crystal classes and into Bravais classes, since in the first case only the point groups and in the second case only the translation lattices are taken into account, whereas for the arithmetic crystal classes the combination of point groups and translation lattices is considered. Note, however, that for the determination of the arithmetic crystal class of a space group it is not sufficient to look only at the type of the point group and the Bravais type of the translation lattice. It is crucial to consider the action of the point group on the translation lattice.
Example
Let and be space groups of types P3m1 (156) and P31m (157), respectively. Since and are symmorphic space groups of different types, they must belong to different arithmetic classes. The point groups and of and both belong to the same geometric crystal class with symbol 3m and the translation lattices of both space groups are primitive hexagonal lattices, and thus of the same Bravais type. It is the different action on the translation lattice which causes and to lie in different arithmetic classes:
In the conventional setting, the point group of contains the threefold rotationand the reflectionswhereas the point group of contains the same rotation and the reflectionsSince the threefold rotation is represented by the same matrix in both groups, the lattice basis for both groups can be taken as the conventional basis of a hexagonal lattice, with a and b of the same length and enclosing an angle of 120° and c perpendicular to the plane spanned by a and b. One now sees that in the reflection planes of , and contain the vectors , a and b, respectively, whereas in these vectors are just perpendicular to the reflection planes. In the so-called hexagonally centred lattice with primitive basis , , , the vectors and are perpendicular to the vectors a and b. The group can thus be regarded as the action of on the hexagonally centred lattice, showing that and are actions of the same group on different lattices which therefore belong to different arithmetic crystal classes.
As we have seen, the assignment of a space group to its arithmetic crystal class is equivalent to the assignment to its corresponding symmorphic space group, which in turn can be seen as an assignment to the combination of a point group and a lattice on which this point group acts. This correspondence between arithmetic crystal classes and point group/lattice combinations is reflected in the symbol for an arithmetic crystal class suggested in de Wolff et al. (1985), which is the symbol of the symmorphic space group with the letter for the lattice moved to the end, e.g. 4mmP for the arithmetic crystal class containing the symmorphic space groups of type P4mm (99) and the non-symmorphic groups derived from this symmorphic group, i.e. the groups of space-group type P4bm, P4_{2}cm, P4_{2}nm, P4cc, P4nc, P4_{2}mc and P4_{2}bc (100–106).
Recall that the members of one arithmetic crystal class are space groups with the same translation lattice and the same point group, possibly written with respect to different primitive bases. If the point group happens to be the Bravais group of the translation lattice, this is independent of the chosen primitive basis and thus being a Bravais group is clearly a property of the full arithmetic crystal class.
Definition
The arithmetic crystal class of a space group is called a Bravais arithmetic crystal class if the point group of is the Bravais group of the translation lattice of .
The arithmetic crystal class of an integral matrix group is a Bravais arithmetic crystal class if is maximal among the integral matrix groups with the same space of metric tensors , i.e. if for any integral matrix group properly containing as a subgroup, the space of metric tensors is strictly smaller than that of . This amounts to saying that must act on a lattice with specialized metric.
Note that in the previous edition of IT A the shorter term Bravais class was used as a synonym for Bravais arithmetic crystal class. However, in this edition the term Bravais class is reserved for the classification of space-group types according to their lattices (see Section 1.3.4.3).
Since the lattice types are characterized by their Bravais groups, the Bravais arithmetic crystal classes are in one-to-one correspondence with the Bravais types of lattices. The 14 Bravais arithmetic crystal classes (given by the symbol for the arithmetic class, with the number of the associated symmorphic space-group type in brackets) and the corresponding lattice types are: P (2), triclinic; 2/mP (10), primitive monoclinic; 2/mC (12), centred monoclinic; mmmP (47), primitive orthorhombic; mmmC (65), single-face-centred orthorhombic; mmmF (69), all-face-centred orthorhombic; mmmI (71), body-centred orthorhombic; 4/mmmP (123), primitive tetragonal; 4/mmmI (139), body-centred tetragonal; (166), rhombohedral; 6/mmmP (191), hexagonal; (221), primitive cubic; (225), face-centred cubic; and (229), body-centred cubic.
In the classification of space groups according to their translation lattices, the point groups play only a secondary role (as groups acting on the lattices). From the perspective of arithmetic crystal classes, this classification can now be reformulated in terms of integral matrix groups. The crucial point is that every arithmetic crystal class can be assigned to a Bravais arithmetic crystal class in a natural way: If is a point group, there is a unique Bravais arithmetic crystal class containing a Bravais group of minimal order with . Conversely, a Bravais group acting on a lattice is grouped together with its subgroups that do not act on a more general lattice, i.e. on a lattice with more free parameters than . This observation gives rise to the concept of Bravais flocks, which is mainly applied to matrix groups.
Definition
Two integral matrix groups and belong to the same Bravais flock if they are both conjugate by an integral basis transformation to subgroups of a common Bravais group, i.e. if there exists a Bravais group and integral 3 × 3 matrices and such that for all and for all . Moreover, , and must all have spaces of metric tensors of the same dimension.
Each Bravais flock consists of the union of the arithmetic crystal class of a Bravais group and the arithmetic crystal classes of the subgroups of that do not act on a more general lattice than .
The classification of space groups into Bravais flocks is the same as that according to the Bravais types of lattices and as that into Bravais classes. If the point groups and of two space groups and belong to the same Bravais flock, then the space groups are also said to belong to the same Bravais flock, but this is the case if and only if and belong to the same Bravais class.
Example
For the body-centred tetragonal lattice the Bravais arithmetic crystal class is the arithmetic crystal class 4/mmmI and the corresponding symmorphic space-group type is I4/mmm (139). The other arithmetic crystal classes in this Bravais flock are (with the number of the corresponding symmorphic space group in brackets): 4I (79), (82), 4/mI (87), 422I (97), 4mmI (107), (119) and (121).
References
Wolff, P. M. de, Belov, N. V., Bertaut, E. F., Buerger, M. J., Donnay, J. D. H., Fischer, W., Hahn, Th., Koptsik, V. A., Mackay, A. L., Wondratschek, H., Wilson, A. J. C. & Abrahams, S. C. (1985). Nomenclature for crystal families, Bravais-lattice types and arithmetic classes. Report of the International Union of Crystallography Ad-Hoc Committee on the Nomenclature of Symmetry. Acta Cryst. A41, 278–280.Google Scholar