Isotropy subgroup¶
Consider space group \(\mathcal{G}\) and its representation
A subgroup \(\mathcal{H} (\leq \mathcal{G})\) is called isotropy subgroup belonging \(\Gamma\) if the subduced representation \(\Gamma \downarrow \mathcal{H}\) has an identity representation 1 [HS98, SH89, SHW91].
When we consider a linear combination of basis functions as \(\mathbf{\eta} = \sum_{i} \eta_{i} \phi_{i}\), we call \(\mathbf{\eta} = \{ \eta_{i} \}_{i}\) as order parameters. Two order parameters \(\mathbf{\eta}\) and \(\mathbf{\eta}'\) are equivalent if some operation \(g \in \mathcal{G}\) exists such that
Algorithm to generate isotropy subgroups of space group [SC17]¶
For a small representation \(\Gamma^{\mathbf{k}\alpha}\) of space group \(\mathcal{G}\), its maximal isotropy subgroups \(\mathcal{S}\) are enumerated as follows.
Determine sublattice \(\mathcal{L}_{\mathcal{S}}\) and translational subgroup \(\mathcal{T}(\mathcal{S})\)¶
The requirements that \(\mathcal{S}\) is an isotropy subgroup of \(\mathcal{G}\) is
In particular, if translation \((\mathbf{E}, \mathbf{t})\) belongs to \(\mathcal{S}\), \(e^{-i\mathbf{k}\cdot\mathbf{t}} = 1\). Thus, a translational subgroup of \(\mathcal{S}\) should be
For later use, let \(\mathcal{L}_{\mathcal{S}}\) be a sublattice \(\mathcal{L}_{\mathcal{S}}\) formed by translation parts in \(\mathcal{T}(\mathcal{S})\). Note that, although subgroups of \(\mathcal{T}(\mathcal{S})\) also satisfy the requirements, there is no need to consider such subgroups because these subgroups show at lower-symmetry \(\mathbf{k}\) vector.
There are two basis vectors for \(\mathcal{T}(\mathcal{S})\) that are orthogonal to \(\mathbf{k}\). Let \(l\) be LCM of denominators of \(\frac{1}{2\pi}\mathbf{k}\). Then, we write the elements of \(\mathbf{k}\) as
where \(\mathrm{GCD}(a_{1}, a_{2}, a_{3}) = 1\), \(\mathrm{GCD}(g, l) = 1\) and \(1 \leq g < l\).
By solving \((a_{1} \,a_{2} \,a_{3}) \mathbf{t} = l\), we obtain one special solution \((a_{1} \,a_{2} \,a_{3}) \mathbf{t}_{0} = l\) and two general solutions \((a_{1} \,a_{2} \,a_{3}) \mathbf{t}_{i} = 0 \, (i=1,2)\). Then, \(\{ n\mathbf{t}_{0}, \mathbf{t}_{1}, \mathbf{t}_{2} \}\) spans a lattice
for \(n \in \mathbb{Z}\). Thus, \(\{ \mathbf{t}_{0}, \mathbf{t}_{1}, \mathbf{t}_{2} \}\) is basis of \(\mathcal{L}_{S}\). By stacking these basis vectors, we can find a transformation matrix \(\mathbf{M}\),
Enumerate point group \(\mathcal{P}(\mathcal{S})\)¶
Next, we find a subgroup of \(\mathcal{P}(\mathcal{G})\) which preserve the sublattice \(\mathcal{L}_{\mathcal{S}}\),
Point group of isotropy subgroup \(\mathcal{S}\) should be a subgroup of \(\mathcal{B}(\mathcal{S})\).
Enumerate isotropy subgroup \(\mathcal{S}\)¶
For given point group \(\mathcal{P}(\mathcal{S})\) and translational subgroup \(\mathcal{T}(\mathcal{S})\), consider the following set
Here \(\mathbf{c}_{i} \in \mathcal{T}(\mathcal{G})\) can be freely chosen.
The condition that \(\mathcal{S}\) is a subgroup of \(\mathcal{G}\) is as follows:
Determine order-parameter direction¶
Non-zero order-parameter directions correspond to eigenvectors with eigenvalue 1 of the projection operator,
References¶
- HS98
C. J. Howard and H. T. Stokes. Group-Theoretical Analysis of Octahedral Tilting in Perovskites. Acta Crystallographica Section B, 54(6):782–789, Dec 1998. URL: https://doi.org/10.1107/S0108768198004200, doi:10.1107/S0108768198004200.
- SH89
H T Stokes and D M Hatch. Isotropy Subgroups of the 230 Crystallographic Space Groups. WORLD SCIENTIFIC, edition, 1989. URL: https://www.worldscientific.com/doi/abs/10.1142/0751, doi:10.1142/0751.
- SC17
Harold T. Stokes and Branton J. Campbell. A general algorithm for generating isotropy subgroups in superspace. Acta Crystallographica Section A, 73(1):4–13, Jan 2017. URL: https://doi.org/10.1107/S2053273316017629, doi:10.1107/S2053273316017629.
- SHW91
Harold T. Stokes, Dorian M. Hatch, and James D. Wells. Group-theoretical methods for obtaining distortions in crystals: applications to vibrational modes and phase transitions. Phys. Rev. B, 43:11010–11018, May 1991. URL: https://link.aps.org/doi/10.1103/PhysRevB.43.11010, doi:10.1103/PhysRevB.43.11010.
- 1
Consider group \(G\) acting on space \(X\). In general, isotropy subgroup is defined as stabilizer of point \(x\) in \(X\) as
\[ G_{x} = \left\{ g \in G \mid g x = x \right\}.\]