перечитывал этот старый пост и заинтересовался:

> концептуальное изложение
дифференциальных форм как функций на многообразии суперточек,
вместе с градуировкой и дифференциалом де Рама возникающими из действия
группы диффеоморфизмов суперточки.

что это за подход? это как-то связано с нильпотентами/кэлеровыми дифференциалами?

(Reply to this) (Thread)

Связано, конечно.
Вот здесь есть краткое описание:
http://mathoverflow.net/questions/26302/two-fancy-ways-of-defining-differential-forms-how-does-one-show-that-they-are-e

Первый подход по ссылке, кстати,
тоже заслуживает изложения в общем курсе
(как и вся технология нильпотентных точек
Вэя (Weil points), которая по сути является
чётным аналогом суперсимметрии).

(Reply to this) (Parent) (Thread)

забавно, а почему odd line наывается line? это же аналог Spec k[e]/(e^2-1), или я неправильно понимаю?

(Reply to this) (Parent)

Spec k[e]/e^2 конечно

(Reply to this) (Parent) (Thread)

Я этот объект так не называю,
но почему его так называют другие тоже понятно:
касательное расслоение тривиально и имеет слой R^{0|1}, то есть
в точности нечётную прямую.
Сам объект при этом можно рассматривать как инфинтезимальную
окрестность нуля в R^{0|1}.

(Reply to this) (Parent)