Некоммутативная топология
В математике топологическими некоммутативная топология — это термин, используемый для обозначения связи между и C *-алгебраическими понятиями. Термин берет свое начало из теоремы Гельфанда–Наймарка , из которой следует двойственность категории локально и компактных хаусдорфовых пространств категории коммутативных C*-алгебр. Некоммутативная топология связана с аналитической некоммутативной геометрией .
Примеры
[ редактировать ]Посылка, лежащая в основе некоммутативной топологии, состоит в том, что некоммутативную C*-алгебру можно рассматривать как алгебру комплекснозначных непрерывных функций в «некоммутативном пространстве», которое классически не существует. Некоторые топологические свойства могут быть сформулированы как свойства C*-алгебр без ссылки на коммутативность или лежащее в их основе пространство, и поэтому имеют немедленное обобщение.Среди них:
- компактность ( единичная )
- σ-компактность ( σ-единица )
- измерение ( реальный или стабильный ранг )
- связность ( без проецирования )
- экстремально несвязные пространства ( AW*-алгебры )
Отдельные элементы коммутативной С*-алгебры соответствуют непрерывным функциям. Итак, определенные типы функций могут соответствовать определенным свойствам С*-алгебры. Например, самосопряженные элементы коммутативной С*-алгебры соответствуют вещественным непрерывным функциям. Также проекции (т.е. самосопряженные идемпотенты ) соответствуют индикаторным функциям множеств открыто-замкнутых .
Категориальные конструкции приводят к некоторым примерам. Например, копроизведение пространств представляет собой непересекающееся объединение и, таким образом, соответствует прямой сумме алгебр , которая является произведением С*-алгебр. Точно так же топология произведения соответствует копроизведению C*-алгебр, тензорному произведению алгебр . В более специализированной обстановкекомпактификации топологий соответствуют унификациям алгебр. Таким образом, одноточечная компактификация соответствует минимальной унификации C*-алгебр, компактификация Стоуна-Чеха соответствует алгебре мультипликатора , а множества корон соответствуют алгебрам короны .
Существуют определенные примеры свойств, для которых возможны множественные обобщения, и неясно, какое из них предпочтительнее. Например, вероятностные меры могут соответствовать либо состояниям , либо следовым состояниям. Поскольку все государства бессмысленны Следовые состояния в коммутативном случае неясно, необходимо ли условие следа, чтобы быть полезным обобщением.
К-теория
[ редактировать ]Одним из важнейших примеров этой идеи является обобщение топологической К-теории на некоммутативные С*-алгебры в форме операторной К-теории .
Дальнейшим развитием является бивариантная версия К-теории, называемая КК-теорией , которая имеет композиционное произведение
которой является кольцевая частным случаем структуру категории . структура в обычной K-теории. Продукт придает КК Это было связано с соответствиями алгебраических многообразий . [1]
Ссылки
[ редактировать ]- ^ Конн, Ален ; Консани, Катерина ; Марколли, Матильда (2007), «Некоммутативная геометрия и мотивы: термодинамика эндомотивов», Advances in Mathematics , 214 (2): 761–831, arXiv : math.QA/0512138 , doi : 10.1016/j.aim.2007.03. 006 , МР 2349719