15
$\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$
6
  • 1
    $\begingroup$ you mean Hatcher's Algebraic topology $\endgroup$ Aug 8, 2018 at 16:39
  • 2
    $\begingroup$ @PraphullaKoushik Yeah. Freudian slip. I'm still recovering from a recent truly bad encounter with algebraic geometry. $\endgroup$ Aug 8, 2018 at 16:47
  • 1
    $\begingroup$ There are some pretty interesting tools for 3-manifolds. Like regina-normal.github.io $\endgroup$
    – JJJ
    Aug 8, 2018 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$ Aug 8, 2018 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$ Aug 8, 2018 at 20:07

2 Answers 2

10
$\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$
4
  • $\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$ Aug 9, 2018 at 22:09
  • 1
    $\begingroup$ indeed; Mathematica is more capable, but it is not open source. $\endgroup$ Aug 9, 2018 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$ Aug 9, 2018 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$ Aug 10, 2018 at 6:19
5
$\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$
1
  • $\begingroup$ This is very cool. Thanks for sharing. $\endgroup$ Aug 9, 2018 at 22:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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