Remix.run Logo
agnishom 3 days ago

It may be a short proof, but it somewhat implicitly asks that the reader has some background in geometry.

I didn't quite understand the curves that they are constructing on S^2. Some figures would be nice.

nxobject 3 days ago | parent [-]

If you're talking about C(p, s): consider how lines of latitude create a sequence of circles on Earth: the curve C(p, s) is the "circle of latitude" given by fixing p on S^2 as your North Pole, and 's' as (up to rescaling) the "latitude" relative to the North Pole. More specifically, when 's' = 0, C(p, s) is the Equator relative to the North Pole, and when 's' approaches 1, imagine these circles of latitude getting closer and closer to the North Pole.

nxobject 3 days ago | parent | next [-]

I'm finding it a little harder to visualize rotation numbers, though. My best attempt at a description is to imagine continuously tracing the curve '\gamma(t)', going through every point that it passes through, while looking top-down on it. At every point on the curve, the vector field 'v' produces a vector 'v(\gamma(t))' that begins at '\gamma(t)', lies flat on the sphere (i.e. is tangent to the sphere), and is of nonzero length. (The last assumption is the assumption we are making for contradiction).

The idea is that, as we trace the curve '\gamma(t)', we are constantly measuring the angle - with a positive-negative sign - between (a) the tangent vector 'v(\gamma(t))', and (b) the current velocity vector of '\gamma(t)'. As we trace the curve, if this angle rotates counterclockwise 0...90...180...270...0, we add "1" to our rotation number, and we subtract one for a clockwise rotation 0...-90...-180...-270...0.

ajkjk 2 days ago | parent | prev [-]

I think there's a typo in the definition of C? It should say q in R^3, not S^2, right?