WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     || 2 | 3 |
Московский государственный университет имени М.В. Ломоносова Механико-математический факультет

На правах рукописи

УДК 512.552.4 Гордиенко Алексей Сергеевич Коразмерности и кохарактеры полиномиальных тождеств и их обобщений 01.01.06 — математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

Москва — 2009

Работа выполнена на кафедре высшей алгебры Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научный консультант: доктор физико-математических наук, профессор Зайцев Михаил Владимирович

Официальные оппоненты: доктор физико-математических наук, профессор Михалев Александр Александрович доктор физико-математических наук, профессор Пчелинцев Сергей Валентинович

Ведущая организация: Ульяновский государственный университет

Защита диссертации состоится 6 ноября 2009 г. в 16 ч. 45 м. на заседании диссертационного совета Д.501.001.84 при Московском государственном университете им. М.В. Ломоносова по адресу: Российская Федерация, 119991, Москва, ГСП-1, Ленинские горы, д.1, МГУ, Механикоматематический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в библиотеке Механикоматематического факультета МГУ (Главное здание, 14 этаж)

Автореферат разослан 6 октября 2009 г.

Ученый секретарь диссертационного совета Д.501.001.84 при МГУ доктор физико-математических наук, профессор А.О. Иванов

Общая характеристика работы

Актуальность темы Одним из важных аспектов исследования алгебраических систем является изучение тех тождеств, которые выполняются в этих алгебраических системах. «Хотя тождества представляют собой простейшие замкнутые высказывания логического языка, язык тождеств все же достаточно богатый, чтобы на нем можно было выражать многие тонкие свойства систем и их классов» (А.И. Мальцев1) При исследовании тождеств в алгебрах естественным образом возникают числовые и теоретико-представленческие характеристики: коразмерности и кохарактеры. Коразмерности являются полезным инструментом при решении различных задач, например при доказательстве наличия или отсутствия нетривиальных тождеств2,3. Более того, коразмерности служат своеобразной оценкой количества тождеств, которым удовлетворяет конкретная алгебра. Кохарактеры заключают в себе информацию о структуре представления симметрической группы на факторпространстве пространства полилинейных многочленов по подпространству полилинейных тождеств соответствующей степени, являясь таким образом более тонкой характеристикой тождеств, чем коразмерности.

Первые применения представлений симметрической группы в PI-теории следует отнести, по-видимому, к работам А.И. Мальцева4 и В. Шпехта5, опубликованным в 1950 году. Использование кохарактеров является одним из главных инструментов при изучении асимптотики коразмерностей. В качестве примера можно привести работы М.В. Зайцева и А. Джамбруно6, А. Регева, А. Берела7,8,9, В.С. Дренски10,11 и многие другие. АсимптотичеМальцев А.И., Алгебраические системы, М.: Наука, 1970.

Regev A., Existence of identities in A B, Israel J. Math, vol. 11, pp. 131–152 (1972).

Regev A., The representation of Sn and explicit identities for P.I. algebras, J. Algebra, vol. 51, pp. 25–(1978).

Мальцев А.И., Об алгебрах с тождественными определяющими соотношениями, Матем. сборник, том 26, стр. 19–33 (1950).

Specht W., Gesetze in Ringen. I, Math. Z., vol. 52, pp. 557–589 (1950).

Giambruno A., Zaicev M., Exponential codimension growth of P.I. algebras: an exact estimate, Adv.

Math., vol. 142, no. 2, pp. 221–243 (1999).

Regev A., Codimensions and trace codimensions of matrices are asymptotically equal, Israel J. Math., vol. 48, no. 2–3, pp. 246–250 (1984).

Berele A., Properties of hook Schur functions with applications to p.i. algebras, Advances in Applied Math., vol. 41, no. 1, pp. 52–75 (2008).

Berele A., Regev A., Asymptotic behaviour of codimensions of p.i. algebras satisfying Capelli identities, Trans. Amer. Math. Soc., vol. 360, pp. 5155–5172 (2008).

Drensky V.S., Codimensions of T-ideals and Hilbert series of relatively free algebras, J. Algebra, vol. 91, no. 1, pp. 1–17 (1984).

Drensky V.S., Relations for the cocharacter sequences of T-ideals, Contemp. Math, Proc. of the International Conference on Algebra Honoring A. Malcev, vol. 131 (Part 2), pp. 285–300 (1992).

ское поведение коразмерностей и кохарактеров вызывает дополнительный интерес в связи c тем, что это поведение тесно связано со структурой изучаемой алгебры6,12.

В 1984 году А. Регев показал7, что коразмерности cn(Mk(F )) полиномиальных тождеств алгебры Mk(F ) всех матриц k k над произвольным полем F характеристики 0 имеют следующую асимптотику (здесь и даf лее f g, если lim = 1):

g k2-cn(Mk(F )) kn- k2n при n, (1) k- 1 (k -1)/где k = ·1!·2!·...·(k-1)!·k(k +4)/2, k N фиксировано.

Основываясь на этом результате, С.А. Амицур выдвинул следующую гипотезу:

Гипотеза 1 (С.А. Амицур). Пусть A — PI-алгебра над полем характеристики 0, а cn(A) — последовательность коразмерностей ее полиноми n альных тождеств. Тогда существует P I exp(A) = lim cn(A) Z+.

n Данная гипотеза была затем уточнена А. Регевом.

Гипотеза 2 (А. Регев). Пусть A — PI-алгебра над полем характеристиr ки 0. Тогда существуют такие C > 0, r Z, d Z+, что cn(A) Cn dn при n. (В случае, когда d = 0, существует такое n0 N, что при всех n n0 выполняется равенство cn(A) = 0.) Гипотеза С.А. Амицура была доказана М.В. Зайцевым и А. Джамбрунов 1999 году для всех ассоциативных алгебр. Кроме того, в 2002 году М.В. Зайцев13 доказал аналог гипотезы Амицура для коразмерностей полиномиальных тождеств конечномерных алгебр Ли.

Гипотеза А. Регева была доказана В.С. Дренски для ассоциативных алгебр полиномиального роста11, М.В. Зайцевым и А. Джамбруно14 для алгебр блочно-треугольных матриц. В 2008 году вышла работа автора [4], в которой гипотеза Регева доказывается для ассоциативных алгебр с единицей, имеющих PI-экспоненту 2 (см. параграф 2.1 диссертации). В том же году А. Регев и А. Берел8,9 доказали гипотезу Регева в более общем случае всех ассоциативных алгебр с 1.

Zaicev M.V., Giambruno A., Polynomial identities and asymptotic methods, AMS Mathematical Surveys and Monographs Vol. 122, Providence, R.I., 2005.

Зайцев М.В., Целочисленность экспонент роста тождеств конечномерных алгебр Ли, Изв. РАН, сер. матем., том 66, вып. 3, стр. 23–48 (2002).

Giambruno A., Zaicev M., Minimal varieties of algebras of exponential growth, Electronic Research Announcements of the AMS, vol. 6, pp. 40–44 (2000).

Как уже было отмечено, большой интерес представляет изучение поведения кратностей неприводимых кохарактеров в разложении кохарактера полиномиальных тождеств. В 1979 году А. Регев15 доказал теорему о полосе для кохарактеров алгебр, удовлетворяющих тождеству Капелли. В работе16 А. Регева и А. Берела было показано, что рост кодлин, а отсюда и кратностей неприводимых кохарактеров всякой PI-алгебры ограничен сверху некоторой полиномиальной функцией. Вопросы, связанные с асимптотикой кратностей и кодлин также исследовались А. Джамбруно, И.Ю. Свиридовой и Ф. Бенанти17,18. В работах 2006 и 2008 года А. Берел8,19 доказал, что кратности неприводимых кохарактеров произвольных PI-алгебр кусочнополиномиальны, а кодлины PI-алгебр с единицей асимптотически ведут себя как Cnt, где C R+, t Z+. Поведение кратностей неприводимых кохарактеров алгебр полиномиального роста изучалось В.С. Дренски11. В частности, им было доказано, что последовательность кратностей неприводимых кохарактеров, отвечающих диаграммам Юнга с фиксированными нижними строчками, периодична.

Несмотря на активную деятельность, которая ведется в этой области, известно сравнительно мало примеров алгебр, в которых можно явно вычислить базис тождеств, коразмерности, кохарактеры и кодлины: базис тождеств алгебры M2(F ) был найден Ю.П. Размысловым20 (позже В.С. Дренски21 предъявил минимальный базис тождеств этой алгебры), кохарактеры алгебры M2(F ) были найдены В.С. Дренски10 и Е. Форманеком22, точные значения коразмерностей для этой алгебры — С. Прочези23; базис тождеств и коразмерности алгебры Грассмана были вычислены Д. Краковски и А. Регевом24, базис тождеств алгебр UTn(F ) верхнетреугольных матриц — Ю.Н. Мальцевым25. В 2005 году вышла работа А. Джамбруно и Regev A., Algebras satisfying a Capelli identity, Israel J. Math, vol. 33, pp. 149–154 (1979).

Berele A., Regev A., Applications of hook Young diagrams to P.I. algebras, J. Algebra, vol. 82, pp. 559– 567 (1983).

Benanti F., Giambruno A., Sviridova I., Asymptotics for the multiplicities in the cocharacters of some PI-algebras, Proc. Amer. Math. Soc., vol. 132, pp. 669–679 (2004).

Свиридова И.Ю., О верхней оценке степени кратностей кохарактеров PI-алгебр, Фунд. и прикл. матем., том 10, вып. 4, стр. 207–223 (2004).

Berele A., Applications of Belov’s theorem to the cocharacter sequence of p.i. algebras, J. Algebra, vol. 298, pp. 208–214 (2006).

Размыслов Ю.П., О конечной базирумости тождеств матричной алгебры второго порядка над полем характеристики нуль, Алгебра и логика, том 12, стр. 83–113 (1973).

Дренски В.С., Минимальный базис тождеств алгебры матриц второго порядка над полем характеристики 0, Алгебра и логика, том 20, стр. 282–290 (1981).

Formanek E., Invariants and the ring of generic matrices, J. Algebra, vol. 89, no. 1, pp. 178–223 (1984).

Procesi C., Computing with 2 2 matrices, J. Algebra, vol. 87, no. 2, pp. 342–359 (1984).

Krakowski D., Regev A., The polynomial identities of the Grassmann algebra, Trans. Amer. Math. Soc., vol. 181, pp. 429–438 (1973).

Мальцев Ю.Н., Базис тождеств алгебры верхнетреугольных матриц, Алгебра и логика, том 10, x a c 0 x b Д. Ла Маттины26, в которой рассматривалась алгебра. А.С. Ви0 0 x еира и С.М. Альвес Хорге27 вычислили базис тождеств, коразмерности, x a c 0 0 b кохарактеры и кодлины алгебры. В связи с работой С.П. Ми0 0 x щенко и А. Валенти28 представляет интерес изучение аналогичных харак x a c 0 y b теристик алгебры. Два из трех тождеств базиса этой алгебры 0 0 x были указаны в книге В.С. Дренски29.

В теории полиномиальных тождеств можно выделить два философских подхода. При одном подходе отправной точкой служат фиксированные алгебры, каждая из которых задает T -идеал в свободной алгебре, состоящий из ее полиномиальных тождеств. При другом подходе изначально рассматривается набор тождеств, задающий многообразие тех алгебр, которые этому набору тождеств удовлетворяют. Результаты, касающиеся коммутатора длины 4, относятся ко второму подходу. Данное тождество является естественным обобщением соотношения [x1, x2, x3], которое образует базис тождеств бесконечно порожденной алгебры Грассмана24. Коммутатор длины 4 изучался в работе В.Н. Латышева30. В 1978 году И.Б. Воличенковычислил комбинаторными методами его коразмерности. В случае произвольного поля характеристики нуль А.Р. Кемером32,33 было доказано существование конечномерной супералгебры, T -идеал полиномиальных тождеств грассмановой оболочки которой совпадает с заданным. Однако вид этой супералгебры в конкретном случае неизвестен. Поэтому представляет интерес построение конечномерной супералгебры, базис тождеств грассмановой оболочки которой состоит из коммутатора длины 4.

Во многих областях математики и теоретической физики применяются вып. 4, стр. 393–400 (1971).

Giambruno A., La Mattina D., PI-algebras with slow codimension growth, J. Algebra, vol. 284, pp. 371– 391 (2005).

Vieira A.C., Alves Jorge S.M., On minimal varieties of quadratic growth, Linear Algebra and its Applications, vol. 418, pp. 925–938 (2006).

Mishchenko S.P., Valenti A., A star-variety with almost polynomial growth, J. Algebra, vol. 223, no. 1, pp. 66–84 (2000).

Drensky V.S., Free algebras and PI-algebras: graduate course in algebra, Springer-Verlag, Singapore, 2000, 270 pp.

Латышев В.Н., О конечной порожденности T -идеала с элементом [x1, x2, x3, x4], Сибирский математический журнал, том VI, вып. 6, стр. 1432–1434 (1965).

Воличенко И.Б., T -идеал, порожденный элементом [x1, x2, x3, x4], препринт №22, Минск: Институт математики АН Белорусской ССР, 1978.

Кемер А.Р., Представимость приведенно-свободных алгебр, Алгебра и логика, том 27, вып. 3, стр. 274–294 (1988).

Kemer A., Ideals of identities of associative algebras, Translations of Mathematical Monographs, vol. 87, AMS, Providence, RI, 1991.

алгебры Клиффорда34,35. Так, например, в 1997 году вышла книга А.А. Кецариса36, в которой он предложил свой вариант единой теории взаимодействия. Действие стало векторной величиной — элементом алгебры действия. Далее определялась волновая функция элементарной частицы, ее импульс и из законов умножения в алгебре действия путем дифференцирования выводились основные уравнения квантовой механики — уравнения Шредингера и Дирака. Кроме того, была введена структура алгебры на пространстве-времени. В качестве алгебр действия и пространства-времени для электронов и других лептонов были предложены алгебры Клиффорда. Отсюда большой интерес вызывают тождества в алгебрах Клиффорда, так как зная их, можно было бы получить другие уравнения квантовой механики и попытаться их проинтерпретировать в рамках создаваемых теорий. До этого были исследованы тождества в алгебре Грассмана24, которая является алгеброй Клиффорда нулевой квадратичной формы, и алгебрах Клиффорда полного ранга (в более общем случае конечномерных полупростых алгебр)7,10,22,23.

Кроме обычных тождеств, важную роль в теории колец играют их различные обобщения. Изучение обобщенных полиномиальных тождеств в примитивных кольцах началось в 1965 году в работе С.А. Амицура37. Затем У. Мартиндейлом38 были получены условия наличия нетривиальных обобщенных полиномиальных тождеств в первичных кольцах. Впоследствии результаты GPI-теории были обобщены К.И. Бейдаром и А.В. Михалевым39 на случай полупервичных колец. Функциональные и обобщенные функциональные тождества были введены в 1995 году словенским математиком М. Брешаром40 и были затем использованы К.И. Бейдаром, А.В. Михалевым и М.А. Чеботарем41,42 в решении ряда открытых проблем теории Hestenes D., Space-time algebra, Gordon & Breach, N.Y., 1966.

Fauser B., Clifford-algebraische Formulierung und Regularitt der Quantenfeldtheorie. Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften. Der Fakultt fr Physik der Eberhard-KarlsUniversitt zu Tbingen, 1996.

Кецарис А.А., Алгебраические основы физики. Пространство-время и действие как универсальные алгебры, М.: Эдиториал УРСС, 2004.

Pages:     || 2 | 3 |






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»