Они делись (те, которые остались) в области, происходящие из "физики" (Виттен и Ко), и в "неалгебраическую" комбинаторику (тоже в расширительном смысле - олимпиадные задачи).

Раз уж Вы говорите, уже не первый раз, про социальные аспекты. Я думаю, что они тут сыграли очень большую роль. Например, в СССР Новиков ликвидировал к концу 70-х почти всю топологию, и алгебраическую, и дифференциальную. Всех своих лучших учеников перетащил сначала в интегрируемые системы, а потом просто во всякие уравнения. На Западе Сулливан бросил топологию в конце 70-х. У него учеников-топологов два или три, не особенно сильных. Ну а после Дональдсона все ринулись учить физические уравнения.

Мне бы хотелось, чтобы эти уравнения были заменены на какой-то вариант алгебраической топологии. Скажем, бесконечномерные многообразия, на которых все это происходит, должны иметь дополнительную структуру, позволяющую строить "теорию гомотопий" - если угодно, они должны образовывать другую модельную категорию, отличную от обычной.

В расширенном смысле я включаю в гомологическую алгебру и алгебраическую топологию, и алгебраическую К-теорию. В этих случаях я ставлю кавычки. Но и собственно гомологическая алгебра - коллективное достижение.