creating symmetry: the artful mathematics of wallpaper...

1
Figure 24.4. A plane function invariant under the octahedral group O. Centers of the 6 faces are colored black. The 8 vertices are gray dots, marking centers of 3-fold rotational symmetry. The centers of edges—centers of half-turns—appear between two bits of cloud. Astute readers might connect the formula in (24.2) to (24.1) and realize that it amounts to requiring that −≡0(mod 4) for nonzero coefficients. This is actually how the image was created. Equation (24.2) gave us another chance to think about the technique of coset averaging. THE ICOSAHEDRAL GROUP. Felix Klein wrote an entire book about I . It is a glorious but painful object. This group can be obtained from the tetrahedral group by introducing a single 5-fold rotation with an obscure axis: the vector (, 1, 0), where = (1 + 5)/2 is the golden ratio. (Remember how this curious number popped up in our study of 5-fold symmetry in Chapter 13? It’s back!) To get the full group, we must find all compositions of this rotation with elements of T . There are 60 of them. The details will be handled in an exercise. Here, I’ll just report that this transfers to the plane as (drumroll, please) 5 () = (1 − ) + 1 + 2 5 + (1 − ) . I never would have guessed. To make functions invariant under I , we could simply average over all 60 elements. I did this to produce a surface in space, analogous to the one with tetrahedral symmetry in Figure 24.2 (right). Figure 24.5 shows how much fun this can be. But let’s move on. Let’s use coset averaging to make icosahedral functions in the plane. We start with functions invariant under T and average over the five cosets of the Figure 24.5. A sphere deformed by a function with icosahedral symmetry. 182 Chapter 24 © Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. For general queries, contact [email protected]

Upload: others

Post on 20-Jun-2020

22 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Creating Symmetry: The Artful Mathematics of Wallpaper ...assets.press.princeton.edu/images/farris/octahedral.pdfTitle: Creating Symmetry: The Artful Mathematics of Wallpaper Patterns

December 10, 2014 Time: 02:32pm chapter24.tex

Figure 24.4. A plane function invariant under the octahedral groupO. Centers of the 6faces are colored black. The 8 vertices are gray dots, marking centers of 3-fold rotationalsymmetry. The centers of edges—centers of half-turns—appear between two bits ofcloud.

Astute readers might connect the formula in (24.2) to (24.1) and realize that itamounts to requiring that < − � ≡ 0 (mod 4) for nonzero coefficients. This isactually how the image was created. Equation (24.2) gave us another chance tothink about the technique of coset averaging.

THE ICOSAHEDRAL GROUP. Felix Klein wrote an entire book about I . It isa glorious but painful object. This group can be obtained from the tetrahedralgroup by introducing a single 5-fold rotation with an obscure axis: the vector(�, 1, 0), where � = (1 + √5)/2 is the golden ratio. (Remember how this curiousnumber popped up in our study of 5-fold symmetry in Chapter 13? It’s back!) Toget the full group, we must find all compositions of this rotation with elements ofT . There are 60 of them.The details will be handled in an exercise. Here, I’ll just report that this transfers

to the plane as (drumroll, please)

-5(�) =�(1 − 6�)� + 1 + 26√5� + �(1 − 6�)

.

I never would have guessed.To make functions invariant under I , we could simply average over all 60

elements. I did this to produce a surface in space, analogous to the one withtetrahedral symmetry in Figure 24.2 (right). Figure 24.5 shows how much funthis can be. But let’s move on.Let’s use coset averaging to make icosahedral functions in the plane. We

start with functions invariant under T and average over the five cosets of theFigure 24.5. A sphere deformed by a function with

icosahedral symmetry.

182 Chapter 24

© Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher.

For general queries, contact [email protected]