Feb. 1st, 2012

Хочется не писать работ на модные темы, но не всегда удается избежать.

(Почему не удается? Потому что на самом деле мне просто наплевать, что у них там модно и что нет. Про что пишется, про то и пишу.)
нет подлежащего градуированного векторного пространства. Точнее сказать, такое векторное пространство можно определить, и даже так, чтобы оно было функтором на категории искривленных А-бесконечность модулей и А-бесконечность морфизмов между ними.

Но такие функторы не будут образовывать коммутативных диаграмм с функторами ограничения скаляров по искривленным А-бесконечность морфизмам искривленных А-бесконечность алгебр. Другими словами, функтор подлежащего градуированного векторного пространства искривленного А-бесконечность модуля меняется на другой (похожий) функтор при замене искривленной А-бесконечность алгебры на искривленно А-бесконечность изоморфную ей.

В искривленной DG- (а не А-бесконечность) ситуации ничего подобного не происходит.

Разумеется, слово "векторное пространство" выше не следует понимать буквально. В ситуации над полем не бывает никаких "полноценно искривленных" А-бесконечность морфизмов искривленных А-бесконечность алгебр (потому что формальный степенной ряд с ненулевым свободным членом нельзя подставить в другой формальный степенной ряд). Чтобы наблюдать описанный эффект, нужно работать над полным локальным кольцом.

P.S. Ага, а подлежащее градуированное векторное пространство (т.е. на самом деле модуль над кольцом коэффициентов, конечно) искривленной А-бесконечность алгебры вообще не является функтором на категории искривленных А-бесконечность алгебр и искривленных А-бесконечность морфизмов между ними.

Profile

Leonid Positselski

April 2026

S M T W T F S
    12 34
56 7 8 9 10 11
12 1314151617 18
19202122232425
2627282930  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Apr. 20th, 2026 06:28 am
Powered by Dreamwidth Studios