Алгебра Хопфа

Алгебра Хопфа — алгебра, являющаяся унитарной ассоциативной коалгеброй и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа.

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

Строгое определение

Алгебра Хопфа — ассоциативная и коассоциативная биалгебра H над полем K вместе с K-линейное отображение $S\colon H\to H$ (называемое антиподом) так что следующая диаграмма коммутирует:

Здесь Δ — соумножение биалгебры, ∇ её умножение, η её единица и ε её соединица. В нотации Свидлера, это свойство также может быть выражено как

$S (c _ {(1)}) c _ {(2)} =c _ {(1)} S (c _ {(2)}) = \epsilon (c) 1 \qquad \mbox { for all } c \in H.$

Что касается алгебры s, то в вышеупомянутом определении можно заменить подразумеваемое поле K на коммутативное кольцо R.

Определение алгебры Хопфа само-двойное (как отражено в симметрии вышеупомянутой диаграммы), так, если можно определить сопряжённое H (которое всегда возможно, если H является конечномерным), то оно — автоматически алгебра Хопфа.

Свойства антипода

Антипод S иногда обязан иметь K-линейную инверсию, которая является автоматической в конечномерном случае, или если H коммутативна или кокоммутативна (или, вообще говоря квазитреугольная).

Вообще говоря, S — антигомоморфизм,^[1] так $S^2$ — гомоморфизм, который является поэтому автоморфизмом, если «S» была обратима (как может требоваться).

Если $S^2 = Id$, то алгебра Хопфа, как говорят, является запутанной (и основная алгебра с запутанностью — *-алгебра). Если «H» конечномерная полупростая по полю характеристики ноль, коммутативная, или ккоммутативная, то это — запутанная алгебра.

Если биалгебра B допускает антипод S, то S уникален («биалгебра допускает самое большее 1 структуру алгебры Хопфа»).^[2]

Антипод — аналог к отображению инверсии на группе, которая посылает $g$ к $g^{-1}$.^[3]

Подалгебры Хопфа

Подалгебра K (не смешивать с полем K в примечании выше) алгебры Хопфа H является подалгеброй Хопфа, если она является подкоалгеброй H, и антипод S отображает K в K. Другими словами, подалгебра Хопфа K это подпространство в алгебре Хопфа, замкнутое относительно умножения, коумножения и антипода. Теорема Никлоса-Зеллера (Nichols-Zoeller) о свободности (1989) утверждает, что любой натуральный K-модуль имеет конечный ранг и свободен, если H конеченомерна, что даёт обобщение теоремы Лагранжа для подгрупп. Как следствие этой теории, подалгебра Хопфа полупростой конечномерной алгебры Хопфа автоматически полупроста.

Подалгебра Хопфа K, называется правой нормальной подалгеброй алгебры Хопфа H, если она удовлетворяет условию стабильности, $ad_r (h) (K) \subseteq K$ для всех h из H, где присоединённое действие $ad_r$ определено как $ad_r (h) (k) = S (h _ {(1)}) k h _ {(2)}$ для всех k из K и h из H. Точно так же подалгебра Хопфа K является левой нормальной в H если она инвариантна при левом сопряжении, определенном как $ad_ {\ell} (h) (k) = h _ {(1)} k S (h _ {(2)})$. Оба условия нормальности эквивалентны, если антипод S биективен. В этом случае говорят, что K является нормальной подалгеброй Хопфа.

Нормальная подалгебра Хопфа K в H удовлетворяет условию (равенства подмножеств H): $HK ^ + = K ^ + H$, где $K ^ +$ обозначает ядро коединицы K. Это условие нормальности подразумевает, что $HK ^ +$ — идеал Хопфа алгебры H (то есть идеал алгебры в ядре коединицы, коидеал коалебры и устойчив под действием антипода). Как следствие, определена фактор алгебра Хопфа $H / HK ^ +$ и эпиморфизм $H \rightarrow H/K ^ + H$, аналогично соответствующимконструкциям нормальных подгрупп и факторгрупп в теории групп.^[4]

Примеры

1. Алгебра группы. Предположим «G» — группа. Алгебра группы «КГ» — унитарная ассоциативная алгебра по «K». Это превращается в алгебру Хопфа, если мы определим
2. * Δ: «KG» → «KG» ⊗ «KG» Δ («g») = «g» ⊗ «g» для всего «g» в «G»
3. * ε: «KG» → «K» ε («g») = 1 для всего «g» в «G»
4. * «S»: «KG» → «KG» «S» («g») = «g»  ⁻¹для всего «g» в «G».

Когомология групп Ли

Алгебра когомологии группы Ли — алгебра Хопфа: умножение обеспечено соумножением, и коумножением

$H ^ * (G) \rightarrow H ^ * (G\times G) \cong H ^ * (G) \otimes H ^ * (G)$

умножением группы $G\times G\rightarrow G$. Это наблюдение было фактически источником понятия Hopf алгебры. Используя эту структуру, Хопф доказал теорему структуры для алгебры когомологии групп Ли.

Теорема Хопфа^[5] Пусть A конечномерная, суперкоммутативная, кокоммутативная алгебра Хопфа над полем характеристики 0. Тогда A (как алгебра) — свободная внешняя алгебра с генераторами нечетной степени.

Квантовые группы

Все примеры выше являются либо коммутативными (то есть умножение коммутативное) или кокоммутативными (то есть Δ = «T» $\circ$ Δ где «T»: «H» ⊗ «H» → «H» ⊗ «H» есть перестановка тензорных сомноителей, определенная как «T» («x» ⊗ «y») = «y» ⊗ «x»). Другими интересными примерами алгебр Хопфа — некоторые деформации или «квантования» примера 3, которые не являются ни коммутативными, ни кокоммутативными. Эти алгебры Хопфа часто называют «квантовыми группами». Идея состоит в следующем: обычная алгебраическая группа может быть описана в тернимах алгебры Хопфа регулярных функций. Мы можем тогда думать о деформации этой алгебры Хопфа как об описании некоторой «квантованной» алгебраической группы (хотя она и не является алгебраической группой ни в каком смысле). Многие свойства алгебраических групп, а также конструкции с ними имеют свои аналоги в мире деформированных алгебр Хопфа. Отсюда название «квантовая группа».

Аналогия с группами

Группы могут быть аксиоматизированы в соответствии с теми же самыми диаграммами (эквивалентностями, операциями) как алгебра Хопфа, где «G» берётся как набор вместо модуля. В этом случае:

• поле K заменено набором с 1 точкой
• есть естественная коединица (отображение к 1 точке)
• есть естественное коумножение (диагональное отображение)
• единица — уникальный элемент группы
• умножение — умножение в группе
• антипод — инверсия

В этой философии, о группе можно думать как о алгебре Хопфа по " поле с одним элементом ".^[6]

Примечания

1. ↑ Dăscălescu, Năstăsescu & Raianu (2001), Prop. 4.2.6, Шаблон:Google books quote
2. ↑ Dăscălescu, Năstăsescu & Raianu (2001), Remarks 4.2.3, Шаблон:Google books quote
3. ↑ Quantum groups lecture notes
4. ↑ S. Montgomery, Hopf algebras and their actions on rings, Conf. Board in Math. Sci. vol. 82, A.M.S., 1993. ISBN 0-8218-0738-2
5. ↑ Hopf, 1941.
6. ↑ Group = Hopf algebra " Secret Blogging Seminar, Group objects and Hopf algebras, video of Simon Willerton.

Ссылки

• Dăscălescu, Sorin; Năstăsescu, Constantin & Raianu, Șerban (2001), «Hopf Algebras», vol. 235 (1st ed.), Pure and Applied Mathematics, Marcel Dekker, ISBN 0-8247-0481-9 .
• Pierre Cartier, A primer of Hopf algebras, IHES preprint, September 2006, 81 pages
• Jurgen Fuchs, Affine Lie Algebras and Quantum Groups, (1992), Cambridge University Press. ISBN 0-521-48412-X
• H. Hopf, Uber die Topologie der Gruppen-Mannigfaltigkeiten und ihrer Verallgemeinerungen, Ann. of Math. 42 (1941), 22-52. Reprinted in Selecta Heinz Hopf, pp. 119-151, Springer, Berlin (1964). MR4784
• Street, Ross (2007), «Quantum groups», vol. 19, Australian Mathematical Society Lecture Series, Cambridge University Press, MR2294803, ISBN 978-0-521-69524-4; 978-0-521-69524-4 .