Элементы некоммутативного анализа над полями вещественных и - адических чисел тема автореферата и диссертации по математике, 01.01.03 ВАК РФ

Козырев, Сергей Владимирович АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
1995 ГОД ЗАЩИТЫ
   
01.01.03 КОД ВАК РФ
Автореферат по математике на тему «Элементы некоммутативного анализа над полями вещественных и - адических чисел»
 
Автореферат диссертации на тему "Элементы некоммутативного анализа над полями вещественных и - адических чисел"

Российская Академия Наук

Ордена Ленина и ордена Октябрьской революции Математический институт имени В. А. Стеклова

•• •:- Г 1

2 2 АПР И36

На правах рукописи УДК 517.98

Козырев Сергей Владимирович

Элементы некоммутативного анализа над полями вещественных и р-адических

чисел

(01.01.03- математическая физика)

Автореферат диссертации

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

Москва - 1995

Работа выполнена в отделе математической физики Математического института имени В. А. Сгеклова.

Научный руководитель официальные оппоненты

ведущая организация

доктор физико-математических наук, ведущий научный сотрудник И.В.Волович доктор физико-математических наук Н.В.Борисов

доктор физико-математических наук В.В.Веденяшш

Объединенный институт ядерных исследований

Защита состоится ^ "^'^-в-^-^часов на заседании Специализированного

ученого совета Д.002.38.01 в Математическом институте РАН по адресу: 117966, Москва, ул.Вавилова, дом 42.

С диссертацией можно ознакомиться в библиотеке МИРАН.

Автореферат разослан

Ученый секретарь Специализированного ученого совета Д.002.35.01 доктор физико-математических наук Ю.Н.Дрожжинов

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

Настоящая диссертационная работа посвящена вопросам некоммутативного анализа. Некоммутативный анализ, или анализ на некоммутативных алгебрах имеет долгую историю и многочисленные применения в различных разделах математической физики. Матричный анализ, анализ на алгебре кватернионов и алгебрах Клиффорда и ^-анализ являются примерами некоммутативного анализа. Другим примером являются хорошо известные понятия суперанализа, изучавшегося В.С.Владимировым и И.В.Воловичем, и параграссмаяова анализа. Некоммутативный анализ оказывается связанным с многими областями математики. Например, в работе И.Я.Арефьевой и И.В.Воловина отмечалось совпадение меры Хаара-Вороновича на квантовой группе и меры Хаара на кольне целых р-адических чисел. В последнее, время значительный интерес вызывает применение методов р-адпческого анализа в математической физике.

В настоящее время большой интерес вызывает концепция некоммутативной геометрии, введенная А.Конном. Наиболее известным примером некоммутативной геометрии является квантовая группа, изучавшаяся в работах

B.Г.Дринфельда, М.Джимбо, Л.Д.Фаддеева, Н.Ю.Решетихина, Л.А.Тахтаджяиа,

C.Л.Вороповича и других. Предпринимались попытки построения на чти основе теории элементарных частиц. Для разработки этих идей требуется дальнейшее развитие метода» некоммутативного анализа и некоммутачивной дифференциальной геометрии.

Также следует отметить связь квантовой группы 5'! ',(2) и нркомму глтивноя теории вероятности Войкулеску, см. [4].

В настоящей диссертационной работе исследуются такие вопроси некоммутативного анализа как представления алгебры функций на квантом;"; группе, построение пучка со значением в алгебре функций на квантовой группе, р-адические аналоги (/-интегралов и «-экспонент.

Одним из основных результатов диссертации является доказательство свойства стабильности для регулярного представления алгебры функций на квантовой группе 57/,(2).

Как известно, теория представлений квантовых групп имеет два аспекта.

1. Под представлением квантовой группы понимается структура комодуля над алгеброй функций на квантовой группе. В этом случае терпя представлений квантовых групп вполне аналогична теории представлений соответствующих классических групп.

2. Под представлением квантовой группы понимается структура модуля над алгеброй функций на квантовой группе. В .этом случае терпя представлений квантовых групп не имеет классического аналога. г)тот аспект теории представлений менее разработан. В связи с этой тематикой следует отметить работы Л.Л.Ваксмана и Я.Е.Сойбсльмана.

Исследование этих вопросов представляет шачительньш интерес. В частности, представляется интересным следующий вопрос: как описывается с точки зрения теории представлений алгебры Хопфа функций па квантовой группе

операция коумяожения А в давкой алгебре Хопфа,. Ответом на этот вопрос является операция умножения на множестве представлений алгебры Хопфа функций на квантовой груше, для двух представлений £ и Г принимающее вид 5Т = (5 ® Т)Л. Представления образуют полугруппу относительно данного умножения- В настоящей диссертации рассматривается эта полугруппа для квантовой группы ,?(/,(2). Дозазано, что существует представление П алгебры функций на данной квантовой группе, обладающее следующим замечательным свойством, см:. [2]. При умножении Я на любое другое представление получается снова представление П. Как следствие получается некоторое тождество для базисных гипергеометрических рядов. В настоящей диссертации, см. также [2], это представление П называется стабильным. Представление П является нулем в полугруппе представлений относительно рассматриваемой операции умножения.

В настоящей диссертации, см. также [1], доказано, что стабильное представление П унитарно эквивалентно регулярному представлению алгебры функций на квантовой группе 54^(2).

В диссертационной работе исследуются также другие вопросы некоммутативного анализа. Исследуется представление д-деформированной алгебры Гайзенберга в пространстве функций на поле р-адических чисел, строятся р-адические д-интегралы и д-экспоненты.

Приводится пример квантовогруппового киралытого поля и изучаются возникающие перестановочные соотношения.

Актуальность ТвМЫ. В многочисленных современных работах развиваются приложения некоммутативного анализа к различным областям физики и математики, в частности, к теории элементарных частиц. В этой связи представляется существенным изучение квантовогруппового кнрального поля и исследование связи некоммутативного анализа с р-адическим.

Цель работы. Исследование структуры полугруппы на представлениях алгебры функций на квантовой группе. Изучение связи некоммутативного анализа, р-адического анализа и разностных уравнений. Рассмотрение возможности применения в физике теории представлений алгебр функций на квантовых группах на примере квантовогруппового киралыгого поля.

Методика исследований. Используются методы функционального анализа. (теория операторов, спектральная теорема), теории представлений, р-адического анализа.

Научная новизна.

1) Исследована структура полугруппы на представлениях алгебры функций

па квантовой группе 5(7,(2). Доказана теорема о стабильном представлении алгебры функций па квантовой группе 5?7,(2).

2) Доказана теорема об унитарной эквивалентности стабильного и регулярного представлений алгебры функций на квантовой группе 5(7,(2).

3) Построены р-адические ({-интегралы и ^-экспонепты.

4) Построен пример киралыюхх> поля со значением в квантовой группе. Построена алгебра с кубическими перестановочными соотношения, возникающая при дифференцировапии рассмотренного киральпого поля.

Теоретическая И Практическая ценность. Настоящая диссертационная работа представляет теоретическую ценность. Возможно использование изложенных результатов в теории квантовых групп, некоммутативного анализа, теории элементарных частив.

Апробация работы. Результаты настоящей диссертационной ра-5оти били доложены на семинарах в Математическом Инт и г\/те имени В.А.Стеклова РАН, механико-математического факультета МГУ имени М.В.Ломоносова, Объединенного Института Ядерных Исследований (Дубна). Результаты диссертации изложены в четырех публикациях, список которых Праведен в конце автореферата.

Содержание работы.

В настоящей диссертационной работе исследуются вопросы некоммутативного анализа, теории квантовых групп и ^-анализа.

В главе 1 изучается вопрос об унитарной представимости (или стабильности) коумножения для квантовой группы ¿77,(2). Свойство стабильности соответствует унитарной представимости (/-аналога преобразовали Боголюбова. Соответственно, можно говорить об унитарной эволюции, задаваемой (/аналогом преобразования Боголюбова.

В первой главе изучается операция произведения для представлений алгебры А функций на квантовой группе .577, (2). Основным результатом этой главы являются теоремы 2, 3 и 4, описывающие свойства стабильного представления.

Алгебра с инволюцией функций на 311,(2) определена для вещественных <?, О < < 1, и порождается образующими а, Ь, с, с2 с перестановочными соотношениями следующего вида:

аЪ — цЪа ас = <?са а<1 — дсб — 1 Ьс—сЬ сЛ = Ы — </ей da—q~1bc= 1

и инволютивным анпшинейньш антигомоморфизмом *:

а' = <1, Ь* = —ца.

Алгебра А функций па квантовой группе .?(/,(2) есть алгебра Хопфа с ко-умножеяием Д следующего вида:

Д :А -» Л®VI;

д<?;= £ г!®?'; (!)

*=0,1

В первой главе исследуется следующая операция произведения для представлений алгебры А. Пусть Я и Т суть представления алгебры Хопфа Л с коумножедыем Д. Произведение 5Т представлений 5 И Т определяется по формуле

БТ{а)= 5®Т(Да);а£Л.

Множество представлений образует относительно данпого произведения полугруппу. В первой главе полностью описывается структура данной полугруппы. При этом используется классификация неприводимых *-представлений для алгебры А. Она имеет следующий вид: существуют две непрерывные серии неприводимых ^-представлений.

1) Серия рф\

Ь\_( ехр {гф) 0 \ т

<1 } ~ ^ 0 ехр(-гф) }

реализованная в одномерном гильбертовом пространстве. Здесь 0 < ф < 2х.

2) Серия Ж)-. Представления данной серии реализованы в гильбертовом пространстве Нтз с ортонормированным базисом {еот}, где целое число т пробегает от 0 до оо, по следующим формулам:

ает = ае0 = 0 (3)

¿е.т = у/1 - (4)

се„ = ехр (1в)дтет (5)

6ет = ~ех р(-.%т+1ет (6)

Здесь 0 < 9 < 2тг.

Для произвольных ф,1р п 0 определим ^-представление П = п^тг^пд. В первой главе показано, что класс унитарной эквивалентности представления П не зависит от ф,ф и 9. Класс унитарной эквивалентности данного представления сохраняется при умножении на произвольное представление. В первой главе доказана

Теорема 2 Имеет место тождество Щ — ^П — II, где " = " означает унитарную эквивалентность и £ есть произвольное представление.

В соответствии с этим свойством представление 11 названо стабильным. Стабильное представление реализует нуль в полугруппе представлений алгебры А.

След на слабом замыкании алгебры А в представлении П связан с инвариантным интегралом Хаара-Вороповича на квантовой группе £{/,(2) но формуле /М/= (1 - ,2)М/СС*).

Для доказательства сформулированных утверждений в настоящей диссертации изучаются следующие вопросы. В первой главе исследованы свойства *-предстаплений алгебры А. Пусть £ есть ^-представление алгебры А в гильбертовом пространстве Нк. Для полинома [ е А обозначим как /г этот полином в представлении £. Далее не будем указывать если представление известно из контекста.

Важнейшим для дальнейших рассмотрений является следующий факт.

Теорема 1 Всякое *-пре.дстаблепие £ алгебры А допускает разложение и прямую сумму £ = @ ¡1а *-представлений в ортогональных подпространствах ^ О (?;,

н( = ^ а

со следующими свойствами. В Р^ имеет место условие Кег с — 0 и ^ — д^Кег П(. В Сг( мы имеем с — 0 и оператор а унитарен.

В существует ортпонормироваи.иыа базис {е,„д^, в котором операторы из алгебры А действуют следующим образом:

ае-тМ = \Л - $2тет-1,м;аеом = 0 (')

<1ет и = /1 - 9г<т+1)е„,^,лг (8)

сет.м = ч"' (9)

н

Ьспи (10)

■V

Здесь си суть матричные элементы взаимно сопряженных унитарных операторов.

В существует оргаонормированны'й базис {е„}, в котором операторы из алгебры А действуют следующим образом:

аеа = С11)

Р

сеа = 0 (12)

Пусть представление £ = & © будет реализовано в гильбертовом пространстве Щ в базисе, определенном в вышеприведенной теореме.

Аналогично представление у — т)р ф т/о реализовано в гильбертовом пространстве Нп с ортонормированным базисом пробегает от 0 до оо;е7}, где {еолг} есть ортонормированный базис в Кег а, и есть ортонормирован-нын базис в О = Кег с,, где операторы из алгебры А действуют следующим образом:

аепк = V1 _ 92"еп-г,.^; ае0л' = 0 (13)

<1еш = - <72<п+1)е»-ц,л/ (14)

= (15)

а е.

лг

„г

■-» = XXе« (16)

í

сеу = 0 (17)

где с^ и а' суть матрицы унитарных операторов.

Нашей целью является построение произведения £т]. Достаточно доказать следующие утверждения.

Лемма 3 Для *-представлений ( в I) алгебры А имеет место условие Кег с^, = Кег с^ ® Кег с,

Предложение 2 Представление реализовано в гильбертовом про-

странстве Это гильбертово пространство имеет ортонормирован-

ный базис {етпдм,га — 0,1,2...;п челое}. В этом базисе представление (рЧр определено по следующим формулам:

аетпмк = V 1 _ 32тет-1,г1Ш/; аеопмлг = 0 (18)

¿е„тл/л- = V1 - ?2(т+1)ет + 1,пл/л (15)

сет„лш = я'Пе~т,п+1,мм (20)

Ъетпмя -— — дт+1ет,а-1,мк (21)

При доказательстве данного предложения получен также следующий дополнительный результат: Определим функцию

оо 71 -I

Следствие 2 Функция дя(п) имеет свойство характера:

ле»-и)=(1-92ы«)-

Предложение 3 Представление реализовано в гильбертовом про-

странстве ® Это гильбертово пространство имеет ортонормироваи-ный базис {йтм/з, т — 0,1,2...}. В этом базисе представление определено по следующим формулам:

аетыр = \Л -чгтет-1,ме\ аеомр = 0 (23)

¿етМ0 = \А - ?2(га+1»ет+1,м/? (24)

се,= X] (25)

Л.'л

ЬетШ = (26)

к-,

Предложение 4 Представление ^оЛР реализовано в гильбертовом пространстве Это гильбертово пространство имеет ортонормирован-ный базис {еап№,п — 0,1,2...}. В зтпом базисе представление определено следующими формулами:

аеапЯ = \/1 - Ч2"ес.,т.-1,л/;ае£>о,у = 0 (27)

¿йапК = т/1 (28)

сеап!г= (29)

Ь,8

Ьеапу = (30)

¿4

Предложение 5 Представление, ^о^я реализовано 6 гильбертовом пространстве Сг^СЗСг',,. Это гильбертово пространство имеет ортонормирован-ный базис {еар,п — 0,1,2...}. этом базисе ■представление ^ача определено следующими формулами:

(32)

-.5

«а/» = 0 (33)

6еа(, = 0 (34)

Используя приведенные предложения , можно строить произведения произвольных представлений алгебры А.

Доказано предложение

Предложение 7 Представление П = ■ХфТГфКд реализовано в гильбертовом пространстве Нц с ортонормированным базисом {етдггЬ где т пробегает от 0 до эо, а М и Г пробегают, все целые числа, по следующим формулам:

аетмг = ~ ?2т"ет-1,л/г; ае0,мг = 0 (35)

¿епМГ = л/Г- 92("1+1)е„+а,мг (36)

се„мг = ?тет,м+г,г (37)

ЬбтМГ = -д"1+1ет,л/-х,г (38)

Свойства представления П даются следующими двумя предложениями и теоремами 2, 3 и 4.

Предложение 8 Слабое замыкание алгебры А в представлении П унитарно эквивалентно алгебре фон Неймана В(Н) ® Fun(S) &Ы, где В(Н) есть алгебра ограниченных операторов в бесконечномерном гильбертовом пространстве, Рип(З) есть алгебра функций на окружности понимаемая как слабое замыкание алгебры тригонометрических полиномов, действующей в ¿2(6') поточечным умножением, ¡¿. есть единичный оператор в бесконечномерном гильбертовом■ пространстве.

Коммутант алгебры А в представлении П унитарно эквивалентен этой же алгебре.

На алгебре А о представлении П определен полуконечный след по формуле

оо к—О

Этот след связан с инвариантным интегралом Хаара-Вороновича \ на 5{/9(2) по формуле

х(Л = и - ?Х/«").

Предложение 9 Пряма! сумма представлений унитарно эквивалентных П также будет унитарно эквивалентна П.

На более формальном языке это предложение выглядит следующим образом. Пусть представление II реализовано в гильбертовом пространстве Нц в. пусть Н есть произвольное гильбертово пространство.

Рассмотрим в гильбертовом пространстве Нп ® // представление Е определенное в соответствии со следующей формулой.

ЩЛ = щл ®

для / £ А. По приведенному предложению представление Е унитарно эквивалентно П.

Следующая теорема о стабильности для представления П является одним из основных результатов работы.

Теорема 2 Для произвольного *-представления I алгебры А выполняется следующее условие стабильности:

Щ = £П = П

где "=" означает унитарную эквивалентность.

Определено также второе свойство стабильности для представления II. Для этого приведем представление П к следующему виду. Пусть представление П реализовано в гильбертовом пространстве Нп с ортонормированным базисом {етМг}, где т и Г пробегают от 0 до оо, а М пробегает все целые числа, по ■ следующим формулам:

астмг = \Д ~ 92'"ет_1.дп-;ае0мг = 0 (39)

¿е„гмг = \Л - ?2(т+1'ет+1,мг • (40)

сетмг = 7теп.,А/+1,г (11)

= -?т+1ет,дг-1,г (42)

Определим в том же гильбертовом пространстве Нп представление П' алгебры Л, порожденное операторами а',Ъ',с',<1', действующими по следующим формулам.

а'ьтМТ = \Д _ 9гг"стМ,г-х; аетЛГ0 = 0 (43)

ЛтМГ = - ?2(Г+1)е™лг,г+1 (44)

с'етмг = 9ГСт,м+х,г (45)

Ь'етмт = —<?Г+1е>п,л*-1,г (46)

Нетрудно видеть, что представление П' унитарно эквивалентно П. Также легко видеть, что операторы а', V, с', д! перестановочны с операторами а, Ь, с, Л. Определим представление П"(А) по следующей формуле.

а" Ь" \ ( а Ь \ ( а' V

с" 4" \ с <1 ) [с' ¿! I Имеет место теорема

Теорема 3 Представление П" унитарно эквивалентно П. Будем называть это условие вторым свойством стабильности для представления П.

В разделе 1.8 доказана унитарная эквивалентность стабильного представления П и регулярного представления алгебры функций на кваптовой группе Л = Рип(5и^(2}). Введем требуемые обозначения. Инвариантный интеграл х на биалгебре В есть функционал

х-в-* с-,

где С есть поле комплексных чисел, удовлетворяющий следующему условию: (х ® /<0Д(/) = {I* ® х) мл = 1 вх(/). ' (48)

Здесь Ы есть тождественное отображение, 1 в есть единица в биалгебре В.

Инвариантный интеграл та 5(7,(2) был определен Вороновдгаем. Этот интеграл связан со следом в представлении П по формуле

*(/) = (1 - 02М1сс').

Введем теперь понятие регулярного представления. Это представление вводится с помощью конструкции Гельфанда-Наймарка-Сигала.

Пусть ф есть положительный функционал на алгебре с инволюцией А. Тогда формула

(х,у) - ф(х*у)

задает на алгебре А положительно определенное скалярное произведение. Пополнение алгебры А по норме, отвечающей этому скалярному произведению, дает гильбертово пространство Ь^ф). Представление Гельфанда-Наймарха-Сигала. в гильбертовом пространстве ¿^(ф) вводится как продолжение действия

а : х —» ах, а, г € А;

с плотного аодпросгранства а на

Если функционал (¡> есть инвариантный интеграл на алгебре Л, то соответствующее представление будем называть регулярным. Доказана следующая

Теорема 4 Регулярное представление Тх алгебры А унитарно эквивалентно стабильному представлению П.

В разделе 1.9 исследовано обобщение свойства стабильности для произвольного кодействия алгебры Хопфа А. Рассмотрен произвольный комодуль V над алгеброй Хопфа А — .Гип^У,,^)). Это означает, что V есть линейное пространство с отображением кодействия

' (49)

где отображение кодействия удовлетворяет свойству

б2 = (Д® 1)6.

Естественно считать, например, что V есть алгебра с инволюцией, а с есть гомоморфизм алгебр с инволюцией. Структура алгебры с инволюцией в линейном пространстве А © V вводится следующим образом.

(а К) ьЛ(а' ® V1) = аа' 0 т';

*(а ® V) — я' <й I'*.; а. а1 6 А: V, !>' 6 V.

Рассмотрим в гильбертовом пространстве Ну ^-представление Т алгебры V, а в гильбертовом пространстве Д? ^-представление 5 алгебры А.

Кодействие 6 назовем унитарно представимым отпосительно представлений Т если существует унитарный оператор II,

и : Ну Н8 ® Яу;

такой что Чу е V

[Б ®Т)(Щ = иТ[у)и~\

Пользуясь существованием стабильного представления для алгебры А, доказано следущее предложение.

Предложение 12 Для произвольного комодуля V" над алгеброй Хопфа А = Рип(Бия(2)) существует такое представление Р, что кодействие £ из формулы Ц9) является унитарно представимым относительно представления Р комодуля V и произвольного представления 5 алгебры А.

В главе 2 изучаются вопросы д-анализа, его связи с квантовыми группами и р-адическим анализом. В ^-анализе оператор дифференцирования заменяется на оператор ^-дифференцирования, представляющий собой оператор разностного дифференцирования. Рассмотрим кратко ^-анализ на вещественной прямой и его связь с квантовыми группами. Одним из предметов ^-апализа является следующее представление ^-деформированной алгебры Гайзепберга. Эта алгебра порождена элементами X а д, с перестановочными соотношениями, являющимися деформацией перестановочных соотношений алгебры Гайзенберга

д,Х-дХд, = \. (50)

Ненулевое комплексное число д здесь является параметром деформации. Хорошо известно следующее представление ^-деформированной алгебры Гайзепберга, определенное на функциях на вещественной прямой или комплексной плоскости:

(ХЛМ =*/(»>; (51)

м-)(52>

Оператор дд называется оператором д-дцфференцирования.

Анализ связан с теорией квантовых групп через структуру Рип(5Х,(2, С))-комодуля на ^-деформированной алгебре Гайзенберга. Это означает, что преобразование

сохраняет перестановочное соотношение (50).

В главе 2 изучается ^-анализ в радической области. В частности, построены р-адическтте ц-интегралы и (/-экспоненты. Также построено новое представление ^-деформированной алгебры Гайзенберга, определенное в пространстве комплекснозначных функций на поле р-аднческих чисел.

В работе [3] уравнение для ^-экспоненты было исследовано для комплексных 9, удовлетворяющих условию ]<?| = 1. В этой работе были получены следзтопгае результаты:

Предложение 13 Дляц, являющихся корнем из 1, ц-экспоненты не существуют.

Предложение 14 Для |?| = 1 и q, не являющегося корнем из 1, д-экспоиента равна нулю почти всюду вне некоторого диска или неизмерима по Лебегу вне этого диска.

Во второй главе рассмотрено представление ^-деформированной алгебры Гайзенберга в пространстве функций на поле р-адических чисел. Рассмотрим следующие операторы, действующие в пространстве комплекснозначных функций на поле р-адических чисел

(*/)(*) = £(*)/(*); ' (54)

здесь £ есть непрерывный мультипликативный характер из (¡р в поле комплексных чисел С. Пусть и 6 5р\{0},а € С\{0},? = £(и) Ф 1.

Это оператор q-дифференцирования в р-адической области. Этот оператор удовлетворяет следующему ^-деформированному правилу Лейбница:

= {d„f)(x)g(x) + в/(«г)(9,р)(г); (56)

Операторы X и dqia удовлетворяют перестановочным соотношениям

дя,аХ - qXdqt<x = 1. (57)

Это есть перестановочное соотношение q-деформированной алгебры Гайзенбер-га.

Рассмотрены два примера (/-анализа.

Пример 1. Пусть и = р, £(х) — p,q = £(u) = р~г.

Определим g-интеграл как

f(t)dJ<nt = (1 - р"1),^ (58)

к-0

Имеет место аналог формулы Ньютона-Лейбница:

L , (M(t)d^t = Hm (/(г) - а'7(р»х)). (59)

Если мы выберем а = 1 я /(i) = тогда рассматриваемый ^-интеграл

будет равен интегралу по мере Хаара "по р-адическому диску {t £ Qv : |i|p < Здесь мера Хаара нормирована таким образом, что мера Zp равна 1. Формулы для 9-пнтеграл и правила Ньютона Лейбница определены для функций /. удовлетворяющих условию существования следующего предела:

lirn anj(qnx). (60)

Определим q-экспоненту / как функцию, удовлетворяющую следующему у-равнешпо в д-производных:

Наложим на решение этого уравнения условие

lim a"f(pnx) = 1.

n—*OÖ 4 '

В этом случае решение уравнения является единственным и выражается следующей формулой:

/М=П(1 -Ail-p-VM,)-' (62)

ь-.о

Это бесконечное произведение сходится при х и к, удовлетворяющих следующему условию:

Пример 2. Пусть ц является единицей. Это означает, что выполнено следующее условие: |и — 1 |р < 1. Пусть пе есть корень из 1. Рассмотрим р-адический диск £>:

П={хедр-.\х-1\р<\и-1\р}. (63)

Этот диск является мультипликативной подгруппой ф*. Определим д-интеграл по следующей формуле:

к

j{x)dbax = lim p-^Y; f(ukx)ttukx)ak. (61)

D k=о

Для этого (¡-интеграла имеет место аналог формулы Ньютона-Лейбница:

L

dg,af(x)dqi0,x = lim {—(f(x) - f(u" x)a" ). (65)

D 71—OO X - <J

Если а = 1 и / непрерывна, то (/-интеграл равен интегралу до мере Хаара от функции j{x)£(x) по диску D. Здесь мера Хаара нормирована таким образом, что мера диска D равна 1.

Определим q-экспоненту / как функцию, удовлетворяющую следующему уравнению:

dq,J(z) = */(*). (66)

^-Экспонента / является характером мультипликативной группы, порожденной ир . Определим комплексное число

С = а""'(1 + (к(1 - <?))"').

^-Экспонента будет обладать различными свойствами в зависимости от значения числа С. Рассмотрим следующие случаи:

a) Пусть Зп. : Ср" = 1. В этом случае существует q-экспонента, принадлежащая классу локально постоянных функций на р-адическом диске D, удовлетворяющих свойству:

{д(х) : д(ur"x) = 9(2)}.

В этом классе функций «/-экспонента будет единственной.

b) Пусть \С\ = 1 и С пе является корнем из 1 некоторой степени рп. Тогда функция / разрывна в каждой точке х, в которой J(x) ф 0.

c) Пусть |С| ф 1. Функция / неизмерима по мере Хаара на диске D.

В главе 3 изучается пример (/-деформации в теории поля. Квантовый пучок на множестве М, принимающий значения в алгебре Л функций на квантовой группе SU4(2) определен набором операторнозначных функций a(t),b(t),c(t),d(t),t 6 М, удовлетворяющим следующиму условию: a(t),b(l),c(t),d(t) для фиксированного t образуют представление алгебры А.

В рассматриваемом в диссертации примере множество М есть вещественная прямая, а функции «¿(¿) являются гладкими.

Киральным полей на множестве М со значением в квантовой группе 8ич(2) мы будем называть набор оцераторнозначных функций

^ " \ с(сс) ¿(х)

где I £ Д/, такой что для произвольного х матричные элементы вышеуказанной матрицы образуют представление Рип(511я(2)).

Матричные элементы (д',(х)) в рассматриваемом примере зависят от х гладким образом. Рассматриваемый в главе 3 пример кнрального поля выбран таким образом, что матричные элементы (д'3{х)) и их производные образу-

ют замкнутую алгебру(то есть замыкаются соответствующие перестановочные соотношения, имеющие степень 3).

1.1

Основные результаты диссертации напечатаны в следующих работах.

Список литературы

[1] Козырев С.В. Изоморфизм стабильного и регулярного представлений алгебры функций да квантовой группе. Докл.Акад.Наук, 343(1995)N4

[2] Козырев С.П. Точная вычислимость, полугруппа представлений и свойство стабильности для представлений алгебры функций на квантовой группе SUq(2). Teop.Mar.<t>H3.,101(199i)No2

[3] Козырев С.В. Свободное движение ^-деформированной квантовой частицы. Теор.Мат.Физ.,93(1992)Ко10

[4] Accardi L., Arefeva I. Ya, Kozyrev S.V, Volovich I.V The master field for large N matrix models and quantum groups. Modern Phys.Lett.A, 11 (1995)p.2341-2345