On the subgroup structure of the hyperoctahedral group in six dimensions

Zappa, E.; Dykeman, E.C.; Twarock, R.

doi:10.1107/S2053273314007712

research papers

FOUNDATIONS
ADVANCES

ISSN: 2053-2733

Volume 70| Part 5| September 2014| Pages 417-428

https://doi.org/10.1107/S2053273314007712

Open

access

On the subgroup structure of the hyperoctahedral group in six dimensions

Emilio Zappa,^a,^c ^* Eric C. Dykeman ^a,^b,^c and Reidun Twarock ^a,^b,^c

^aDepartment of Mathematics, University of York, York, UK, ^bDepartment of Biology, University of York, York, UK, and ^cYork Centre for Complex Systems Analysis, University of York, York, UK
^*Correspondence e-mail: ez537@york.ac.uk

(Received 17 January 2014; accepted 7 April 2014; online 10 July 2014)

The subgroup structure of the hyperoctahedral group in six dimensions is investigated. In particular, the subgroups isomorphic to the icosahedral group are studied. The orthogonal crystallographic representations of the icosahedral group are classified and their intersections and subgroups analysed, using results from graph theory and their spectra.

Keywords: symmetry; crystallographic representation; icosahedral group; hyperoctahedral group; spectral graph theory.

1. Introduction

The discovery of quasicrystals in 1984 by Shechtman et al. has spurred the mathematical and physical community to develop mathematical tools in order to study structures with noncrystallographic symmetry.

Quasicrystals are alloys with five-, eight-, ten- and 12-fold symmetry in their atomic positions (Steurer, 2004 ), and therefore they cannot be organized as (periodic) lattices. In crystallographic terms, their symmetry group G is noncrystallographic. However, the noncrystallographic symmetry leaves a lattice invariant in higher dimensions, providing an integral representation of G. If such a representation is reducible and contains a two- or three-dimensional invariant subspace, then it is referred to as a crystallographic representation, following terminology given by Levitov & Rhyner (1988 ). This is the starting point to construct quasicrystals via the cut-and-project method described by, among others, Senechal (1995 ), or as a model set (Moody, 2000 ).

In this paper we are interested in icosahedral symmetry. The icosahedral group $[{\cal I}]$ consists of all the rotations that leave a regular icosahedron invariant, it has size 60 and it is the largest of the finite subgroups of SO(3). $[{\cal I}]$ contains elements of order five, therefore it is noncrystallographic in three dimensions; the (minimal) crystallographic representation of it is six-dimensional (Levitov & Rhyner, 1988). The full icosahedral group, denoted by $[{\cal I}_h]$ , also contains the reflections and is equal to $[{\cal I} \times C_2]$ , where C₂ denotes the cyclic group of order two. $[{\cal I}_h]$ is isomorphic to the Coxeter group H₃ (Humphreys, 1990 ) and is made up of 120 elements. In this work, we focus on the icosahedral group I because it plays a central role in applications in virology (Indelicato et al., 2011 ). However, our considerations apply equally to the larger group $[{\cal I}_h]$ .

Levitov & Rhyner (1988) classified the Bravais lattices in $[{\bb R}^6]$ that are left invariant by $[{\cal I}]$ : there are, up to equivalence, exactly three lattices, usually referred to as icosahedral Bravais lattices, namely the simple cubic (SC), body-centred cubic (BCC) and face-centred cubic (FCC). The point group of these lattices is the six-dimensional hyperoctahedral group, denoted by B₆, which is a subgroup of O(6) and can be represented in the standard basis of $[{\bb R}^6]$ as the set of all 6 ×6 orthogonal and integral matrices. The subgroups of B₆ which are isomorphic to the icosahedral group constitute the integral representations of it; among them, the crystallographic ones are those which split, in $[GL(6,{\bb R})]$ , into two three-dimensional irreducible representations of $[{\cal I}]$ . Therefore, they carry two subspaces in $[{\bb R}^3]$ which are invariant under the action of $[{\cal I}]$ and can be used to model the quasiperiodic structures.

The embedding of the icosahedral group into B₆ has been used extensively in the crystallographic literature. Katz (1989 ), Senechal (1995), Kramer & Zeidler (1989 ), Baake & Grimm (2013 ), among others, start from a six-dimensional crystallographic representation of $[{\cal I}]$ to construct three-dimensional Penrose tilings and icosahedral quasicrystals. Kramer (1987 ) and Indelicato et al. (2011) also apply it to study structural transitions in quasicrystals. In particular, Kramer considers in B₆ a representation of $[{\cal I}]$ and a representation of the octahedral group $[{\cal O}]$ which share a tetrahedral subgroup, and defines a continuous rotation (called Schur rotation) between cubic and icosahedral symmetry which preserves intermediate tetrahedral symmetry. Indelicato et al. define a transition between two icosahedral lattices as a continuous path connecting the two lattice bases keeping some symmetry preserved, described by a maximal subgroup of the icosahedral group. The rationale behind this approach is that the two corresponding lattice groups share a common subgroup. These two approaches are shown to be related (Indelicato et al., 2012 ), hence the idea is that it is possible to study the transitions between icosahedral quasicrystals by considering two distinct crystallographic representations of $[{\cal I}]$ in B₆ which share a common subgroup.

These papers motivate the idea of studying in some detail the subgroup structure of B₆. In particular, we focus on the subgroups isomorphic to the icosahedral group and its subgroups. Since the group is quite large (it has 2⁶6! elements), we use for computations the software GAP (The GAP Group, 2013 ), which is designed to compute properties of finite groups. More precisely, based on Baake (1984 ), we generate the elements of B₆ in GAP as a subgroup of the symmetric group S₁₂ and then find the classes of subgroups isomorphic to the icosahedral group. Among them we isolate, using results from character theory, the class of crystallographic representations of $[{\cal I}]$ . In order to study the subgroup structure of this class, we propose a method using graph theory and their spectra. In particular, we treat the class of crystallographic representations of $[{\cal I}]$ as a graph: we fix a subgroup $[{\cal G}]$ of $[{\cal I}]$ and say that two elements in the class are adjacent if their intersection is equal to a subgroup isomorphic to $[{\cal G}]$ . We call the resulting graph $[{\cal G}]$ -graph. These graphs are quite large and difficult to visualize; however, by analysing their spectra (Cvetkovic et al., 1995 ) we can study in some detail their topology, hence describing the intersection and the subgroups shared by different representations.

The paper is organized as follows. After recalling, in §2, the definitions of point group and lattice group, we define, in §3, the crystallographic representations of the icosahedral group and the icosahedral lattices in six dimensions. We provide, following Kramer & Haase (1989 ), a method for the construction of the projection into three dimensions using tools from the representation theory of finite groups. In §4 we classify, with the help of GAP, the crystallographic representations of $[{\cal I}]$ . In §5 we study their subgroup structure, introducing the concept of $[{\cal G}]$ -graph, where $[{\cal G}]$ is a subgroup of $[{\cal I}]$ .

2. Lattices and noncrystallographic groups

Let $[{\bf b}_i]$ , $[i = 1,\ldots, n]$ be a basis of $[{\bb R}^n]$ , and let $[B \in GL(n, {\bb R})]$ be the matrix whose columns are the components of $[{\bf b}_i]$ with respect to the canonical basis $[\{ {\bf e}_i, i = 1,\ldots, n \}]$ of $[{\bb R}^n]$ . A lattice in $[{\bb R}^n]$ is a $[{\bb Z}]$ -free module of rank n with basis B, i.e.

$[{\cal L}(B) = \biggl \{ {\bf x} = \textstyle\sum\limits_{i = 1}^n m_i {\bf b}_i: \, m_i \in {\bb Z} \biggr \}.]$

Any other lattice basis is given by BM, where $[M \in GL(n,{\bb Z})]$ , the set of invertible matrices with integral entries (whose determinant is equal to $[\pm 1]$ ) (Artin, 1991).

The point group of a lattice $[{\cal L}]$ is given by all the orthogonal transformations that leave the lattice invariant (Pitteri & Zanzotto, 2002 ):

$[{\cal P}(B) = \{ Q \in O(n): \, \exists M \in GL(n,{\bb Z}) \, {\rm s.t.} \, QB = BM \}.]$

We notice that, if $[Q \in {\cal P}(B)]$ , then $[B^{-1}QB = M \in GL(n,{\bb Z})]$ . In other words, the point group consists of all the orthogonal matrices which can be represented in the basis B as integral matrices. The set of all these matrices constitute the lattice group of the lattice:

$[\Lambda(B) = \{ M \in GL(n, {\bb Z}): \, \exists Q \in {\cal P}(B) \, {\rm s.t.} \, M = B^{-1}QB \}.]$

The lattice group provides an integral representation of the point group and these are related via the equation

$[\Lambda(B) = B^{-1}{\cal P}(B)B,]$

and moreover the following hold (Pitteri & Zanzotto, 2002):

$[{\cal P}(BM) = {\cal P}(B),\quad \Lambda(BM) = M^{-1}\Lambda(B)M,\quad M \in GL(n,{\bb Z}).]$

We notice that a change of basis in the lattice leaves the point group invariant, whereas the corresponding lattice groups are conjugated in $[GL(n,{\bb Z})]$ . Two lattices are inequivalent if the corresponding lattice groups are not conjugated in $[GL(n,{\bb Z})]$ (Pitteri & Zanzotto, 2002).

As a consequence of the crystallographic restriction [see, for example, Baake & Grimm (2013)] five- and n-fold symmetries, where n is a natural number greater than six, are forbidden in dimensions two and three, and therefore any group G containing elements of such orders cannot be the point group of a two- or three-dimensional lattice. We therefore call these groups noncrystallographic. In particular, three-dimensional icosahedral lattices cannot exist. However, a noncrystallographic group leaves some lattices invariant in higher dimensions and the smallest such dimension is called the minimal embedding dimension. Following Levitov & Rhyner (1988), we introduce:

Definition 2.1

Let G be a noncrystallographic group. A crystallographic representation ρ of G is a D-dimensional representation of G such that:

(1) the characters $[\chi_{\rho}]$ of ρ are integers;

(2) ρ is reducible and contains a two- or three-dimensional representation of G.

We observe that the first condition implies that G must be the subgroup of the point group of a D-dimensional lattice. The second condition tells us that ρ contains either a two- or three-dimensional invariant subspace E of $[{\bb R}^D]$ , usually referred to as physical space (Levitov & Rhyner, 1988).

3. Six-dimensional icosahedral lattices

The icosahedral group $[{\cal I}]$ is generated by two elements, g₂ and g₃, such that g₂² = g₃³ = (g₂g₃)⁵ = e, where e denotes the identity element. It has size 60 and it is isomorphic to A₅, the alternating group of order five (Artin, 1991). Its character table is given in Table 1.

Table 1
Character table of the icosahedral group

Note that $[\tau = (\sqrt{5}+1)/{2}]$ is the golden ratio.

From the character table we see that the (minimal) crystallographic representation of $[{\cal I}]$ is six-dimensional and is given by $[T_1 \oplus T_2]$ . Therefore, $[{\cal I}]$ leaves a lattice in $[{\bb R}^6]$ invariant. Levitov & Rhyner (1988) proved that the three inequivalent Bravais lattices of this type, mentioned in the Introduction and referred to as icosahedral (Bravais) lattices, are given by, respectively:

$[\matrix { {\cal L}_{\rm SC} = \{ {\bf x} = (x_1, \ldots, x_6): x_i \in {\bb Z} \}, \cr {\cal L}_{\rm BCC} = \bigl \{ {\bf x} = {{1} \over {2}}(x_1, \ldots, x_6): x_i \in {\bb Z}, x_i = x_j {\rm mod}2, \forall i,j = 1, \ldots, 6 \bigr \}, \cr {\cal L}_{\rm FCC} = \bigl \{ {\bf x} = {{1} \over {2}}(x_1, \ldots, x_6): x_i \in {\bb Z}, \, \sum_{i = 1}^6 x_i = 0 \, {\rm mod} 2 \bigr \}. }]$

We note that a basis of the SC lattice is the canonical basis of $[{\bb R}^6]$ . Its point group is given by

$[{\cal P}_{\rm SC} = \{ Q \in O(6): Q = M \in GL(6, {\bb Z}) \} = O(6) \cap GL(6, {\bb Z}) \simeq O(6,{\bb Z}), \eqno (1)]$

which is the hyperoctahedral group in dimension six. In the following, we will denote this group by B₆, following Humphreys (1996 ). We point out that this notation comes from Lie theory: indeed, B₆ represents the root system of the Lie algebra $[\specialfonts{\frak so}(13)]$ (Fulton & Harris, 1991 ). However, the corresponding reflection group W(B₆) is isomorphic to the hyperoctahedral group in six dimensions (Humphreys, 1990).

All three lattices have point group B₆, whereas their lattice groups are different and, indeed, they are not conjugate in $[GL(6,{\bb Z})]$ (Levitov & Rhyner, 1988).

Let $[{\cal H}]$ be a subgroup of B₆ isomorphic to $[{\cal I}]$ . $[{\cal H}]$ provides a (faithful) integral and orthogonal representation of $[{\cal I}]$ . Moreover, if $[{\cal H} \simeq T_1 \oplus T_2]$ in $[GL(6,{\bb R})]$ , then $[{\cal H}]$ is also crystallographic (in the sense of Definition 2.1). All of the other crystallographic representations are given by $[B^{-1}{\cal H} B]$ , where $[B \in GL(6,{\bb R})]$ is a basis of an icosahedral lattice in $[{\bb R}^6]$ . Therefore we can focus our attention, without loss of generality, on the orthogonal crystallographic representations.

3.1. Projection operators

Let $[{\cal H}]$ be a crystallographic representation of the icosahedral group. $[{\cal H}]$ splits into two three-dimensional irreducible representations (IRs), T₁ and T₂, in $[GL(6,{\bb R})]$ . This means that there exists a matrix $[R \in GL(6,{\bb R})]$ such that

$[{\cal H}^\prime: = R^{-1}{\cal H} R = \Biggl (\matrix { T_1 & 0 \cr 0 & T_2} \Biggr). \eqno (2)]$

The two IRs T₁ and T₂ leave two three-dimensional subspaces invariant, which are usually referred to as the physical (or parallel) space $[E^{\parallel}]$ and the orthogonal space $[E^{\perp}]$ (Katz, 1989). In order to find the matrix R (which is not unique in general), we follow (Kramer & Haase, 1989) and use results from the representation theory of finite groups (for proofs and further results see, for example, Fulton & Harris, 1991). In particular, let $[\Gamma: G \rightarrow GL(n,F)]$ be an n-dimensional representation of a finite group G over a field F (F = $[{\bb R}]$ , $[{\bb C}]$ ). By Maschke's theorem, Γ splits, in GL(n,F), as $[m_1 \Gamma_1 \oplus \ldots \oplus m_r \Gamma_r]$ , where $[\Gamma_i: G \rightarrow GL(n_i, F)]$ is an n_i-dimensional IR of G. Then the projection operator $[P_i: F^n \rightarrow F^{n_i}]$ is given by

$[P_i: = {{n_i} \over {|G|}} \sum_{g \in {\cal I}} \chi^*_{\Gamma_i}(g) \Gamma(g), \eqno (3)]$

where $[\chi_{\Gamma_i}^*]$ denotes the complex conjugate of the character of the representation $[\Gamma_i]$ . This operator is such that its image Im(P_i) is equal to an n_i-dimensional subspace V_i of Fⁿ invariant under $[\Gamma_i]$ . In our case, we have two projection operators, $[P_i: {\bb R}^6 \rightarrow {\bb R}^3]$ , i = 1, 2, corresponding to the IRs T₁ and T₂, respectively. We assume the image of P₁, Im(P₁), to be equal to $[E^{\parallel}]$ , and $[{\rm Im}(P_2) = E^{\perp}]$ . If $[\{ {\bf e}_j, j = 1, \ldots, 6 \}]$ is the canonical basis of $[{\bb R}^6]$ , then a basis of $[E^{\parallel}]$ (respectively $[E^{\perp}]$ ) can be found considering the set $[\{ {\hat{\bf e}}_j: = P_i {\bf e}_j, j = 1,\ldots, 6\}]$ for i = 1 (respectively i = 2) and then extracting a basis $[{\cal B}_i]$ from it. Since $[\dim E^{\parallel}]$ = $[\dim E^{\perp} = 3]$ , we obtain $[{\cal B}_i = \{ {\hat{\bf e}}_{i,1}, {\hat{\bf e}}_{i,2}, {\hat{\bf e}}_{i,3} \}]$ , for i = 1, 2. The matrix R can be thus written as

$[R = \biggl (\underbrace{{\hat{\bf e}}_{1,1}, {\hat{{\bf e}}_{1,2}, {\hat{\bf e}}_{1,3}}}_{{\rm basis \, of} \, E^{\parallel}}, \underbrace{{\hat{\bf e}}_{2,1}, {\hat{{\bf e}}_{2,2}, {\hat{\bf e}}_{2,3}}}_{{\rm basis \, of} \, E^{\perp}} \biggr). \eqno (4)]$

Denoting by $[\pi^{\parallel}]$ and $[\pi^{\perp}]$ the 3 ×6 matrices which represent P₁ and P₂ in the bases $[{\cal B}_1]$ and $[{\cal B}_2]$ , respectively, we have, by linear algebra

$[R^{-1} = \Biggl (\matrix { \pi^{\parallel} \cr \pi^{\perp}} \Biggr). \eqno (5)]$

Since $[R^{-1}{\cal H} = {\cal H}^\prime R^{-1}]$ [cf. equation (2)], we obtain

$[\pi^{{\parallel}} ({\cal H}(g){\bf v}) = T_1(\pi^{\parallel}({\bf v})), \quad \pi^{\perp}({\cal H}(g){\bf v}) = T_2(\pi^{\perp}({\bf v})), \eqno (6)]$

for all $[g \in {\cal I}]$ and $[{\bf v} \in {\bb R}^6]$ . In particular, the following diagram commutes

The set $[({\cal H},\pi^{\parallel})]$ is the starting point for the construction of quasicrystals via the cut-and-project method (Senechal, 1995; Indelicato et al., 2012).

4. Crystallographic representations of $[{\cal I}]$

From the previous section it follows that the six-dimensional hyperoctahedral group B₆ contains all the (minimal) orthogonal crystallographic representations of the icosahedral group. In this section we classify them, with the help of the computer software programme GAP (The GAP Group, 2013).

4.1. Representations of the hyperoctahedral group B₆

Permutation representations of the n-dimensional hyperoctahedral group B_n in terms of elements of S_2n, the symmetric group of order 2n, have been described by Baake (1984). In this subsection, we review these results because they allow us to generate B₆ in GAP and further study its subgroup structure.

It follows from equation (1) that B₆ consists of all the orthogonal integral matrices. A matrix A = (a_ij) of this kind must satisfy AA^T = I₆, the identity matrix of order six, and have integral entries only. It is easy to see that these conditions imply that A has entries in {0, ±1} and each row and column contains 1 or −1 only once. These matrices are called signed permutation matrices. It is straightforward to see that any $[A \in B_6]$ can be written in the form NQ, where Q is a 6 ×6 permutation matrix and N is a diagonal matrix with each diagonal entry being either 1 or −1. We can thus associate with each matrix in B₆ a pair $[({\bf a}, \pi)]$ , where $[{\bf a} \in {\bb Z}_2^6]$ is a vector given by the diagonal elements of N, and $[\pi \in S_6]$ is the permutation associated with Q. The set of all these pairs constitutes a group (called the wreath product of $[{\bb Z}_2]$ and S₆, and denoted by $[{\bb Z}_2 \wr S_6]$ ; Humphreys, 1996) with the multiplication rule given by

$[({\bf a}, \pi)({\bf b}, \sigma): = ({\bf a}_{\sigma} + _2 {\bf b}, \pi\sigma),]$

where +₂ denotes addition modulo 2 and

$[({\bf a}_{\sigma})_k: = a_{\sigma(k)},\quad {\bf a} = (a_1, \ldots, a_6).]$

$[{\bb Z}_2 \wr S_6]$ and B₆ are isomorphic, an isomorphism T being the following:

$[[T({\bf a},\pi)]_{ij}: = (-1)^{a_i}\delta_{\pi(i),j}. \eqno (8)]$

It immediately follows that |B₆| = 2⁶6! = 46 080. A set of generators is given by

$[\alpha: = ({\bf 0}, (1,2)), \beta: = ({\bf 0},(1,2,3,4,5,6)), \gamma: = ((0,0,0,0,0,1),{\rm id}_{S_6}), \eqno (9)]$

which satisfy the relations

$[\alpha^2 = \gamma^2 = \beta^6 = ({\bf 0}, {\rm id}_{S_6}).]$

Finally, the function $[\varphi: {\bb Z}_2 \wr S_6 \rightarrow S_{12}]$ defined by

$[\varphi({\bf a}, \pi)(k): = \Biggl\{\matrix { &\kern-52pt\pi(k) + 6a_k \,\, &\kern-5pt{\rm if} \, 1\leq k \leq 6 \cr &\pi(k-6) + 6(1-a_{k-6}) \,\, &{\rm if} \, 7 \leq k \leq 12 } \eqno (10)]$

is injective and maps any element of $[{\bb Z}_2 \wr S_6]$ into a permutation of S₁₂, and provides a faithful permutation representation of B₆ as a subgroup of S₁₂. Combining equation (8) with the inverse of equation (10) we get the function

$[\psi: = T \circ \phi^{-1}: S_{12} \rightarrow B_6, \eqno (11)]$

which can be used to map a permutation into an element of B₆.

4.2. Classification

In this subsection we classify the orthogonal crystallographic representations of the icosahedral group. We start by recalling a standard way to construct such a representation, following Zappa et al. (2013 ). We consider a regular icosahedron and we label each vertex by a number from one to 12, so that the vertex opposite to vertex i is labelled by i+6 (see Fig. 1). This labelling induces a permutation representation $[\sigma: {\cal I} \rightarrow S_{12}]$ given by

$[\matrix { \sigma(g_2) = (1,6)(2,5)(3,9)(4,10)(7,12)(8,11), \cr \sigma(g_3) = (1,5,6)(2,9,4)(7,11,12)(3,10,8).}]$

Using equation (11) we obtain a representation $[\hat{{\cal I}}: {\cal I} \rightarrow B_6]$ given by

$[\hat{{\cal I}}(g_2) = \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 0 & 1 & 0 \cr 0 & 0 & \kern-6.5pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & \kern-6.5pt-1 & 0 & 0 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0} , \quad \hat{{\cal I}}(g_3) = \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & \kern-6.5pt-1 & 0 & 0 & 0 & 0 \cr 0 & 0 & \kern-6.5pt-1 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 1 & 0} . \eqno (12)]$

Figure 1
A planar representation of an icosahedral surface, showing our labelling convention for the vertices; the dots represent the locations of the symmetry axes corresponding to the generators of the icosahedral group and its subgroups. The kite highlighted is a fundamental domain of the icosahedral group.

We see that $[\chi_{\hat{{\cal I}}}(g_2) = -2]$ and $[\chi_{\hat{{\cal I}}}(g_3) = 0]$ , so that, by looking at the character table of $[{\cal I}]$ , we have

$[\chi_{\hat{{\cal I}}} = \chi_{T_1} + \chi_{T_2},]$

which implies, using Maschke's theorem (Fulton & Harris, 1991), that $[\hat{{\cal I}} \simeq T_1 \oplus T_2]$ in $[GL(6,{\bb R})]$ . Therefore, the subgroup $[\hat{{\cal I}}]$ of B₆ is a crystallographic representation of $[{\cal I}]$ .

Before we continue, we recall the following (Humphreys, 1996):

Definition 4.1

Let H be a subgroup of a group G. The conjugacy class of H in G is the set

$[{\cal C}_G(H): = \{ gHg^{-1}: g \in G \}.]$

In order to find all the other crystallographic representations, we use the following scheme:

(a) we generate B₆ as a subgroup of S₁₂ using equations (9) and (10);

(b) we list all the conjugacy classes of the subgroups of B₆ and find a representative for each class;

(d) we check if these representatives are isomorphic to $[{\cal I}]$ ;

(e) we map these subgroups of S₁₂ into B₆ using equation (11) and isolate the crystallographic ones by checking the characters; denoting by S the representative, we decompose $[\chi_S]$ as

$[\displaylines{\chi_S = m_1 \chi_{A} + m_2 \chi_{T_1} + m_3 \chi_{T_2} + m_4 \chi_{G} + m_5 \chi_{H},\cr m_i \in {\bb N}, \,\, i = 1,\ldots,5.}]$

Note that S is crystallographic if and only if m₂ = m₃ = 1 and m₁ = m₄ = m₅ = 0.

We implemented steps (1)–(4) in GAP (see Appendix C). There are three conjugacy classes of subgroups isomorphic to $[{\cal I}]$ in B₆. Denoting by $[S_i = \langle g_{2,i},g_{3,i} \rangle]$ the representatives of the classes returned by GAP, we have, using equation (11),

$[\eqalignno { \chi_{S_1}(g_{2,1}) &= 2, \chi_{S_1}(g_{3,1}) = 3 \Rightarrow \chi_{S_1} = 2\chi_A + \chi_G \Rightarrow S_1 \simeq 2A \oplus G, \cr \chi_{S_2}(g_{2,2}) &= -2, \chi_{S_2}(g_{3,2}) = 0 \Rightarrow \chi_{S_2} = \chi_{T_1} + \chi_{T_2} \Rightarrow S_2 \simeq T_1 \oplus T_2, \cr \chi_{S_3}(g_{2,3}) &= 2, \chi_{S_3}(g_{3,3}) = 0 \Rightarrow \chi_{S_3} = \chi_A + \chi_H \Rightarrow S_3 \simeq A \oplus H.}]$

Since 2A is decomposable into two one-dimensional representations, it is not strictly speaking two dimensional in the sense of Definition 2.1, and as a consequence, only the second class contains the crystallographic representations of $[{\cal I}]$ . A computation in GAP shows that its size is 192. We thus have the following:

Proposition 4.1

The crystallographic representations of $[{\cal I}]$ in B₆ form a unique conjugacy class in the set of all the classes of subgroups of B₆, and its size is equal to 192.

We briefly point out that the other two classes of subgroups isomorphic to $[{\cal I}]$ in B₆ have an interesting algebraic intepretation. First of all, we observe that B₆ is an extension of S₆, since according to Humphreys (1996):

$[B_6 / {\bb Z}_2^6 \simeq ({\bb Z}_2 \wr S_6) / {\bb Z}_2^6 \simeq S_6.]$

Following Janusz & Rotman (1982 ), it is possible to embed the symmetric group S₅ into S₆ in two different ways. The canonical embedding is achieved by fixing a point in $[\{1, \ldots, 6 \}]$ and permuting the other five, whereas the other embedding is by means of the so-called `exotic map' $[\varphi: S_5 \rightarrow S_6]$ , which acts on the six 5-Sylow subgroups of S₅ by conjugation. Recalling that the icosahedral group is isomorphic to the alternating group A₅, which is a normal subgroup of S₅, then the canonical embedding corresponds to the representation $[2A \oplus G]$ in B₆, while the exotic one corresponds to the representation $[A \oplus H]$ .

In what follows, we will consider the subgroup $[\hat{{\cal I}}]$ previously defined as a representative of the class of the crystallographic representations of $[{\cal I}]$ , and denote this class by $[{\cal C}_{B_6}(\hat{{\cal I}})]$ .

Recalling that two representations D⁽¹⁾ and D⁽²⁾ of a group G are said to be equivalent if there are related via a similarity transformation, i.e. there exists an invertible matrix S such that

$[D^{(1)} = S D^{(2)} S^{-1},]$

then an immediate consequence of Proposition 4.1 is the following:

Corollary 4.1

Let $[{\cal H}_1]$ and $[{\cal H}_2]$ be two orthogonal crystallographic representations of $[{\cal I}]$ . Then $[{\cal H}_1]$ and $[{\cal H}_2]$ are equivalent in B₆.

We observe that the determinant of the generators of $[\hat{{\cal I}}]$ in equation (12) is equal to one, so that $[\hat{{\cal I}} \in B_6^+: =]$ $[ \{ A \in B_6: {\det}A = 1 \}]$ . Proposition 4.1 implies that all the crystallographic representations belong to B₆⁺. The remarkable fact is that they split into two different classes in B₆⁺. To see this, we first need to generate B₆⁺. In particular, with GAP we isolate the subgroups of index two in B₆, which are normal in B₆, and then, using equation (11), we find the one whose generators have determinant equal to one. In particular, we have

$[\eqalign{B_6^+ = \langle(1,2,6,4,3)(7,8,12,10,9),(5,11)(6,12),\cr (1,2,6,5,3)(7,8,12,11,9),(5,12,11,6)\rangle.}]$

We can then apply the same procedure to find the crystallographic representations of $[{\cal I}]$ , and see that they split into two classes, each one of size 96. Again we can choose $[\hat{{\cal I}}]$ as a representative for one of these classes; a representative $[\hat{{\cal K}}]$ for the other one is given by

$[\hat{{\cal K}} = \Biggr\langle \pmatrix { 0 & 1 & 0 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & \kern-6pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 0 & \kern-6pt-1 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0}, \quad \pmatrix { 0 & 0 & 0 & 1 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 0 & \kern-6pt-1 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr 0 & 0 & \kern-6pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 1 & 0} \Biggr\rangle. \eqno (13)]$

We note that in the more general case of $[{\cal I}_h]$ , we can construct the crystallographic representations of $[{\cal I}_h]$ starting from the crystallographic representations of $[{\cal I}]$ . First of all, we recall that $[{\cal I}_h = I \times C_2]$ , where C₂ is the cyclic group of order two. Let $[{\cal H}]$ be a crystallographic representation of $[{\cal I}]$ in B₆, and let $[\Gamma = \{1,-1 \}]$ be a one-dimensional representation of C₂. Then the representation $[\hat{{\cal H}}]$ given by

$[\hat{{\cal H}}: = {\cal H} \otimes \Gamma,]$

where $[\otimes]$ denotes the tensor product of matrices, is a representation of $[{\cal I}_h]$ in B₆ and it is crystallographic in the sense of Definition 2.1 (Fulton & Harris, 1991).

4.3. Projection into the three-dimensional space

We study in detail the projection into the physical space $[E^{\parallel}]$ using the methods described in §3.1.

Let $[\hat{{\cal I}}]$ be the crystallographic representation of $[{\cal I}]$ given in equation (12). Using equation (3) with n_i = 3 and [|G| =] $[ |{\cal I}| = 60]$ we obtain the following projection operators

$[\matrix { P_1 = {\displaystyle{{1} \over {2\sqrt{5}}}} \pmatrix { \sqrt{5} & \kern6.5pt 1 & -1 & -1& \kern6.5pt 1 & \kern6.5pt 1 \cr \kern6.5pt 1 & \sqrt{5} &\kern6.5pt 1 &-1 &-1 &\kern6.5pt 1 \cr -1& \kern6.5pt 1 & \sqrt{5} & \kern6.5pt 1& -1& \kern6.5pt 1 \cr -1 &-1 &\kern6.5pt 1 &\sqrt{5} & \kern6.5pt 1 &\kern6.5pt 1 \cr \kern6.5pt 1& -1 & -1 & \kern6.5pt 1 & \sqrt{5} & \kern6.5pt 1 \cr \kern6.5pt 1 & \kern6.5pt 1 & \kern6.5pt 1 & \kern6.5pt 1 & \kern6.5pt 1 & \sqrt{5}}, \cr {} \cr {} \cr {} \cr P_2 = {\displaystyle{{1} \over {2\sqrt{5}}}} \pmatrix { \sqrt{5} & -1 & \kern6.5pt 1 & \kern6.5pt 1& -1 & -1 \cr -1 & \sqrt{5} &-1 & \kern6.5pt 1 & \kern6.5pt 1 & -1 \cr \kern6.5pt 1& -1 & \sqrt{5} & -1& \kern6.5pt 1& -1 \cr \kern6.5pt 1 & \kern6.5pt 1 &-1 &\sqrt{5} & -1 &-1 \cr -1 & \kern6.5pt 1 & \kern6.5pt 1 & -1 & \sqrt{5} & -1 \cr -1 & -1 & -1 & -1 & -1 & \sqrt{5}}. }]$

The rank of these operators is equal to three. We choose as a basis of $[E^{\parallel}]$ and $[E^{\perp}]$ the following linear combination of the columns $[{\bf c}_{i,j}]$ of the projection operators P_i, for i = 1, 2 and $[j = 1, \ldots, 6]$ :

$[\Biggl (\underbrace{{{{\bf c}_{1,1} + {\bf c}_{1,5}}\over{2}}, {{{\bf c}_{1,2} - {\bf c}_{1,4}}\over{2}}, {{{\bf c}_{1,3} + {\bf c}_{1,6}}\over{2}}}_{{\rm basis \, of \, {\it E}^{\parallel}}}, \quad \underbrace{{{{\bf c}_{2,1} - {\bf c}_{2,5}}\over{2}}, {{{\bf c}_{2,2} + {\bf c}_{2,4}}\over{2}}, {{{\bf c}_{2,3} - {\bf c}_{2,6}}\over{2}}}_{{\rm basis \, of \, {\it E}^{\perp}}}\Biggr).]$

With a suitable rescaling, we obtain the matrix R given by

$[R = {{1} \over {\sqrt{2(2+\tau)}}} \pmatrix { \tau & 1 & 0 & \tau & 0 & 1 \cr 0 & \tau & 1 & \kern-6.5pt -1 & \tau & 0 \cr \kern-6.5pt-1 & 0 & \tau & 0 & \kern-6.5pt -1& \tau \cr 0 & \kern-6.5pt-\tau & 1 & 1 & \tau & 0 \cr \tau & \kern-6.5pt -1 & 0 & \kern-6.5pt-\tau & 0 & 1 \cr 1 & 0 & \tau & 0 & \kern-6.5pt-1 & \kern-6.5pt-\tau}.]$

The matrix R is orthogonal and reduces $[\hat{{\cal I}}]$ as in equation (2). In Table 2 we give the explicit forms of the reduced representation. The matrix representation in $[E^{\parallel}]$ of P₁ is given by [see equation (5)]

$[\pi^{\parallel} = {{1}\over{\sqrt{2(2+\tau)}}} \pmatrix { \tau & 0 & \kern-6.5pt -1 & 0 & \tau & 1 \cr 1 & \tau & 0 & \kern-6.5pt -\tau & \kern-6.5pt -1 & 0 \cr 0 & 1 & \tau & 1 & 0 & \tau}.]$

Table 2
Explicit forms of the IRs T₁ and T₂ with $[\hat{\cal I} \simeq T_1 \oplus T_2]$

Generator	Irrep T₁	Irrep T₂
g₂	$[{1\over 2} \pmatrix{ \tau-1 & 1 & \tau \cr 1 & -\tau & \tau-1 \cr \tau & \tau-1 & -1}]$	$[{1\over 2} \pmatrix{ \tau-1 & -\tau & -1 \cr -\tau & -1 & \tau-1 \cr -1 & \tau-1 & -\tau}]$

g₃	$[{1\over 2} \pmatrix{ \tau & \tau-1 & 1 \cr 1-\tau & -1 & \tau \cr 1 & -\tau & 1-\tau}]$	$[{1\over 2} \pmatrix{ -1 & 1-\tau & -\tau \cr \tau-1 & \tau & -1 \cr \tau & -1 & 1-\tau}]$

The orbit $[\{ T_1(\pi^{\parallel}({\bf e}_j)) \}]$ , where $[\{ {\bf e}_j, j = 1,\ldots, 6 \}]$ is the canonical basis of $[{\bb R}^6]$ , represents a regular icosahedron in three dimensions centred at the origin (Senechal, 1995; Katz, 1989; Indelicato et al., 2011).

Let $[{\cal K}]$ be another crystallographic representation of $[{\cal I}]$ in B₆. By Proposition 4.1, $[{\cal K}]$ and $[\hat{{\cal I}}]$ are conjugated in B₆. Consider $[M \in B_6]$ such that $[M \hat{{\cal I}} M^{-1} = {\cal K}]$ and let S = MR. We have

$[S^{-1} {\cal K} S = (MR)^{-1} {\cal K} (MR) = R^{-1} M^{-1} {\cal K} M R = R^{-1} \hat{{\cal I}} R = T_1 \oplus T_2.]$

Therefore it is possible, with a suitable choice of the reducing matrices, to project all the crystallographic representations of $[{\cal I}]$ in B₆ in the same physical space.

5. Subgroup structure

The nontrivial subgroups of $[{\cal I}]$ are listed in Table 3, together with their generators (Hoyle, 2004 ). Note that $[{\cal T}]$ , $[{\cal D}_{10}]$ and $[{\cal D}_6]$ are maximal subgroups of $[{\cal I}]$ , and that $[{\cal D}_4]$ , C₅ and C₃ are normal subgroups of $[{\cal T}]$ , $[{\cal D}_{10}]$ and $[{\cal D}_6]$ , respectively (Humphreys, 1996; Artin, 1991). The permutation representations of the generators in S₁₂ are given in Table 4 (see also Fig. 1).

Table 3
Nontrivial subgroups of the icosahedral group

$[\cal T]$ stands for the tetrahedral group, $[{\cal D}_{2n}]$ for the dihedral group of size 2n, and C_n for the cyclic group of size n.

Subgroup	Generators	Relations	Size
$[{\cal T}]$	g₂, g_3d	g₂² = g_3d³ = (g₂g_3d)³ = e	12
$[{\cal D}_{10}]$	g_2d,g_5d	g_2d² = g_5d⁵ = (g_5dg_2d)² = e	10
$[{\cal D}_{6}]$	g_2d,g₃	g_2d² = g₃³ = (g₃g_2d)² = e	6
C₅	g_5d	g_5d⁵ = e	5
$[{\cal D}_4]$	g_2d,g₂	g_2d² = g₂² = (g₂g_2d)² = e	4
C₃	g₃	g₃³ = e	3
C₂	g₂	g₂² = e	2

Table 4
Permutation representations of the generators of the subgroups of the icosahedral group

$[\sigma(g_2) = (1,6)(2,5)(3,9)(4,10)(7,12)(8,11)]$

$[\sigma(g_{2d}) = (1,12)(2,8)(3,4)(5,11)(6,7)(9,10)]$

$[\sigma(g_3) = (1,5,6)(2,9,4)(7,11,12)(3,10,8)]$

$[\sigma(g_{3d}) = (1,10,2)(3,5,12)(4,8,7)(6,9,11)]$

$[\sigma(g_5) = (1,2,3,4,5)(7,8,9,10,11)]$

$[\sigma(g_{5d}) = (1,10,11,3,6)(4,5,9,12,7)]$

Since $[{\cal I}]$ is a small group, its subgroup structure can be easily obtained in GAP by computing explicitly all its conjugacy classes of subgroups. In particular, there are seven classes of nontrivial subgroups in $[{\cal I}]$ : any subgroup H of $[{\cal I}]$ has the property that, if K is another subgroup of $[{\cal I}]$ isomorphic to H, then H and K are conjugate in $[{\cal I}]$ (this property is referred to as the `friendliness' of the subgroup H; Soicher, 2006 ). In other words, denoting by $[n_{{\cal G}}]$ the number of subgroups of $[{\cal I}]$ isomorphic to $[{\cal G}]$ , i.e.

$[n_{{\cal G}}: = | \{ H \lt \,{\cal I}: H \simeq {\cal G} \}|, \eqno (14)]$

we have (cf. Definition 4.1)

$[n_{{\cal G}} = |{\cal C}_{{\cal I}}({\cal G})|.]$

In Table 5 we list the size of each class of subgroups in $[{\cal I}]$ . Geometrically, different copies of C₂, C₃ and C₅ correspond to the different two-, three- and fivefold axes of the icosahedron, respectively. In particular, different copies of $[{\cal D}_{10}]$ stabilize one of the six fivefold axes of the icosahedron, and each copy of $[{\cal D}_6]$ stabilizes one of the ten threefold axes. Moreover, it is possible to inscribe five tetrahedra into a dodecahedron, and each different copy of the tetrahedral group in $[{\cal I}]$ stabilizes one of these tetrahedra.

Table 5
Sizes of the classes of subgroups of the icosahedral group in $[{\cal I}]$ and B₆

Subgroup	$[\|{\cal C}_{\cal I}({\cal G})\|]$	$[\|{\cal C}_{B_6}({\cal K}_{\cal G})\|]$
$[{\cal T}]$	5	480
$[{\cal D}_{10}]$	6	576
$[{\cal D}_6]$	10	960
$[{\cal D}_4]$	5	120
C₅	6	576
C₃	10	320
C₂	15	180

5.1. Subgroups of the crystallographic representations of $[{\bf \cal I}]$

Let $[{\cal G}]$ be a subgroup of $[{\cal I}]$ . The function (11) provides a representation of $[{\cal G}]$ in B₆, denoted by $[{\cal K}_{{\cal G}}]$ , which is a subgroup of $[\hat{{\cal I}}]$ . Let us denote by $[{\cal C}_{B_6}({\cal K}_{{\cal G}})]$ the conjugacy class of $[{\cal K}_{{\cal G}}]$ in B₆. The next lemma shows that this class contains all the subgroups of the crystallographic representations of $[{\cal I}]$ in B₆.

Lemma 5.1

Let $[{\cal H}_i \in {\cal C}_{B_6}(\hat{{\cal I}})]$ be a crystallographic representation of $[{\cal I}]$ in B₆ and let $[{\cal K}_i \subseteq {\cal H}_i]$ be a subgroup of $[{\cal H}_i]$ isomorphic to $[{\cal G}]$ . Then $[{\cal K}_i \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ .

Proof

Since $[{\cal H}_i \in C_{B_6}(\hat{{\cal I}})]$ , there exists $[g \in B_6]$ such that $[g{\cal H}_ig^{-1} = \hat{{\cal I}}]$ , and therefore $[g{\cal K}_ig^{-1} = {\cal K}^\prime]$ is a subgroup of $[\hat{{\cal I}}]$ isomorphic to $[{\cal G}]$ . Since all these subgroups are conjugate in $[\hat{{\cal I}}]$ [they are `friendly' in the sense intended by Soicher (2006)], there exists $[h \in \hat{{\cal I}}]$ such that $[h{\cal K}^\prime h^{-1} = {\cal K}_{{\cal G}}]$ . Thus $[(hg){\cal K}_i(hg)^{-1} = {\cal K}_{{\cal G}}]$ , implying that $[{\cal K}_i \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ .

□

We next show that every element of $[{\cal C}_{B_6}({\cal K}_{{\cal G}})]$ is a subgroup of a crystallographic representation of $[{\cal I}]$ .

Lemma 5.2

Let $[{\cal K}_i \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ . There exists $[{\cal H}_i \in {\cal C}_{B_6}(\hat{{\cal I}})]$ such that $[{\cal K}_i]$ is a subgroup of $[{\cal H}_i]$ .

Proof

Since $[{\cal K}_i \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ , there exists $[g \in B_6]$ such that $[g{\cal K}_ig^{-1} = {\cal K}_{{\cal G}}]$ . We define $[{\cal H}_i: = g^{-1}\hat{{\cal I}} g]$ . It can be seen immediately that $[{\cal K}_i]$ is a subgroup of $[{\cal H}_i]$ .

□

As a consequence of these lemmata, $[{\cal C}_{B_6}({\cal K}_{{\cal G}})]$ contains all the subgroups of B₆ which are isomorphic to $[{\cal G}]$ and are subgroups of a crystallographic representation of $[{\cal I}]$ . The explicit forms of $[{\cal K}_{{\cal G}}]$ are given in Appendix B. We point out that it is possible to find subgroups of B₆ isomorphic to a subgroup $[{\cal G}]$ of $[{\cal I}]$ which are not subgroups of any crystallographic representation of $[{\cal I}]$ . For example, the following subgroup

$[\hat{{\cal T}} = \Bigg\langle \pmatrix { 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & \kern-6.5pt-1 & 0 & 0 & 0 & 0 \cr 0 & 0 & \kern-6.5pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & \kern-6.5pt-1 & 0 & 0 \cr 0 & 0 & 0 & 0 & \kern-6.5pt-1 & 0 \cr 0 & 0 & 0 & 0 & 0 & 1}, \quad \pmatrix { 0 & 0 & \kern-6.5pt-1 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & \kern-6.5pt-1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & 0 & 0 & 1 & 0} \Bigg\rangle]$

is isomorphic to the tetrahedral group $[{\cal T}]$ ; a computation in GAP shows that it is not a subgroup of any elements in $[{\cal C}_{B_6}(\hat{{\cal I}})]$ . Indeed, the two classes of subgroups, $[{\cal C}_{B_6}({\cal K}_{{\cal T}})]$ and $[{\cal C}_{B_6}(\hat{{\cal T}})]$ , are disjoint.

Using GAP, we compute the size of each $[{\cal C}_{B_6}({\cal K}_{{\cal G}})]$ (see Table 5). We observe that $[|{\cal C}_{B_6}({\cal K}_{{\cal G}})| \lt |{\cal C}_{B_6}(\hat{{\cal I}})| \cdot n_{{\cal G}}]$ . This implies that crystallographic representations of $[{\cal I}]$ may share subgroups. In order to describe more precisely the subgroup structure of $[{\cal C}_{B_6}(\hat{{\cal I}})]$ we will use some basic results from graph theory and their spectra, which we are going to recall in the next section.

5.2. Some basic results of graph theory and their spectra

In this section we recall, without proofs, some concepts and results from graph theory and spectral graph theory. Proofs and further results can be found, for example, in Foulds (1992 ) and Cvetkovic et al. (1995).

Let G be a graph with vertex set $[V = \{v_1, \ldots, v_n \}]$ . The number of edges incident with a vertex v is called the degree of v. If all vertices have the same degree d, then the graph is called regular of degree d. A walk of length l is a sequence of l consecutive edges and it is called a path if they are all distinct. A circuit is a path starting and ending at the same vertex and the girth of the graph is the length of the shortest circuit. Two vertices p and q are connected if there exists a path containing p and q. The connected component of a vertex v is the set of all vertices connected to v.

The adjacency matrix A of G is the n ×n matrix A = (a_ij) whose entries a_ij are equal to one if the vertex v_i is adjacent to the vertex v_j, and zero otherwise. It can be seen immediately from its definition that A is symmetric and a_ii = 0 for all i, so that Tr(A) = 0. It follows that A is diagonalisable and all its eigenvalues are real. The spectrum of the graph is the set of all the eigenvalues of its adjacency matrix A, usually denoted by $[\sigma(A)]$ .

Theorem 5.1

Let A be the adjacency matrix of a graph G with vertex set $[V = \{v_1, \ldots, v_n \}]$ . Let N_k(i,j) denote the number of walks of length k starting at vertex v_i and finishing at vertex v_j. We have

$[N_k(i,j) = A^k_{ij}.]$

We recall that the spectral radius of a matrix A is defined by $[\rho(A): = {\max} \{|\lambda|: \lambda \in \sigma(A) \}]$ . If A is a non-negative matrix, i.e. if all its entries are non-negative, then $[\rho(A) \in \sigma(A)]$ (Horn & Johnson, 1985 ). Since the adjacency matrix of a graph is non-negative, $[|\lambda| \leq \rho(A): = r]$ , where $[\lambda \in \sigma(A)]$ and r is the largest eigenvalue. r is called the index of the graph G.

Theorem 5.2

Let $[\lambda_1, \ldots, \lambda_n]$ be the spectrum of a graph G, and let r denote its index. Then G is regular of degree r if and only if

$[{{1} \over {n}} \sum_{i = 1}^n \lambda_i^2 = r.]$

Moreover, if G is regular the multiplicity of its index is equal to the number of its connected components.

5.3. Applications to the subgroup structure

Let $[{\cal G}]$ be a subgroup of $[{\cal I}]$ . In the following we represent the subgroup structure of the class of crystallographic representations of $[{\cal I}]$ in B₆, $[{\cal C}_{B_6}(\hat{{\cal I}})]$ , as a graph. We say that $[{\cal H}_1, {\cal H}_2 \in {\cal C}_{B_6}(\hat{{\cal I}})]$ are adjacent to each other (i.e. connected by an edge) in the graph if there exists $[P \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ such that $[P = {\cal H}_1 \cap {\cal H}_2]$ . We can therefore consider the graph $[ G = ({\cal C}_{B_6}(\hat{{\cal I}}),E)]$ , where an edge $[e \in E]$ is of the form $[({\cal H}_1,{\cal H}_2)]$ . We call this graph $[{\cal G}]$ -graph.

Using GAP, we compute the adjacency matrices of the $[{\cal G}]$ -graphs. The algorithms used are shown in Appendix C. The spectra of the $[{\cal G}]$ -graphs are given in Table 6. We first of all notice that the adjacency matrix of the C₅-graph is the null matrix, implying that there are no two representations sharing precisely a subgroup isomorphic to C₅, i.e. not a subgroup containing C₅. We point out that, since the adjacency matrix of the $[{\cal D}_{10}]$ -graph is not the null one, then there exist crystallographic representations, say $[{\cal H}_i]$ and $[{\cal H}_j]$ , sharing a maximal subgroup isomorphic to $[{\cal D}_{10}]$ . Since C₅ is a (normal) subgroup of $[{\cal D}_{10}]$ , then $[{\cal H}_i]$ and $[{\cal H}_j]$ do share a C₅ subgroup, but also a C₂ subgroup. In other words, if two representations share a fivefold axis, then necessarily they also share a twofold axis.

Table 6
Spectra of the $[{\cal G}]$ -graphs for $[{\cal G}]$ a nontrivial subgroup of $[{\cal I}]$ and $[{\cal G}= \{e\}]$ , the trivial subgroup consisting of only the identity element e

The numbers highlighted are the indices of the graphs, and correspond to their degrees $[d_{\cal G}]$ .

$[{\cal T}]$ -graph		$[{\cal D}_{10}]$ -graph		$[{\cal D}_{6}]$ -graph		C₅-graph
Eig.	Mult.	Eig.	Mult.	Eig.	Mult.	Eig.	Mult.
5	1	6	6	10	6	0	192
3	45	2	90	2	90
−3	45	−2	90	−2	90
1	50	−6	6	−10	6
−1	50
−5	1

$[{\cal D}_{4}]$ -graph		C₃-graph		C₂-graph		{e}-graph
Eig.	Mult.	Eig.	Mult.	Eig.	Mult.	Eig.	Mult.
30	1	20	2	60	2	60	1
18	5	4	90	4	90	12	5
12	5	−4	100	−4	90	4	90
6	15			−12	10	−4	90
2	45					−12	5
0	31					−60	1
−2	30
−4	45
−8	15

A straightforward calculation based on Theorem 5.2 leads to the following

Proposition 5.1

Let $[{\cal G}]$ be a subgroup of $[{\cal I}]$ . Then the corresponding $[{\cal G}]$ -graph is regular.

In particular, the degree $[d_{{\cal G}}]$ of each $[{\cal G}]$ -graph is equal to the largest eigenvalue of the corresponding spectrum. As a consequence we have the following:

Proposition 5.2

Let $[{\cal H}]$ be a crystallographic representation of $[{\cal I}]$ in B₆. Then there are exactly $[d_{{\cal G}}]$ representations $[{\cal K}_j \in {\cal C}_{B_6}(\hat{{\cal I}})]$ such that

$[{\cal H} \cap {\cal K}_j = P_j, \exists \, P_j \in {\cal C}({\cal K}_{{\cal G}}), j = 1, \ldots, d_{{\cal G}}.]$

In particular, we have $[d_{{\cal G}}]$ = 5, 6, 10, 0, 30, 20, 60 and 60 for $[{\cal G} = {\cal T},{\cal D}_{10},{\cal D}_6]$ , $[C_5, {\cal D}_4, C_3, {\cal C}_2]$ and {e }, respectively.

In particular, this means that for any crystallographic representation of $[{\cal I}]$ there are precisely $[d_{{\cal G}}]$ other such representations which share a subgroup isomorphic to $[{\cal G}]$ . In other words, we can associate to the class $[{\cal C}_{B_6}(\hat{{\cal I}})]$ the `subgroup matrix' S whose entries are defined by

$[S_{ij} = |{\cal H}_i \cap {\cal H}_j|, \qquad i,j = 1,\ldots, 192.]$

The matrix S is symmetric and S_ii = 60, for all i, since the order of $[{\cal I}]$ is 60. It follows from Proposition 5.2 that each row of S contains $[d_{{\cal G}}]$ entries equal to $[|{\cal G}|]$ . Moreover, a rearrangement of the columns of S shows that the 192 crystallographic representations of $[{\cal I}]$ can be grouped into 12 sets of 16 such that any two of these representations in such a set of 16 share a $[{\cal D}_4]$ -subgroup. This implies that the corresponding subgraph of the $[{\cal D}_4]$ -graph is a complete graph, i.e. every two distinct vertices are connected by an edge. From a geometric point of view, these 16 representations correspond to `six-dimensional icosahedra'. This ensemble of 16 such icosahedra embedded into a six-dimensional hypercube can be viewed as a six-dimensional analogue of the three-dimensional ensemble of five tetrahedra inscribed into a dodecahedron, sharing pairwise a C₃-subgroup.

We notice that, using Theorem 5.2, not all the graphs are connected. In particular, the $[{\cal D}_{10}]$ - and the $[{\cal D}_6]$ -graphs are made up of six connected components, whereas the C₃- and the C₂-graphs consist of two connected components. With GAP, we implemented a breadth-first search algorithm (Foulds, 1992), which starts from a vertex i and then `scans' for all the vertices connected to it, which allows us to find the connected components of a given $[{\cal G}]$ -graph (see Appendix C). We find that each connected component of the $[{\cal D}_{10}]$ - and $[{\cal D}_6]$ -graphs is made up of 32 vertices, while for the C₃- and C₂-graphs each component consists of 96 vertices. For all other subgroups, the corresponding $[{\cal G}]$ -graph is connected and the connected component contains trivially 192 vertices.

We now consider in more detail the case when $[{\cal G}]$ is a maximal subgroup of $[{\cal I}]$ . Let $[{\cal H} \in {\cal C}_{B_6}(\hat{{\cal I}})]$ and let us consider its vertex star in the corresponding $[{\cal G}]$ -graph, i.e.

$[V({\cal H}): = \{ {\cal K} \in {\cal C}_{B_6}(\hat{{\cal I}}): {\cal K} \, {\rm is \, adjacent\, to} \, {\cal H} \}. \eqno (15)]$

A comparison of Tables 5 and 6 shows that $[d_{{\cal G}} = n_{{\cal G}}]$ [i.e. the number of subgroups isomorphic to $[{\cal G}]$ in $[{\cal I}]$ , cf. equation (14)] and therefore, since the graph is regular, $[|V({\cal H})| = d_{{\cal G}} = n_{{\cal G}}]$ . This suggests that there is a one-to-one correspondence between elements of the vertex star of $[{\cal H}]$ and subgroups of $[{\cal H}]$ isomorphic to $[{\cal G}]$ ; in other words, if we fix any subgroup P of $[{\cal H}]$ isomorphic to $[{\cal G}]$ , then P `connects' $[{\cal H}]$ with exactly another representation $[{\cal K}]$ . We thus have the following:

Proposition 5.3

Let $[{\cal G}]$ be a maximal subgroup of $[{\cal I}]$ . Then for every $[P \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ there exist exactly two crystallographic representations of $[{\cal I}]$ , $[{\cal H}_1, {\cal H}_2 \in {\cal C}_{B_6}(\hat{{\cal I}})]$ , such that P = $[{\cal H}_1 \cap {\cal H}_2]$ .

In order to prove it, we first need the following lemma:

Lemma 5.3

Let $[{\cal G}]$ be a maximal subgroup of $[{\cal I}]$ . Then the corresponding $[{\cal G}]$ -graph is triangle-free, i.e. it has no circuits of length three.

Proof

Let $[A_{{\cal G}}]$ be the adjacency matrix of the $[{\cal G}]$ -graph. By Theorem 5.1, its third power $[A_{{\cal G}}^3]$ determines the number of walks of length three, and in particular its diagonal entries, $[(A^3_{{\cal G}})_{ii}]$ , for $[i = 1, \ldots, 192]$ , correspond to the number of triangular circuits starting and ending in vertex i. A direct computation shows that $[(A^3_{{\cal G}})_{ii} = 0]$ , for all i, thus implying the non-existence of triangular circuits in the graph.

□

Proof of Proposition 5.3

If $[P \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ , then, using Lemma 5.2, there exists $[{\cal H}_1 \in {\cal C}_{B_6}(\hat{{\cal I}})]$ such that P is a subgroup of $[{\cal H}_1]$ . Let us consider the vertex star $[V({\cal H}_1)]$ . We have $[|V({\cal H}_1)| = d_{{\cal G}}]$ ; we call its elements $[{\cal H}_2, \ldots, {\cal H}_{d_{{\cal G}}+1}]$ . Let us suppose that P is not a subgroup of any $[{\cal H}_j]$ , for $[j = 2, \ldots, d_{{\cal G}}+1]$ . This implies that P does not connect $[{\cal H}_1]$ with any of these $[{\cal H}_j]$ . However, since $[{\cal H}_1]$ has exactly $[n_{{\cal G}}]$ different subgroups isomorphic to $[{\cal G}]$ , then at least two vertices in the vertex star, say $[{\cal H}_2]$ and $[{\cal H}_3]$ , are connected by the same subgroup isomorphic to $[{\cal G}]$ , which we denote by Q. Therefore we have

$[Q = {\cal H}_1 \cap {\cal H}_2, Q = {\cal H}_1 \cap {\cal H}_3 \Rightarrow Q = {\cal H}_2 \cap {\cal H}_3.]$

This implies that $[{\cal H}_1]$ , $[{\cal H}_2]$ and $[{\cal H}_3]$ form a triangular circuit in the graph, which is a contradiction due to Lemma 5.3, hence the result is proved.

□

It is noteworthy that the situation in B₆⁺ is different. If we denote by X₁ and X₂ the two disjoint classes of crystallographic representations of $[{\cal I}]$ in B₆⁺ [cf. equation (13)], we can build, in the same way as described before, the $[{\cal G}]$ -graphs for X₁ and X₂, for $[{\cal G} = {\cal T}, {\cal D}_{10}]$ and $[{\cal D}_6]$ . The result is that the adjacency matrices of all these six graphs are the null matrix of dimension 96. This implies that these graphs have no edges, and so the representations in each class do not share any maximal subgroup of $[{\cal I}]$ . As a consequence, we have the following:

Proposition 5.4

Let $[{\cal H},{\cal K} \in {\cal C}_{B_6}(\hat{{\cal I}})]$ be two crystallographic representations of $[{\cal I}]$ , and $[P = {\cal H} \cap {\cal K}]$ , $[P \in {\cal C}_{B_6}({\cal K}_{{\cal G}})]$ , where $[{\cal G}]$ is a maximal subgroup of $[{\cal I}]$ . Then $[{\cal H}]$ and $[{\cal K}]$ are not conjugated in B₆⁺. In other words, the elements of B₆ which conjugate $[{\cal H}]$ with $[{\cal K}]$ are matrices with determinant equal to −1.

We conclude by showing a computational method which combines the result of Propositions 4.1 and 5.2. We first recall the following:

Definition 5.1

Let H be a subgroup of a group G. The normaliser of H in G is given by

$[N_G(H): = \{ g \in G: gHg^{-1} = H \}.]$

Corollary 5.1

Let $[{\cal H}]$ and $[{\cal K}]$ be two crystallographic representations of $[{\cal I}]$ in B₆ and $[P \in {\cal C}({\cal K}_{{\cal G}})]$ such that $[P = {\cal H} \cap {\cal K}]$ . Let

$[A_{{\cal H},{\cal K}} = \{ M \in B_6: M{\cal H} M^{-1} = {\cal K} \}]$

be the set of all the elements of B₆ which conjugate $[{\cal H}]$ with $[{\cal K}]$ and let N_B₆(P) be the normaliser of P in B₆. We have

$[A_{{\cal H},{\cal K}} \cap N_{B_{6}}(H) \neq {\emptyset}.]$

In other words, it is possible to find a nontrivial element $[M \in B_6]$ in the normaliser of P in B₆ which conjugates $[{\cal H}]$ with $[{\cal K}]$ .

Proof

Let us suppose $[A_{{\cal H},{\cal K}} \cap N_{B_6}(H) = \emptyset]$ . Then $[M P M^{-1} \neq P]$ , for all $[M \in A_{{\cal H},{\cal K}}]$ . This implies, since $[M {\cal H} M^{-1} = {\cal K}]$ , that P is not a subgroup of $[{\cal K}]$ , which is a contradiction.

□

We give now an explicit example. We consider the representation $[\hat{{\cal I}}]$ as in equation (12), and its subgroup $[{\cal K}_{{\cal D}_{10}}]$ (the explicit form is given in Appendix B). With GAP, we find the other representation $[{\cal H}_0 \in {\cal C}(\hat{{\cal I}})]$ such that $[{\cal K}_{{\cal D}_{10}} = \hat{{\cal I}} \cap {\cal H}_0]$ . Its explicit form is given by

$[{\cal H}_0 = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & \kern-6.5pt -1 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & \kern-6.5pt-1 & 0 & 0 & 0 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr \kern-6.5pt-1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 0 & \kern-6.5pt-1}, \quad \pmatrix { 0 & 0 & 0 & 0 & \kern-6.5pt-1 & 0 \cr 0 & 0 & \kern-6.5pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 0 & 1\cr 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & \kern-6.5pt-1 & 0 & 0 \cr 0 & \kern-6.5pt-1 & 0 & 0 & 0 & 0} \Bigg\rangle.]$

A direct computation shows that the matrix

$[M = \pmatrix { 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & \kern-6.5pt -1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & 0 & 0 & 1 & 0 \cr 0 & 0 & 0 & 0 & 0 & 1}]$

belongs to $[N_{B_6}({\cal K}_{{\cal D}_{10}})]$ and conjugate $[\hat{{\cal I}}]$ with $[{\cal H}_0]$ . Note that det M = -1.

6. Conclusions

In this work we explored the subgroup structure of the hyperoctahedral group in six dimensions. In particular we found the class of the crystallographic representations of the icosahedral group, whose size is 192. Any such representation, together with its corresponding projection operator $[\pi^{\parallel}]$ , can be chosen to construct icosahedral quasicrystals via the cut-and-project method. We then studied in detail the subgroup structure of this class. For this, we proposed a method based on spectral graph theory and introduced the concept of $[{\cal G}]$ -graph, for a subgroup $[{\cal G}]$ of the icosahedral group. This allowed us to study the intersection and the subgroups shared by different representations. We have shown that, if we fix any representation $[{\cal H}]$ in the class and a maximal subgroup P of $[{\cal H}]$ , then there exists exactly one other representation $[{\cal K}]$ in the class such that $[P = {\cal H} \cap {\cal K}]$ . As explained in the Introduction, this can be used to describe transitions which keep intermediate symmetry encoded by P. In particular, this result implies in this context that a transition from a structure arising from $[{\cal H}]$ via projection will result in a structure obtainable for $[{\cal K}]$ via projection if the transition has intermediate symmetry described by P. Therefore, this setting is the starting point to analyse structural transitions between icosahedral quasicrystals, following the methods proposed in Kramer (1987), Katz (1989) and Indelicato et al. (2012), which we are planning to address in a forthcoming publication.

These mathematical tools also have many applications in other areas. A prominent example is virology. Viruses package their genomic material into protein containers with regular structures that can be modelled via lattices and group theory. Structural transitions of these containers, which involve rearrangements of the protein lattices, are important in rendering certain classes of viruses infective. As shown in Indelicato et al. (2011), such structural transitions can be modelled using projections of six-dimensional icosahedral lattices and their symmetry properties. The results derived here therefore have a direct application to this scenario, and the information on the subgroup structure of the class of crystallographic representations of the icosahedral group and their intersections provides information on the symmetries of the capsid during the transition.

APPENDIX A

In order to render this paper self-contained, we provide the character tables of the subgroups of the icosahedral group, following Artin (1991), Fulton & Harris (1991) and Jones (1990 ).

Tetrahedral group $[{\cal T}]$ [ $[\omega = \exp(2\pi i/3)]$ ]:

Dihedral group $[{\cal D}_{10}]$ :

Dihedral group $[{\cal D}_{6}]$ (isomorphic to the symmetric group S₃):

Cyclic group C₅ [ $[\epsilon = \exp(2\pi i/5)]$ ]:

Dihedral group D₄ (the Klein Four Group):

Cyclic group C₃ [ $[\omega = \exp(2\pi i/3)]$ ]:

Cyclic group C₂:

APPENDIX B

Here we show the explicit forms of $[{\cal K}_{{\cal G}}]$ , the representations in B₆ of the subgroups of $[{\cal I}]$ , together with their decompositions in $[GL(6,{\bb R})]$ .

$[{\cal K}_{{\cal T}} = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 0 & 1 & 0 \cr 0 & 0 & \kern-6pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & \kern-6pt-1 & 0 & 0 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0}, \quad \pmatrix { 0 & 1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & \kern-6pt-1 & 0 & 0 \cr 0 & 0 & 0 & 0 & 0 & \kern-6pt-1 \cr \kern-6pt-1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & \kern-6.5pt-1 & 0} \Bigg\rangle,]$

$[{\cal K}_{{\cal D}_{10}} = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & 0 & -1 \cr 0 & \kern-6pt-1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & 1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & \kern-6pt-1 & 0 \cr \kern-6pt-1 & 0 & 0 & 0 & 0 & 0}, \quad \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & \kern-6pt-1 & 0 \cr \kern-6pt-1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & 1 & 0 & 0 & 0} \Bigg\rangle,]$

$[{\cal K}_{{\cal D}_{6}} = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & 0 & \kern-6pt-1 \cr 0 & \kern-6pt-1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & 1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & \kern-6pt-1 & 0 \cr \kern-6pt-1 & 0 & 0 & 0 & 0 & 0}, \quad \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & \kern-6pt-1 & 0 & 0 & 0 & 0 \cr 0 & 0 & \kern-6pt-1 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 1 & 0}\Bigg\rangle,]$

$[{\cal K}_{C_5} = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & \kern-6pt-1 & 0 \cr \kern-6pt-1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & 1 & 0 & 0 & 0} \Bigg\rangle,]$

$[{\cal K}_{{\cal D}_{4}} = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & 0 & \kern-6pt-1 \cr 0 & \kern-6pt-1 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & 0 & 1 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & \kern-6pt-1 & 0 \cr \kern-6pt-1 & 0 & 0 & 0 & 0 & 0}, \quad \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 0 & 1 & 0 \cr 0 & 0 & \kern-6pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & \kern-6pt-1 & 0 & 0 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0} \Bigg\rangle.]$

$[{\cal K}_{C_3} = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 1 & 0 & 0 \cr 0 & -1 & 0 & 0 & 0 & 0 \cr 0 & 0 & \kern-6pt-1 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0 \cr 0 & 0 & 0 & 0 & 1 & 0} \Bigg\rangle,]$

$[{\cal K}_{C_2} = \Bigg\langle \pmatrix { 0 & 0 & 0 & 0 & 0 & 1 \cr 0 & 0 & 0 & 0 & 1 & 0 \cr 0 & 0 & \kern-6pt-1 & 0 & 0 & 0 \cr 0 & 0 & 0 & \kern-6pt-1 & 0 & 0 \cr 0 & 1 & 0 & 0 & 0 & 0 \cr 1 & 0 & 0 & 0 & 0 & 0} \Bigg\rangle.]$

$[{\cal K}_{{\cal T}} \simeq 2T, {\cal K}_{{\cal D}_{10}} \simeq 2A_2 \oplus E_1 \oplus E_2, \ {\cal K}_{{\cal D}_6} \simeq 2A_2 \oplus 2E, {\cal K}_{{\cal C}_5} \simeq 2A \oplus E_1 \oplus E_2,]$

$[{\cal K}_{{\cal D}_4} \simeq 2B_1 \oplus 2B_2 \oplus 2B_3, {\cal K}_{{\cal C}_3} \simeq 2A \oplus 2E, {\cal K}_{{\cal C}_2} \simeq 2A \oplus 4B.]$

APPENDIX C

In this Appendix we show our algorithms, which have been implemented in GAP and used in various sections of the paper. We list them with a number from 1 to 5.

Algorithm 1 (Fig. 2): Classification of the crystallographic representations of $[{\cal I}]$ (see §4). The algorithm carries out steps 1–4 used to prove Proposition 4.1. In the GAP computation, the class $[{\cal C}_{B_6}(\hat{{\cal I}})]$ is indicated as CB6s60. Its size is 192.

Figure 2
Algorithm 1.

Algorithm 2 (Fig. 3): Computation of the vertex star of a given vertex i in the $[{\cal G}]$ -graphs. In the following, H stands for the class $[{\cal C}_{B_6}(\hat{{\cal I}})]$ of the crystallographic representations of $[{\cal I}]$ , $[i \in \{1, \ldots, 192 \}]$ denotes a vertex in the $[{\cal G}]$ -graph corresponding to the representation H[i] and n stands for the size of $[{\cal G}]$ : we can use the size instead of the explicit form of the subgroup since, in the case of the icosahedral group, all the non isomorphic subgroups have different sizes.

Figure 3
Algorithm 2.

Algorithm 3 (Fig. 4): Computation of the adjacency matrix of the $[{\cal G}]$ -graph.

Figure 4
Algorithm 3.

Algorithm 4 (Fig. 5): This algorithm carries out a breadth-first search strategy for the computation of the connected component of a given vertex i of the $[{\cal G}]$ -graph.

Figure 5
Algorithm 4.

Algorithm 5 (Fig. 6): Computation of all connected components of a $[{\cal G}]$ -graph.

Figure 6
Algorithm 5.

Acknowledgements

We would like to thank Silvia Steila, Pierre-Philippe Dechant, Paolo Cermelli and Giuliana Indelicato for useful discussions, and Paolo Barbero and Alessandro Marchino for technical help. ECD thanks the Leverhulme Trust for an Early Career Fellowship (ECF-2013-019) and the EPSRC for funding (EP/K02828671).

References

Artin, M. (1991). Algebra. New York: Prentice Hall. Google Scholar
Baake, M. (1984). J. Math. Phys. 25, 3171–3182. CrossRef Web of Science Google Scholar
Baake, M. & Grimm, U. (2013). Aperiodic Order, Vol. 1. Cambridge University Press. Google Scholar
Cvetkovic, D., Doob, M. & Sachs, H. (1995). Spectra of Graphs. Heidelberg, Leipzig: Johann Ambrosius Barth. Google Scholar
Foulds, L. (1992). Graph Theory Applications. New York: Springer-Verlag. Google Scholar
Fulton, W. & Harris, J. (1991). Representation Theory: A First Course. Springer-Verlag. Google Scholar
Horn, R. & Johnson, C. (1985). Matrix Analysis. Cambridge University Press. Google Scholar
Hoyle, R. (2004). Physica D, 191, 261–281. Web of Science CrossRef Google Scholar
Humphreys, J. (1990). Reflection Groups and Coxeter Groups. Cambridge University Press. Google Scholar
Humphreys, J. (1996). A Course in Group Theory. Oxford University Press. Google Scholar
Indelicato, G., Cermelli, P., Salthouse, D., Racca, S., Zanzotto, G. & Twarock, R. (2011). J. Math. Biol. 64, 745–773. Web of Science CrossRef PubMed Google Scholar
Indelicato, G., Keef, T., Cermelli, P., Salthouse, D., Twarock, R. & Zanzotto, G. (2012). Proc. R. Soc. A, 468, 1452–1471. Web of Science CrossRef Google Scholar
Janusz, G. & Rotman, J. (1982). Am. Math. Mon. 89, 407–410. CrossRef Web of Science Google Scholar
Jones, H. (1990). Groups, Representations and Physics. Institute of Physics Publishing. Google Scholar
Katz, A. (1989). In Introduction to the Mathematics of Quasicrystals, edited by M. Jarić. New York: Academic Press. Google Scholar
Kramer, P. (1987). Acta Cryst. A43, 486–489. CrossRef Web of Science IUCr Journals Google Scholar
Kramer, P. & Haase, R. (1989). In Introduction to the Mathematics of Quasicrystals, edited by M. Jarić. New York: Academic Press. Google Scholar
Kramer, P. & Zeidler, D. (1989). Acta Cryst. A45, 524–533. CrossRef CAS Web of Science IUCr Journals Google Scholar
Levitov, L. & Rhyner, J. (1988). J. Phys. France, 49, 1835–1849. CrossRef CAS Web of Science Google Scholar
Moody, R. (2000). In From Quasicrystals to More Complex Systems, edited by F. Axel, F. Dénoyer & J. P. Gazeau. Springer-Verlag. Google Scholar
Pitteri, M. & Zanzotto, G. (2002). Continuum Models for Phase Transitions and Twinning in Crystals. London: CRC/Chapman and Hall. Google Scholar
Senechal, M. (1995). Quasicrystals and Geometry. Cambridge University Press. Google Scholar
Soicher, L. (2006). Oberwolfach Rep. 3, 1809–1811. Report 30/2006. Google Scholar
Steurer, W. (2004). Z. Kristallogr. 219, 391–446. Web of Science CrossRef CAS Google Scholar
The GAP Group (2013). GAP – Groups, Algorithms, and Programming, Version 4.7.2. https://www.gap-system.org. Google Scholar
Zappa, E., Indelicato, G., Albano, A. & Cermelli, P. (2013). Int. J. Non-Linear Mech. 56, 71–78. Web of Science CrossRef Google Scholar

This is an open-access article distributed under the terms of the Creative Commons Attribution (CC-BY) Licence, which permits unrestricted use, distribution, and reproduction in any medium, provided the original authors and source are cited.

FOUNDATIONS
ADVANCES

ISSN: 2053-2733

Volume 70| Part 5| September 2014| Pages 417-428

https://doi.org/10.1107/S2053273314007712

Open

access

Format		BIBTeX
		EndNote
		RefMan
		Refer
		Medline
		CIF
		SGML
		Plain Text
		Text

Format		BIBTeX
		EndNote
		RefMan
		Refer
		Medline
		CIF
		SGML
		Plain Text
		Text

Search IUCr Journals		doi		Advanced search
Author		volume	page

research papers\(\def\hfill{\hskip 5em}\def\hfil{\hskip 3em}\def\eqno#1{\hfil {#1}}\)

On the subgroup structure of the hyperoctahedral group in six dimensions

1. Introduction

2. Lattices and noncrystallographic groups

Definition 2.1

3. Six-dimensional icosahedral lattices

3.1. Projection operators

4. Crystallographic representations of

4.1. Representations of the hyperoctahedral group B6

4.2. Classification

Definition 4.1

Proposition 4.1

Corollary 4.1

4.3. Projection into the three-dimensional space

5. Subgroup structure

5.1. Subgroups of the crystallographic representations of

Lemma 5.1

Proof

Lemma 5.2

Proof

5.2. Some basic results of graph theory and their spectra

Theorem 5.1

Theorem 5.2

5.3. Applications to the subgroup structure

Proposition 5.1

Proposition 5.2

Proposition 5.3

Lemma 5.3

Proof

Proof of Proposition 5.3

Proposition 5.4

Definition 5.1

Corollary 5.1

Proof

6. Conclusions

APPENDIX A

APPENDIX B

APPENDIX C

Acknowledgements

References

research papers

4. Crystallographic representations of $[{\cal I}]$

4.1. Representations of the hyperoctahedral group B₆

5.1. Subgroups of the crystallographic representations of $[{\bf \cal I}]$