Они делись (те, которые остались) в области, происходящие из "физики" (Виттен и Ко), и в "неалгебраическую" комбинаторику (тоже в расширительном смысле - олимпиадные задачи).
Раз уж Вы говорите, уже не первый раз, про социальные аспекты. Я думаю, что они тут сыграли очень большую роль. Например, в СССР Новиков ликвидировал к концу 70-х почти всю топологию, и алгебраическую, и дифференциальную. Всех своих лучших учеников перетащил сначала в интегрируемые системы, а потом просто во всякие уравнения. На Западе Сулливан бросил топологию в конце 70-х. У него учеников-топологов два или три, не особенно сильных. Ну а после Дональдсона все ринулись учить физические уравнения.
Мне бы хотелось, чтобы эти уравнения были заменены на какой-то вариант алгебраической топологии. Скажем, бесконечномерные многообразия, на которых все это происходит, должны иметь дополнительную структуру, позволяющую строить "теорию гомотопий" - если угодно, они должны образовывать другую модельную категорию, отличную от обычной.
В расширенном смысле я включаю в гомологическую алгебру и алгебраическую топологию, и алгебраическую К-теорию. В этих случаях я ставлю кавычки. Но и собственно гомологическая алгебра - коллективное достижение.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2009-01-20 06:53 am (UTC)Раз уж Вы говорите, уже не первый раз, про социальные аспекты. Я думаю, что они тут сыграли очень большую роль. Например, в СССР Новиков ликвидировал к концу 70-х почти всю топологию, и алгебраическую, и дифференциальную. Всех своих лучших учеников перетащил сначала в интегрируемые системы, а потом просто во всякие уравнения. На Западе Сулливан бросил топологию в конце 70-х. У него учеников-топологов два или три, не особенно сильных. Ну а после Дональдсона все ринулись учить физические уравнения.
Мне бы хотелось, чтобы эти уравнения были заменены на какой-то вариант алгебраической топологии. Скажем, бесконечномерные многообразия, на которых все это происходит, должны иметь дополнительную структуру, позволяющую строить "теорию гомотопий" - если угодно, они должны образовывать другую модельную категорию, отличную от обычной.
В расширенном смысле я включаю в гомологическую алгебру и алгебраическую топологию, и алгебраическую К-теорию. В этих случаях я ставлю кавычки. Но и собственно гомологическая алгебра - коллективное достижение.