Главная » Просмотр файлов » Диссертация

Диссертация (1136188), страница 58

Файл №1136188 Диссертация (Геометрия сферических многообразий и многогранники Ньютона-Окунькова) 58 страницаДиссертация (1136188) страница 582019-05-20СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 58)

Identify Rn−1 with the weight lattice ofSLn so that αi is identified with the i-th simple root. In this case,the reflection si coincides with the simple reflection in the hyperplaneperpendicular to the root αi .We now consider the ring R of Laurent polynomials in the formalexponentials t1 := eα1 , . . . , tr := eαr (that is, R is the group algebraof the lattice Zr ⊂ Rr ). Let P ⊂ Rd be a lattice polytope in the stringspace, i.e., the vertices of P belong to Zr . Define the character of P asthe sum of formal exponentials ep(x) over all integer points x inside andat the boundary of P :χ(P ) :=ep(x) .x∈P ∩ZdIn particular, if d = r, then χ(P ) is exactly the integer point transformof P .

The R-valued function χ can be extended by linearity to all latticeconvex chains, that is, to the chains P cP IP such that P is a latticepolytope and cP ∈ Z.Define the Demazure operator Ti on R as follows:Ti f =f − ti · s i f,1 − ti71-06.tex : 2016/10/27 (14:27)page: 172172V. Kiritchenkowhere the action of si on R is defined by si eλ := esi (λ) for λ ∈ Zr . Forthe string space of Example 3.1, these operators reduce to the classicalDemazure operators on the group algebra of the weight lattice of SLn .The following result motivates the definition of divided differenceoperators Di on convex chains (Definition 3).Theorem 3.2. Let P ⊂ Rd be a lattice parapolytope.

Thenχ(Di (IP )) = Ti χ(P ).Proof. By definition of Di (IP ), it suffices to prove this identitywhen P = c + Γ, where c lies in the complement to Rdi and Γ :=Π(μ, ν) ⊂ Rdi is a coordinate parallelepiped. Then σ(z)ti .χ(P ) = ep(c)z∈Γ∩ZdiHence,⎛Ti (χ(P )) = ep(c) Ti ⎝⎞σ(z) ⎠ti.z∈Γ∩ZdiRecall that by definition of ν we havedi(μk + νk ) = li (c).k=1Assume that νj ≥ νj . Let Π denote Π(μ, ν ). Then Γ, Π and Ti satisfythe hypothesis of [KST, Proposition 6.3]. Applying this proposition weget that⎛⎞ σ(z) σ(z)ti ⎠ =ti .Ti ⎝z∈Γ∩Zdiz∈Π∩ZdiHence, Ti (χ(P )) = χ(Di (P )).The case νj < νj is completely analogous.Q.E.D.Note that Theorem 3.2 for di = 1 follows directly from the definitionsof Ti and Di (see Remark 2.5).Example 3.3. Figure 3 illustrates Theorem 3.2 when di = 2 andP = c + Γ where Γ ⊂ Rdi is the segment [(−1, −1), (2, −1)].

Namely,xi +xiTi (ti 1 2 ) is equal to the character of the segment [(xi1 , xi2 ), (xi1 , li (c) −2xi1 − xi2 )] for every (xi1 , xi2 ) ∈ Γ ∩ Z2 by definition of Ti . Hence,xi +xiTi (ti 1 2 )(xi1 ,xi2 )∈Γ∩Z271-06.tex : 2016/10/27 (14:27)page: 173Divided difference operators on polytopes173Fig. 3. Rectangle and trapezoid yield the same characterfor li (c) = 3 coincides with the character of the trapezoid shown onFigure 3 (left). It is easy to construct a bijective correspondence betweenthe integer points in the trapezoid and those in the rectangle Di (P ) insuch a way that the sum of coordinates is preserved.

The former aremarked by black dots, and the latter by empty circles.Theorem 3.2 allows one to construct various polytopes (possibly virtual) and convex chains whose characters yield the Demazure characters(in particular, the Weyl character) of irreducible representations of reductive groups (see Section 3.3). The same character can be capturedusing string spaces for different partitions d = d1 + d2 + .

. . + dn (seeSection 4.3). The case d1 = . . . = dn = 1 produces polytopes with verysimple combinatorics, namely, multidimensional versions of trapezoidsthat are combinatorially equivalent to cubes (they are called twistedcubes in [GK]). However, twisted cubes that represent the Weyl characters are virtual.

Considering string spaces with di > 1 allows one torepresent the Weyl character by a true though more intricate polytope(see Example 3.4 for SL3 and Section 4.3). The reason is illustrated byFigure 3 (right) that depicts a virtual trapezoid and a (true) rectangle71-06.tex : 2016/10/27 (14:27)page: 174174V.

Kiritchenkowith the same character. Note that the point (2, 1) (marked by −1)contributes a negative summand to the character of the trapezoid.3.2. Gelfand–Zetlin polytopes for SLnLet Rd = Rn−1 ⊕ Rn−2 ⊕ . . . ⊕ R1 be the string space of rank (n − 1)from Example 3.1. The theorem below shows how to construct theclassical Gelfand–Zetlin polytopes (see Example 2.1) via the convexgeometric Demazure operators D1 ,.

. . , Dn−1 .Theorem 3.4. For every strictly dominant weight λ = (λ1 , . . . , λn )(that is, λ1 > . . . > λn ) of GLn such that λ1 + . . . + λn = 0, theGelfand–Zetlin polytope Qλ coincides with the polytope[(D1 )(D2 D1 )(D3 D2 D1 ) . . . (Dn−1 . .

. D1 )] (aλ ),where aλ ∈ Rd is the point (λ2 , . . . , λn ; λ3 , . . . , λn ; . . . ; λn ).Proof.Let us define the polytopePλ (i, j) := (D̂n−j . . . D̂i Di−1 . . . D1 ) . . . (Dn−1 . . . D1 ) (aλ )for every pair (i, j) such that 1 ≤ i ≤ (n − j) ≤ (n − 1). Put x0l = λifor l = 1,. . . , n. We will show by induction on dimension that Pλ (i, j)is the face of the Gelfand–Zetlin polytope Qλ given by the equationsxkl = xk−1l+1 for all pairs (k, l) such that either l > j, or l = j and k ≥ i.The induction base is Pλ (1, 1) = aλ , which is clearly a vertex of Qλby our assumption. The induction step follows from Lemma 3.5 below.Hence, Pλ (1, n − 1) is the facet of Qλ given by the equation x1n−1 = λn .Applying Lemma 3.5 again, we get that D1 (Pλ (1, n−1)) = Qλ . Q.E.D.Note that any Gelfand–Zetlin polytope Qλ can be obtained by aparallel translation from one with λ1 + .

. . + λn = 0.The lemma below can be easily deduced directly from the definitionof Di using Example 2.1 together with an evident observation that a+b =min{a, b} + max{a, b} for any a, b ∈ R.Lemma 3.5. Let Γ be a face of the Gelfand–Zetlin polytope Qλgiven by the following equationsxi−11xi−12xi−13...xi−1jxi1xi2...xij−1xi−1j+1xijxi+11...xi+1j−2xi+1j−1xi−1j+2xij+1xi+1j.........xi−1n−i+1xin−i.xi+1n−i−171-06.tex : 2016/10/27 (14:27)page: 175Divided difference operators on polytopes175as well as by (possibly) other equations that do not involve variablesxi1 ,. .

. , xin−i . Then the defining equations of Di (Γ) are obtained fromthose of Γ by removing the equation xij = xi−1j+1 .Recall that integer points inside and at the boundary of the Gelfand–Zetlin polytope Qλ by definition of this polytope parameterize a natural basis (Gelfand–Zetlin basis) in the irreducible representation ofGLn with the highest weight λ. Under this correspondence, the mapp : Rd → Rn−1 assigns to every integer point the weight of the corresponding basis vector. Combining Theorem 3.4 with Theorem 3.2 onegets a combinatorial proof of the Demazure character formula for the decomposition w0 = (s1 )(s2 s1 )(s3 s2 s1 ) .

. . (sn−1 sn−2 . . . s1 ) of the longestword in Sn (in this case, the Demazure character coincides with theWeyl character of Vλ ). Here si denotes the elementary transposition(i, i + 1) ∈ Sn .3.3. Applications to arbitrary reductive groupsWe now generalize Gelfand–Zetlin polytopes to other reductivegroups using Theorem 3.2. Let G be a connected reductive group ofsemisimple rank r. Let α1 ,. . .

, αr denote simple roots of G, and s1 ,. . . ,sr the corresponding simple reflections. Fix a reduced decompositionw0 = si1 si2 · · · sid where w0 is the longest element of the Weyl groupof G. Note that d is the length of w0 , which is equal to the number ofpositive roots as well as to the dimension of the complete flag variety ofG. Let di be the number of sij in this decomposition such that ij = i.Consider the string spaceRd = Rd1 ⊕ . .

. ⊕ Rdr ,where the functions li are given by the formula:(αk , αi )σk (x)li (x) =k=idi ixj ). Here (αk , αi ) is determined by the simple(recall that σi (x) = j=1reflection si as follows:si (αk ) = αk + (αk , αi )αi ,(that is, the function (·, αi ) is minus the coroot corresponding to αi ).In particular, if G = SLn and w0 = (s1 )(s2 s1 )(s3 s2 s1 ) . . . (sn−1 . . . s1 ),then we get the string space from Example 3.1.Define the projection p of the string space to the real span Rr of theweight lattice of G by the formula p(x) = σ1 (x)α1 + . .

. + σr (x)αr . Note71-06.tex : 2016/10/27 (14:27)176page: 176V. Kiritchenkothat after identifying the root lattice of G with Zr ⊂ Rr the map p isthe same as the map p defined earlier in Section 3.1.Theorem 3.6. For every dominant weight λ in the root lattice ofG, and every point aλ ∈ Zd such that p(aλ ) = w0 λ the convex chainPλ := Di1 Di2 .

. . Did (aλ )yields the Weyl character χ(Vλ ) of the irreducible G-module Vλ , that is,χ(Vλ ) = χ(Pλ ).Proof.By the Demazure character formula [Andersen] we haveχ(Vλ ) = Ti1 . . . Tid ew0 λ .This formula together with Theorem 3.2 implies by induction the desiredstatement.Q.E.D.As a corollary, we get that p∗ (Pλ ) is the weight polytope of Vλin Rr . Here p∗ denotes the push-forward of convex chains (see [PKh,Proposition-Definition 2]).Remark 3.7. A slight modification of Theorem 3.2 makes it applicable to all dominant weights (not only those inside the root lattice).Namely, instead of the lattices Zd ⊂ Rd and Zr ⊂ Rr one should consider the shifted lattices aλ + Zd ⊂ Rd and λ + Zr ⊂ Rr , and definecharacters of polytopes with respect to these new lattices.

The convexchain Pλ will be lattice with respect to the lattice aλ + Zd .In the same way, we can construct convex chains that capture thecharacters of Demazure submodules of Vλ for any element w in the Weylgroup and a reduced decomposition w = sj1 . . . sj (see Corollary 4.5).In particular, if sj1 . . . sj is a terminal subword of si1 si2 · · · sid (that is,j = id , j−1 = id−1 , etc.) then the corresponding convex chain is aface of Pλ . It is interesting to check whether this convex chain is alwaysa true polytope. One way to do this would be to identify it with anOkounkov polytope of the Bott–Samelson resolution corresponding tothe word sj1 .

. . sj (see Conjecture 4.1).3.4. ExamplesSp(4). Take G = Sp(4) and w0 = s2 s1 s2 s1 (here α1 denotes theshorter root and α2 denotes the longer one). The corresponding stringspace of rank 2 is R4 = R2 ⊕ R2 together with l1 = 2(x21 + x22 ) andl2 = x11 + x12 . Let λ = −p1 α1 − p2 α2 be a dominant weight, that is, λ1 :=(p2 − p1 ) ≥ 0 and λ2 := (p1 − 2p2 ) ≥ 0. Choose a point aλ = (a, b, c, d)71-06.tex : 2016/10/27 (14:27)page: 177Divided difference operators on polytopes177such that (a + b) = p1 and (c + d) = p2 (that is, p(aλ ) = w0 λ = −λ).Label coordinates in R4 by x := x11 , y := x12 , z := x21 and t := x22 . Thenthe polytope D2 D1 D2 D1 (aλ ) is given by inequalities0 ≤ x − a ≤ 2λ1 ,z − c ≤ x − a + λ2 ,y − b ≤ 2(z − c),y−b.2It is not hard to show that the polytopes D1 D2 D1 D2 (aλ ) andD2 D1 D2 D1 (aλ ) are the same up to a linear transformation of R4 .

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

Список файлов диссертации

Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6420
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее