44
$\begingroup$

My professor asked us to find and make a list of things/facts from real life which have a differential geometry interpretation or justification. One example is this older question of mine. Another example my teacher presented is proving that on a soccer ball which is made of regular pentagons and regular hexagons, the number of pentagons is fixed, as a consequence of Euler's polyhedral formula. I guess that there are many more of these.

The idea is to find things/facts whose explanation is a theorem in differential geometry and eventually give a reference to a book/article where these connections are explained.

My teacher wants us to make such a list and then each to pick a subject and make a project which presents the theorem which is applied (with proof, if the proof is not too long) and then present the application itself.

Any reference or book on the subject is more than welcome.

$\endgroup$
9
  • 3
    $\begingroup$ @t.b. Yeah, I saw that thread, but it seems to me that the answers there don't give many examples. Some of them even criticize the OP for the tone and formulation of the question. $\endgroup$ Dec 6, 2011 at 18:35
  • 3
    $\begingroup$ Sure, it has a bit of history. I just wanted to mention it for the sake of completeness. $\endgroup$
    – t.b.
    Dec 6, 2011 at 18:42
  • 2
    $\begingroup$ I can't believe that a questioner would be criticized for his tone and formulation... ;) $$$$ But seriously, forks. This question is good. $\endgroup$ Dec 7, 2011 at 1:31
  • 3
    $\begingroup$ I've made it CW as this is a big list, no single right answer kind of question. $\endgroup$ Dec 7, 2011 at 4:25
  • 3
    $\begingroup$ Why did I get downvoted after putting a bounty on the question? I just want to know. $\endgroup$ Dec 9, 2011 at 20:43

13 Answers 13

56
+500
$\begingroup$

When wrapping a ball as a birthday or Christmas present, one cannot avoid the need to crease the paper. This is due to the paper having zero Gaussian curvature, and the ball having positive Gaussian curvature. (Theorema Egregium)

$\endgroup$
4
  • $\begingroup$ Very nice. This is surely a good candidate :) Thank you. $\endgroup$ Dec 6, 2011 at 18:12
  • 6
    $\begingroup$ Conversely: you can't flatten an orange peel without tearing it. $\endgroup$ Dec 7, 2011 at 0:58
  • 2
    $\begingroup$ This is related. $\endgroup$ Dec 7, 2011 at 11:12
  • $\begingroup$ Thanks @Beni! I'll still keep my eyes peeled for any more answers to your question; t.b. showed me one, but I have yet to fully flesh out the details. $\endgroup$ Dec 16, 2011 at 8:20
48
$\begingroup$

This one is especially appropriate for a class project: It's well known that if you're eating a slice of pizza and the front end sags, you're supposed to fold it lengthwise (so that the crust gets folded against itself). The reason for this is much less well known: pizza has Gaussian curvature 0, so if you create curvature in the left-right direction, it will be forced to remain straight in the lengthwise direction!

(I'm pretty sure I stole this from an old MathOverflow question.)

$\endgroup$
4
40
$\begingroup$

Differential geometry explains why your telephone cord gets knotted. Most people pick up the telephone receiver with one of their hands- WLOG with the right hand. So when they pick it up and put it down, they make a clockwise motion. This creates writhe. Writhe plus twist gives linking (this is sometimes known as Călugăreanu's Theorem), and the telephone chords gets supercoiled, and can become knotted because linking relaxes to loops, and anything passing through those loops will create trefoil knots.

Indeed, the above process, to the best of my knowledge, outlines how all knotting occurs in nature. Naturally occurring knots have high writhe- lots of trefoils and torus knots, very few Figure Eight Knots.

$\endgroup$
4
  • $\begingroup$ Great answer. Where did you get this? Is there some book about these results? $\endgroup$ Dec 9, 2011 at 12:24
  • 2
    $\begingroup$ Pohl gives the "telephone wire" example in his original paper (which is well worth reading, BTW): W. Pohl, "The self-linking number of a closed space curve", Journal of Mathematics and Mechanics <b>17</b>, 975-985, 1968. $\endgroup$ Dec 9, 2011 at 14:06
  • 19
    $\begingroup$ What's a telephone cord? :) $\endgroup$
    – KCd
    Mar 31, 2012 at 14:36
  • 2
    $\begingroup$ @KCd Have you never been to a museum? $\endgroup$ Mar 15, 2017 at 3:13
20
$\begingroup$

At any given time, there is at least one pair of antipodal points on the Earth that have exactly the same temperature and the same atmospheric pressure. This is a consequence of the "hairy ball" theorem.

$\endgroup$
4
  • $\begingroup$ Thank you. I knew a different proof for this, but using the 'hairy ball' theorem is nice. $\endgroup$ Dec 6, 2011 at 18:15
  • $\begingroup$ That's one of my favorites-I learned it in advanced ordinary differential equations. $\endgroup$ Dec 7, 2011 at 3:46
  • 28
    $\begingroup$ This is not really an application, is it? This has never been useful to anyone except people trying to covince others that differential geometry (algebraic topology, really...) is useful. $\endgroup$ Dec 9, 2011 at 22:32
  • 1
    $\begingroup$ Isn't this the Borsuk-Ulam theorem? It is a topological theorem, I think it is more related to topology than to geometry. $\endgroup$ Jun 25, 2015 at 13:21
20
$\begingroup$

In proper differential geometric notation, the fundamental equations underlying electrodynamics, namely the Maxwell's equations, take the following form:

$$dF=0,$$ $$d*F=J,$$ where $F$ is the electromagnetic field strength, $J$ is the current (for example electrons) and $*$ is the Hodge star operator. Since the first equation just says that $F\ $ is closed, and since the four dimensional spacetime topology is usually considered to be uncomplicated, by the Poincaré lemma we can introduce a 1-form $$A=\sum_{\mu=0}^3A_{\mu}dx^{\mu},$$ the electromagnetic four-potential, which satisfies $$F=dA.$$

There are many ways to go from here. I just saw that at the bottom of the Poincaré lemma wikipieda page, they elaborate more on the magnetic aspect of this. As you can see, this is the part which deals with the spatial components of $A$, i.e. the bottom three components. Therefore I think it's worth considering the other extreme here: Simple situations where $A$ has actually only one component, i.e. $A=A_0dx^0\equiv\phi\ dt.$ This is what physicists like to call "the theory of electrostatics". (I'm allowed to talk like this, I'm a physicist myself.) The line that follows $$F=dA=d(\phi\ dt)=d\phi\wedge dt=-dt \wedge d\phi=dt \wedge \left(-\sum_{\mu=0}^3\frac{\partial\phi}{\partial x^{\mu}}dx^{\mu}\right)\equiv dt\wedge E,$$ might be recognisable. It's the cotangent version of $\vec{E}=-\ grad(\phi).$ How this $\vec{E}$ is related to the exact 1-form $E$, whos components are just the time components of the two form $F$ , is determined by the spacetime metric. The components are identical for in flat spacetime. A remark regarding $E$ or $d(-\phi)$ in this context: You can see that, naturally, here the Poincaré lemma hits again - this time in three-dimensional space, where the Maxwell equations state that $curl(\vec{E})=\vec{0}$. So if you don't consider the full theory and exclude time dependence, then you can start from this relation.

Now define the electrostatic force $\vec{F}:=Q\ \vec{E}$, where $Q$ is an electric charge, together with the usual definition of work $W:=\int \vec{F}\ d\vec{s}$ as well as Stokes theorem (or really just the fundamental theorem of calculus), and your everyday school electrostatics follows at once: $$W=\int \vec{F}\ d\vec{s}=\int Q\ \vec{E}\ d\vec{s}=-Q\int grad(\phi)\ d\vec{s}=-Q\ (\phi_2-\phi_1)\equiv Q\ U,$$ where the potential difference $U$ is called voltage.

Another interesting point is the introduction of gauges, which reflect that due to $d^2=0$ we find that $F=d(A+d\alpha)$ holds for any $\alpha$. There are several $A$ for only one electromagnetic field $F$. Broad generalizations of this concepts eventually lead to all the other physical theories involving charges, like the theory of quarks. In fact the whole standard model of particle physics, which describes three of the four fundamental forces, takes this route. This then covers basically all of physics, except for gravity. But, oh snap, that's differential geometry as well!

(On that note, all the differential geometric aspects of the beautiful manifolds termed Lie groups would make an equally long post and another good application. Rotation symmetry, forced on us by the spacetime metric model, the related rotation group $SO(3)$, or more specifically it's universal cover $SU(2)$, and its representations ...they introduce the notion of spin, which eventually explains the stability of matter.)

$\endgroup$
1
  • $\begingroup$ At last! I always knew someday I would understand all of physics. Now I just have to memorize your answer, and tell myself I finally did it. Except that -- oops -- first I have to understand differential geometry really, really well. Which I would love to do, but that looks like a long journey. $\endgroup$ Dec 31, 2016 at 16:19
17
$\begingroup$

The roof of the Olympic arena in Munich is designed using minimal surface techniques. Try Googling the architect's name, Frei Otto. Minimal surfaces, or, (taking gravity into account) surfaces of constant mean curvature are the model for soap films and soap bubbles.

Planes tend to fly along geodesic lines. Shortest distance problems in smooth contexts always involve geodesics.

Classical general relativity is all about curvature and geodesics in special (Lorentz) manifolds. I don't know the current literature, but when I used to work in that area, the books of Hawking and Ellis and the book by Beem and Ehrlich were good resources for a mathematician.

$\endgroup$
1
  • $\begingroup$ I also knew about it when I watched the BBC's documentary BBC:The codes :D $\endgroup$ Dec 11, 2011 at 5:05
12
$\begingroup$

One nice application is to justify the fact that every map of the globe must distort something (areas, lengths, angles, etc.), that is, there are no faithful (flat) maps of the globe.

$\endgroup$
4
  • 2
    $\begingroup$ I guess this is similar to J.M.'s answer. $\endgroup$ Dec 6, 2011 at 18:47
  • 3
    $\begingroup$ Yes, this is also an application of Gauss's theorem. $\endgroup$ Dec 6, 2011 at 18:56
  • $\begingroup$ I'm assuming you meant a flat map. $\endgroup$
    – Samuel Tan
    Dec 21, 2011 at 11:50
  • $\begingroup$ @SamuelTan, yes, a flat map. $\endgroup$
    – lhf
    Dec 21, 2011 at 11:53
7
$\begingroup$

You might consider Sylvester's law of inertia as a theorem in differential geometry. It explains the stability of rotations of rigid bodies. The field of control theory is full of applications of differential geometry, for instance many jet aircraft aren't inherently stable.

The Coriolis force has a purely geometric explanation. One implication is that hurricanes very rarely form within a few degrees of the equator. There's also a measurable effect called "beta drift" due to change in Coriolis with latitude.

Can't forget general relativity! It even needs to be taken into account for GPS to be as accurate as it is (due to the time differences which occur when you put super accurate clocks in orbit).

$\endgroup$
5
$\begingroup$

If you speak German then this is a nice application of Stokes' theorem to build a planimeter - a device with which you follow an arbitrary curve on paper, and it will determine the area it encloses.

$\endgroup$
1
  • 2
    $\begingroup$ See also this answer by Bill Dubuque for further references (in English). $\endgroup$
    – t.b.
    Dec 12, 2011 at 14:22
2
$\begingroup$

The book "Geometric Control of Mechanical Systems" by Bullo and Lewis is all about using differential geometry for control systems. You can see the corresponding lecture notes here.

$\endgroup$
1
$\begingroup$

Every smooth vector field on an even dimensional sphere has a singular point... This is known as the "hairy ball theorem"...

Thus, you "can't comb your hair"...

$\endgroup$
0
$\begingroup$

The Frenet formula ${dT \over ds} =N/R$ can be used to compute the centrifugal force experienced while take a turn of radius $R$ if you are going at (constant) speed $v$. With $F=m d^2M/dt ^2$, and $v=ds/dt$, one gets $F=m v^2 N/R$ if $v$ is the speed.

$\endgroup$
0
$\begingroup$

If a cat is in a free fall with its paws pointing upwards initially, it will land on its paws eventually (assume that it’s falling from high enough so that it lands just when you finish reading this). On the surface, the cat’s ability seems to violate the (fundamental) conservation of angular momentum. However, the cat changes its shape during the fall in way that the rotations of parts of its body cancel out each other. The rigorous explanation goes through holonomy groups of principal fibre bundles. For further reading see “A Tour of Subriemannian Geometries, Their Geodesics and Applications“ by Richard Montgomery.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .