Double Periodicity

Doublyscherk

Last week I explained a really complicated way to get from Scherk’s doubly periodic minimal surface to the helicoid, through a family of Schwarz Diamond surfaces. As was known already to Scherk, this can be done much easier, namely by “shearing” the standard Scherk surface above. I put apostrophes because a simple Euclidean shearing isn’t enough to keep the surface minimal.

Doublyscherkshear

Bill Meeks and Hippolyte Lazard-Holly have shown that these are the only embedded doubly periodic minimal surfaces of genus 0 (after taking the quotient by their translational periods). Things get tricky for larger genus. 

Scherk g=1

 

First of all one needs to distinguish whether the parallel half planes “on top” are parallel to the ones “at the bottom” or not. Today we stick with the case that they are not parallel, and are in fact orthogonal. Then there is just one such surface of genus 1 (I am pretty sure, but I think nobody has written a proof). This was first constructed by Hermann Karcher. It’s pretty clear (and provable) that one can continue like this, creating doubly periodic surfaces with more handles, like the genus 2 example below.

Scherk g=2

It would be a nice theorem if they all would be unique. But I don’t think so. Below is a picture of a genus 3 surface where the handles are arranged differently.

Scherk g=3 exotic

Proving that this really exists won’t be easy, but interesting, because it would allow one to speculate what will happen if one can shear this surface like the original Scherk surface.

 

Advertisements

Once Upon a Time…

This post is about a dying species, the physical book. While book sales are stagnating at best, the number of published books is exploding, meaning that fewer copies of each book are printed. How many of these will survive say a century?

DSC 0464

The lucky ones end up in the stacks of large university libraries like the Wells Library shown here. It’s like with animals: In the wild, their life expectancy is much lower than in a zoo.

DSC 0482

I grew up in five minute walking distance to a local, privately owned book store. In 15 minute biking distance were two public libraries. These days, privately owned book stores are nearly extinct, and the chains that helped kill them are struggling. Easily obtainable books in print are either classics or bestsellers.

DSC 0459

If you want that one exotic book that a friend recommended, you probably need a large library (and be able to read in another language). But they are struggling, too: Space is precious, demand low.

DSC 0467

So the aisles are emptied, the books extradited to special auxiliary library facilities, from where you can request them. The happy hours of browsing are gone.

DSC 0483

This Is Not a Helicoid

But almost. It has a vertical axis, lots of horizontal lines, and it twists.

Nothelicoid

But it is part of something bigger, a triply periodic minimal surface. 32 copies of the above piece, replicated by rotations and reflections, look like this:

Nothelicoidcopies

This surface sits in a rectangular box over a square. If you identify top and bottom edge of the original squarical helicoid, you get a doubly twisted annulus, which is intimately (confomally, that is) related to a hollow spiderweb:

D spider 01

 

 

When squeezing the height down, our non-helicoids become even more helicoidal. When pulling the height up, the helicoids disappear. What we have here is a deformation of the Diamond surface of Hermann Amandus Schwarz.

When he sees this, he will probably just nod.

One

What happens when we pull a little further? We see doubly periodic Scherk surfaces emerging, stacked on top of each other.

Triplyscherk

 

 

Gyokuro Omelet

One of most spectacular green teas from Japan is the Gyokuro (jade dew), grown in the shade.

DSC 8116

It needs to steep for 1-2 minutes in low temperature (at most 50ºC).

DSC 8117

The cup is pale yellow and tastes a little like sea weed. 

DSC 8127

The steeped leaves are very soft. 

DSC 8122

Instead of throwing them away, one can use them as a spread. I suggest a simple omelet.

DSC 8124

Here is the recipe haiku:

 

Prepare Gyokuro. Save the leaves.

Beat eggs with Ponzu sauce until smooth.

Add leaves, stir and fry.

 

DSC 8129

Line Congruences (Constant Curvature II)

That revolving a simple, mechanically generated curve, the tractrix, about an axis generates the pseudosphere, a surface of constant negative curvature, seems like one of these unavoidable accidents.Tractrix 01

The tractrix has the feature that the endpoints of its unit tangent vectors lie on a line. Thus  dragging one endpoint of a rod of length 1 will have the other endpoint trace a tractrix. More generally, whenever you have a 1-parameter family of lines in the plane, they are typically tangent to a single special curve, the caustic of the line family. Below is the caustic of the normal lines to a parabola. Paracaustic 01

In space, things get tricky. A 2-dimensional family of lines in space is called a line congruence. They also have caustics or focal sets, i.e. surfaces that are tangent to all the lines, but finding them involves a quadratic equation, so we can expect two of them. Below are the two focal sets for a hyperbolic paraboloid. It is pretty clear that line congruences are hard to visualize.

Paraboloid

Note that some of the lines are tangent to the focal sets at some point but intersect it transversally at other points.

By rotating the lines generating the tractix, we obtain a  line congruence whose two focal sets are the pseudosphere and its rotational axis. Note that the segments of the line congruence between the two focal sets have length 1. More generally, a line congruence is called pseudospherical if the segments between the focal sets have constant length, and the surface normals at corresponding points make a constant angle. Remarkably, the focal surfaces of a pseudospherical line congruence are pseudospherical, i.e. have constant negative curvature. Even better, one can start with any pseudospherical surface, pick a point and a tangent vector at that point, and extend this vector to a pseudospherical line congruence whose first focal set is the surface one starts with. This provides a recipe to produce (essentially algebraically) new pseudospherical surfaces.

 

Kuen3

The bathtub up above is Theodor Kuehn’s pseudospherical surface from 1884. It can be obtained by a line congruence from the standard pseudosphere. Below you see a portion of the pseudosphere with asymptotic lines, and hiding behind, the corresponding portion of Kuehn’s surface.

Kuen

The last image shows just the lines of the line congruence that has these two surfaces as focal sets.

Kuen congruence2

Did I say this was hard to visualize?

 

 

Patterns of Ice

After almost two weeks of deep freeze, the ice at the local creeks is making feeble attempts to melt.DSC 0248

This has resulted in patterns that are, of course completely useless.

DSC 0261

They don’t reduce unemployment, make people smarter, or cure insanity.

DSC 0266

But they don’t cause damage, and that is already something these days.

DSC 0330

Unbelievable that all this is just water.

DSC 0269

Revolution (Constant Curvature I)

One of the standard elementary surfaces is the Pseudosphere, a surface of revolution of constant negative curvature.

 

Pseudosphere

It can be parametrized using elementary function, and the profile curve is the so-called tractrix. Another elementary surface of constant negative curvature is Dini’s surface, where the tractrix is used to produce a helicoidal surface.

Dini

 

From here on, things get tricky. Other such surfaces of revolution require elliptic integrals. Here is the entire zoo (more or less):

Collage

Common to all examples is that they necessarily produce singularities. More precisely, there is no complete surface of constant negative curvature in Euclidean space. This is a famous theorem of Hilbert. At the core of the proofs I know is the behavior of the asymptotic lines

Pseudoribbon

Above is the pseudosphere with one family of these asymptotic lines, drawn as ribbons. At the equator, they become horizontal. As the second family is the mirror image of this family, at the equator their tangent vectors become linearly dependent. This shows that while the asymptotic curves exist in the northern and southern hemipseudospheres, the surface itself is singular at the equator, because, alas, on negatively curved surfaces the asymptotic directions are linearly dependent. For the general surfaces of revolution, the asymptotic lines touch both singular latitudes. The image above looks odd because our brain wants to believe that curves on a surface meet at right angles. They don’t.

Pseudoasl2One of the key features of the asymptotic lines is that they form a Chebyshev net: Opposite edges of the net quadrilaterals have the same length. Thus you can stretch a loosely knitted square mesh over this surface to keep it warm. The standard proof of Hilbert’s theorem continues to show that any net parallelogram has area bounded above by some constant. However, a simply connected complete surface of constant negative curvature has necessarily infinite area, which leads to a contradiction. This was one of the earliest global results in differential geometry.