Steve Trettel

@stevejtrettel

Topology Postdoc , . Space nerd, cook, language revitalization activist

Providence, RI
Vrijeme pridruživanja: kolovoz 2012.

Tweetovi

Blokirali ste korisnika/cu @stevejtrettel

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @stevejtrettel

  1. 1. velj

    Check out these collapsing hyperbolic structures 😍

    Poništi
  2. 30. sij

    Incredible astrophotography / image processing work of the 2019 eclipse! 646 photos + 1540 calibration shots 🤯

    Poništi
  3. 29. sij

    Ok - the end! The 3D pictures are from a collaboration featuring myself , and . If you would like to see some more amazing VIDEOS in Sol geometry, check out 's work too!

    Prikaži ovu nit
    Poništi
  4. 29. sij

    Of course, these blue and orange tori are actually just different sides of the same surface after gluing - and moving between the two by Sol isometries actually performs the Anosov gluing map! Much more on this will follow in future threads on Sol 😀

    Prikaži ovu nit
    Poništi
  5. 29. sij

    Some color coding may help here. Imagine standing in this manifold and looking down - we see the torus coming from the bottom of the cube (Orange). If we look up we see the torus coming from the top (Blue).

    Prikaži ovu nit
    Poništi
  6. 29. sij

    Here’s a view from inside the resulting manifold, where we are rendering the edges of the fundamental domain by raytracing along geodesics: this is what we would actually see if we were placed inside the identified cube given the Sol metric

    Prikaži ovu nit
    Poništi
  7. 29. sij

    As a crazy fact - the type of mapping class we choose determines the geometry that this 3 manifold can have! If we pick an Anosov mapping class, the resulting 3 manifold has Sol geometry.

    Prikaži ovu nit
    Poništi
  8. 29. sij

    To get a closed 3 manifold we somehow need to still glue together the remaining surfaces - that is we need to specify a map from the inner torus to the outer! If we perturb this map a little bit it won’t affect the topology of the result, so we really need a Mapping Class.

    Prikaži ovu nit
    Poništi
  9. 29. sij

    To get started, let’s pair up opposing vertical faces and identify them. This takes each horizontal plane and turns it into a torus - so the result looks kind of like a thickened torus

    Prikaži ovu nit
    Poništi
  10. 29. sij

    Recall to build a closed surface, we can start with a polygon and pair up the sides particular ways. We can do the same for 3 manifolds! Let’s start here with a cube

    Prikaži ovu nit
    Poništi
  11. 29. sij

    Now a little treat for those of you who have stuck with me so far. Why am I thinking about clothes on a donut? To make cool 3-manifolds to do raytracing in of course! After a little more explanation (sorry not sorry 🤓) I promise to show you some 3D virtual reality renders.

    Prikaži ovu nit
    Poništi
  12. 29. sij

    Here’s what that looks like for the mapping class in the original picture (corresponding to the matrix {{2,1},{1,1}}) (image from Wikipedia)

    Prikaži ovu nit
    Poništi
  13. 29. sij

    These diagonalizable mapping classes have two eigen-directions: one stretching and one compressing (because determinant is 1) so this corresponds to unzipping the sweater into a square, stretching into a parallelogram, twisting it back around the tours and zipping back up.

    Prikaži ovu nit
    Poništi
  14. 29. sij

    The main group of mapping classes for the torus correspond to the diagonalizable matrices (this is everything with trace greater than 2 in absolute value)- which are called Anosov (yay! We have finally returned to the picture!) we will talk about the remainder in another thread.

    Prikaži ovu nit
    Poništi
  15. 29. sij

    Finite order are somewhat boring (like putting your shirt on backwards, if you take it off and do it again you’re back to a normal front-facing shirt) also, if you look for finite order integer matrices you’ll quickly realize there aren’t many anyway!

    Prikaži ovu nit
    Poništi
  16. 29. sij

    Matrices in SL(2,Z) come in three types: finite order, diagonalizable, and having a generalized 1-eigenspace. Does this distinction mean anything for mapping classes? Yes! (brb - more after I teach)

    Prikaži ovu nit
    Poništi
  17. 29. sij

    Each of these is called a Mapping Class. This set also inherits the group structure of SL(2,Z) (maybe harder to see given the clothing analogy, but remember we are really talking about self-homeomorphisms of the torus, and those can be composed!). This is the Mapping Class Group.

    Prikaži ovu nit
    Poništi
  18. 29. sij

    This identifies the set of ways to put clothes on our torus with the linear maps of the plane preserving the integer lattice: that is SL(2,Z)! (If we additionally allowed the torus to wear its clothes inside out, we would get twice as many)

    Prikaži ovu nit
    Poništi
  19. 29. sij

    This is more believable in the universal cover, where our clothing problem lifts to wallpapering the plane. Identifying our torus with the quotient by the integer lattice, any allowable wallpaper must send this to itself. Furthermore, any wallpaper can be smushed to a linear map!

    Prikaži ovu nit
    Poništi
  20. 29. sij

    Perhaps surprisingly at first - there are still an infinite number of ways for a donut to wear a sweater - even after declaring all smushing and stretching to be equivalent.

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·