Порядок Брюа (Hkjx;kt >jZg)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/33/Bruhat_order_S%5E4.png/400px-Bruhat_order_S%5E4.png)
Порядок Брюа (сильный порядок, сильный порядок Брюа, порядок Шевалле, порядок Брюа — Шевалле) — частичный порядок на элементах группы Коксетера, который соответствует порядку включения на многообразиях Шуберта[англ.].
Впервые исследован Шарлем Эресманном в 1934 году[1] на многообразиях Шуберта многообразий флагов[англ.] или грасманианов, а аналогичную конструкцию для более общего случая полупростых алгебраических групп изучил Клод Шевалле в 1958 году[2]. В 1968 году Дайя-Нанд Верма[англ.] применил комбинаторные методы для исследования порядка Брюа на группах Вейля, и он же ввёл название — «порядок Брюа» в честь французского математика Франсуа Брюа[англ.] ввиду связи с разложением Брюа[англ.][3]. Левые и правые слабые порядки Брюа изучал Андерс Бьёрнер[англ.][4].
Определение
[править | править код]Если — система Коксетера с порождающими элементами , то (сильный, слабый левый, слабый правый) порядок Брюа — это частичный порядок на группе , определяемый для следующим образом[5]:
- в (сильном) порядке Брюа, если некоторая подстрока некоторого (любого) приведённого слова для является приведённым словом для [6];
- , то есть меньше или равно в слабом левом порядке Брюа, если некоторый постфикс некоторого приведённого слова для является приведённым словом для ;
- в слабом правом порядке Брюа, если некоторый префикс некоторого приведённого слова для является приведённым словом для .
Граф Брюа
[править | править код]Граф Брюа — это ориентированный граф, связанный с сильным порядком Брюа. Множество вершин графа Брюа состоит из элементов группы Коксетера, а ориентированное ребро между вершинами и проводится тогда и только тогда, когда и существует такое отражение , что . Граф Брюа можно воспринимать как ориентированный граф с помеченными рёбрами, где метки соответствуют отражениям. Аналогичным образом можно определить граф Брюа с умножением на отражение справа. В таком случае новый граф окажется изоморфен исходному, но метки на его рёбрах будут расставлены иначе.
Сильный порядок Брюа на симметрической группе обладает функцией Мёбиуса, которая определяется равенством , а значит соответствующее частично упорядоченное множество является эйлеровым.
Примечания
[править | править код]- ↑ Ehresmann, 1934.
- ↑ Chevalley, 1958.
- ↑ Verma, 1968.
- ↑ Björner, 1984.
- ↑ Приведённое слово для элемента — это минимальное по длине представление элемента в виде произведения элементов из , а длина элемента — это число элементов в приведённом слове
- ↑ Здесь «подстрока» не обязательно означает «последовательная подстрока»
Литература
[править | править код]- Anders Björner. Orderings of Coxeter groups // Combinatorics and algebra (Boulder, Colo., 1983) / Curtis Greene. — Providence, R.I.: American Mathematical Society, 1984. — Т. 34. — С. 175–195. — (Contemp. Math.). — ISBN 978-0-8218-5029-9.
- Anders Björner, Francesco Brenti. Combinatorics of Coxeter groups. — Berlin, New York: Springer-Verlag, 2005. — Т. 231. — (Graduate Texts in Mathematics). — ISBN 978-3-540-44238-7. — doi:10.1007/3-540-27596-7.
- C. Chevalley. Sur les décompositions cellulaires des espaces G/B // Algebraic groups and their generalizations: classical methods (University Park, PA, 1991) / William J. Haboush, Brian J. Parshall. — Providence, R.I.: American Mathematical Society, 1958. — Т. 56. — С. 1–23. — (Proc. Sympos. Pure Math.). — ISBN 978-0-8218-1540-3.
- Charles Ehresmann. Sur la Topologie de Certains Espaces Homogènes (Fr) // Annals of Mathematics. — Annals of Mathematics, 1934. — Т. 35, вып. 2. — С. 396–443. — ISSN 0003-486X. — doi:10.2307/1968440. — .
- Daya-Nand Verma. Structure of certain induced representations of complex semisimple Lie algebras // Bulletin of the American Mathematical Society. — 1968. — Т. 74. — С. 160–166. — ISSN 0002-9904. — doi:10.1090/S0002-9904-1968-11921-4.