electronic reprint
Acta Crystallographica Section A Foundations of Crystallography ISSN 0108-7673 Editor: D. Schwarzenbach
Towards a classification of icosahedral viruses in terms of indexed polyhedra A. Janner
Copyright © International Union of Crystallography
Author(s) of this paper may load this reprint on their own web site provided that this cover page is retained. Republication of this article or its storage in electronic databases or the like is not permitted without prior permission in writing from the IUCr.
Acta Cryst. (2006). A62, 319–330 A. Janner ¯ Icosahedral viruses research papers
Acta Crystallographica Section A Foundations of Towards a classification of icosahedral viruses in Crystallography terms of indexed polyhedra ISSN 0108-7673 A. Janner Received 18 April 2006 Accepted 10 June 2006 Theoretical Physics, Radboud University Nijmegen, Toernooiveld 1, NL-6525 ED Nijmegen, The Netherlands. Correspondence e-mail: [email protected]
The standard Caspar & Klug classification of icosahedral viruses by means of triangulation numbers and the more recent novel characterization of Twarock leading to a Penrose-like tessellation of the capsid of viruses not obeying the Caspar–Klug rules can be obtained as a special case in a new approach to the morphology of icosahedral viruses. Considered are polyhedra with icosahedral symmetry and rational indices. The law of rational indices, fundamental for crystals, implies vertices at points of a lattice (here icosahedral). In the present approach, in addition to the rotations of the icosahedral group 235, crystallographic scalings play an important roˆle. Crystallographic means that the scalings leave the icosahedral lattice invariant or transform it to a sublattice (or to a superlattice). The combination of the rotations with these scalings (linear, planar and radial) permits edge, face and vertex decoration of the polyhedra. In the last case, satellite polyhedra are attached to the vertices of a central polyhedron, the whole being generated by the icosahedral group from a finite set of points with integer indices. Three viruses with a polyhedral enclosing form given by an icosahedron, a dodecahedron and a triacontahedron, # 2006 International Union of Crystallography respectively, are presented as illustration. Their cores share the same Printed in Great Britain – all rights reserved polyhedron as the capsid, both being in a crystallographic scaling relation.
1. Introduction which are the components of the position vector with respect to a lattice basis. In the celebrated paper of 1962, Physical principles in the The diffraction pattern of icosahedral quasicrystals revealed construction of regular viruses, Caspar & Klug (1962) formu- a new crystallographic symmetry: scaling invariance.The lated the principles of virus architecture. Inspired by crystal- positions of the Bragg spots were invariant with respectpffiffiffi to a lography (‘virus assembly is like crystallization’), they derive scaling by a factor (or of 3), where is ð1 þ 5Þ=2, the polyhedra with icosahedral symmetry by folding a honeycomb golden mean (Elser, 1985). In general, a crystallographic net and substituting a number of hexagons with pentagons, scaling expressed in the basis of a lattice is represented by an like in the Fuller geodesic dome. The two-dimensional crys- invertible matrix of infinite order with rational coefficients. By tallographic condition for the position of the pentagons in the applying crystallographic scalings to the vertices of an icosa- hexagonal lattice allowed a classification of the capsid of many hedron, one gets a whole variety of forms with vertices at icosahedral viruses. The incompatibility of the icosahedral icosahedral lattice points. The Caspar–Klug configurations are symmetry with three-dimensional crystallography was included as a special case. It is then possible to express the compensated by replacing strict equivalence by quasi- Euclidean quasi-equivalence as equivalence by scale-rota- equivalence. In 1984, the discovery of icosahedral quasicrystals tional transformations. These allow one to relate points situ- (Shechtman et al., 1984) promoted an alternative crystal- ated at different radial distances. The structural relevance of lographic characterization based on the embedding of the crystallographic scale rotations in biomacromolecules has structure in a six-dimensional Euclidean space, where a lattice already been demonstrated for enclosing forms of axial- with icosahedral symmetry is possible. Equivalently, one can symmetric proteins (Janner, 2005a,b,c) and indexed forms of consider the projection of this lattice in the three-dimensional morphological units (monomers, dimers, trimers, pentamers, space defined by the integral linear combinations of the hexamers and 60mers) in the capsid of the icosahedral vectors pointing to the six non-aligned vertices of an icosa- rhinoviruses (Janner, 2006a). hedron and also denoted icosahedral lattice. In both cases, a The aim of the present paper is to get a first insight into the lattice point is labeled by a set of six integers called indices, possible icosahedral forms given by points equivalent under
Acta Cryst. (2006). A62, 319–330 doi:10.1107/S0108767306022227 319 electronic reprint research papers
0 1 scale-rotational transformations with rational entries. Even- 100000 B C tually, one then gets a classification scheme for icosahedral B 000001C B C viruses in terms of polyhedral forms with vertices indexed by B C B 010000C rational numbers. One should also be able to apply this 5ðaÞ¼R ðaÞ¼B C; 5 B 001000C geometric knowledge to a symmetry-adapted characterization B C of more complex viruses than the rhinovirus. @ 000100A 000010 0 1 001000 B C B 100000C 2. Definitions and notation B C B 010000C B C; Considered are the six vectors a ; a ; ...; a pointing from the 3ðaÞ¼R3ðaÞ¼B C ð7Þ 1 2 6 B 0000110 C B C center to the non-aligned vertices of an icosahedron. This set @ A is linearly independent of the rationals Q, therefore of the 000001 Z ¼f ; ; ...; g 000100 integers as well, and forms a basis a a1 a2 a6 of 0 1 dimension 3 and rank 6. The integral linear combinations of 000100 B C the ai define the points of an icosahedral lattice with basis a: B 0 110000C B C Pi¼6 B 000010C Z : B C: ico ¼ niai ni 2 ð1Þ 2zðaÞ¼R2ðaÞ¼B C ¼ B 100000C i 1 B C @ A In the orthonormal basis e ¼fe ; e ; e g, the basis vectors a 001000 1 2 3 i can be chosen as 000001 ; ; ; a1 ¼ a0ðe1 þ e3Þ a2 ¼ a0ð e1 þ e2Þ a3 ¼ a0ð e2 þ e3Þ ; ; ; a4 ¼ a0ð e1 þ e3Þ a5 ¼ a0ð e2 þ e3Þ a6 ¼ a0ð e1 e2Þ A three-dimensional scaling S with scaling factor trans- ð2Þ forms by -multiplication all the components of a vector. A one-dimensional scaling Sb; scales by the components where ap0 ffiffiffi is the icosahedral lattice parameter and parallel to the given vector b and leaves invariant the = ¼ð1 þ 5Þ 2. In addition, the -cubic basis perpendicular components. For a two-dimensional scaling c ¼fc ; c ; ...; c g, also of dimension 3 and rank 6 on Q,is 1 2 6 S?b; it is the other way round: the parallel components are left defined by invariant and the perpendicular ones are scaled by . Indi- c ¼ c e ; c ¼ c e ; i ¼ 1; 2; 3; ð3Þ cating by rk and r? the parallel and perpendicular components i 0 i iþ3 0 i ; of r with respect to b (r ¼ rk þ r? r?b ¼ 0Þ, one gets the with cubic parameter c0. The components of a vector r with relations respect to the bases e, a and c, respectively, are indicated as ; ; ...... : r ¼ðx y zÞe ¼½n1n2 n6 a ¼½m1m2 m6 c ð4Þ ; ; : S r ¼ r Sb; r ¼ rk þ r? S?b; r ¼ rk þ r? ð8Þ In what follows, the labels e and a are omitted. The indices of a point are the components of its position vector r with respect to a given lattice basis. In this paper, the This implies icosahedral indices of a point are considered as the ones in the basis a and a point is identified with its position vector: S ¼ S S : ð9Þ ... : b; ?b; P ¼½n1n2 n6 ð5Þ Points with rational indices are indicated in this way because With b ¼ e and X ¼ S ; , Y ¼ S ; and Z ¼ S ; , one has: their indices are uniquely determined. After multiplication by i e1 e2 e3 a constant factor, rational indices can be converted into integral ones. ; ; ; ; ; ; ; ; ; ; The icosahedral group K ¼ 235 is the group of (proper) S ðx y zÞ¼ð x y zÞ X ðx y zÞ¼ð x y zÞ 1 rotations leaving the icosahedron invariant. It is defined by S X ðx; y; zÞ¼ðx; y; zÞ¼Y Z ðx; y; zÞ: ; 5 3 2 : ð10Þ 235 ¼fR5 R3 j R5 ¼ R3 ¼ðR5 R3Þ ¼ 1g ð6Þ
Chosen for R5 is the fivefold rotation around a1 and for R3 the threefold rotation around a1 þ a2 þ a3. The twofold rotation In the icosahedral basis a, the scaling transformations S and 2 1 around e3 is given by R5R3R5 . In the basis a, these rotations X are represented by six-dimensional invertible matrices with have a six-dimensional integer matrix representation: rational coefficients:
320 A. Janner Icosahedral viruses Acta Cryst. (2006). A62, 319–330 electronic reprint research papers
0 1 111111 hexagonal faces, 60 vertices and 90 edges. It corresponds to a B C B 1111 111 C Fuller polyhedron. B C B C 1 B 11111 1 C S ðaÞ¼ B C; 2 B 1 11111 1 C B C @ 1 1 11111 A 3. Fractional and golden icosahedral scalings 111 1111 Fractional icosahedral crystallographic scalings are scaling 0 1 ð11Þ 110101 transformations (one-dimensional, two-dimensional and B C three-dimensional in the three-dimensional space) with a B 1201100 C B C fractional scaling factor and represented with respect to the B C 1 B 002000C icosahedral lattice basis a by invertible matrices with rational X ðaÞ¼ B C: 2 B 1 11010 1 C coefficients. The golden ones have a power of as scaling B C @ 000020A factor. 1001102 3.1. Radial scalings (three-dimensional)
In addition to the scaling S with scaling factor already indicated, the multiplication of vector components by a frac- S , X , Y and Z leave invariant the set of all points with tional number m=n is trivially a three-dimensional rational rational icosahedral indices. After multiplication by 2, these scaling. It is represented by the unit matrix multiplied by m=n: matrices become integral and transform integer indices into m integer indices. This situation is generalized to rational icosa- S = ðaÞ¼ 11; m; n 2 Z; n 6¼ 0: ð12Þ m n n hedral scalings with an integer factor f0, where f0 is the smallest integer factor that transforms the rational matrix into one with The integer factor is in this case f0 ¼ n. integer entries. The icosahedral forms considered are given in terms of a set 3.2. Linear scalings (one-dimensional) of points with rational indices and icosahedral symmetry. The The one-dimensional scaling X indicated in the previous icosahedral polyhedral forms represent the special case where section in the orientation fixed by the a basis is along a twofold the given points are at the vertices of the polyhedron. The axis of the icosahedron. The corresponding fractional scaling other forms are decorated polyhedral forms of various types: Xm=n has in the -cubic c basis a very simple diagonal matrix with face, edge or vertex decoration. The last case is repre- representation. The one in the basis a follows directly: sented by the protuberances observed in non-enveloped 0 1 m þ n 00 m þ n 00 viruses, as in the case of the adenovirus (Stewart et al., 1991), B C B 0 m þ n 000m n C or of the spiroplasma virus (Chipman et al., 1998). One can B C 1 B 002n 000C; restrict the considerations to points with integer indices and Xm=nðaÞ¼ B C 2n B m þ n 00m þ n 00C specify the form in terms of generators. The generators are @ 00002n 0 A icosahedral inequivalent points which generate the whole 0 m n 000m þ n form by applying the icosahedral group. It is convenient to ð13Þ indicate by ðVEFÞ the number V of vertices, E of edges and F of faces of a polyhedral form. These integers satisfy the Euler with m; n 2 Z; n 6¼ 0. relation V E þ F ¼ 2. Linear scalings by and by m=n, respectively, are rational in Examples of important icosahedral polyhedral forms the icosahedral basis a. generated from one or two points with integer entries are: In the case of a linear scaling along the fivefold axis, a1 is Icosahedron: I = {235 [100000]} with (12 30 20) is generated chosen as the scaling direction left invariant by the rotation R5 from a1 by 235 and has 12 vertices, 30 edges and 20 triangular which permutes cyclically the other basis vectors: faces. R : a ! a ; a ! a ! a ! a ! a ! a : ð14Þ Dodecahedron: D = {235 [111000]} with (20 30 12) is 5 1 1 2 3 4 5 6 2 generated from a1 þ a2 þ a3 and has 20 vertices, 30 edges and The scaling is fixed by the transformations of the basis vectors 12 pentagonal faces. decomposed into their parallel and perpendicular components ; ; ...; Icosidodecahedron: ID = {235 [110000]} with (30 60 32) has with respect to a1. The parallel components of a2 a3 a6 20 triangular faces and 12 pentagonal ones (Coxeter, 1963). are all equal: Triacontahedron: TR = {235 [200000], ½1111111 } (32 60 30) a ¼ 1 ða þ a þ ...þ a Þ¼1 ½011111 ; i ¼ 2; ...; 6: ð15Þ has 30 rhombic faces, 12 icosahedral and 20 dodecahedral ik 5 2 3 6 5 vertices. Discovered by Kepler, it is the projection in three The perpendicular components follow from ai? ¼ ai aik.For S ; , one has dimensions of a six-dimensional cube. a1 Truncated icosahedron: TI = {235 [210000]} with (60 90 32) S ; a ¼ a þ a ¼ S a þ a ; i ¼ 1; ...; 6; ð16Þ is one of the Archimedean solids. It is obtained by cutting an a1 i ik i? ik i? edge-decorated icosahedron, has 12 pentagonal and 20 with S given in (11). Taking a2 as an example, one finds
Acta Cryst. (2006). A62, 319–330 A. Janner Icosahedral viruses 321 electronic reprint research papers
1 1 1 S ; ½010000 ¼ ½511111 þ ½041111 ¼ ½591111 : ð17Þ and leaves the two vectors a þ a þ a and a a þ a a1 10 5 10 1 2 3 4 5 6 invariant. Both are along the threefold axis chosen. The The transformation of the other basis vectors follows by cyclic parallel components then follow: permutation. One gets 1 ; a k ¼ a k ¼ a k ¼ ½111000 0 1 1 2 3 3 ð21Þ 555555 a ¼ a ¼ a ¼ 1½0001111 : B C 4k 5k 6k 3 B 591 1 1 1 C B C 1 B 5 1191 1 1 C The remaining steps are similar to those of the fivefold case. Sa ; ðaÞ¼ B C ð18Þ 1 10 B 5 1 1191 1 C With d1 ¼½111000 , one gets @ A 0 1 5 1 1 1191 7111111 5 1 1 1 119 B C B 1711111C B C 1 B 1171111C; with the integer factor f0 ¼ 10. In a similar way, one derives Sd ; ðaÞ¼ B C ð22Þ 1 6 B 111333 C the fractional linear scaling along a : @ A 1 1 1 11333 0 1 5m 00000 1113333 B C B 0 m þ 4nm nm nm nm n C B C 0 1 1 B 0 m nmþ 4nm nm nm n C S ; = ðaÞ¼ B C m þ 2nm nm n 000 a1 m n 0 m nm nmþ 4nm nm n B C 5n B C B m nmþ 2nm n 000C @ 0 m nm nm nmþ 4nm n A B C 1 B m nm nmþ 2n 000C: Sd ;m=nðaÞ¼ B C 0 m nm nm nm nmþ 4n 1 3n B 0002m þ n m þ nm n C @ A ð19Þ 000 m þ nmþ 2n m þ n 000m n m þ n 2m þ n ; Z; ð23Þ with m n 2 n 6¼ 0 and f0 ¼ 5n. The threefold rotation R3 transforms the basis vectors ai The linear scalings along the other threefold and fivefold according to directions are obtained by conjugation with elements of the icosahedral group. Edge decoration of a polyhedral form can R : a ! a ! a ! a ; a ! a ! a ! a ; ð20Þ 3 1 2 3 1 4 6 5 4 be obtained by a linear scaling along a given edge. For
example, by applying Y1=3 to a2, one gets the edge-decorated icosahedron of Fig. 1.
3.3. Planar scalings (two-dimensional) The scalings in planes perpendicular to the twofold, three- fold and fivefold axes are obtained by a combination of radial and linear scalings, as already mentioned. So, for example, using