Главная » Просмотр файлов » Multidimensional local skew-fields

Multidimensional local skew-fields (792481), страница 14

Файл №792481 Multidimensional local skew-fields (Multidimensional local skew-fields) 14 страницаMultidimensional local skew-fields (792481) страница 142019-03-13СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Therefore, ap3 commutes with z, from here follows that a3is a purely inseparable element and F (a3 ) is an ”unramified” extension.The corollary is proved.2This corollary concludes the proof of theorem 0.36.0.5Classes of conjugate elementsLet K be a splittable local skew field of characteristic 0 whose first residue skew fieldis commutative and whose last residue skew field k is contained in its centre. We haveclassified these skew fields in the preceding section.

In this section we give necessaryand sufficient conditions for two elements of K to be conjugate.We fix a representation of K in the form k((u))((z)).Definition 0.56 Let α = Id. A residue resi,r on K is defined to be a map resi,r :k((u))((z)) → kxiresi,r (X) = res δi duuwhere X = l xl z l .Proposition 0.57 Let α = Id. Let L, M ∈ K, ν(L) = ν(M ) = −1,M = b−1 z −1 + b0 + b1 z + . .

.,L = a−1 z −1 + a0 + a1 z + . . ..The following assumptions are equivalent:61(i) there is an S ∈ K, ν(S) = 0, such that M = S −1 LS(ii) a−1 = b−1 , a0 = b0 , . . . , ai−2 = bi−2 ;resai−1 − bi−1du ∈ Z anduδi a−1uai−1 − bi−1∈ k[[u]]uδi a−1−1resi,r (M j ) = resi,r (Ljj ) for all j ≥ 1, where Lj = S˜j Lj−1 S˜j , L0 := L, S˜j =S˜j (M, Lj−1 ).Proof K has the form k((u))((z)) with the relation zuz −1 = u + uδi z i + .

. .. Thuswe have:SM = s0 b−1 z−1+ (s0 b0 + s1 b−1 ) + . . . + (i−2bj si−2−j )zi−2+(j=−1−1LS = s0 a−1 z +(s0 a0 +s1 a−1 )+. . .+(i−2i−1bj si−1−j )z i−1 + . . .j=−1aj si−2−j )zi−2j=−1i−1δi+(−a−1 s0 +aj si−1−j )z i−1 +. . .j=−1It follows that the condition a−1 = b−1 , a0 = b0 , . . . , ai−2 = bi−2 is necessary for Mand L to be conjugate.

Another necessary condition is given by the following equationfor s0 :sδ0iai−1 − bi−1=s0a−1Since δi is a differentiation, we have∂s∂u 0s0=ai−1 − bi−1uδi a−1Thus we obtain the second necessary condition:resai−1 − bi−1du ∈ Z anduδi a−1uai−1 − bi−1∈ k[[u]]uδi a−1Conversely, if these two conditions hold, then there is an s0 ∈ k((u)) such that thefirst i + 1 summands in L1 = s−10 Ls0 are the same as those in M . It is clear that Land M are conjugate if and only if L1 and M are conjugate. The conjugating elementS̃ has the form 1 + · · · (S̃ can be written as (1 + s1 z)(1 + s2 z 2 ) . .

..) Note that for everyx−1 z −1 + x0 + x1 z + . . . ∈ K holds:(1 + sj z j )−1 (x−1 z −1 + x0 + x1 z + . . .)(1 + sj z j ) = x−1 z −1 + x0 + x1 z + . . . + xi+j−2 z i+j−2 +isj + x−1 sδji )z i+j−1 + . . .(xi+j−1 + jxδ−162since the proof of lemma 0.11, (ii) implies that(1 + sj z j )−1 (x−1 + x0 z + x1 z 2 + . . .)(1 + sj z j ) = x−1 + x0 z + . . . + xi+j−2 z i+j−1 +isj )z i+j + . .

.),(xi+j−1 + jxδ−1and(1+sj z j )−1 z −1 (1+sj z j ) = (1+sj z j )−1 (z −1 +sj z j−1 −sδji z i+j−1 +. . .) = z −1 −sδji z i+j−1 +. . .It follows that(s1 a−1 )δi = bi − ai(j = 1),if M = S̃ −1 L1 S̃, where ai is the coefficient of L1 . This equation is soluble if and only ifresb i − aidu = 0,uδithat is, resi,r (M ) = resi,r (L1 ).Conversely, if the residues are equal then there is an s1 ∈ k((u)) such that the firsti + 2 summands in L2 = (1 + s1 z)−1 L1 (1 + s1 z) are the same as those in M .Proceeding by induction, we obtain at the kth step that if M = S̄ −1 Lk S̄, theni+ a−1 sδki = bi+k−1 − ai+k−1 .ksk aδ−1To solve this equation, we substitute sk = a−k−1 s into it and obtain the equations = ak−1−1bi+k−1 − ai+k−1,uδiak−1 awhich is solvable if and only if res −1 uδi+k−1= resiikcoefficient of z in M has the formu−r ak−1−1 bi+k−1.u δiOn the other hand, thekak−1−1 bi+k−1 + fMwhere fM is a polynomial in bi+k−2 , .

. . , b−1 and the values of δj at these points. Thecorresponding coefficient in Lkk has the formkak−1−1 ai+k−1 + fLkand fLk = fM , since aj = bj for j ≤ i + k − 2. It follows that resi,r Lkk = resi,r M k if andonly if res2ak−1−1 ai+k−1u δi= resak−1−1 bi+k−1.u δiwhich completes the proof of the proposition.63Definition 0.58 Let α = Id. We say that the residue resα ofX =zero, ifx0 ∈ im(α − Id)lxl z l is equal toWe say that two elements have the same residue if the residue of their difference isequal to zero.−1We define ϕ : k((u)) → k((u)), ϕ(x) = xα /x.Proposition 0.59 Let α = Id.

Let L, M ∈ K, ν(L) = ν(M ) = −1,M = b−1 z −1 + b0 + b1 z + . . .,L = a−1 z −1 + a0 + a1 z + . . ..The following conditions are equivalent:(i) there exists an S ∈ K, ν(S) = 0, such that M = S −1 LS(ii) b−1 /a−1 ∈ imϕ;−1resα (M j ) = resα (Ljj ) for all j ≥ 1, where Lj = S˜j Lj−1 S˜j , L0 := L, S˜j =S˜j (M, Lj−1 ).Proof is similar to that of the preceding proposition. We haveSM = s0 b−1 z −1 + (s0 b0 + s1 bα−1 ) + . .

.−1−1LS = a−1 sα0 z −1 + (a0 s0 + a−1 sα1 ) + . . .−1Therefore, s0 b−1 = a−1 sα0 , that is b−1 /a−1 ∈ imϕ. If this condition holds, then we putL1 = s−10 Ls0 . The first coefficients in L1 and M are equal.Now we observe that(1 + sj )−1 (x−1 z −1 + x0 + x1 z + . . .)(1 + sj z j ) = x−1 z −1 + . . .j−1+xj−2 z j−2 + (xj−1 + sj xα−1 − x−1 sαj )z j−1 + . . .for any x−1 z −1 + x0 + x1 z + .

. . ∈ K, which follows from the calculation in the proof ofLemma 0.11, (i).The arguments used in the proof of the preceding proposition yield at the first stepthe following condition that is necessary for conjugacy:s1 aα−1 − a−1 sα1−1−1−1= α(sα1 a−1 ) − (sα1 a−1 ) = b0 − a0This equation is soluble if and only if (b0 − a0 ) ∈ im(α − Id).

which is equivalent tothe equality resα M = resα L1 .64At the jth step we have the conditionjsj aα−1 − a−1 sαj−1= aj−1 − bj−1Hence,2j−12jj−1(aα−1 aα−1 . . . aα−1 )(aj−1 − bj−1 ) = (aα−1 aα−1 . . . aα−1 )sj − (a−1 . . . aα−1 )sαjj−1−1j−1α((a−1 . . . aα−1 )sαj ) − (a−1 . . . aα−1 )sαj−1=−1j−1This equation is soluble if and only if (a−1 . . .

aα−1 )(aj−1 − bj−1 ) ∈ im(α − Id), whichis equivalent to the equality resα (M j ) = resα (Ljj ), since the first (j − 1) coefficientsin Lj are equal to the corresponding coefficients in M , and the coefficient of the 0thpower of z in M j is−j+2a−1 . . . aα−1−j+1bαj−1j−1+ bj−1 aα−1 . . . aα−1 +a sum of monomials with indices < j − 1The corresponding coefficient in Ljj is−j+2a−1 .

. . aα−1−j+1aαj−1j−1+ aj−1 aα−1 . . . aα−1 +a sum of monomials with indices < j − 1Hence,−j+2(a−1 . . . aα−1−j+1bαj−1−j+2− a−1 . . . aα−1−j+2([a−1 . . . aα−1−j+1aαj−1−j+1bαj−1j−1j−1+ bj−1 aα−1 . . . aα−1 − aj−1 aα−1 . . . aα−1 ) =−j+2− a−1 + . . . aα−1−j+1aαj−1 ]−α[. . .] + α[. . .] − α2 [. . .] + α2 [. . .] . . . + αj−1 [. . .]+j−1j−1bj−1 aα−1 .

. . aα−1 − aj−1 aα−1 . . . aα−1 ) =j−1(2[aα−1 . . . aα−1 (aj−1 − bj−1 )])2Remark It was shown in [18], that for the residue res1,0 in the skew field ofpseudodifferential operators holds res1,0 [X, Y ] = 0, where [X, Y ] is the commutator oftwo pseudodifferential operators. The next statements provide other examples of skewfields with this property.Lemma 0.60 Let K be a skew field such that αn = Id or αn = Id, in = ∞. LetX, Y ∈ K. Then resα [X, Y ] = 0.65Proof It is sufficient to prove the assertion for X = ul z k , Y = um z q .If k + q = 0, then resα (XY ) = resα (Y X) = 0.

In the case k + q = 0 we have:kXY − Y X = ul (um )α − um (ul )α−k−k= αk (um (ul )α ) − um (ul )α−k∈ im(α − Id)2In this case our propositions can be stated as follows:Corollary 10 Let K be a skew field such that α = Id, i = 1, r = 0, a = 0 ((Inthis case K is the ring k((u))((∂ −1 )) of pseudodifferential operators.) Let L, M ∈ K,ν(L) = ν(M ) = −1,M = b−1 z −1 + b0 + b1 z + . . .,L = a−1 z −1 + a0 + a1 z + . . ..The following conditions are equivalent:(i) there is an S ∈ K, ν(S) = 0, such that M = S −1 LS(ii) a−1 = b−1 ;resa0 − b0du ∈ Z anda−1u(a0 − b0 )∈ k[[u]]a−1res1,0 (M j ) = res1,0 (Lj ) for all j ≥ 1.Corollary 11 Assume that αn = Id for all n ∈ N. Let L, M ∈ K, ν(L) = ν(M ) = −1,M = b−1 z −1 + b0 + b1 z + .

. .,L = a−1 z −1 + a0 + a1 z + . . ..The following conditions are equivalent:(i) there is an S ∈ K, ν(S) = 0, such that M = S −1 LS(ii) b−1 /a−1 ∈ imϕ;resα (M j ) = resα (Lj ) for all j ≥ 1.The following examples show that the identity res... ([X, Y ]) = 0 does not hold inother cases.Example (i) Let K be a skew field with α = 1, a(0, . . .

, 0) = 0, r = 1. We assumethat K has the form specified in Theorem 0.35. Let M = z −1 , L = z −1 + z i ∈ k((z)) ⊂K. If resi,r ([X, Y ]) = 0 holds, then M and L are conjugate by Proposition 0.57. LetS = 1 + s1 z + . . .. We haveSM = z −1 + s1 + s2 z + . . . = LS = (z −1 + z i )(1 + s1 z + . . .) =66δ 2 −δ2i 2i(z −1 +s1 +s2 z+. .

.)+(z i −sδ1i z i )+(s1 z i+1 −sδ2i z i+1 )+. . .+(si z 2i +s1iiz −sδi+1z 2i )+. . .Hence, 1 − sδ1i = 0. Since r = 1, this equation is soluble, and s1 = (1 − r)−1 c−1 u1−r .Solving the next equations, we obtain s2 , s3 , . . .. Each of these elements consists of asingle monomial whose valuation is different from r − 1.δ 2 −δiz 2i = 0. By Theorem 0.35, if a(0, . . . , 0) = 0,Further, we have si z 2i + s1i 2i z 2i − sδi+1δ 2 −δthen s1i 2i contains a monomial whose valuation is equal to r − 1.

Therefore, the equation is insoluble with respect to si+1 , and M is not conjugate to L. This contradictioncompletes the proof of the assertion.(ii) Let K be a skew field with α = 1, a(0, . . . , 0) = 0. In this case i > 1, since r = 0for i = 1, and we obtain the ring of pseudodifferential operators. We assume that Khas the form specified in Theorem 0.35.

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

Тип файла
PDF-файл
Размер
879,5 Kb
Высшее учебное заведение

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

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