сладко стянул

сладко стянул

А как бы вы доказали теорему о причесывании ежа? мне приходит в голову такое рассуждение: если v=v(x) — всюду ненулевое касательное поле на единичной сфере в R^d, то надо при каждом вещественном t рассмотреть отображение S^{d-1} -> S^{d-1}, x -> G(v(x)+t*x)…

Про каждое доказательство интересно подумать, "куда оно обобщается" и "что оно использует/передоказывает". Про фундаментальную группу я спрашиваю, потому что в таких рассуждениях по-любому неявно зашит гомоморфизм надстройки в гомологиях / гомотопических группах. Но не суть.

А рассуждая буквально как в посте, получаем: если d нечётно, M — гладкая замкнутая гиперповерхность в R^d, и на M есть всюду ненулевое касательное поле, то отображение Гаусса для поля нормалей к M
G_n: M -> S^{d-1}
гомотопно своей композиции с антиподальным; следовательно, имеет степень ноль.

Но степень G_n равна* \chi(M)/2: это вроде бы видно из теории Морса, аккуратно я пока не доказал. Идея: если i-ая координата в R^d оказалась морсовской функцией на M, то надо просто посчитать степень G_n локально в регулярных значениях e_i и -e_i. Там просуммируются критические точки с коэффициентами плюс-минус один. Осталось убедиться, что с такими знаками, что получается ЭХ комплекса Морса — а значит, и ЭХ многообразия.

Вывод: если гиперповерхность можно причесать, то chi(M) = 0. А как это доказать в большей коразмерности?

*"умное" доказательство использует естественность класса Эйлера, тождество <e(TM),[M]> = chi(M) и то, что обратный образ TS^{d-1} под действием G_n равен TM.

www.group-telegram.com/cn/sweet_homotopy.com/2003

2.1K viewsedited  Jun 24 at 19:54

Про каждое доказательство интересно подумать, "куда оно обобщается" и "что оно использует/передоказывает". Про фундаментальную группу я спрашиваю, потому что в таких рассуждениях по-любому неявно зашит гомоморфизм надстройки в гомологиях / гомотопических группах. Но не суть.

А рассуждая буквально как в посте, получаем: если d нечётно, M — гладкая замкнутая гиперповерхность в R^d, и на M есть всюду ненулевое касательное поле, то отображение Гаусса для поля нормалей к M
G_n: M -> S^{d-1}
гомотопно своей композиции с антиподальным; следовательно, имеет степень ноль.

Но степень G_n равна* \chi(M)/2: это вроде бы видно из теории Морса, аккуратно я пока не доказал. Идея: если i-ая координата в R^d оказалась морсовской функцией на M, то надо просто посчитать степень G_n локально в регулярных значениях e_i и -e_i. Там просуммируются критические точки с коэффициентами плюс-минус один. Осталось убедиться, что с такими знаками, что получается ЭХ комплекса Морса — а значит, и ЭХ многообразия.

Вывод: если гиперповерхность можно причесать, то chi(M) = 0. А как это доказать в большей коразмерности?

*"умное" доказательство использует естественность класса Эйлера, тождество <e(TM),[M]> = chi(M) и то, что обратный образ TS^{d-1} под действием G_n равен TM.

BY сладко стянул