Контрамодули и топологические обертывающие алгебры

[posic]

В книге Chiral Algebras обнаружено определение топологической обертывающей алгебры топологической алгебры Ли. Как обычно, предполагается, что открытые векторные подпространства -- а лучше, открытые подалгебры -- образуют базу окрестностей нуля топологической алгебры Ли g. Тогда топологическая обертывающая алгебра U^g -- это пополнение Ug по топологии, в которой базу окрестностей нуля составляют левые идеалы, порожденные открытыми подпространствами g. Очевидно, что дискретные левые U^g-модули суть то же самое, что дискретные g-модули. Вопрос: правые U^g-контрамодули и g-контрамодули -- это одно и то же? Похоже, что в этот вопрос упирается естественная конструкция полубесконечного когомологического комплекса для контрамодулей над тейтовской алгеброй Ли.