# Miscellaneous news and sphere eversion

Before we begin, there are a few late items of news worth discussing:

• There is a free edition of Wolfram Mathematica for the Raspberry Pi, an increasingly popular versatile low-cost computer. More details are available over at The Aperiodical.
• The first round of the British Mathematical Olympiad has taken place. Marking is scheduled for the forthcoming weekend, and high scores will be published soon after. Until then, you can see the questions on Joseph Myers’ website.
• The TMS Call My Bluff (mentioned during the previous cp4space post) was won by the freshers’ team. They were winning 4-2, and James Munro gave each team a set of tangled Borromean rings as a tie-breaker (quite literally!). The non-freshers won the tie-breaker, increasing their score to 4-3. Many thanks to all who participated; it was a pleasure to host the event (and not merely because I was entitled to an excess of mince pies and port!).
• You may have noticed the recent Diwali-themed cp4space banner (thanks, by the way, to the CUHCS committee for organising an awesome celebration!). This will soon be replaced with a Saturnalia banner, then a Christmas one, and ultimately the New Year banner. Since cp4space is over a year old, these are very re-usable.

Anyway, you’re probably eagerly anticipating another cp4space article, so here goes:

### Sphere eversion

Suppose we have a circle in the plane, and wish to transform it into its reflection by a homotopy (continuous deformation). Moreover, at every point in time, the curve must be an immersion of the circle: it is allowed to smoothly self-intersect, but cannot have any cusps or singularities. Can the transformation be done?

The answer is no: we can approximate such a differentiable map by a smooth one. Then, the total curvature must be preserved during the homotopy, whereas a clockwise circle and anticlockwise circle have opposite total curvatures.

However, for a sphere in three-dimensional space, this proof fails and, remarkably, it is actually possible to evert a sphere. There’s a video explaining the problem and briefly demonstrating the solution discovered by Bill Thurston, who proved that it is possible to perturb an arbitrary homotopy to remove any singularities.