12
$\begingroup$

I have recently started to read a bit about geometry and topology. Hopf fibration, Lense spaces, CW complexes, stuff that are discussed in Hatcher's Algebraic Topology and other things that require good visualization. What is apparent to me is that the further I go, the less I understand what is going on. I have searched on YouTube and found some really nice animations for some of these topics but good animations are rare like gems.

Advanced stuff in mathematics are less discussed and available on the internet. I have realized that if I want to understand math one day, at some point I should be able to create my own animations. Now, my question is rather directed at people with experience in teaching advanced mathematics or currently doing research in mathematics in areas where geometric intuition is absolutely necessary. What kind of tools do you use? Do you develop them on your own in your research team/group? Can an independent person have access to them? Is it possible for an independent person to develop this kind of tools on their own?

Can you think of a situation where you couldn't understand a geometric concept visually but you created an animation that demystified it for you?

$\endgroup$
  • 1
    $\begingroup$ you mean Hatcher's Algebraic topology $\endgroup$ – Praphulla Koushik Aug 8 '18 at 16:39
  • 2
    $\begingroup$ @PraphullaKoushik Yeah. Freudian slip. I'm still recovering from a recent truly bad encounter with algebraic geometry. $\endgroup$ – stressed out Aug 8 '18 at 16:47
  • 1
    $\begingroup$ There are some pretty interesting tools for 3-manifolds. Like regina-normal.github.io $\endgroup$ – JJJ Aug 8 '18 at 17:49
  • 4
    $\begingroup$ What is apparent to me is that the further I go, the less I understand what is going on. ObVonNeumann: "Young [one], in mathematics you don't understand things. You just get used to them." And while visualizations are useful, you might find that mathematicians are less reliant on them than you might guess. Another not-really-joke that's relevant here: Student: How do you visualize 6-dimensional space? Teacher: Oh, it's easy, you just visualize $n$-dimensional space and then set $n=6$. $\endgroup$ – Nate Eldredge Aug 8 '18 at 18:10
  • 5
    $\begingroup$ At some point, especially in higher dimensions, visualization can be misleading, In low dimensions (2, 3) it can help. Its best that you get a rudimentary intuition by working out a couple of examples and use that to guide you in more general situation. $\endgroup$ – Liviu Nicolaescu Aug 8 '18 at 20:07
8
$\begingroup$

Here is one case study:

An impressive animation of the Hopf fibration created by Niles Johnson using only open-source tools, available for all platforms: The Python-based mathematics program Sage was used for determining the fiber parametrizations and keeping track of all the animation data. Sage provides an interface to the ray tracing system Tachyon, which produced the individual frames. These were then stitched into an animation using FFmpeg.

$\endgroup$
  • $\begingroup$ This is very useful. Thanks. SAGE also seems to have a relatively active community of users. I'll give it a try. But if I understood correctly, SAGE itself doesn't produce animations. I need to stitch the frames together with another software (FFmpeg for example). Am I right? $\endgroup$ – stressed out Aug 9 '18 at 22:09
  • 1
    $\begingroup$ indeed; Mathematica is more capable, but it is not open source. $\endgroup$ – Carlo Beenakker Aug 9 '18 at 22:10
  • $\begingroup$ Thanks. I'm afraid I do not understand what Tachyon does in this scenario exactly. Is it even necessary? I checked the website but couldn't make heads or tails out of it. $\endgroup$ – stressed out Aug 9 '18 at 22:13
  • 1
    $\begingroup$ Tachyon is a ray tracing program, meaning that it adds shades and lights to the image so that it looks as if it is a photograph of a 3D object; it is not essential, but without it the animation would not look as pretty. $\endgroup$ – Carlo Beenakker Aug 10 '18 at 6:19
4
$\begingroup$

SnapPy is a widely used program within the geometric topology community for studying hyperbolic structures on $3$-manifolds.

Here is a YouTube video of Nathan Dunfield showing off some of SnapPy's functionality (creating Dirichlet domains, showing how to visualize the cusps, etc).

$\endgroup$
  • $\begingroup$ This is very cool. Thanks for sharing. $\endgroup$ – stressed out Aug 9 '18 at 22:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.