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. 34-37
Section 1.3.4.3. Bravais types of lattices and Bravais 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 |
In the classification of space groups into geometric crystal classes, only the point-group part is considered and the translation lattice is ignored. It is natural that the converse point of view is also adopted, where space groups are grouped together according to their translation lattices, irrespective of what the point groups are.
We have already seen that a lattice can be characterized by its metric tensor, containing the scalar products of a primitive basis. If a point group acts on a lattice , it fixes the metric tensor of , i.e. for all in and is thus a subgroup of the Bravais group of . Also, a matrix group is called a Bravais group if it is the Bravais group for some lattice . The Bravais groups govern the classification of lattices.
Definition
Two lattices and belong to the same Bravais type of lattices if their Bravais groups and are the same matrix group when written with respect to suitable primitive bases of and .
Note that in order to have the same Bravais group, the metric tensors of the two lattices and do not have to be the same or scalings of each other.
Example
The mineral rutile (TiO_{2}) has a space group of type (136) with a primitive tetragonal cell with cell parameters a = b = 4.594 Å and c = 2.959 Å. The metric tensor of the translation lattice L is thereforeand the Bravais group of the lattice is generated by the fourfold rotationaround the z axis, the reflectionin the plane x = 0 and the reflectionin the plane z = 0.
The silicate mineral cristobalite also has (at low temperatures) a primitive tetragonal cell with a = b = 4.971 Å and c = 6.928 Å, and the space-group type is (92). In this case the metric tensor of the translation lattice isand one checks that the Bravais group of is precisely the same as that of L. Therefore, the translation lattices L for rutile and for cristobalite belong to the same Bravais type of lattices.
The different Bravais types of lattices, their cell parameters and metric tensors are displayed in Tables 3.1.2.1 (dimension 2) and 3.1.2.2 (dimension 3): in dimension 2 there are 5 Bravais types and in dimension 3 there are 14 Bravais types of lattices.
It is crucial for the classification of lattices via their Bravais groups that one works with primitive bases, because a primitive and a body-centred cubic lattice have the same automorphisms when written with respect to the conventional cubic basis, but are clearly different types of lattices.
Example
The silicate mineral zircon (ZrSiO_{4}) has a body-centred tetragonal cell with cell parameters a = b = 6.607 Å and c = 5.982 Å. The body-centred translation lattice is spanned by the primitive tetragonal lattice with basis with and the centring vector . A primitive basis of is obtained as withi.e. , , and the metric tensor of with respect to the primitive basis is The Bravais group of the primitive tetragonal lattice is generated (as in the previous example) byand these matrices also generate the Bravais group of the body-centred tetragonal lattice , but written with respect to the primitive basis these matrices are transformed to
That the primitive and the body-centred tetragonal lattices have different types ultimately follows from the fact that the body-centred lattice does not have a primitive basis consisting of vectors which are pairwise perpendicular and such that and have the same length. This would be required to have the matrices , and in the Bravais group of .
As we have seen, the metric tensors of lattices belonging to the same Bravais type need not be the same, but if they are written with respect to suitable bases they are found to have the same structure, differing only in the specific values for certain free parameters.
Definition
Let be a lattice with metric tensor with respect to a primitive basis and let = = be the Bravais group of . Then is called the space of metric tensors of . The dimension of is called the number of free parameters of the lattice .
Analogously, for an arbitrary integral matrix group , is called the space of metric tensors of . If = for a subgroup of , the spaces of metric tensors are the same for both groups and one says that does not act on a more general lattice than does.
It is clear that contains in particular the metric tensor of the lattice of which is the Bravais group. Moreover, is a subgroup of the Bravais group of every lattice with metric tensor in .
Example
Let be a lattice with metric tensorthen is a tetragonal lattice with Bravais group of type 4/mmm generated by the fourfold rotationand the reflectionsThe space of metric tensors of is and the number of free parameters of is 2.
For every lattice with metric tensor in such that , one can check that the Bravais group of is equal to , hence these lattices belong to the same Bravais type of lattices as . On the other hand, if it happens that in the metric tensor of a lattice , then the Bravais group of is the full cubic point group of type and is a proper subgroup of the Bravais group of . In this case the lattice is of a different Bravais type to , namely cubic.
The subgroup of generated only by the fourfold rotation has the same space of metric tensors as , thus this subgroup acts on the same types of lattices as (i.e. tetragonal lattices). On the other hand, for the subgroup of generated by the reflections and , the space of metric tensors is and is thus of dimension 3. This shows that the subgroup acts on more general lattices than , namely on orthorhombic lattices.
Remark: The metric tensor of a lattice basis is a positive definite^{2} matrix. It is clear that not all matrices in are positive definite [if is positive definite, then is certainly not positive definite], but the different geometries of lattices on which acts are represented precisely by the positive definite metric tensors in .
The space of metric tensors obtained from a lattice can be interpreted as an expression of the metric tensor with general entries, i.e. as a generic metric tensor describing the different lattices within the same Bravais type. Special choices for the entries may lead to lattices with accidental higher symmetry, which is in fact a common phenomenon in phase transitions caused by changes of temperature or pressure.
One says that the translation lattice of a space group with point group has a specialized metric if the dimension of the space of metric tensors of is smaller than the dimension of the space of metric tensors of . Viewed from a slightly different angle, a specialized metric occurs if the location of the atoms within the unit cell reduces the symmetry of the translation lattice to that of a different lattice type.
Example
A space group of type P2/m (10) with cell parameters a = 4.4, b = 5.5, c = 6.6 Å, has a specialized metric, because the point group of type 2/m is generated byand , and hasas its space of metric tensors, which is of dimension 4. The lattice with the given cell parameters, however, is orthorhombic, since the free parameter is specialized to . The automorphism group is of type mmm and has a space of metric tensors of dimension 3, namely
The higher symmetry of the translation lattice would, for example, be destroyed by an atomic configuration compatible with the lattice and represented by only two atoms in the unit cell located at 0.17, 1/2, 0.42 and 0.83, 1/2, 0.58. The two atoms are related by a twofold rotation around the b axis, which indicates the invariance of the configuration under twofold rotations with axes parallel to b, but in contrast to the lattice L, the atomic configuration is not compatible with rotations around the a or the c axes.
By looking at the spaces of metric tensors, space groups can be classified according to the Bravais types of their translation lattices, without suffering from complications due to specialized metrics.
Definition
Let be a lattice with metric tensor and Bravais group and let be the space of metric tensors associated to . Then those space groups form the Bravais class corresponding to the Bravais type of for which when the point group of is written with respect to a suitable primitive basis of the translation lattice of . The names for the Bravais classes are the same as those for the corresponding Bravais types of lattices.
The Bravais groups of lattices provide a link between lattices and point groups, the two building blocks of space groups. However, although the Bravais group of a lattice is simply a matrix group, the fact that it is expressed with respect to a primitive basis and fixes the metric tensor of the lattice preserves the necessary information about the lattice. When the Bravais group is regarded as a point group, the information about the lattice is lost, since point groups can be written with respect to an arbitrary basis. In order to distinguish Bravais groups of lattices at the level of point groups and geometric crystal classes, the concept of a holohedry is introduced.
Definition
The geometric crystal class of a point group is called a holohedry (or lattice point group, cf. Chapters 3.1 and 3.3 ) if is the Bravais group of some lattice .
Example
Let be the point group of type generated by the threefold rotoinversionaround the z axis and the twofold rotationexpressed with respect to the conventional basis of a hexagonal lattice. The group is not the Bravais group of the lattice spanned by because this lattice also allows a sixfold rotation around the z axis, which is not contained in . But also acts on the rhombohedrally centred lattice with primitive basis , , . With respect to the basis the rotoinversion and twofold rotation are transformed toand these matrices indeed generate the Bravais group of . The geometric crystal class with symbol is therefore a holohedry.
Note that in dimension 3 the above is actually the only example of a geometric crystal class in which the point groups are Bravais groups for some but not for all the lattices on which they act. In all other cases, each matrix group corresponding to a holohedry is actually the Bravais group of the lattice spanned by the basis with respect to which is written.