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

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

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

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

Assume that X is T -equivariantly cellular. Then there is a degree-doubling map∗∗ΦtopX : ΩT (X) → M UT (X)which is a ring isomorphism.Proof. It follows from Lemma 3.6 and [22, Prop. 7.5] that there is a ring homo∗∗morphism ΦtopX : ΩT (X) → M UT (X).We now choose a sequence {(Vj , Uj )}j≥1 of good pairs for the T -action as in∼=Proposition 3.5. It follows from [22, Thm. 6.1] that ΩiT (X) −→ ΩiT (X, U) for Teach i ∈ Z. Since HT∗ (X, Z) = H ∗ X × EG , Z is torsion-free by Lemma 3.6,∼=Lemma 3.2 implies that M UTi (X) −→ M UTi (X, U). The theorem now follows fromProposition 3.5.

Let G be a connected reductive group with a maximal torus T and a Borelsubgroup B containing T . Since we have already noted that the flag variety G/B isT -equivariantly cellular, the following is an immediate consequence of Theorem 3.7.Corollary 3.8. There is a ring isomorphism∼=∗Φtop→ M UT∗ (G/B).G/B : ΩT (G/B) −For any character α ∈ Tb, let xα denote the first T -equivariant Chern class∈ S of the associated T -equivariant line bundle Lα on Spec (C) (see Subsection 2.1). Let Σ denote the root system of (G, T ), and W the Weyl group. Thefollowing description of Ω∗T (G/B) as a subring of S |W | follows immediately from∼=Corollary 3.8, [14, Thm.

3.1] and the isomorphism S −→ M U ∗ (BT ) ([26]).cT1 (Lα )400VALENTINA KIRITCHENKO, AMALENDU KRISHNATheorem 3.9. The inclusion ι : (G/B)T ,→ G/B of the fixed point locus inducesa ring isomorphismι∗ |W |Ω∗T (G/B) →(f)∈S|f≡f(modx)∀α∈Σ,∀w∈W.ww∈Wwswαα∼=A description of the kind obtained in Theorem 3.9 was first conceived in thepaper [13] of Goresky–Kottwitz–MacPherson, who showed that the equivariant singular cohomology of G/B can be described in such a way. Around the same time,Brion [5] showed that the T -equivariant Chow groups of G/B can also be describedin a similar way.

The results of Goresky–Kottwitz–MacPherson and Brion weresubsequently extended to a bigger class of equivariant cohomology theories suchas equivariant K-theory and equivariant complex cobordism of Kac–Moody flagvarieties by Harada–Henriques–Holm [14, Thm. 3.1]. Note that this description isdifferent from the Borel type description we obtain in the next sections.4. Equivariant complex cobordism of G/BIn this section, we continue working over the ground field C. Let G be a connected reductive group. We fix a maximal torus T of rank n and a Borel subgroupB containing T .

The Weyl group of G is denoted by W . In this section, we computethe equivariant complex cobordism ring M UT∗ (G/B) of the complete flag varietyG/B. For this description, we need the following special case of the Leray–Hirschtheorem for a multiplicative generalized cohomology theory.Theorem 4.1 (Leray–Hirsch). Let X be a (possibly infinite) CW-complex withpifinite skeleta and let F →− E−→ X be a fiber bundle such that the fiber F is a finiteCW-complex. Assume that there are elements {e1 , · · · , er } in M U ∗ (E) such that{f1 = i∗ (e1 ), . . . , fr = i∗ (er )} forms an L-basis of M U ∗ (F ) for each fiber F of thefiber bundle. Assume furthermore that H ∗ (X, Z) is torsion-free.

Then the mapΨ : M U ∗ (F ) ⊗L M U ∗ (X) → M U ∗ (E) XXΨfi ⊗ b i =p∗ (bi )ei1≤i≤r(4.1)1≤i≤ris an isomorphism of MU ∗ (X)-modules. In particular, MU ∗ (E) is a free MU ∗ (X)module with the basis {e1 , . . . , er }.This result is well known and can be found, for example, in [36, Thm. 15.47]and [20, Thm. 3.1].4.1.

Equivariant complex cobordism of G/BIn what follows, we assume all spaces to be pointed and let pX : X → pt bethe structure map. Let M U ∗ (BT ) = M UT∗ (pt) denote the coefficient ring of theT -equivariant complex cobordism. It is well known ([26]) that M U ∗ (BT ) is isomorphic to S(T ) (which is denoted by S in this text). The isomorphism sendsa character χ of T to the first Chern class of the T -equivariant line bundle Lχon BT . Note that each character χ of T also gives rise to the G-equivariant lineEQUIVARIANT COBORDISM OF FLAG AND SYMMETRIC VARIETIES401Bbundle Lχ := G × Lχ on G/B. We will also use that M U ∗ (BT ) = M U ∗ (BB ) isG∗isomorphic to M UG(G/B) since G/B × EG = EG /B and we can choose EG = EB .For any finite CW-complex X with a G-action, consider the fiber bundleBiGπXG/B −−→ X × EG −−X→ X × EG ,where iX is the inclusion of the fiber at the base point.

Put i = iX and π = πXwhen X is the base point. This gives rise to the following commutative diagram:M U ∗ (BG )π ∗ //M U ∗ (BT )p∗G,Xi∗ //M U ∗ (G/B)p∗T,X∗M UG(X)∗πX// M U ∗ (X)T(4.2)// M U ∗ (G/B).i∗XRecall that the torsion index of G is defined as the smallest positive integer tGsuch that tG times the class of a point in H 2d (G/B, Z) (where d = dim(G/B))belongs to the subring of H ∗ (G/B, Z) generated by the first Chern classes of linebundles Lχ (e.g., tG = 1 for G = GLn ; see [39] for computations of tG for othergroups).

If G is simply connected then this subring is generated by H 2 (G/B, Z).For the rest of this section, an abelian group A will actually mean its extensionA ⊗Z R, where R = Z[t−1G ]. In particular, all the cohomology and the cobordismgroups will be considered with coefficients in R.We shall use the following key fact to prove the main result of this section.∗Lemma 4.2.

The homomorphism i∗ : M UG(G/B) → M U ∗ (G/B) is surjectiveover the ring R.∗Proof. Since M UG(G/B) ' M U ∗ (BT ) ' S, the image of i∗ is the subring of∗M U (G/B) generated by the first Chern classes of line bundles Lχ . To prove surjectivity of i∗ , we have to show that M U ∗ (G/B) is generated by the first Chernclasses.Since G/B is cellular, the cobordism ring M U ∗ (G/B) is a free L-module.Choose a basis {ew }w∈W in M U ∗ (G/B) such that all ew are homogeneous (e.g.,take resolutions of the closures of cells). Consider the homomorphismϕ : M U ∗ (G/B) → M U ∗ (G/B) ⊗L R.Since H ∗ (G/B, R) is torsion free, we have the isomorphism M U ∗ (G/B) ⊗L R 'H (G/B, R). Note that H ∗ (G/B, R) is generated by the first Chern classes bydefinition of the torsion index, and the homomorphism ϕ takes the Chern classes tothe Chern classes.

Hence, there exist homogeneous polynomials {%w }w∈W , where%w ∈ Sym(Tb) ⊗ R ⊂ S such that ϕ(ew ) = ϕ(i∗ (%w )). Then the set of cobordismclasses {i∗ (%w )}w∈W is a basis over L in M U ∗ (G/B, R). Indeed, consider thetransition matrix A from the basis {ew }w∈W to this set (order ew and %w so thattheir degrees decrease). The elements of A are homogeneous elements of L and∗402VALENTINA KIRITCHENKO, AMALENDU KRISHNAA ⊗L R is the identity matrix.

By degree arguments, it follows that the matrix Ais upper-triangular and the diagonal elements are equal to 1, so A is invertible.Hence, M U ∗ (G/B) has a basis consisting of polynomials in the first Chernclasses and the homomorphism i∗ is surjective over R. To compute M UT∗ (G/B) and M UT∗ (X), we can now apply the same strategy asin the cohomology case (see, e.g., [4, Prop. 1])∗By Lemma 4.2, we can choose polynomials {%w }w∈W in MUG(G/B) ' MU ∗ (BT )∗∗= S such that {i (%w )}w∈W form an L-basis in M U (G/B). Set %w,X = p∗T,X (%w )for each w ∈ W .

Define L-linear mapss : M U ∗ (G/B) → S, sX : M U ∗ (G/B) → M UT∗ (X)s (i∗ (%w )) = %w and sX (i∗ (%w )) = %w,X .(4.3)Note that maps iX and i are W -equivariant. In particular, the map s is alsoW -equivariant.Lemma 4.3. Let X be a finite CW-complex with a G-action such that HT∗ (X, R)is torsion-free.∗(i) The map M U ∗ (G/B)⊗L M UG(X) → M UT∗ (X) which sends (b, x) to sX (b)·∗∗πX (x) is an isomorphism of M UG(X)-modules.

In particular, M UT∗ (X) is∗a free M UG (X)-module with the basis {%w,X }w∈W .∗∗(ii) The map S × M UG(X) → M UT∗ (X) which sends (a, x) to p∗T,X (a) · πX(x)yields an isomorphism of graded L-algebras∼=∗Ψtop→ M UT∗ (X).X : S ⊗M U ∗ (BG ) M UG (X) −(4.4)∗Proof. It follows from our assumption and [16, Prop. 2.1(i)] that HG(X, R) is∗∗∗torsion-free. Since i = iX ◦ pT,X , we conclude from the above construction thati∗ (%w ) = i∗X p∗T,X (%w ) = i∗X (%w,X ). Since {i∗ (%w )}w∈W form an L-basis ofM U ∗ (G/B), the first statement now follows immediately by applying Theorem 4.1iBπGXto the fiber bundle G/B −−→ X × EG −−X→ X × EG .∗To prove the second statement, we first notice that M UG(X) → M UT∗ (X) is a∗∗map of M U (= L)-algebras and so is the map S → M UT (X).

In particular, beingthe product of these two maps, (4.4) is a morphism of L-algebras. Moreover, itfollows from the first part of the lemma that S ∼= M U ∗ (BT ) is a free M U ∗ (BG )∗∗module with basis {%w }w∈W and M UT (X) is a free M UG(X)-module with basistop{%w,X }w∈W . In particular, ΨX takes the basis elements %w ⊗ 1 onto the basiselements %w,X . Hence, it is an algebra isomorphism. We now compute M U ∗ (BG ).Proposition 4.4. The natural map M U ∗ (BG ) → (M U ∗ (BT ))phism of R-algebras.Wis an isomor-Proof. Note that in the proof of Lemma 4.2, we can choose %w0 = 1 (here w0 isthe longest length element of the Weyl group).

Then applying Theorem 4.1 to theiπfiber bundle G/B →− BT −→ BG (as in the proof of Lemma 4.3 for X = pt), we getΨ(1 ⊗ b) = Ψ(i∗ (%w0 ) ⊗ b) = π ∗ (b)%w0 = π ∗ (b) for any b ∈ M U ∗ (BG ),(4.5)EQUIVARIANT COBORDISM OF FLAG AND SYMMETRIC VARIETIES403where Ψ is as in (4.1). In particular, π ∗ is the composite map1⊗idΨπ ∗ : M U ∗ (BG ) −−−→ M U ∗ (G/B) ⊗L M U ∗ (BG ) −→ M U ∗ (BT ).(4.6)Hence to prove the proposition, it suffices to show using Theorem 4.1 that theWmap 1 ⊗ id induces an isomorphism M U ∗ (BG ) → (M U ∗ (G/B) ⊗L M U ∗ (BG ))over R.1⊗idWe first show that the map M U ∗ (BG ) −−−→ M U ∗ (G/B) ⊗L M U ∗ (BG ) is splitinjective.

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

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

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