Globalisation

Stream: sphere eversion

[Patrick Massot]

I just pushed more details in the blueprint about how to go from Chapter 2 to Chapter 3, but for some reason the GitHub pages bot didn't trigger. Anyway, it should clarify what to do once will have jet bundles. We really only need to know given a smooth $f : M \to M$ we get a smooth $j¹f : M \to J¹(M, N)$ (in particular we need that $J¹(M, N)$ is a smooth manifold) and than $J¹(M, N)$ is $M \times N \times Hom(M, N)$ when $M$ and $N$ are vector spaces.

[Johan Commelin]

Patrick Massot said:

but for some reason the GitHub pages bot didn't trigger.

Maybe related to this: https://www.githubstatus.com/incidents/8xxms3q3qzgp

[Johan Commelin]

Patrick Massot said:

but for some reason the GitHub pages bot didn't trigger.

Maybe related to this: https://www.githubstatus.com/incidents/8xxms3q3qzgp