WikiDer > Полином Костанта

В математика, то Полиномы Костанта, названный в честь Бертрам Костант, предоставить явную основу кольцо многочленов над кольцом многочленов, инвариантных относительно конечная группа отражений из корневая система.

Фон

Если группа отражения W соответствует Группа Вейля компактного полупростая группа K с максимальный тор Т, то полиномы Костанта описывают структуру когомологии де Рама обобщенного многообразие флагов K/Т, также изоморфный грамм/B куда грамм это комплексирование из K и B соответствующий Подгруппа Бореля. Арман Борель показал, что его кольцо когомологий изоморфна фактору кольца многочленов по идеальный порожденные инвариантными однородными многочленами положительной степени. Это кольцо уже рассматривали Клод Шевалле в установлении основ когомологий компактные группы Ли и их однородные пространства с Андре Вайль, Жан-Луи Кошул и Анри Картан; существование такого базиса было использовано Шевалле для доказательства того, что кольцо инвариантов само является кольцом многочленов. Подробное описание полиномов Костанта было дано Бернштейн, Гельфанд и Гельфанд (1973) и независимо Демазюр (1973) как инструмент для понимания Исчисление Шуберта многообразия флагов. Многочлены Костанта связаны с Полиномы Шуберта определяется комбинаторно Ласку и Шютценбергер (1982) Ошибка harvtxt: цель отсутствует: CITEREFLascouxSchützenberger1982 (помощь) для классического многообразия флагов, когда грамм = SL (n,C). Их структура регулируется операторы разницы связанных с соответствующими корневая система.

Стейнберг (1975) определил аналогичный базис при замене кольца многочленов на кольцо экспонент из весовая решетка. Если K является односвязный, это кольцо можно отождествить с представительское кольцо р(Т) и W-инвариантное подкольцо с р(K). Базис Стейнберга снова был мотивирован проблемой топологии однородных пространств; основа возникает при описании Т-эквивариантная K-теория из K/Т.

Определение

Пусть Φ - корневая система в конечномерном реальном внутреннем пространстве продукта V с Группа Вейля W. Пусть Φ⁺ - множество положительных корней, а ∆ - соответствующее множество простых корней. Если α корень, то s_α обозначает соответствующий оператор отражения. Корни рассматриваются как линейные многочлены на V используя внутреннее произведение α (v) = (α,v). Выбор Δ приводит к Заказ Брюа на группе Вейля, определяемой способами записи элементов минимально как продукты простого корневого отражения. Минимальная длина элнета s обозначается${displaystyle ell (s)}$. Выберите элемент v в V такое, что α (v)> 0 для любого положительного корня.

Если α_я простой корень с оператором отражения s_я

${displaystyle s_ {i} x = x-2 {(x, alpha _ {i}) over (alpha _ {i}, alpha _ {i})} alpha _ {i},}$

тогда соответствующий оператор разделенной разности определяется

${displaystyle delta _ {i} f = {f-fcirc s_ {i} over alpha _ {i}}.}$

Если ${displaystyle ell (s) = m}$ и s уменьшил выражение

${displaystyle s = s_ {i_ {1}} cdots s_ {i_ {m}},}$

тогда

${displaystyle delta _ {s} = delta _ {i_ {1}} дельта cdots _ {i_ {m}}}$

не зависит от приведенного выражения. более того

${displaystyle displaystyle delta _ {s} delta _ {t} = delta _ {st}}$

если ${displaystyle ell (st) = ell (s) + ell (t)}$ и 0 в противном случае.

Если ш₀ это самый длинный элемент из W, элемент наибольшей длины или, что то же самое, элемент, отправляющий Φ⁺ к-Φ⁺, тогда

${displaystyle delta _ {w_ {0}} f = {sum _ {sin W} {m {det}}, s, fcirc s over prod _ {alpha> 0} alpha}.}$

В более общем смысле

${displaystyle delta _ {s} f = {{m {det}}, s, fcirc s + sum _ {t 0,, s ^ ​​{ -1} альфа <0} альфа}}$

для некоторых констант а_s,т.

Набор

${displaystyle displaystyle d = | W | ^ {- 1} prod _ {alpha> 0} alpha.}$

и

${displaystyle displaystyle P_ {s} = delta _ {s ^ {- 1} w_ {0}} d.}$

потом п_s является однородным многочленом степени ${displaystyle ell (s)}$.

Эти многочлены являются Полиномы Костанта.

Характеристики

Теорема. Многочлены Костанта образуют свободный базис кольца многочленов над W-инвариантными многочленами.

Фактически матрица

${displaystyle displaystyle N_ {st} = delta _ {s} (P_ {t})}$

унитреугольный для любого полного порядка, такого что s ≥ т подразумевает ${displaystyle ell (s) geq ell (t)}$.

Следовательно

${displaystyle displaystyle {m {det}}, N = 1.}$

Таким образом, если

${displaystyle displaystyle f = sum _ {s} a_ {s} P_ {s}}$

с а_s инвариантен относительно W, тогда

${displaystyle displaystyle delta _ {t} (f) = sum _ {s} delta _ {t} (P_ {s}) a_ {s}.}$

Таким образом

${displaystyle displaystyle a_ {s} = sum _ {t} M_ {s, t} delta _ {t} (f),}$

куда

${displaystyle displaystyle M = N ^ {- 1}}$

другая унитреугольная матрица с полиномиальными элементами. Непосредственно можно проверить, что а_s инвариантен относительно W.

Фактически δ_я удовлетворяет происхождение свойство

${displaystyle delta _ {i} (fg) = delta _ {i} (f) g + (fcirc s_ {i}) delta _ {i} (g).}$

Следовательно

${displaystyle delta _ {i} delta _ {s} (f) = sum _ {t} delta _ {i} (delta _ {s} (P_ {t})) a_ {t}) = sum _ {t} (delta _ {s} (P_ {t}) circ s_ {i}) delta _ {i} (a_ {t}) + sum _ {t} delta _ {i} delta _ {s} (P_ {t} )в}.}$

С

${displaystyle delta _ {i} delta _ {s} = delta _ {s_ {i} s}}$

или 0, то

${displaystyle sum _ {t} delta _ {s} (P_ {t}), delta _ {i} (a_ {t}) circ s_ {i} = 0}$

так что по обратимости N

${displaystyle displaystyle delta _ {i} (a_ {t}) = 0}$

для всех я, т.е. а_т инвариантен относительно W.

Основа Штейнберга

Как и выше, пусть Φ - корневая система в реальном внутреннем пространстве продукта V, а Φ⁺ подмножество положительных корней. Из этих данных получаем подмножество Δ = {α₁, α₂, ..., α_п} простых корней, коронки

${displaystyle displaystyle alpha _ {i} ^ {vee} = 2 (alpha _ {i}, alpha _ {i}) ^ {- 1} alpha _ {i},}$

и фундаментальные веса λ₁, λ₂, ..., λ_п как двойная основа коронок.

Для каждого элемента s в W, пусть ∆_s - подмножество Δ, состоящее из простых корней, удовлетворяющих s⁻¹α <0, и положим

${displaystyle lambda _ {s} = s ^ {- 1} sum _ {alpha _ {i} in Delta _ {s}} lambda _ {i},}$

где сумма вычисляется в весовой решетке п.

Набор линейных комбинаций экспонент е^μ с целыми коэффициентами при μ в п становится кольцом Z изоморфна групповой алгебре п, или эквивалентно кольцу представленийр(Т) из Т, куда Т - максимальный тор в K, односвязная, связная компактная полупростая группа Ли с корневой системой Φ. Если W группа Вейля группы Φ, то кольцо представлений р(K) из K можно отождествить с р(Т)^W.

Теорема Стейнберга. Экспоненты λ_s (s в W) образуют свободный базис кольца экспонент над подкольцом W-инвариантные экспоненты.

Обозначим через ρ полусумму положительных корней, а А обозначим оператор антисимметризации

${displaystyle A (psi) = sum _ {sin W} (- 1) ^ {ell (s)} scdot psi.}$

Положительные корни β с sβ положительный можно рассматривать как набор положительных корней для корневой системы на подпространстве V; корни - те, которые ортогональны s.λ_s. Соответствующая группа Вейля равна стабилизатору λ_s в W. Он создается простыми отражениями s_j для которого sα_j положительный корень.

Позволять M и N быть матрицами

${displaystyle M_ {ts} = t (lambda _ {s}) ,,, N_ {st} = (- 1) ^ {ell (t)} cdot t (psi _ {s}),}$

где ψ_s дается весом s⁻¹ρ - λ_s. Тогда матрица

${displaystyle B_ {s, s ^ ​​{prime}} = Omega ^ {- 1} (NM) _ {s, s ^ ​​{prime}} = {A (psi _ {s} lambda _ {s ^ {prime}} ) над Омегой}}$

треугольник относительно любого полного порядка на W такой, что s ≥ т подразумевает ${displaystyle ell (s) geq ell (t)}$. Стейнберг доказал, что записи B находятся W-инвариантные экспоненциальные суммы. Более того, все его диагональные элементы равны 1, поэтому у него есть определитель 1. Следовательно, его обратный C имеет такую ​​же форму. Определять

${displaystyle varphi _ {s} = sum C_ {s, t} psi _ {t}.}$

Если х - произвольная экспоненциальная сумма, то отсюда следует, что

${displaystyle chi = sum _ {sin W} a_ {s} lambda _ {s}}$

с а_s то W-инвариантная экспоненциальная сумма

${displaystyle a_ {s} = {A (varphi _ {s} chi) над Омегой}.}$

Действительно, это единственное решение системы уравнений

${displaystyle tchi ​​= sum _ {sin W} t (lambda _ {s}) ,, a_ {s} = sum _ {s} M_ {t, s} a_ {s}.}$

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

• Бернштейн, И. Н .; Гельфанд, И.М.; Гельфанд С. И. (1973), "Клетки Шуберта и когомологии пространств G / P", Русская математика. Обзоры, 28 (3): 1–26, Дои:10.1070 / RM1973v028n03ABEH001557
• Билли, Сара С. (1999), "Многочлены Костанта и кольцо когомологий для G / B.", Duke Math. Дж., 96: 205–224, CiteSeerX 10.1.1.11.8630, Дои:10.1215 / S0012-7094-99-09606-0
• Бурбаки, Николас (1981), Groupes et algèbres de Lie, Chapitres 4, 5 и 6, Массон, ISBN 978-2-225-76076-1
• Картан, Анри (1950), "Различия в понятиях; применение к группам Ли и другим разнообразным операциям в группе Ли", Colloque de Topologie (espaces Fibrés), Брюссель: 15–27
• Картан, Анри (1950), "La transgression dans un groupe de Lie et dans un espace fibré main", Colloque de Topologie (espaces Fibrés), Брюссель: 57–71
• Шевалле, Клод (1955), «Инварианты конечных групп, порожденные отражениями», Амер. J. Math., 77 (4): 778–782, Дои:10.2307/2372597, JSTOR 2372597
• Демазюр, Мишель (1973), "Симметрические инварианты энтиерсных групп Вейля и кручения", Изобретать. Математика., 21 (4): 287–301, Дои:10.1007 / BF01418790
• Greub, Вернер; Гальперин, Стивен; Ванстон, Рэй (1976), Связности, кривизна и когомологии. Том III: Когомологии главных расслоений и однородных пространств, Чистая и прикладная математика, 47-III, Academic Press
• Хамфрис, Джеймс Э. (1994), Введение в алгебры Ли и теорию представлений (2-е изд.), Springer, ISBN 978-0-387-90053-7
• Костант, Бертрам (1963), "Когомологии алгебр Ли и обобщенные клетки Шуберта", Анна. математики., 77 (1): 72–144, Дои:10.2307/1970202, JSTOR 1970202
• Костант, Бертрам (1963), "Представления группы Ли на кольцах многочленов", Амер. J. Math., 85 (3): 327–404, Дои:10.2307/2373130, JSTOR 2373130
• Костант, Бертрам; Кумар, Шраван (1986), "Ниль-кольцо Гекке и когомологии G / P для группы Каца – Муди G.", Proc. Natl. Акад. Sci. СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ., 83 (6): 1543–1545, Дои:10.1073 / пнас.83.6.1543, ЧВК 323118, PMID 16593661
• Ален, Ласку; Шютценбергер, Марсель-Поль (1982), "Полиномы Шуберта [полиномы Шуберта]", Comptes Rendus de l'Académie des Sciences, Série I, 294: 447–450
• Маклеод, Джон (1979), Формула Куннета в эквивариантной K-теории, Конспект лекций по математике, 741, Springer, стр. 316–333.
• Стейнберг, Роберт (1975), «Об одной теореме Питти», Топология, 14 (2): 173–177, Дои:10.1016/0040-9383(75)90025-7