Аннотация:
Планируется обсудить следующий вопрос, возникший в ходе обсуждений на семинаре.
Пусть $\mathcal{H}_n$ - группа Гейзенберга.
Как описать формализм дифференциального исчисления, который бы работал на $\mathcal{H}_n$ и совпадал с обычным дифференциальным исчислением на $\mathbb{R}^n$.
Решение планируется с помощью двойственности Картье-Понтрягина и одной эквивалентности из статьи Квиллена про рациональную теорию гомотопий. Необходимые определения типа Кэлеровых дифференциалов, алгебр Хопфа и т.д. напомним для удобства слушателей по ходу доклада.