Weakly curved A-infinity algebras over a topological local ring

[posic]

Новая версия (предыдущая вышла два с половиной года назад). Было 0 коммутативных диаграмм, теперь 31 коммутативная диаграмма -- https://arxiv.org/abs/1202.2697

Comments

[buddha239.livejournal.com]

Неужто ни одного квадратика не было?:) Их ведь так легко рисовать - чай не октаэдры (а такие присутствуют теперь?:)).

[posic.livejournal.com]

Нет, сложных диаграмм нет в этой работе даже теперь. Хотя есть диаграммы, для рисования которых использовались команды \llap и \rlap -- https://posic.livejournal.com/1780295.html . Чтобы стрелочки выровнялись по названиям категорий без учета названий функторов, прилепленных через \colon к этим категориям (см. напр. диаграммы на стр. 110 или 112).

Вообще, я не большой мастак по картинкам. Трехмерных диаграмм я не рисовал никогда. Хотя в этой работе, может быть, и стоило бы нарисовать пару кубиков. Но я не взялся (обошелся раздельным рисованием двумерных граней).

Собственно, исторически первым моим препринтом с коммутативными диаграммами была работа https://arxiv.org/abs/1102.0261 . Там на стр. 35 последней архивной версии можно наблюдать довольно сложную диаграмму. Но не трехмерную.

[posic.livejournal.com]

Впрочем, я забыл -- на самом деле первой моей работой с коммутативными диаграммами была вот эта -- https://arxiv.org/abs/1006.4343 . Диаграммы эти там сосредоточены в Аппендиксе А (про точные категории), и учился рисовать их я еще в дремучем 1995 году. В частности, на странице 66 (в последней архивной версии) там имеется довольно сложная диаграмма (A.3), нарисованная в 95 году методом ручного подбора численных параметров стрелочек. Она перешла без изменений в работу, вышедшую в итоге из печати в MMJ в 2011 году.

[buddha239.livejournal.com]

Рисовать такое сложно (мне, во всяком случае), но так-то небольшая диаграмма. Я-то подумал, что А3 - это размер листа, на который она влезает.:)