Квиллен сначал переключился на "гомологическую алгебру" (его диссертация у Ботта - "Formal Properties of Over-Determined Systems of Linear Partial Differential Equations"). Дальнейшие переходы Квиллена от одной задачи к другой было очень естественны - решение одной вело к следующей, если не формально, то по духу. Работал он в одиночку, на публике появлялся редко, так что его социальное влияние, видимо, близко к нулю.

Мэй и с Каном что-то не поделил! (Уже шла речь о Бордмане.) Что же это за кошмар такой?

Если бы я мог как следует сформулировать свою идею, то я бы, наверное, ее реализовал и работал бы в Гарварде. Насколько я себе представляю, в теории Дональдсона-Флоера-Сайберга-Виттена-... рассматриваются, в первом приближении, бесконечномерные многообразия, построенные по данному четырехмерному. Сами по себе они интересных инвариантов не имеют, но с исходного конечномерного многообразия приходит дополнительная структура, и изучаются когомологические инварианты этой структуры. Проблема в том, что никто не сформулировал явно, что это за структура, и все работают с объектами, строящимися в терминах исходного четырехмерного многообразия. В пользу этого говорит, в частности, то, что Дональдсон на самом деле не использовал сами уравнения Янга-Миллса - он сначал возмущал их. Грубо говоря, на многообразии есть каноническая функция - функционал Янга-Миллса, но работать с ней нельзя, потому что она не общего положения. (Есть трюк Уленбек, который позволяет получить функцию общего положения в терминах исходного многообразия, но это все равно надо сделать.)

Хотелось бы иметь цепочку конструкций: четырехмерное многообразия -> бесконечномерное многообразие с дополнительной структурой -> его "гомотопический тип" - не в обычном смысле, а основанный на этой дополнительной структуре.