2

In the Wolfram definition it says

The helicoid is the only non-rotary surface which can glide along itself.1

1Steinhaus, H. Mathematical Snapshots, 3rd ed. New York: Dover, pp. 231-232, 1999.

I looked up the definition of glide, which is "A product of a reflection in a line and translation along the same line." I'm trying to picture what that would mean on the helicoid. I understand that the helicoid is the only 'ruled' minimal surface other than the plane... is it that ruled line on which the 'gliding' takes place? Is there an intuitive explanation as to what that would mean... the pictures I see of helicoid show a grid on the surface, so I'm not clear which of those orthogonal lines the gliding would be on- radially outwards or snaking downwards barber-pole style. Does gliding mean that locally it can sort of self-reflect a symmetry then break it further down the line? Finally, what would these look like on a hyperbolic helicoid, and what is the application of any of this?

uhoh
  • 1,967
Svenn
  • 428
  • 7
    I think gliding in the helicoid's case means turning it like a screw. Indeed, like you said, "snaking downwards barber-pole style". – Benjamin Wang Oct 26 '23 at 07:04
  • My impression is the same as Benjamin's, but if so "the" ruled helicoid is not unique in this regard, e.g., https://math.stackexchange.com/questions/2070121/self-sliding-surfaces. I don't have access to Steinhaus's book to get more context, however. By helicoid he may have meant any surface swept by a curve under (a one-parameter group of) helical motions of three-space. – Andrew D. Hwang Oct 26 '23 at 14:30
  • Thanks for the link, its description of glide as a ""slide" onto themselves so that you see no change." is helpful. Andrew, Wolfram seems to confirm that the ruled helicoid isn't unique in this regard, but given your link, the helicoid does seem unique in that it's the only non-rotary surface (e.g. cone, sphere, torus). Are you saying that the helicoid mentioned by Steinhaus could be different from the one given in Wolfram's definition? Is a surface swept by a 'curve' of helical motions different from the formal helicoid's sweeping of a 'line' helically? – Svenn Oct 26 '23 at 21:56
  • Just saw your comment by chance; it's necessary to put an @ before a username to send an alert to anyone but the OP. :) <> I'm not sure about your comment, i.e., what in the link suggests there is a unique non-rotary surface...? In my reading of your question, there are in essence as many "helicoidal surfaces" or "generalized helicoids" as there are plane curves. The "standard" helicoid arises from a line through a point on the "glide rotation" axis. – Andrew D. Hwang Jul 22 '24 at 21:22

1 Answers1

2

$\newcommand{\mapx}{\mathbf{x}}$tl; dr: Gliding a helicoid along itself looks like this:

Gliding a standard helicoid along itself


In plane Euclidean geometry, there are isometries called glide reflections consisting of translation along a line followed by reflection across that line. (These operations of translation and reflection commute, i.e., can be performed in either order with identical effect.) The name "glide reflection" is standard, but this transformation is unrelated to helicoids.

In Euclidean three-space, there exist "one-parameter groups" of isometries comprising simultaneous rotation at constant angular speed about a line $\ell$ (the axis) and translation at constant speed along $\ell$. Classically these are sometimes called screw motions after the simple machine, but at least since the 1960s that phrase has had rude associations in American English. These isometries might also be called helical motions or glide rotations, but I am not aware of either term being standard.

The translation speed divided by the angular speed is known as the pitch. Particularly, a helical motion of pitch zero is a rotation, and a translation may be viewed as a helical motion of infinite pitch.

A concrete way to interpret the phrase one-parameter group is, if we fix a line $\ell$ and a pitch $\kappa$, then the set of helical motions with axis $\ell$ and pitch $\kappa$ is a group under mapping composition.

Helical motion of pitch kappa

In Cartesian coordinates $(x, y, z)$, the group of helical motions with pitch $\kappa$ about the $z$-axis may be written $$ G_{\kappa}(t)(x, y, z) = (x\cos t - y\sin t, x\sin t + y\cos t, z + \kappa t). $$

<>

If $C$ is a smooth curve lying in a plane perpendicular to $\ell$, then $C$ sweeps a smooth surface under any group of helical motions with axis $\ell$ and non-zero pitch. Such a surface is known as a generalized helicoid, and $C$ is a generating curve. In a sense described below, every generalized helicoid can "slide along itself."

Without further context, the helicoid refers to a surface swept by a line perpendicular to an axis under a group of helical motions of pitch $1$. Relative to the group described above, the $x$-axis sweeps a surface parametrized by either of $$ \mapx(u, v) = (u\cos v, u\sin v, v) $$ (generating curve parametrized at unit speed) or $$ \mapx(u, v) = (\sinh u\cos v, \sinh u\sin v, v) $$ (conformal parametrization), among infinitely many other possibilities.

Without further context, Steinhaus may have meant multiple things by The helicoid is the only non-rotary surface which can glide along itself, including

  • "The helicoid" refers to arbitrary helicoidal surfaces.
  • There is some geometric hypothesis in play, unstated in the quote, that uniquely selects the "standard" helicoid.

(If $C$ is an arbitrary curve, we may sweep $C$ by a group of helical motions, and "most of the time" get a smooth surface as a result. Different authors might call $C$ a generator even if $C$ does not lie in a plane orthogonal to the axis of helical motion.)

<>

For definiteness, assume $\bigl(x(u), y(u), 0\bigr)$ parametrizes a smooth plane curve $C$. Under the group of helical motions above, $C$ sweeps a surface parametrized by $$ \mapx(u, v) = \bigl(x(u)\cos v - y(u)\sin v, x(u)\sin v + y(u)\cos v, \kappa v\bigr). $$ This surface "glides along itself" in the sense that rotating about the $z$-axis through angle $t$ and translating along the $z$-axis by $\kappa t$ maps the surface to itself for every real angle $t$. More specifically, $$ G_{\kappa}(t)\bigl(\mapx(u, v)\bigr) = \mapx(u, v + t). $$ In words, translating the parameter $v$ by $t$ has identical effect on the parametrization as glide-rotating the image through angle $t$ with pitch $\kappa$. This formula amounts to the sum formulas for $\cos$ and $\sin$.

In fancy language, this helicoidal parametrization is equivariant relative to translation in $v$ and glide rotation of three-space.

  • Wow thank you for the animation! It's going to take me some time to study your answer since there's a lot I've yet to learn.... but one thing that jumps out at me- if we were beings embedded in that gliding helicoid, i.e. if a helicoid was the shape of our universe, our locality/local area could glide and we would not perceive it/it would not be observable correct? because the glide/slide 'leaves the surface unchanged'? It's only from an outside perspective that we can see the glide- the "rotating about the z axis through angle t" as you say? – Svenn Nov 02 '24 at 02:18