Поліном Шура

У математиці многочлени Шура, названі на честь Шаблон:Нп, — це певні симетричний многочлен від $n$ змінних, параметризовані розбиттями, що узагальнюють елементарні симетричні поліноми і Шаблон:Нп. У теорії представлень вони є характерами Шаблон:Нп загальної лінійної групи.

Поліноми Шура утворюють лінійний базис простору всіх симетричних поліномів. Будь-який добуток поліномів Шура можна записати як лінійну комбінацією поліномів Шура з невід'ємними цілими коефіцієнтами; значення цих коефіцієнтів задається комбінаторними формулами за Шаблон:Нп.

У загальному випадку асиметричні поліноми Шура пов'язані з парами розбиттів і мають властивості, що аналогічні властивостям поліномів Шура.

Означення (біальтернативна формула Якобі)

Поліноми Шура параметризуються розбиттями невід'ємних цілих чисел. Для заданого розбиття $\lambda =({\lambda }_1,{\lambda }_2,\dots ,{\lambda }_n)$, де ${\lambda }_1\ge {\lambda }_2\ge \dots \ge {\lambda }_n$ і ${\lambda }_j$ — невід'ємні цілі числа, функції

$\begin{array}{c}{a}_{({\lambda }_1+n-1,{\lambda }_2+n-2,\dots ,{\lambda }_n)}(x_1,x_2,\dots ,x_n)=\det \left[\begin{array}{cccc}{x}_1^{{\lambda }_1+n-1}& x_2^{{\lambda }_1+n-1}& \dots & x_n^{{\lambda }_1+n-1}\\ x_1^{{\lambda }_2+n-2}& x_2^{{\lambda }_2+n-2}& \dots & x_n^{{\lambda }_2+n-2}\\ ⋮& ⋮& \ddots & ⋮\\ x_1^{{\lambda }_n}& x_2^{{\lambda }_n}& \dots & x_n^{{\lambda }_n}\end{array}\right]\end{array}$

є Шаблон:Нп за властивостями визначника. Поліном є знакозмінним, якщо він змінює знак при будь-якій перестановці змінних.

Оскільки поліноми Шура є знакозмінними, то всі вони діляться на визначник Вандермонда

$\begin{array}{c}{a}_{(n-1,n-2,\dots ,0)}(x_1,x_2,\dots ,x_n)=\det \left[\begin{array}{cccc}{x}_1^{n-1}& x_2^{n-1}& \dots & x_n^{n-1}\\ x_1^{n-2}& x_2^{n-2}& \dots & x_n^{n-2}\\ ⋮& ⋮& \ddots & ⋮\\ 1& 1& \dots & 1\end{array}\right]=\prod _{1\le j<k\le n}(x_j-x_k).\end{array}$

Поліноми Шура визначаються за допомогою відношення

$\begin{array}{c}{s}_{\lambda }(x_1,x_2,\dots ,x_n)=\frac{a_{({\lambda }_1+n-1,{\lambda }_2+n-2,\dots ,{\lambda }_n+0)}(x_1,x_2,\dots ,x_n)}{a_{(n-1,n-2,\dots ,0)}(x_1,x_2,\dots ,x_n)},\end{array}$

яке відоме як біальтернативна формула Якобі, яка є частинним випадком Шаблон:Нп.

Поліном Шура є симетричною функцією, оскільки чисельник і знаменник відношення є знакозмінними, і є поліномом, оскільки всі знакозмінні поліноми діляться на визначник Вандермонда.

Властивості

Поліноми Шура степеня $d$ в $n$ змінних є лінійним базисом для простору однорідних симетричних поліномів степеня $d$ в :$n$ змінних. Для розбиття $\lambda =({\lambda }_1,{\lambda }_2,\dots ,{\lambda }_n)$ поліном Шура є сумою одночленів

$\begin{array}{c}{s}_{\lambda }(x_1,x_2,\dots ,x_n)=\sum _T{x}^T=\sum _T{x}_1^{t_1}\cdots x_n^{t_n},\end{array}$

де підсумовування йде за всіма напівстандартними діаграмами Юнга $T$ форми $\lambda$. Степені $t_1,\dots ,t_n$ визначають вагу для $T$, іншими словами, кожне $t_i$ підраховує кількість чисел $i$ в $T$.

Можна показати, що це еквівалентно означенню з першої формули Джамбелл і за допомогою Шаблон:Нп (як описано нижче).

Поліноми Шура можна представити як лінійні комбінації одночлених симетричних поліномів $m_{\mu }$ з натуральними коефіцієнтами $K_{\lambda \mu }$, які називають Шаблон:Нп,

$\begin{array}{c}{s}_{\lambda }=\sum _{\mu }{K}_{\lambda \mu }{m}_{\mu }.\end{array}$

Числа Костки $K_{\lambda \mu }$ визначаються числом напівстандартних діаграм Юнга форми $\lambda$ і ваги $\mu$.

Тотожності Якобі—Труді

Перша формула Якобі—Труді виражає поліном Шура як визначник у термінах Шаблон:Нп,

$\begin{array}{c}{s}_{\lambda }=\det (h_{{\lambda }_i+j-i}{)}_{i,j=1}^{l(\lambda )}=\det \left[\begin{array}{cccc}{h}_{{\lambda }_1}& h_{{\lambda }_1+1}& \dots & h_{{\lambda }_1+n-1}\\ h_{{\lambda }_2-1}& h_{{\lambda }_2}& \dots & h_{{\lambda }_2+n-2}\\ ⋮& ⋮& \ddots & ⋮\\ h_{{\lambda }_n-n+1}& h_{{\lambda }_n-n+2}& \dots & h_{{\lambda }_n}\end{array}\right],\end{array}$

де $h_i:=s_{(i)}$.

Друга формула Якобі—Труді виражає поліном Шура як визначник у термінах елементарних симетричних поліномів,

$\begin{array}{c}{s}_{\lambda }=\det (e_{\lambda {\text{'}}_i+j-i}{)}_{i,j=1}^{l({\lambda }^{\prime })}=\det \left[\begin{array}{cccc}{e}_{\lambda {\text{'}}_1}& e_{\lambda {\text{'}}_1+1}& \dots & e_{\lambda {\text{'}}_1+l-1}\\ e_{\lambda {\text{'}}_2-1}& e_{\lambda {\text{'}}_2}& \dots & e_{\lambda {\text{'}}_2+l-2}\\ ⋮& ⋮& \ddots & ⋮\\ e_{\lambda {\text{'}}_l-l+1}& e_{\lambda {\text{'}}_l-l+2}& \dots & e_{\lambda {\text{'}}_l}\end{array}\right],\end{array}$

де $e_i:=s(1^i)$, ${\lambda }^{\prime }$ — розбиття спряжене до $\lambda$.

В обох тотожностях функції з невід'ємними нижніми індексами визначаються як нульові.

Тотожність Джамбеллі

Іншою тотожністю з використанням визначників є Шаблон:Нп, яка виражає функцію Шура для довільного розбиття в термінах функції для гачкових розбиттів, що містяться в діаграмі Юнга.

У позначеннях Фробеніуса розбиття позначається як

$\begin{array}{c}(a_1,\dots ,a_r\mid b_1,\dots ,b_r),\end{array}$

де $a_i$ для кожного діагонального елемента на місці $ii$ позначає кількість блоків праворуч у тому самому рядку, а $b_i$ — кількість блоків під ним у тому самому стовпці (відповідно довжина руки та ноги).

Тотожність Джамбеллі виражає функцію Шура, що відповідає цьому розбиттю, як визначник

$\begin{array}{c}{s}_{(a_1,\dots ,a_r\mid b_1,\dots ,b_r)}=\det (s_{(a_i\mid b_j)})\end{array}$

відповідних гачкових розбиттів.

Тотожність Коші

Тотожність Коші для функцій Шура (тепер для нескінченної кількості змінних) та її дуальна тотожність стверджують, що

$\begin{array}{c}\sum _{\lambda }{s}_{\lambda }(x)s_{\lambda }(y)=\sum _{\lambda }{m}_{\lambda }(x)h_{\lambda }(y)=\prod _{i,j}(1-x_i{y}_j{)}^{-1},\end{array}$

i

$\begin{array}{c}\sum _{\lambda }{s}_{\lambda }(x)s_{{\lambda }^{\prime }}(y)=\sum _{\lambda }{m}_{\lambda }(x)e_{\lambda }(y)=\prod _{i,j}(1+x_i{y}_j),\end{array}$

де сума береться зі всіма розбиттями $\lambda$, $h_{\lambda }(x)$ і $e_{\lambda }(x)$ — відповідно повні симетричні функції та елементарні симетричні функції.

Якщо суму береться за добутками поліномів Шура в $n$ змінних $(x_1,\dots ,x_n)$, то сума включає лише розбиття довжини $\ell (\lambda )\le n$, оскільки в іншому випадку поліноми Шура перетворюються на нуль.

Існує багато узагальнень цих тотожностей на інші сім'ї симетричних функцій. Наприклад, поліноми Макдональда, поліноми Шуберта та поліноми Гротендіка допускають тотожності типу Коші.

Інші тотожності

Поліноми Шура можуть також обчислюватись шляхом уточнення формули для Шаблон:Нп,

$\begin{array}{c}{s}_{\lambda }(x_1,\dots ,x_n)=\sum _{w\in S_n/S_n^{\lambda }}w\left(x^{\lambda }\prod _{{\lambda }_i>{\lambda }_j}\frac{x_i}{x_i-x_j}\right),\end{array}$

де $S_n^{\lambda }$ — така підгрупа перестановок, що ${\lambda }_w(i)={\lambda }_i$ для всіх $i$, а $w$ діє на змінні шляхом перестановки індексів.

Правило Мурнагана—Накаями

Правило Мурнагана—Накаями виражає добуток симетричної функції суми ступенів з поліномом Шура в термінах поліномів Шура:

$\begin{array}{c}{p}_r\cdot s_{\lambda }=\sum _{\mu }(-1{)}^{ht(\mu /\lambda )+1}{s}_{\mu },\end{array}$

де сума береться за всіма розбиттями $\mu$ такими, що $\mu /\lambda$ — це обідок-гачок розміру $r$, а $ht(\mu /\lambda )$ — це кількість рядків в діаграмі $\mu /\lambda$.

Правило Літтлвуда—Річардсона і формула П'єрі

Коефіцієнти Літтлвуда—Річардсона залежать від трьох розбиттів $\lambda$, $\mu$, $\nu$, де $\lambda$ і $\mu$ описують функції Шура, що перемножуються, і $\nu$ визначає функцію Шура, коефіцієнтом якої є коефіцієнт в лінійній комбінації; іншими словами це коефіцієнти $c_{\lambda ,\mu }^{\nu }$ такі, що

$\begin{array}{c}{s}_{\lambda }{s}_{\mu }=\sum _{\nu }{c}_{\lambda ,\mu }^{\nu }{s}_{\nu }.\end{array}$

Правило Літтлвуда—Річардсона стверджує, що коефіцієнт $c_{\lambda ,\mu }^{\nu }$ дорівнює номеру діаграми Літтлвуда—Річардсона асиметричних форм $\nu /\lambda$ з вагою $\mu$.

Формула П'єрі — частинний випадок правила Літтлвуда—Річардсона, яка представляє добуток $h_r{s}_{\lambda }$ в термінах поліномів Шура. Дуальна версія представляє $e_r{s}_{\lambda }$ в термінах поліномів Шура.

Конкретизації

Значення полінома Шура $s_{\lambda }$ в $(1,1,\dots ,1)$ дає кількість напівстандартних діаграм Юнга форми $\lambda$ із елементами в $1,2,\dots ,n$. Наприклад, за допомогою Шаблон:Нп можна побачити, що

$\begin{array}{c}{s}_{\lambda }(1,1,\dots ,1)=\prod _{1\le i<j\le n}\frac{{\lambda }_i-{\lambda }_j+j-i}{j-i}.\end{array}$

У цій формулі $\lambda$ є кортежем, що вказує ширину кожного рядка діаграми Юнга, яка неявно розширюється нулями, поки не матиме довжину $n$.

Сума елементів ${\lambda }_i$ дорівнює $d$. Дивись також Шаблон:Нп, яка обчислює ту саму величину для фіксованого $\lambda$.

Приклад

Наступний розширений приклад повинен допомогти з'ясувати ці ідеї. Розглянемо випадок $n=3$, $d=4$. Використовуючи діаграми Феррера або будь-який інший метод, знаходимо, що існує всього чотири розбиття для числа чотири щонайбільше на три частини. Маємо

$\begin{array}{cc}& s_{(2,1,1)}(x_1,x_2,x_3)=\frac{1}{\mathrm{\Delta }}\det \left[\begin{array}{ccc}{x}_1^4& x_2^4& x_3^4\\ x_1^2& x_2^2& x_3^2\\ x_1& x_2& x_3\end{array}\right]=x_1{x}_2{x}_3(x_1+x_2+x_3),\\ & s_{(2,2,0)}(x_1,x_2,x_3)=\frac{1}{\mathrm{\Delta }}\det \left[\begin{array}{ccc}{x}_1^4& x_2^4& x_3^4\\ x_1^3& x_2^3& x_3^3\\ 1& 1& 1\end{array}\right]=x_1^2{x}_2^2+x_1^2{x}_3^2+x_2^2{x}_3^2+x_1^2{x}_2{x}_3+x_1{x}_2^2{x}_3+x_1{x}_2{x}_3^2,\end{array}$

і так далі, де $\mathrm{\Delta }$ — визначник Вандермонда $a_{(2,1,0)}(x_1,x_2,x_3)$. Підсумовуючи:

$\begin{array}{cc}& 1.s_{(2,1,1)}=e_1{e}_3,\\ & 2.s_{(2,2,0)}=e_2^2-e_1{e}_3,\\ & 3.s_{(3,1,0)}=e_1^2{e}_2-e_2^2-e_1{e}_3,\\ & 4.s_{(4,0,0)}=e_1^4-3e_1^2{e}_2+2e_1{e}_3+e_2^2.\end{array}$

Будь-який однорідний симетричний поліном четвертого степеня з трьома змінними можна виразити як єдину лінійну комбінацію цих чотирьох поліномів Шура, і цю комбінацію можна знову знайти використовуючи Шаблон:Нп для відповідного порядку виключення. Наприклад,

$\begin{array}{c}\varphi (x_1,x_2,x_3)=x_1^4+x_2^4+x_3^4\end{array}$

є очевидно однорідним симетричним поліномом четвертого степеня і

$\begin{array}{c}\varphi =s_{(2,1,1)}-s_{(3,1,0)}+s_{(4,0,0)}.\end{array}$

Зв'язок із теорією представлень

Поліноми Шура зустрічаються в Шаблон:Нп, загальних лінійних груп і унітарних груп. З Шаблон:Нп випливає, що поліноми Шура — характери скінченновимірних незвідних представлень загальних лінійних груп, і це допомагає узагальнити роботу Шура на інші компактні і напівпрості групи Лі.

Декілька співвідношень виникає з цього зв'язку, одним з найважливіших є співвідношення для функції $s_{\lambda }$ в термінах симетричних степеневих функцій $p_k=\sum _i{x}_i^k$.

Якщо записати $x_{\rho }^{\lambda }$ для характеру представлень симетричної групи індексованої розбиттям $\lambda$ та обчислити його на елементах циклічного типу індексованих розбиттям $\rho$, тоді

$\begin{array}{c}{s}_{\lambda }=\sum _{\nu }\frac{{\chi }_{\nu }^{\lambda }}{z_{\nu }}{p}_{\nu }=\sum _{\rho =(1^{r_1},2^{r_2},3^{r_3},\dots )}{\chi }_{\rho }^{\lambda }\prod _k\frac{p_k^{r_k}}{r_k!k^{r_k}},\end{array}$

де $\rho =(1^{r_1},2^{r_2},3^{r_3},\dots )$ означає, що розбиття $\rho$ має $r_k$ частин довжини $k$.

Цілі числа $x_{\rho }^{\lambda }$ можна обчислити за допомогою Шаблон:Нп.

Додатність Шура

Завдяки зв'язку з теорією представлень симетрична функція, що допускає додатний розклад через функції Шура, має особливе значення.

Наприклад, асиметричні функції Шура мають додатний розклад через звичайні функції Шура, а коефіцієнти є коефіцієнтами Літтлвуда—Річардсона.

Частинним випадком цього є розклад повних однорідних симетричних функцій $h_{\lambda }$ через функції Шура. Цей розклад відображає те, як модуль перестановки розкладається на незвідні представлення.

Методи доведення додатності Шура

Існує декілька методів для доведення додатності Шура заданої симетричної функції $F$. Якщо функція $F$ описується комбінаторним способом, то прямий метод полягає у побудові бієкції з напівстандартними діаграмами Юнга. Прикладами таких бієкцій є відповідність Едельмана—Гріна та Шаблон:Нп.

Бієкція з більшою структурою — доведення з використання так званих Шаблон:Нп. Цей метод можна описати як визначення певної структури графа, що описуються локальними правилами, для базових комбінаторних об'єктів.

Подібною ідеєю є поняття дуальної еквівалентності. Цей підхід також використовує структуру графа, але на об'єктах, що представляють розклад за фундаментальним квазісиметричним базисом. Це тісно пов'язано з RSK—відповідністю.

Узагальнення

Асиметричні функцій Шура

Асиметричні функції Шура $s_{\lambda /\mu }$ залежать від двох розбиттів $\lambda$ і $\mu$, і визначаються за допомогою властивості

$\begin{array}{c}⟨s_{\lambda /\mu },s_{\nu }⟩=⟨s_{\lambda },s_{\mu }{s}_{\nu }⟩.\end{array}$

Тут скалярним добутком є скалярний добуток Холла для якого поліноми Шура утворюють ортонормований базис.

Як і для звичайних поліномів Шура існує багато способів обчислення асиметричних функцій Шура. Відповідні тотожності Якобі—Труді мають вигляд

$\begin{array}{cc}& s_{\lambda /\mu }=\det (h_{{\lambda }_i-{\mu }_j-i+j}{)}_{i,j=1}^{l(\lambda )},\\ & s_{{\lambda }^{\prime }/{\mu }^{\prime }}=\det (e_{{\lambda }_i-{\mu }_j-i+j}{)}_{i,j=1}^{l(\lambda )}.\end{array}$

Існує також комбінаторна інтерпретація асиметричних поліномів Шура, а саме вони є сумою за всіма напівстандартними діаграмами Юнга (чи діаграмами у вигляді строгих стовпців) асиметричної форми $\lambda /\mu$.

Асиметричні поліноми Шура допускають додатний розклад за поліномами Шура. Правило для коефіцієнтів визначається Шаблон:Нп.

Подвійні поліноми Шура

Подвійні поліноми Шура можна розглядати як узагальнення зсувних поліномів Шура.

Ці поліноми також тісно пов'язані з факторними поліномами Шура.

Для заданого розбиття $\lambda$ і послідовності $a_1,a_2,\dots$ можна визначити подвійний поліном Шура $s_{\lambda }(x\parallel a)$ як

$\begin{array}{c}{s}_{\lambda }(x||a)=\sum _T\prod _{\alpha \in \lambda }(x_{T(\alpha )}-a_{T(\alpha )-c(\alpha )}),\end{array}$

де сума береться за всіма зворотними напівстандартними діаграмами Юнга $T$ форми $\lambda$ і натуральними елементами $1,\dots ,n$ . Тут $T(\alpha )$ — значення в комірці $\alpha$ діаграми Юнга $T$, а $c(\alpha )$ — вміст комірки.

Комбінаторне правило для коефіцієнтів Літтлвуда—Річардсона (залежно від послідовності a) отримав А.І. Молєв. Зокрема, це означає, що зсувні поліноми Шура мають невід'ємні коефіцієнти Літтлвуда—Річардсона.

Зсувні поліноми Шура $s_{\lambda }^{*}(y)$ можна отримати з подвійних поліномів Шура шляхом конкретизації $a_i=-i$ і $y_i=x_i+i$.

Подвійні поліноми Шура є частинними випадками подвійних Шаблон:Нп.

Факторні поліноми Шура

Факторні поліноми Шура можна визначити наступним чином. Для заданого розбиття $\lambda$ і подвійної нескінченної послідовності $\dots ,a_{a-1},a_0,a_1,\dots$ можна визначити факторний поліном Шура $s_{\lambda }(x|a)$ як

$\begin{array}{c}{s}_{\lambda }(x|a)=\sum _T\prod _{\alpha \in \lambda }(x_{T(\alpha )}-a_{T(\alpha )+c(\alpha )}),\end{array}$

де сума береться за всіма напівстандартними діаграмами Юнга $T$ форми $\lambda$ і натуральними елементами $1,\dots ,n$. Тут $T(\alpha )$ — значення в комірці $\alpha$ діаграми Юнга $T$, а $c(\alpha )$ — вміст комірки.

Існує також формула через визначник:

$\begin{array}{c}{s}_{\lambda }(x|a)=\frac{\det [(x_j|a{)}^{{\lambda }_i+n-i}{]}_{i,j=1}^{l(\lambda )}}{\prod _{i<j}(x_i-x_j)},\end{array}$

де $(y|a{)}^k=(y-a_1)\cdots (y-a_k)$. Очевидно, якщо $a_i=0$ для всіх $i$, то одержуємо звичайний поліном Шура $s_{\lambda }$.

Подвійні поліноми Шура і факторні поліноми Шура в $n$ змінних пов'язані за допомогою тотожності $s_{\lambda }(x\Vert a)=s_{\lambda }(x|u)$, де $a_{n-i+1}=u_i$.

Інші узагальнення

Існують численні узагальнення поліномів Шура:

• Шаблон:Нп
• Зсувні поліноми Шура
• Марковані поліноми Шура
• Шаблон:Нп
• Шаблон:Нп
• Ключові поліноми (відомі також як характери Демазуре)
• Квазисиметричні поліноми Шура
• Строго рядкові поліноми Шура
• Шаблон:Нп
• Модулярні поліноми Шура
• Циклічні функції Шура
• Шаблон:Нп
• Поліноми Шура для симетричних і ортогональних груп
• k-функції Шура
• Поліноми Гротендіка (Шаблон:Нп)
• Шаблон:Нп

Див. також

• Шаблон:Нп
• Шаблон:Нп, де можна знайти деякі тотожності, що включають поліноми Шура.

Література

• Шаблон:Cite book
• Sagan, Bruce E. (2001) [1994], "Schur functions in algebraic combinatorics", Encyclopedia of Mathematics, EMS Press
• Шаблон:Cite book
• Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.