| 12:56a |
Don't be so rigorous, or you will not succeed http://leblon.livejournal.com/125771.htmlИнтересно наблюдать, как в самой что ни на есть матфизике (модель Ландау-Гинзбурга) возникает поток работ, посвященный почти исключительно вопросу, целиком упирающемуся в разницу между понятиями прямой суммы и прямого произведения. http://arxiv.org/abs/0904.1339http://arxiv.org/abs/0904.4713http://arxiv.org/abs/1007.2679http://arxiv.org/abs/1009.4151В частности, в работе по последней ссылке объясняется, как пользоваться в этой связи разницей между алгебрами и коалгебрами. Вскоре там (надо надеяться) будет еще и наша работа, где подробно излагается, как можно переписать разницу между прямой суммой и прямым произведением через разницу между производными категориями первого и второго рода. Но не всегда, а при условии, что гомологическая размерность конечна. А вот если пользоваться коалгебрами, то это условие не нужно, и т.д. |
| 3:30a |
Математическое писательство - 2
Когда-то я в каждой новой своей статье заново объяснял, что такое кошулева алгебра. Занимало это -- ну, по-разному. От страницы до пяти, наверное так.
Я вот думаю, теперь мне что, в каждой новой своей статье заново объяснять, что такое производная кошулева двойственность? С гомотопически проективными DG-модулями, комодулями и контрамодулями, ко- и контрапроизводными категориями, ко-контра соответствием, (ко)бар-конструкциями, скручивающими коцепями, допустимыми фильтрациями и всем хозяйством? Это ведь займет не пять, а все двадцать пять станиц.
Конечно, в этом была бы польза. Но ведь 25 страниц -- это, как минимум, десять дней жизни, а скорее две недели (с учетом того, что материал знакомый, иначе было бы больше). И тогда статья в целом должна быть как-то пропорциональна таким preliminaries, т.е. быть, как минимум, вдвое-втрое больше. То есть это что же вообще... (Никак не могу решиться приступить к написанию этих объяснений.) |