Градуировка и топология - 2
Apr. 23rd, 2009 03:06 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicПродолжение http://posic.livejournal.com/287300.html
Следующие категории эквивалентны; их объекты имеет смысл называть топологическими градуированными абелевыми группами (с линейной/аддитивной топологией).
1. Градуированные абелевы группы, снабженные непустыми множествами градуированных подгрупп, замкнутыми относительно конечных пересечений и перехода к большей градуированной подгруппе.
2. Прообъекты в категории градуированных абелевых групп, такие что в каждой фиксированной градуировке соответствующая проабелева группа происходит из топологической абелевой группы.
3. Топологические абелевы группы, снабженные базой окрестностей нуля, состоящей из открытых подгрупп, факторгруппы по которым разложены в прямую сумму градуировочных компонент согласованным образом относительно отображений, связанных с вложениями открытых подгрупп, входящих в базу.
В частности, градуированному объекту категории топологических абелевых групп соответствует топологическая градуированная абелева группа, но далеко не все топологические градуированные абелевы группы так получаются.
Также интересен вопрос, что такое топологическая абелева группа, фильтрованная возрастающей фильтрацией. Похоже, правильное определение такое: это топологическая абелева группа с линейной топологией, на дискретных факторгруппах которой заданы возрастающие фильтрации, строго согласованные с отображениями проекции между дискретными факторгруппами. К этому определению может быть нужно добавить какие-то дополнительные ограничения, в духе того, чтобы проективные пределы подфакторпространств фильтрации на дискретных факторгруппах сюръективно отображались в эти подфакторпространства.
Следующие категории эквивалентны; их объекты имеет смысл называть топологическими градуированными абелевыми группами (с линейной/аддитивной топологией).
1. Градуированные абелевы группы, снабженные непустыми множествами градуированных подгрупп, замкнутыми относительно конечных пересечений и перехода к большей градуированной подгруппе.
2. Прообъекты в категории градуированных абелевых групп, такие что в каждой фиксированной градуировке соответствующая проабелева группа происходит из топологической абелевой группы.
3. Топологические абелевы группы, снабженные базой окрестностей нуля, состоящей из открытых подгрупп, факторгруппы по которым разложены в прямую сумму градуировочных компонент согласованным образом относительно отображений, связанных с вложениями открытых подгрупп, входящих в базу.
В частности, градуированному объекту категории топологических абелевых групп соответствует топологическая градуированная абелева группа, но далеко не все топологические градуированные абелевы группы так получаются.
Также интересен вопрос, что такое топологическая абелева группа, фильтрованная возрастающей фильтрацией. Похоже, правильное определение такое: это топологическая абелева группа с линейной топологией, на дискретных факторгруппах которой заданы возрастающие фильтрации, строго согласованные с отображениями проекции между дискретными факторгруппами. К этому определению может быть нужно добавить какие-то дополнительные ограничения, в духе того, чтобы проективные пределы подфакторпространств фильтрации на дискретных факторгруппах сюръективно отображались в эти подфакторпространства.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2009-04-23 05:52 pm (UTC)no subject
Date: 2009-04-23 06:09 pm (UTC)Чтобы делать что-то более сложное, нужно, конечно, предполагать, что индексы пробегают группу, или даже абелеву группу. Какую? Зависит от ситуации: бывает, нужна положительность, т.е. отображение в Z, бывает, нужен функционал четности со значениями в Z/2 или билинейная форма со значениями в Z/2, и т.д.
off-topic
Date: 2009-05-02 02:58 pm (UTC)где об этом можно почитать? Я это делаю руками (и, кажется, легко получается),
но может у классиков красиво написано, хорошие обозначения и тд...
Re: off-topic
Date: 2009-05-03 09:28 am (UTC)