leblon: (Default)
leblon ([personal profile] leblon) wrote2007-06-04 02:56 pm

Private communications

Интересно, а уже существуют научные статьи, ссылаюшиеся на blog entries? А как насчет статей, ссылающихся конкретно на ЖЖ? Например: Private communication from lj-user ...
Если нет, надо будет обязательно попробовать сослаться.

Еще такой интересный вопрос: требует ли научная этика ссылаться на анонимных ЛЖ-юзеров? Наверное, да...

[identity profile] mancunian.livejournal.com 2007-06-04 10:01 pm (UTC)(link)
У меня только что вышла статья с благодарностью одному хорошему лжеюзеру. Конечно, я указал его реальное имя и не стал объяснять, что помощь случилась в ЖЖ. ;)

[identity profile] ygam.livejournal.com 2007-06-04 10:24 pm (UTC)(link)
В популярных книжках я уже видел ссылки на Википедию.

[identity profile] posic.livejournal.com 2007-06-04 10:38 pm (UTC)(link)
Эта статья ссылается на мой ЖЖ.

[identity profile] leblon.livejournal.com 2007-06-05 05:57 pm (UTC)(link)
Обидно. Тогда я Вам просто впишу благодарность за помошь. Кстати, я там еще вопрос про К-теорию добавил, Вы не видели?

[identity profile] posic.livejournal.com 2007-06-05 06:21 pm (UTC)(link)
Видел. Пока не знаю, что сказать. Может быть, roma что-нибудь скажет... Может быть, он не заметил этот вопрос и стоит прислать ему ссылку?

[identity profile] leblon.livejournal.com 2007-06-05 10:10 pm (UTC)(link)
На основании частного примера (прозводной категории когерентных пучков), мне кажется, что суперслед зависит скорее не от самого класса в К-теории, а от его характера Черна, который живет в циклической когомологии. Я подозреваю поэтому, что "универсальностью" обладает циклическая когомология. Кстати, как она определяется в случае DG категорий? Извините, что задаю слишком много вопросов, но эта сатья Келлера, на которую вы дали ссылку, совершенно нечитаема.

[identity profile] posic.livejournal.com 2007-06-05 11:34 pm (UTC)(link)
Определение циклических когомологий DG-категории я не разбирал, но проблематичным оно мне не представляется. Есть некий комплекс, вычисляющий циклические когомологии обычной алгебры. Если засунуть в него DG-алгебру, на нем появится дополнительный дифференциал, индуцированный дифференциалом на DG-алгебре. Надо взять тотальный комплекс и его когомологии. Для DG-категории надо добавить суммирование по наборам объектов DG-категории, то есть вместо A⊗A написать прямую сумму или прямое произведение Hom(X,Y)⊗Hom(Y,X) по всем парам объектов X и Y.

Основная тонкость в таких конструкциях состоит в том, рассматривать ли тотальный комплекс, образованный с помощью прямых сумм вдоль диагоналей или прямых произведений. Это важно, ответ может быть существенно разным в зависимости от этого. Проявляется это различие, в частности, в том, какая из двух спектральных последовательностей этого бикомплекса будет (приблизительно -- с поправкой на неточность функтора обратного предела) сходиться к когомологиям тотального комплекса. (Обе спектралки сходятся к одному пределу только для конечных бикомплексов, для бесконечных они сходятся к двум разным пределам.) Если вы, например, хотите, чтобы циклические когомологии DG-категории оставались неизменными при квазиизоморфизмах, это будет накладывать ограничения на выбор способов суммирования вдоль диагоналей. Но хотеть этого не обязательно (общая философия состоит в том, что DG-алгебры и DG-модули следует рассматривать с точностью до квазиизоморфизма, а DG-коалгебры и DG-комодули с точностью до более тонкого отношения эквивалентности, т.е., считать некоторые квазиизоморфные DG-коалгебры существенно различными).

Что интересующий вас след пропускается через некоторый функционал на циклических когомологиях -- это очень-очень может быть правдой. Извиняюсь за такой расплывчатый ответ, более определенного ничего не могу сейчас сказать. Статья Келлера обзорная, подробных объяснений не содержит, из нее надо ходить по ссылкам.

[identity profile] sowa.livejournal.com 2007-06-04 11:00 pm (UTC)(link)
"Еще такой интересный вопрос: требует ли научная этика ссылаться на анонимных ЛЖ-юзеров?"

Конечно требует. Ссылаться надо на все, что не принадлежит автору, за исключением тех случаев, когда этот факт очевиден.

[identity profile] leblon.livejournal.com 2007-06-05 05:52 pm (UTC)(link)
Да, тут ЖЖ, на самом деле, ничего нового не внес. Если бы я написал уравнение на доске в коридоре, а на другой день нашел там анонимное решение, пришлось бы давать ссылку на анонимного автора решения. Кажется, подобный эпизод был в фильме "Good Will Hunting".