Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jul 19 2020 10:05

    siddhartha-gadgil on master

    Add link to web page Update README.md Fix link to t… Merge pull request #2 from boll… (compare)

  • Jul 19 2020 10:05
    siddhartha-gadgil closed #2
  • Jul 19 2020 09:25
    bollu commented #2
  • Jul 19 2020 09:24
    bollu synchronize #2
  • Jul 19 2020 08:35
    siddhartha-gadgil commented #2
  • Jul 19 2020 08:34
    siddhartha-gadgil commented #2
  • Jul 19 2020 07:10
    bollu opened #2
  • Apr 02 2020 05:40

    siddhartha-gadgil on master

    made notes (compare)

  • Mar 31 2020 07:17

    siddhartha-gadgil on master

    poincare duality notes notes reformatted, pictures (compare)

  • Mar 30 2020 10:12

    siddhartha-gadgil on master

    note sketch for duality lecture. (compare)

  • Mar 28 2020 10:59

    siddhartha-gadgil on master

    made notes (compare)

  • Mar 27 2020 14:44

    siddhartha-gadgil on master

    notes on free resolutions start of lecture draft (compare)

  • Mar 26 2020 07:00

    siddhartha-gadgil on master

    made notes (compare)

  • Mar 26 2020 06:56

    siddhartha-gadgil on master

    made notes (compare)

  • Mar 25 2020 11:28

    siddhartha-gadgil on master

    first online lecture made notes (compare)

  • Mar 24 2020 04:05

    siddhartha-gadgil on master

    tree homotopy picture Merge branch 'master' of https:… (compare)

  • Mar 24 2020 01:11

    siddhartha-gadgil on master

    Add Gitter badge Merge pull request #1 from gitt… (compare)

  • Mar 24 2020 01:11
    siddhartha-gadgil closed #1
  • Mar 24 2020 01:08
    gitter-badger opened #1
Siddhartha Gadgil
@siddhartha-gadgil
At any point in the interior, xx, yy and zz are all given. All I should say is that we get ss by projecting radially from ZZ, and we get tt as the distance from the base XYXY, normalized so that ZZ is at distance 11.
What is to be verified is this being well-defined at ZZ and along the sides XZXZ and YZYZ.
Siddhartha Gadgil
@siddhartha-gadgil
I now see what is happening.
  • A priori we have a map on
    KaTeX parse error: Undefined control sequence: \Y at position 9: X \times\̲Y̲ ̲\times Z\times …: X \times\Y \times Z\times R
    where R=[0,1]×[0,1]R = [0,1]\times [0, 1]
  • At t=1t = 1 the value of ss "does not matter" in ((XY)Z)((X * Y) * Z), as XYX * Y has been collapsed to a point.
  • This allows one to pass to the quotient of the rectangle, where the top edge is pinched. This edge is just a triangle.
I now see what is happening.
  • A priori we have a map on X×Y×Z×RX \times Y \times Z\times R where R=[0,1]×[0,1]R = [0,1]\times [0, 1]
  • At t=1t = 1 the value of ss "does not matter" in ((XY)Z)((X * Y) * Z), as XYX * Y has been collapsed to a point.
  • This allows one to pass to the quotient of the rectangle, where the top edge is pinched. This edge is just a triangle.
What I have described, starting with a triple product, may be the cleanest way to formalize this.
If the above is correct, then to complete the proof we map to X(YZ)X * (Y * Z) by projecting from XX (instead of ZZ) to get tt (instead of ss). Further, s=0s = 0 at XX and s=1s = 1 on YZYZ.
Chinmaya Kausik
@Chinmaya-Kausik
I see. So I guess the key insight is converting a rectangle to a simplex by passing to a quotient.
To achieve the formal linear combination picture.
Siddhartha Gadgil
@siddhartha-gadgil
That's what it looks like. Indeed one converts a rectangle into a simplex in two different ways for the two different associations. Once this is done, the two coincide.
Chinmaya Kausik
@Chinmaya-Kausik
I see, thank you so much.
Siddhartha Gadgil
@siddhartha-gadgil
Thank You. I too understand this clearly now.
Siddhartha Gadgil
@siddhartha-gadgil
If any of you is online can you go to teams.microsoft.com and log in with your iisc account. I want to test this as an alternative, since we have a paid subscription.
Chinmaya Kausik
@Chinmaya-Kausik
Oh, I see. Hadn't read this. I am online.
As you may have seen on teams.
AR-MA210
@AR-MA210
I saw another version of Whitehead's theorem somewhere, for homology groups, stated as "If a continuous map between simply connected CW complexes f:XYf:X \to Y induces isomorphisms H(X)H(Y)H_*(X) \cong H_*(Y), ff is a homotopy equivalence.". Is it possible to prove this using the theorem from today's class + Hurewicz's theorem or some other tools we have?
Siddhartha Gadgil
@siddhartha-gadgil
It is another theorem.
It is in Hatcher. It follows from the result that I stated and did not prove, plus Hurewicz theorem and a little more
AR-MA210
@AR-MA210
Ok, I'll look into it. Thanks
Siddhartha Gadgil
@siddhartha-gadgil
I have started the teams, but not yet the video.
Sumanta
@dasumanta
Okay.
Siddhartha Gadgil
@siddhartha-gadgil
When I went to the link, I found they even have a debian linux app (they will surely have windows and mac), so I downloaded this. It may be good for everyone to do the same.
Shabarish CH
@shabarishch_twitter
I am on the app for MacOS
philipthomasarun
@philipthomasarun
I am on the app on Windows
Chinmaya Kausik
@Chinmaya-Kausik
I'm trying to launch it on Chrome
Shabarish CH
@shabarishch_twitter
It told me to restart the app to join the meeting
I did get the notification
Chinmaya Kausik
@Chinmaya-Kausik
I had a question for Prof. Gadgil ( @siddhartha-gadgil ). We have seen lens spaces, but I think we're not sure why studying them is useful/relevant/interesting. I thought you would have some important insights on this, also because it seems you have worked on them in the past.
Siddhartha Gadgil
@siddhartha-gadgil
There are many interesting things with them. First of all, they are the historically first, and still prototypical examples for homotopy equivalence not coiniding with homeomorphism.
To show this involves both homotopy classification and homeomorphism classification. Both involve interesting ideas.
They are also geometric manifolds.
Further, Milnor's "Two complexes that are homeomorphic but combinatorially distinct" are derived from lens spaces.
Chinmaya Kausik
@Chinmaya-Kausik

To show this involves both homotopy classification and homeomorphism classification. Both involve interesting ideas.

I see. Is there some sort of punchline here? Or are the ideas themselves somewhat non-trivial?

Siddhartha Gadgil
@siddhartha-gadgil
I would say more than one punchline.
Let me stick to L(p,q)L(p, q) with pp prime. Firstly, any isomorphism of the fundamental group is induced by a map, but its degree (modp)(mod p) is determined by the isomorphism.
Hence whether this is a homotopy equivalence, and further orientation preserving, can be determined.
Siddhartha Gadgil
@siddhartha-gadgil
I can explain these briefly in one of our meetings, after the core material.
On the other hand, there is more than one proof of homeomorphism classification, with different proofs generalizing in different directions and illustrating different things.
Incidentally, we can show that the left and right trefoils are different using the oriented homotopy classification of lens spaces.
Chinmaya Kausik
@Chinmaya-Kausik

Incidentally, we can show that the left and right trefoils are different using the oriented homotopy classification of lens spaces.

Oh, I see. Very interesting. I suppose this comes from them being torus knots and then using the solid torus decomposition of S3S^3?

And perhaps using Z3\mathbb{Z}_3 as homeomorphisms on the torus for quotienting to get a lens space
Siddhartha Gadgil
@siddhartha-gadgil
No, we take the 2-fold branched cover over the knot. The two trefoils give L(3,1)L(3, 1) and L(3,1)=L(3,2)L(3, -1) = L(3, 2). There is no orientation preserving homotopy equivalence between these.
And yes, it is related to them being torus knots.
Chinmaya Kausik
@Chinmaya-Kausik

I can explain these briefly in one of our meetings, after the core material.

Yes, that would be nice, I guess. At least from my side.

Chinmaya Kausik
@Chinmaya-Kausik
When is the next class, by the way? Mentioning Prof. Gadgil ( @siddhartha-gadgil )
Siddhartha Gadgil
@siddhartha-gadgil
Tuesday 9:30 if it is fine with everyone. Will email with this and some more details Monday morning.
Chinmaya Kausik
@Chinmaya-Kausik
Fine by me
ajay-k-nair
@ajay-k-nair
Fine by me!
Sumanta
@dasumanta
Fine.
Shabarish CH
@shabarishch_twitter
Yes
philipthomasarun
@philipthomasarun
Fine by me