Алгебра множителей - Multiplier algebra

В математика, то алгебра множителей, обозначаемый M(А), из C * -алгебра А является унитальной C * -алгеброй, которая является наибольшей унитальной C * -алгеброй, содержащей А как идеальный «невырожденным» способом. Это некоммутативный обобщение Каменно-чешская компактификация. Алгебры мультипликаторов были введены Басби (1968).

Например, если А является C * -алгеброй компактные операторы в сепарабельном гильбертовом пространстве, M(А) является B(ЧАС) С * -алгебра всех ограниченные операторы на ЧАС.

Определение

Идеальный я в C * -алгебре B как говорят существенный если я ∩ J нетривиально для всех идеальных J. Идеальный я необходимо тогда и только тогда, когда я^⊥, "ортогональное дополнение" я в C * -модуль Гильберта B это {0}.

Позволять А - C * -алгебра. Его алгебра множителей M(А) - любая C * -алгебра, удовлетворяющая следующему универсальная собственность: для всей C * -алгебры D содержащий А как идеал существует единственный * -гомоморфизм φ: D → M(А) такие, что φ расширяет тождественный гомоморфизм на А и φ(А^⊥) = {0}.

Уникальность до изоморфизм определяется универсальным свойством. Когда А является единым, M(А) = А. Также из определения следует, что для любого D содержащий А как существенный идеал, алгебра множителей M(А) содержит D как С * -подалгебру.

Существование M(А) можно показать несколькими способами.

А двойной центратор C * -алгебры А пара (L, р) линейных ограниченных отображений на А такой, что аЛ(б) = р(а)б для всех а и б в А. Это означает, что ||L|| = ||р||. Комплект двойных центраторов А можно задать структуру C * -алгебры. Эта C * -алгебра содержит А как существенный идеал и может быть идентифицирован как алгебра множителей M(А). Например, если А компактные операторы K(ЧАС) на сепарабельном гильбертовом пространстве, то каждое Икс ∈ B(ЧАС) определяет двойной централизатор А простым умножением слева и справа.

В качестве альтернативы, M(А) можно получить через представления. Понадобится следующий факт:

Лемма. Если я идеал в C * -алгебре B, то любое точное невырожденное представление π из я может быть продлен однозначно к B.

Теперь возьмем любое точное невырожденное представление π из А в гильбертовом пространстве ЧАС. Приведенная выше лемма вместе с универсальным свойством алгебры мультипликаторов дает, что M(А) изоморфна идеализатор из π(А) в B(ЧАС). Немедленно, что M(K(ЧАС)) = B(ЧАС).

Наконец, позвольте E - гильбертов С * -модуль и B(E) (соотв. K(E)) - сопряженные (соответственно компактные) операторы на E M(А) можно отождествить с помощью * -гомоморфизма А в B(E). Верно что-то похожее на приведенную выше лемму:

Лемма. Если я идеал в C * -алгебре B, то любой точный невырожденный * -гомоморфизм π из я в B(E) может быть расширен однозначно к B.

Следовательно, если π является точным невырожденным * -гомоморфизмом А в B(E), тогда M(А) изоморфен идеализатору π(А). Например, M(K(E)) = B(E) для любого гильбертова модуля E.

C * -алгебра А изоморфна компактным операторам на гильбертовом модуле А. Следовательно, M(А) - сопряженные операторы на А.

Строгая топология

Рассмотрим топологию на M(А) указанные полунормы {л_а, р_а}_{а ∈ А}, куда

${displaystyle l_{a}(x)=|ax|,;r_{a}(x)=|xa|.}$

Полученная топология называется строгая топология на M(А). А строго плотно в M(А) .

Когда А является единым, M(А) = А, а строгая топология совпадает с топологией нормы. За B(ЧАС) = M(K(ЧАС)) строгой топологией является σ-сильная * топология. Из вышесказанного следует, что B(ЧАС) полна в σ-сильной * топологии.

Коммутативный падеж

Позволять Икс быть локально компактный Пространство Хаусдорфа, А = C₀(Икс) коммутативная C * -алгебра непрерывных функций, исчезнуть в бесконечности. потом M(А) является C_б(Икс) непрерывные ограниченные функции на Икс. Посредством Теорема Гельфанда-Наймарка, выполняется изоморфизм C * -алгебр

${displaystyle C_{b}(X)simeq C(Y)}$

куда Y это спектр из C_б(Икс). Y фактически гомеоморфен Каменно-чешская компактификация βX из Икс.

Алгебра короны

В корона или же алгебра короны из А частное M(А)/АНапример, коронная алгебра алгебры компактных операторов в гильбертовом пространстве - это Калкина алгебра.

Алгебра короны является некоммутативным аналогом набор короны топологического пространства.

Рекомендации

• Б. Блэкадар, K-теория операторных алгебр, Публикации ИИГС, 1986.
• Басби, Роберт К. (1968), «Двойные централизаторы и расширения C * -алгебр» (PDF), Труды Американского математического общества, 132: 79–99, Дои:10.2307/1994883, ISSN  0002-9947, JSTOR  1994883, МИСТЕР  0225175
• Педерсен, Герт К. (2001) [1994], «Множители C * -алгебр», Энциклопедия математики, EMS Press