Линеаризация W-алгебр и интегрируемые дискретные и непрерывные иерархии с расширенной суперсимметрией тема автореферата и диссертации по физике, 01.04.02 ВАК РФ

ОБЪЕДИНЕННЫЙ ИНСТИТУТ ЯДЕРНЫХ ИССЛЕДОВАНИЙ

2-2003-8

На правах рукописи УДК 530.145.6; 539.128.2

СОРИН Александр Савельевич

ЛИНЕАРИЗАЦИЯ ^-АЛГЕБР И ИНТЕГРИРУЕМЫЕ ДИСКРЕТНЫЕ И НЕПРЕРЫВНЫЕ ИЕРАРХИИ С РАСШИРЕННОЙ СУПЕРСИММЕТРИЕЙ

Специальность: 01.04.02 — теоретическая физика

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

Дубна 2003

Работа выполнена в Лаборатории теоретической физики им. H.H. Боголюбова Объединенного института ядерных исследований.

Официальные оппоненты:

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

профессор, член-корреспондент РАН В.Я. Файнберг

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

профессор М.А. Ольшанецкий

доктор физико-математических наук А.П. Исаев

Ведущее научно-исследовательское учреждение: Физический институт им. П.Н. Лебедева РАН.

Защита диссертации состоится «Ж* 900.4 г. на засе-

дании диссертационного совета Д720.001.01 в Лаборатории теоретической физики Объединенного института ядерных исследований по адресу г. Дубна, Московской области.

С диссертацией можно ознакомиться в библиотеке Объединенного института ядерных исследований.

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

Ученый секретарь совета

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

г.

О-

С.В. Голоскоков

^—-- I к

б17/

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы.

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

Имеется несколько причин, стимулирующих изучение суперсимметричных иерархий с различным числом суперсимметрий N > 1, которые обобщают чисто бозонные (И = 0) интегрируемые иерархии. В настоящее время бозонные иерархии достаточно хорошо изучены, и их связь с физическими моделями (например, двумерной (2Б) гравитацией и топологическими полевыми теориями) хорошо установлена. Напротив, имеющееся знание суперсимметричных интегрируемых иерархий пока еще достаточно скудно; в этом отношении ситуация весьма отличается от ситуации в конформных полевых теориях, где большое внимание уделялось суперсимметричным расширениям с N > 1. Можно надеяться, что, как только понимание суперсимметричных интегрируемых иерархий станет удовлетворительным, это поможет прояснить их связь с физическими моделями, например с нетвистованными N = 2 конформными полевыми теориями, подобно связи, имеющей место между бозонными интегрируемыми иерархиями и топологическими полевыми теориями. Еще одна причина заключается в том, что этот предмет сам по себе представляет математическую проблему, которая полна интригующих неожиданностей типа существования трех разных N = 2 суперсимметричных семейств интегрируемых иерархий с одной и той же супералгеброй N = 2 \¥„ в качестве их второй гамильтоновой структуры. Эта проблема оставалась загадкой в течение длительного времени. Другим источником интереса к расширенным суперсимметричным иерархиям является также и то, что они могли бы объединять известные бозонные иерархии.

Существует соответствие между аффинными и конформными IV-(супер) алгебрами и иерархиями интегрируемых уравнений типа Кор-тевега-де Фриза (КдФ), нелинейного Шредингера (НУШ) и Кадомцева-Петвиашвили (КП), для которых эти (супер) алгебры обеспечивают вторые гамильтоновы структуры. Изучение таких иерархий позво-

ляет проникать глубже в их математику и, следовательно, в структуру соответствующих теорий протяженных объектов, включая те, которые в настоящее время рассматриваются как кандидаты на предельную М-теорию. К универсальному классу 2И моделей, который естественным образом включает эти локальные симметрии и дает ключ для понимания взаимосвязей между ними (например, посредством гамильтоновой редукции), принадлежат модели Весса-Зумино-Новикова-Виттена и связанные с ними Тодовские системы. Должна существовать глубокая связь (которая все еще не до конца исследована) между этим важным классом интегрируемых 2Б моделей (связанных, в свою очередь, со струнными теориями) и (супер)иерархиями типа КдФ, НУШ и КП.

Бозонные иерархии играют важную роль во многих физических теориях. Кажутся разумными попытки построения суперсимметричных аналогов таких физических теорий начиная именно с построения суперсимметричных расширений соответствующих бозонных иерархий. Например, давно поставленной и все еще не решенной проблемой является проблема построения суперсимметричных матричных моделей, чье критическое поведение описывало бы 20 суперконформную материю, взаимодействующую с квантовой супергравитацией. Перспективный подход состоит в эксплуатации суперсимметричных расширений интегрируемых иерархий, содержащихся, например, в эрмитовых матричных моделях, которые допускали бы реконструкцию для описания в терминах собственных значений. Так, известно, что тау функция полубесконечной бозонной иерархии Тоды (ограниченной Вирасоровскими связями) воспроизводит статистическую сумму одно-матричной модели, которая описывает двумерную минимальную конформную материю, взаимодействующую с двумерной квантовой гравитацией. Поэтому кажется разумным найти сначала нетривиальные суперсимметричные расширения иерархии Тоды, которая характеризует одноматричную модель, а затем на ее основе реконструировать соответствующую суперсимметричную модель собственных значений. Матричная формулировка таких моделей могла бы дать новое понимание проблемы квантования 2Б супергравитации.

Начиная с пионерской работы Замолодчикова, множество расширенных нелинейных конформных (супер)алгебр (И7-(супер)алгебр) было построено и изучено. Неослабевающий интерес к этому предмету в значительной степени мотивирован многими важными применениями

И/-(супер)алгебр в теории струн и интегрируемых системах. Однако присущая \¥-(супер)алгебрам нелинейность делает довольно трудным делом применение к их изучению стандартного арсенала методов, используемых в случае линейных (супер) алгебр при построении, например, их полевых реализаций. В этой связи представляется важным нахождение различных процедур линеаризации \¥-(супер)алгебр.

Цель диссертации состоит в развитии методов построения и исследования суперсимметричных интегрируемых иерархий, нахождении их решений и линеаризации ТУ-(супер) алгебр.

Научная новизна и практическая ценность.

Предложен метод конформной линеаризации широкого класса нелинейных И/-(супер)алгебр. Он основан на наблюдении, что во многих случаях данная нелинейная V/- (супер) алгебра с конечным числом токов может быть вложена в некоторую линейную конформную (су-пер)алгебру - линеаризующую алгебру, которая, как и исходная IV-(супер) алгебра, обладает конечным набором токов и содержит ее как подалгебру в некотором специальном базисе. При этом важно, что токи исходной нелинейной Ш- (супер) алгебры, определенным образом расширенные конечным набором новых токов, связаны обратимым преобразованием с токами линеаризующей алгебры. Тем самым, большинство свойств нелинейной алгебры, а также свойств построенных на ее основе теорий, могут быть изучены более простым и эффективным способом, исходя из ее линейного аналога. Помимо того, что конформные линеаризующие алгебры весьма эффективны для получения более широкого класса полевых реализаций нелинейных алгебр, они также обеспечивают подходящую основу как для построения новых струнных теорий, так и для изучения вложения Вирасоровской струны в струны ТУ-типа.

Найден широкий класс N = 2 и N = 4 суперсимметризаций обобщенных матричных иерархий КП, КдФ, НУШ и Тоды. Существенный прогресс достигнут в понимании общей структуры этих иерархий, взаимосвязи между ними и их связей с другими физическими и математическими концепциями и проблемами. Эти иерархии могут быть важны для исследования старой и все еще не решенной проблемы построения нетривиальной суперсимметричной матричной модели и/или модели собственных значений, что было одним из немаловажных стимулов для их построения.

Построен N = 4 суперполевой базис для N = 4 суперсимметричной иерархии Тоды, в котором потоки локальны, и найдено его вложение в N = 4 0(4) суперконформный суперток, что может быть важным в связи с давней нерешенной проблемой построения N = 4 0(4) суперконформной иерархии КдФ (если существует).

Решена проблема построения квазиклассического предела N = (1|1) 2БТЬ иерархии — N = (1|1) суперсимметричной бездисперсионной иерархии Тоды. Кроме чисто академического значения этой иерархии, интерес к ней связан с рядом возможных важных физических и математических приложений, аналогичных приложениям ее бозонного прообраза — бездисперсионной 2ЭТЬ иерархии. Например, для построения ряда самодуальных вакуумных метрик и метрик Эйнштей-на-Вейля, теории твисторов, двумерной конформной и топологической теории поля, двумерной теории струн. Имея в виду глубокую связь между 2ЭТЬ и N — (1|1) 2ЭТЬ иерархиями, представляется естественным полагать, что и бездисперсионная N = (1|1) суперсимметричная 2БТЬ иерархия найдет аналогичные приложения в суперсимметричных обобщениях перечисленных выше теорий. Она может быть также значима и в контексте проблемы поиска интегрируемой структуры, лежащей в основе суперсимметричной полевой теории струн, подобно тому, как это имеет место для бозонной бездисперсионной иерархии Тоды по отношению к Виттеновской полевой теории струн, что было обнаружено нами совсем недавно.

Предложена новая обобщенная градуированная скобочная операция на пространстве градуированных операторов с инволюцией, которая определена в достаточно общих терминах, чтобы иметь широкий спектр приложений. Одним из мотивов для ее введения послужила проблема построения квазиклассического (непрерывного) предела N = (1|1) 2БТЬ иерархии, в решении которой эта скобочная операция сыграла ключевую роль.

На защиту выдвигаются следующие результаты.

1. Разработан метод конформной линеаризации нелинейных (су-пер)алгебр. На основе этого метода получены линеаризующие конформные алгебры для широкого класса Ж-(супер) алгебр и построены их новые полевые реализации.

2. Решена проблема Лаксового описания трех различных бесконеч-

ных семейств интегрируемых N = 2 суперсимметричных иерархий с N = 2 супер Wn алгебрами в качестве их вторых гамиль-тоновых структур.

3. Описан широкий класс редукций матричной суперсимметричной иерархии КП в N = 2 суперпространстве, характеризуемых конечным и бесконечным числом полей.

4. Предложен бесконечный класс интегрируемых N = 2 неограниченных суперсимметричных матричных иерархий обобщенных нелинейных уравнений Шредингера — N = 2 (к\п, ш)-МОНУШ. Найдены его псевдодифференциальное и супералгебраическое описания, построены рекурсионные операторы, а также изучены его киральные редукции, допускающие би-гамильтоново описание, и их дискретные симметрии, представляющие собой решеточные суперсимметричные уравнения Тодовского типа. Установлена редуция иерархии N = 2 (1|1,0)-МОНУШ в иерархию N = 2 а = 1 КдФ и построен рекурсионный оператор и би-гамильтонова формулировка для последней.

5. Предложена новая интегрируемая N = (0|2) суперсимметричная решеточная иерархия Тоды, а также широкий класс ее интегрируемых обобщений. Новые N = (0(2) суперсимметичные уравнения — N = (0|2) суперконформное 2DTL уравнение и N = (0|2) уравнение Давье-Стевартсона — являются ее первыми нетривиальными подсистемами.

6. Построены бозонные и фермионные решения уравнений симме-трий, соответствующих двумерным N — (0|0), N = (0|2) и N = (2|2) суперконформным решеточным уравнениям Тоды, и найдена их максимальная суперполевая формулировка.

7. Построены общие решения двумерных N = (0|2) и N — (2|2) суперконформных решеточных уравнений Тоды в случае одного или двух фиксированных концов.

г (>

8. Предложена норая градуированная скобочная операция на пространстве градуированных операторов с инволюцией, обобщающая градуированный коммутатор для супералгебр.

9. Получена новая форма представления Лакса для суперсимме- 1

тричных решеточных иерархий Тоды в терминах обобщенной градуированной скобки, что важно для построения их квазиклассических асимптотик.

10. Построена бездисперсионная (непрерывная) N = (1|1) суперсимметричная иерархия Тоды и найдено ее Лаксово описание. >

11. Предложен широкий класс комплексифицированных N = 4 суперсимметричных интегрируемых иерархий. 1

12. Предложено Лаксово и би-гамильтоново описание N = 4 суперсимметричной иерархии Тоды bN = 2víN = 4 суперпространствах, получены ее бозонные и фермионные симметрии, вещественные формы и установлена ее связь с иерархией N ~ 4 КдФ. Построен N = 4 суперполевой базис, в котором потоки локальны, и найдено его вложение в N = 4 0(4) суперконформный супер-ток.

Апробация работы. Результаты, представленные в диссертации, докладывались на семинарах Лаборатории теоретической физики им. Н.Н. Боголюбова ОИЯИ, ФИРАН (Москва), ИФВЭ (Протвино), на семинарах в Университетах и Физических институтах гг. Харьков (Украина), Берлин, Бремен, Ганновер, Мюнхен, Бонн и Падеборн (Германия), Твенте (Голландия), Лече, Милан, Падуя, Пиза, Триест, Турин и Фраскати (Италия), Вроцлав (Польша), Лион, Монтпе-лье, Орсэй и Париж (Франция), ЦЕРН (Женева), были представлены на Международных совещаниях "Quantum groups. Formalism and applications" (Карпач, Польша, 1994), "New symmetries and integrable models" (Карпач, Польша, 1999), "Проблемы квантовой теории поля" (Алушта, 1996), "Theory of elementary particles" (Буков, Германия, 1996), "Finite dimensional integrable systems" (Дубна, 1994), "Квантовая гравитация" (Москва, 1995), " Superstrings and Quantum Gravity" (Дубна, 1999, 2000, 2001), "Supersymmetry and Quantum symmetries" (Дубна, 1994, 1995, 1996, 1997, 1998, 1999, 2000), "Group Theoretical Methods in Physics" (Дубна, 1996, 1998, 2000), "Integrable Hierarchies and Modern Physical Theories" (Чикаго, США, 2000), "Integrable Field Theories, Solitons and Duality" (Сан Паулу, Бразилия, 2002), "Classical and quantum Integrable Systems" (Протвино, 2000, 2003).

Публикации. По материалам диссертации опубликовано 40 работ.

Структура и объем диссертации. Диссертация состоит из Введения, б глав и Заключения. Она содержит 233 страницы машинописного текста. Список литературы включает 182 наименования.

СОДЕРЖАНИЕ РАБОТЫ

Во Введении обоснована актуальность проведенного в диссертации исследования. Представлен современный статус исследований и обзор литературы по тематике диссертации. Сформулирована цель работы и изложено ее краткое содержание.

В первой главе разработан метод конформной линеаризации нелинейных \¥-(супер)алгебр.

В разделе 1.1 построены конформные линейные (супер)алгебры со следующими нетривиальными операторными разложениями для их токов {Г, и, Уьа, Ь\ ва, 0ьу.

Т(г1)Т(г2)

и^иы РаЫЯЫ

-6еК2 + {Ы2 + 13)К - (№ - N + бе) 2Т

2К г\2

г12

и 212'

я

ТЫ

+

и

¿12 г12

Т(г1)Щг2) = — + 212

3 с(2 + с#)\ 2 + 2 К )

/ 2АГК \ _1_

91 212

«12

Я

2) =

«12

- ±6Ь6(1

г12

6Ь Iе- - ть

N а с с о, иаи с

91 212

РМсы =

212 -5^» +

212

(1)

являющиеся линеаризующими алгебрами для нелинейных (супер)ал-гебр \У(з1{М+2), з1(2)) (е = 1) и \У(з1(М\2), з1{2)) (и(^)-суперконформ-ной, б = — 1), возникающих в результате первичной гамильтоновой редукции аффинных (супер)алгебр з1(N + 2) и ¿'¿(7У"|2) соответственно,

с минимальным набором связей, наложенных на токи последних

( и т

1 0

0 О,

0 о2

^ 0

С1 в2 О О

V \

О

я/(ЛО

и

/

В разделе 1.2 разработан метод конформной линеаризации для широкого класса нелинейных (супер)алгебр С И/(я/(Лг + 2), Я) (Я С й/(Лг)), возникающих в результате вторичных гамильтоновых редукций алгебры \¥(з1(М + 2), з1(2)) (2) связями

= 1, С2 = ... = <** = О и/или в/(Л0|

5»(2)

(3)

где я/(Лг) 1в|(2) ~ на-бор связей на 5/(Лг)-токи, ассоциированный с произвольным вложением алгебры в1(2) в подалгебру я1(М) алгебры И/(б7(Л,'+ 2), з1(2)). В рамках этого метода найдены следующие общие формулы

для токов {Г, 0, <7а, С, €¡1, 0 } конформных линеаризующих алгебр:

и = и, в1 = 0\ <5г = Сг, 0 =0г

^а = + ^ /й„8^7С'3 >

0,7

Г = Т + ,7' + {-(1 + На)Ъа<?' - М'аса} ,

(4)

где {6а,са} - фермионные дух-антидуховые пары токов, греческие индексы {а,/?} ({й,¡3}) принимают значения в (я/(Л?))_ ( (я/(Л^))0 Ф (з1(М))+ ) при разложении алгебры в1(М) в прямую сумму собственных подпространств с положительными, нулевыми и отрицательными собственными значениями ка относительно присоединенного действия генератора Картана алгебры (2)

зт = (81(М))_®(81(М))0®(з1(М))+= © (зЦМ))^ . (5)

К

В разделах 1.3 и 1.4 общий подход раздела 1.2 применен к сериям нелинейных алгебр ]¥(з1(М),з1(./V)) и ]У(з1(М), з1(3)) соответственно,

где все структурные соотношения их линеаризующих алгебр представлены явно, а также построены новые реализации для алгебр W3, и W{sl{N), s/(3)), включая реализации по модулю нуль-полей для алгебры 1Гз.

В разделе 1.5 суммированы основные результаты этой главы.

Во второй главе предложено новое семейство N = 2 суперсимметричных интегрируемых иерархий — N — 2 (к\п, т)-МОНУШ, представляющее собой суперсимметричное обобщение бозонной матричной иерархии обобщенных нелинейных уравнений Шредингера.

В разделе 2.1 для бозонных потоков этого семейства получено матричное псевдодифференциальное представление Лакса в N = 2 суперпространстве в терминах N = 2 неограниченных матрично-значных суперполей F, F

£-pL = [(Lp)>o + res(LP), L], L = Id+ ^FDDd~lF, p € N. (6)

Далее, в рамках псевдодифференциального подхода построены соответствующие гамильтонианы и вещественные формы в действительном N = 2 суперпространстве.

В разделе 2.2 установлено супералгебраическое происхождение этого семейства, связанное с супералгеброй sl(2k + п\2к + т), и на этой основе построены его бозонные и фермионные симметрии, их алгебра, а также рекурсионный оператор, связывающий все эволюционные уравнения, принадлежащие иерархии N = 2 (к\п,тп) МОНУШ.

В разделе 2.3 описаны несколько нетривиальных редукций этого семейства, одна из которых есть семейство N = 2 суперсимметричных киральных (к\п, ш)-МОНУШ иерархий, для которого построено би-гамильтоново описание и дискретные симметрии, представляющие собой решеточные уравнения Тодовского типа. Далее установлена ре-дуция N - 2 (1|1,0)-МОНУШ иерархии в N = 2 а = 1 КдФ иерархию и на этой основе построен рекурсионный оператор и би-гамильтонова формулировка для последней.

В третьей главе исходя из матричных псевдоифференциальных операторов Лакса

LKp = Id + Y?J=^{aj+UjD + UJjD + bjlD^d3 , (7)

параметризованных N = 2 неограниченными матрично-значными cv-перполями в N = 2 суперпространстве, изучены различные редукции

N = 2 суперсимметричной матричной КП иерархии, характеризуемые конечным и бесконечным числом полей. Примечательным свойством N = 2 суперсимметричной матричной КП иерархии является то, что она допускает несколько киральных редукций [Б,Ькр] = 0, характеризуемых бесконечным числом полей

икр{\) = 1д + ао + щО

+ + (8)

С3 ее /З' + Е^оо0«-^- (9)

В разделе 3.1 проанализированы возможные бозонные пределы для семейства скалярных N = 2 суперсимметричных иерархий с N = 2 супер У/п алгебрами в качестве их вторых гамильтоновых структур. В результате анализа получены три различных семейства бозонных иерархий и их операторы Лакса.

Затем в разделе 3.2 предложено их описание в терминах супероператоров Лакса

Ь, = 18 - [йС^Ш.] , Се + (10)

для первого и

ь& = 1д° + - - Л - ягЧял]

-FF- РЛдг1[ОТ\, = = 0 (11)

для второго и третьего семейств; тем самым решена давняя проблема описания трех семейств N = 2 суперсимметричных иерархий с N = 2 супер \¥п вторыми гамильтоновыми структурами, существование которых являлось интригующим фактом в течение длительного времени.

Четвертая глава посвящена исследованию дискретных интегрируемых иерархий Тодовского типа с расширенными суперсимметриями.

В разделах 4.1 и 4.2 развит алгоритм построения бозонных и фер-мионных симметрий для решеточного двумерного бозонного уравнения Тоды (2БТЪ) и N = (1|1) суперсимметричного 2БТЬ уравнения,

соответственно, исходящий из знания соответствующих этим уравнениям интегрируемых иерархий - 2DTL и N = (1|1) 2DTL (STL) иерархий соответственно. Эти иерархии представляют собой бесконечную систему эволюционных уравнений (потоков) для бесконечного набора решеточных бозонных и фермионных полей, содержащих как подсистемы уравнения 2DTL и N = (1|1) 2DTL соответственно. Бо-'V лее того, также установлены алгебры этих симметрий и показано, что

N — (1|1) 2DTL иерархия, в действительности, обладает более вы-^ сокой симметрией, а именно N = (2|2) суперсимметрией, и поэтому

может называться N = (2|2) 2DTL иерархией.

В разделе 4.3 решена проблема построения решений уравнения симметрии, соответствующего предлагаемому в диссертации новому интегрируемому суперсимметричному уравнению — N — (0|2) суперконформному 2DTL уравнению

д_ ln((^+FJ+1)(Z?+F,)) = -F3Fj + FJ+lFJ+1. (12)

Так, сначала в этом разделе предложена новая N = (0|2) суперсимметричная 2DTL иерархия, которая содержит N = (0|2) 2DTL уравнение как подсистему, а затем в рамках ранее развитой в разделах 4.1 и 4.2 схемы построены его бозонные и фермионные симметрии, их алгебра, а также предложена N = (0|2) суперполевая формулировка N = (0|2) 2DTL иерархии и в качестве иллюстрации явно представлено новое N = (0|2) суперсимметричное обобщение уравнения Давье-Стевартсона

D+Fj = ~d2+Fj + 2D+((D+Fj)dZ1d+(FJF3)),

DfF, = +ВД + 2 D+^D+Fj^d+iFjFj)), (13)

являющееся вторым бозонным потоком этой иерархии.

Раздел 4.4 посвящен обобщению: там предложен широкий класс новых суперсимметричных интегрируемых иерархий, первый представитель которых — N = (0|2) 2DTL иерархия.

В разделе 4.5 рассмотрена одномерная редукция N = (0|2) 2DTL иерархии — N=2 1DTL иерархия, и найдены ее би-гамильтонова струк-' тура и рекурсионный оператор.

Раздел 4.6 посвящен построению общих решений для N=(2|2) и ^ N=(0|2) 2DTL уравнений в случае одного или двух фиксированных

концов.

Содержанием пятой главы является изучение квазиклассического (непрерывного) предела N = (1|1) 2БТЬ иерархии.

В разделе 5.1 предложена новая обобщенная градуированная скобочная операция

[ОьОг} := О1О2 - (-1)^1^2 02*(Й01) 0,*<*Ч (14)

обобщающая градуированный коммутатор для супералгебр на пространстве операторов О* с градуировкой ¿ок (¿ок €2, о^ = с?©! + ^Ог) и инволюцией * (О^ = О^)1 и обладающая следующими свойствами: Симметрия

[ОьО*} = (-1)^1'г02+1[о2*(й0.))ОГ(йо2)}, (15)

Дифференцирование

[ОьФО,} = [ОьОг^ + ^^^^О^'^ОГ^.Оз}, (16) Тождества Якоби

(_1)^оА3 [[0Г(<г°з>, Ог}, Оз4''01'} + (-^-¿о, [[ф'^ЧО»}, О/'^)} + (-1)<г0зй02[[0з*(^2))01},02,(^з)} =0. (17)

Затем представление Лакса N = (1|1) 2БТЬ иерархии, а также все основные определяющие его соотношения представлены в терминах этой обобщенной градуированной скобки

^ = Та(-1Г[(((^)_а)*,^}, а = +, —, ПЕК,

оо оо

к=0 к=0 (Ьа)1п := ( \ [(ЬаУ, (¿а)} )", (Ьа)1т+г := Ьа (Ь*)?. (18)

В разделе 5.2 определен квазиклассический предел N = (1|1) 2ВТЬ иерархии

в = Ишл^о, ¿»Л^з),

ЙЯ* (19)

обозначает т-кратное действие инволюции на оператор О*.

и соответствующее асимптотическое поведение фермионных и бозон-ных полей, параметризующих опеоатопы Пякса

и2к,з и2к№), У2к-> У2к{Ь.з),

игк+1,] -^д и2к+1{^), У2к+1,] У2к+1{Гц), (20)

где Ь - длина шага решетки, играющая роль постоянной Планка, а я выступает в роли непрерывной "решеточной" координаты. Затем с помощью этих данных найдены асимптотическое поведение всех композитных операторов, входящих в представление Лакса, и следующие из него полевые эволюционные уравнения, являющиеся, по определению, потоками бездисперсионной N = (1|1) 20ТЬ иерархии. Далее найдены суперскобки Пуассона

щЛ = 2 ^ - ^ +

I ' -I V др дв дв др дп дп '

,д¥х Э¥2 д¥1 д¥2

+ МаГ аГ" аГ а^ (21)

на фазовом суперпространстве {л*, р, й}, представляющем собой фазовое пространство бездисперсионной 2БТЬ иерархии {р, й}, расширенное одной грассмановой координатой 7г, и символы С±

ОО 00

= Е("2*+1 + и2кп)р-к, С~ = + У2кк)рк~Х (22)

к=0 к=О

операторов Лакса. И, наконец, заменяя операторы Лакса на их символы Ь± —> £± а обобщенную градуированную скобку (14) на суперскобку Пуассона (21) в представлении Лакса (18) для N = (1|1) 2БТЬ иерархии по правилу .} —> /¿{., .}, осуществляя затем подстановку и переход к пределу (19), получено представление Лакса для бездисперсионной N = (1|1) 20ТЬ иерархии

£>*£а = та(-1)"{(((£±)^)_а)*,£а}, п€М, « = +,-, (.Са)1т := ( ^ {(£а)*,£а} )т, (£а)2",+1 := Са (£°)2™. (23)

В шестой главе предложена комплексифицированная N = 4 суперсимметричная матричная иерархия КП и описан широкий класс ее

редукций, характеризующихся конечным числом полей. Этот класс включает одномерную редукцию двумерной N = (2|2) суперсимметричной решеточной иерархии Тоды, обладающей вещественной N = 4 суперсимметрией — N = 4 иерархию Тоды.

В разделе 6.1 развиты псевдодифференциальные методы для описания интегрируемых систем с N = 4 суперсимметрией. Так, в рамках подхода одевания с одевающим оператором VV

сю

IV = 1 + + + + и^Я+Я-) д~п, (24)

71=1

исходя из комплексифицированной суперсимметричной иерархии КП в N = 2 суперпространстве, продемонстрировано, что она, в действительности, обладает N — 4 суперсимметрией. Затем, исходя из представления нулевой кривизны для уравнения N = (2|2) суперконформной решетки Тоды, получен оператор Лакса

£ = £>_ + уО~1и, (25)

генерирующий бозонные потоки суперсимметричной иерархии Тоды.

В разделе 6.2, используя этот оператор Лакса для редукции исходной КП иерархии налагаемым на одевающий оператор условием

\VD-W~1 = £>_ + и!)"1«, (26)

построены непротиворечивые редукции для всех потоков N = 4 суперсимметричной иерархии КП, сохраняющие алгебраическую структуру последней, а также ее различные вещественные формы, и показано, что редуцированная иерархия — N = 4 иерархия Тоды — обладает N = 4 суперсимметрией. Затем установлена ее связь с N = 4 суперсимметричной иерархией КдФ, обсуждена ее вторичная редукция в N = 2 а = — 2 суперсимметричную иерархию КдФ и предложен широкий класс ее матричных N = 4 обобщений.

В разделе 6.3 для бозонных потоков этой иерархии построено представление Лакса в N = 4 суперпространстве с оператором Лакса

Ц = -2>_ - О" + [(©_ + - (р+ + 1 (27)

где £ - ограниченное вещественное линейное N = 4 суперполе {Т>+Т> £ = = 0), найдено несколько суперполевых базисов с локальными

потоками, вещественные формы в действительном N = 2 и N = 4 суперпространствах (одна из них обладает вещественной N=4 суперсимметрией), локальные и нелокальные гамильтонианы, конечные и бесконечные дискретные симметрии, первые две гамильтоновы структуры

{№),№)}* = 4(^)0"=^-z2), = (П-п), 4 = (п + П)д + (П + П)£ '(П - П) - 2ЩПЗ + 2ЩПд, (28)

рекурсионный оператор

& = (П - П)д - (П + П)£ '(П + П) - 2ЩПЭ - 2ЩПд, (29)

связывающий все эволюционные уравнения и гамильтоновы структуры N = 4 иерархии Тоды, а также вложение суперполя £ в N = 4 0(4) суперток а, £ = (П — П)сг, где операторы П и П — N = 4 кираль-ные проекторы.

В заключении представлена сводка основных результатов, полученных в диссертации.

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

1. S. Krivonos and A. Sorin, "Linearizing W-algebras", Phys. Lett. B335 (1994) 45.

2. S. Krivonos and A. Sorin, "Linearizing W-algebras", In "Quantum groups. Formalism and applications" (Eds. J.Lukierski, Z.Popowicz and J.Sobczyk), Polish Scientific Publishes PWN, (1994) 619.

3. S. Bellucci, S. Krivonos and A. Sorin, "Linearizing W2¿ and WB2 algebras", Phys. Lett. B347 (1995) 260.

4. S. Krivonos and A. Sorin, "Linearization of nonlinear W-algebras", In Proceedings of the International Workshop "Finite dimensional integrable systems", July 18-21, 1994, JINR, Dubna, (Eds. A.N. Sissakian and G.S. Pogosyan), E2-95-525, (1995) 127.

5. S. Krivonos and A. Sorin, " More on the linearization of W-algebras", Int. Journ. Mod. Phys. All (1996) 5739.

6. S.Bellucci, S. Krivonos and A. Sorin, "Null Fields realizations of W3 from W{al{A) and W(s/(3|1) algebras",Phys.Lett. B366 (1996) 104.

7. S. Krivonos and A. Sorin, "Conformal linearization versus nonlin-earity of VF-algebras", In "Geometry and Integrable Models" (eds. P.N.Pyatov, S.N.Solodukhin), World Scientific Publ. Co., 1996, 121.

8. L. Bonora, S. Krivonos and A. Sorin, "Towards the construction of N = 2 supersymmetric integrable hierarchies", Nucí. Phys. B477 (1996) 835.

9. A.N. Leznov and A.S. Sorin, "Two-dimensional superintegrable mappings and integrable hierarchies in the (2|2) superspace", Phys. Lett. •« B389 (1996) 494.

10. A.N. Leznov and A.S. Sorin, "Integrable mappings and hierarchies in the (2|2) superspace", Nucl.Phys. (Proc.Suppl.) B56 (1997) 258.

11. S. Bellucci, S. Krivonos and A. Sorin, "The W{sl(N + 3), sl(3)) algebras and their contractions to W3", Phys.Lett. B392(1997) 350.

12. C. Ahn, E. Ivanov and A. Sorin, "N = 2 affine superalgebras and hamiltonian reduction in N = 2 superspace", Commun. Math. Phys. 183 (1997) 205.

13. A. Sorin, "The discrete symmetry of the N = 2 supersymmetric modified NLS hierarchy", Phys. Lett. B395 (1997) 218.

14. A.N. Leznov and A. Sorin, "The solution of the N = 2 supersymmetric f-Toda chain with fixed ends", Phys.Lett. B402 (1997) 87.

15. L. Bonora and A. Sorin, "The Hamiltonian structure of the N = 2 supersymmetric GNLS hierarchy", Phys. Lett. B407 (1997) 131.

16. A.S. Sorin, "Discrete symmetries of the N = 2 supersymmetric generalized nonlinear Schrodinger hierarchies", Yad.Fiz. 61(1998) 1879.

17. V.B. Derjagin, A.N. Leznov and A.S. Sorin, "N = 2 superintegrable f-Toda mapping and super-NLS hierarchy in the (1|2) superspace", Yad. Fiz. 61 (1998) 2097.

18. L. Bonora, S. Krivonos and A. Sorin, "The N = 2 supersymmetric ** matrix GNLS hierarchies", Lett. Math. Phys. 45 (1998) 63.

19. L. Bonora, S. Krivonos and A. Sorin, "Coset approach to the N = 2 supersymmetric matrix GNLS hierarchies", Phvs. Lett. A240 (1998) 201.

20. L. Bonora and A. Sorin, "The N = 2 supersymmetric Toda lattice hierarchy", Nucl. Phys. B521 (1998) 444.

21. V.B. Derjagin, A.N. Leznov and A. Sorin, "The solution of the N = (0|2) supeconformal f-Toda lattice", Nucl. Phys. B527 (1998) 643.

S

22. S. Krivonos and A. Sorin, "Extended N = 2 supersymmetric matrix (1,s)-KdV hierarchies", Phys. Lett. A251 (1999) 109.

23. S. Krivonos and A. Sorin, "Third family of N = 2 supersymmetric KdV hierarchies", in Supersymmetries and quantum symmetries (Eds. J. Wess and E.A. Ivanov), Lecture Notes in Physics 524 (1999) 261, Springer.

24. O. Lechtenfeld and A. Sorin, "Fermionic flows and tau function of the N = (1|1) supeconformal Toda lattice hierarchy", Nucl. Phys. B557 (1999) 535.

25. F. Delduc, L. Gallot and A. Sorin, "N = 2 local and N = 4 nonlocal reductions of supersymmetric KP hierarchy in N = 2 superspace", Nucl. Phys. B558 (1999) 545.

26. O.Lechtenfeld and A.Sorin, "Supersymmetric KP hierarchy in N = 1 superspace and its N = 2 reductions", Nucl.Phys. B566 (2000) 489.

27. F. Delduc and A. Sorin, "A note on real forms of the complex N = 4 supersymmetric Toda chain hierarchy in real N = 2 and N = 4 superspaces", Nucl. Phys. B577 (2000) 461.

28. F. Delduc and A. Sorin, "Real forms of the N = 4 supersymmetric Toda chain hierarchy", In "New symmetries and integrable models" (Eds. A. Frydryszak, J. Lukierski and Z. Popowicz), World Scientific, Singapore/New Jersey/London/Hong Kong, (2000) 182.

»

29. O. Lechtenfeld and A. Sorin, "Real forms of the complex twisted N=2 supersymmetric Toda chain hierarchy in real N=1 and twisted

^ N = 2 superspaces", J. Nonlinear Math. Phys. 7 (2000) 433.

30. О. Lechtenfeld and A. Sorin, "Hidden N = (2|2) supersymmetry of the N = (1|1) supersymmetric Toda lattice hierarchy", J. Nonlinear Math. Phys. 8 (2001) 183.

31. V.G. Kadyshevsky and A.S. Sorin, "Supersymmetric Toda lattice hierarchies", In "Integrable Hierarchies and Modern Physical Theories" (Eds. H. Aratyn and A.S. Sorin), Kluwer Acad. Publ., Dordrecht/Boston/London, (2001) 289.

32. A.S. Sorin and P.H.M. Kersten, "The N=2 supersymmetric uncon- •» strained matrix GNLS hierarchies", Lett.Math.Phys. 60 (2002) 135.

33. P.H.M. Kersten and A.S. Sorin, "Bi-Hamiltonian structure of the N = 2 supersymmetric a = 1 KdV hierarchy", Phys. Lett. A300 (2002) 397.

34. A.S. Sorin and P.H.M. Kersten, "Deformation and recursion for the N = 2 a = 1 supersymmetric KdV-hierarchy", nlin.SI/0203041.

35. A.S. Sorin, "N=4 Toda chain (KdV) hierarchy in N=4 superspace", Yad. Phys. 65 (2002) 1113.

36. F. Delduc and A.S. Sorin, "Lax pair formulation of the N = 4 Toda chain (KdV) hierarchy in N=4 superspace", Nucl. Phys. B631 (2002) 403.

37. В.Г. Кадышевский и А.С. Сорин, "N = (1|1) суперсимметричная бездисперсионная решеточная иерархия Тоды", ТМФ 132 (2002) 222.

38. V.G. Kadyshevsky and A.S. Sorin, "Continuum limit of the N = (ljl) supersymmetric Toda lattice hierarchy", JHEP Proceedings, PrHEP unesp2002, Workshop on Integrable Theories, Solitons and Duality, 1-6 July 2002, Sao Paulo, Brazil.

39. F. Delduc and A.S. Sorin, "Recursion operators of the N = 2 supersymmetric unconstrained matrix GNLS hierarchies", JHEP Proceedings, PrHEP unesp2002, Workshop on Integrable Theories, Solitons and Duality, 1-6 July 2002, Sao Paulo, Brazil; nlin.SI/0206037.

40. L. Bonora and A.S. Sorin, "Integrable structures in string field theory", Phys. Lett. B553 (2003) 317.

Получено 16 января 2003 г.

» 6179

2.00-5-А

Макет Н. А. Киселевой

Подписано в печать 20.01.2003. Формат 60 х 90/16. Бумага офсетная. Печать офсетная. Усл. печ. л. 1,25. Уч.-изд. л. 1,38. Тираж 100 экз. Заказ №53713.

Издательский отдел Объединенного института ядерных исследований 141980, г. Дубна, Московская обл., ул. Жолио-Кюри, 6. E-mail: publish@pds.jinr.ru www.jinr.ru/publish/

Введение

1 Конформная линеаризация нелинейных \¥-(супер)алгебр

1.1 Линеаризующиеся W(sl(N+2), sl(2)) и W(sl(N|2), sl(2)) (супер) алгебры

1.2 Вторичная линеаризация алгебр W(sl(N+2),H) 1.3 Линеаризующие алгебры для Wдг.

1.3.1 Линеаризующая алгебра для W3.

1.3.2 Линеаризующая алгебра для W4.

1.4 Линеаризующие алгебры для W(sl(N+2),sl(3)).

1.4.1 Реализации алгебры W3 по модулю нулевых полей

Тема представленных в диссертации исследований в значительной степени обусловлена многочисленными свидетельствами, возникающими из широкого круга полевых теорий и статистических моделей, что знание мощного формализма интегрируемых иерархий оказывается решающим для получения решений и восприятия новых идей, следующих из струнных и калибровочных теорий. Главной целью диссертации является развитие методов построения и исследования суперсимметричных интегрируемых моделей, нахождение их решений и линеаризации IV-(супер) алгебр.

Имеется несколько причин, стимулирующих изучение суперсимметричных иерархий с различным числом суперсимметрий N > 1, которые обобщают чисто бозонные (N = 0) интегрируемые иерархии. В настоящее время бозонные иерархии достаточно хорошо изучены, и их связь с физическими моделями (например, двумерной (2D) гравитацией и топологическими полевыми теориями) хорошо установлена. Напротив, имеющееся знание суперсимметричных интегрируемых иерархий пока еще достаточно скудно; в этом отношении ситуация весьма отличается от ситуации в конформных полевых теориях, где большое внимание уделялось суперсимметричным расширениям с JV > 1. Можно надеяться, что, как только понимание суперсимметричных интегрируемых иерархий станет удовлетворительным, это поможет прояснить их связь с физическими моделями, например с нетвистованными N = 2 конформными полевыми теориями, подобно связи, имеющей место между бозонными интегрируемыми иерархиями и топологическими полевыми теориями. Еще одна причина заключается в том, что этот предмет сам по себе представляет математическую проблему, которая полна интригующих неожиданностей типа, например, существования трех разных N = 2 суперсимметричных семейств интегрируемых иерархий с одной и той же супералгеброй N = 2 Wn в качестве их второй гамильтоновой структуры. Эта проблема оставалась загадкой в течение длительного времени. Другим источником интереса к расширенным суперсимметричным иерархиям является также и то, что они могли бы объединять известные бозонные иерархии.

Существует соответствие между аффинными и конформными W- (супер) алгебрами и иерархиями интегрируемых уравнений типа Кортевега-де Фриза (КдФ), нелинейного уравнения Шредингера (НУШ) и Кадомце-ва-Петвиашвили (КП), для которых эти (супер)алгебры обеспечивают вторые гамильтоновы структуры. Изучение таких иерархий позволяет проникать глубже в их математику и, следовательно, в структуру соответствующих теорий протяженных объектов, включая те, которые в настоящее время рассматриваются как кандидаты на предельную М-теорию. К универсальному классу 2D моделей, который естественным образом включает эти локальные симметрии и дает ключ для понимания взаимосвязей между ними (например, посредством гамильтоновой редукции), принадлежат модели Весса-Зумино-Новикова-Виттена и связанные с ними Тодовские системы. Должна существовать глубокая связь (которая все еще не до конца исследована) между этим важным классом интегрируемых 2D моделей (связанных, в свою очередь, со струнными теориями) и (супер)иерархиями типа КдФ, НУШ и КП.

Бозонные иерархии играют важную роль во многих физических теориях. Кажутся разумными попытки построения суперсимметричных аналогов таких физических теорий начиная именно с построения суперсимметричных расширений соответствующих бозонных иерархий. Например, давно поставленной и все еще не решенной проблемой является проблема построения суперсимметричных матричных моделей, чье критическое поведение описывало бы 2D суперконформную материю, взаимодействующую с квантовой супергравитацией. Перспективный подход состоит в эксплуатации суперсимметричных расширений интегрируемых иерархий, содержащихся, например, в эрмитовых матричных моделях, которые допускали бы реконструкцию для описания в терминах собственных значений. Так, известно, что тау функция полубесконечной бозонной иерархии Тоды (ограниченной Вирасоровскими связями) воспроизводит статистическую сумму одноматричной модели, которая описывает двумерную минимальную конформную материю, взаимодействующую с двумерной квантовой гравитацией (см. [1, 2] и приведенные там ссылки). Поэтому кажется разумным найти сначала нетривиальные суперсимметричные расширения иерархии Тоды, которая характеризует одноматричную модель, а затем на ее основе реконструировать соответствующую суперсимметричную модель собственных значений. Матричная формулировка таких моделей могла бы дать новое понимание проблемы квантования 2D супергравитации.

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

Широкий класс решеточных уравнений Тоды, связанных с супералгебрами Ли, впервые рассматривался в пионерских работах [3, 4, 5, 6]. (см. также [7] и приведенные там ссылки). Затем было обнаружено несколько нетривиальных суперсимметричных расширений решеточной иерархии

Тоды [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18], которые предлагают путь для построения соответствующих суперсимметричных моделей собственных значений. Эти иерархии могут быть важными для исследования старой и все еще нерешенной проблемы построения нетривиальной суперсимметричной матричной модели и/или модели собственных значений. В действительности, это было одним из мотивов для исследования в диссертации различных суперсимметризаций решеточной иерархии Тоды. Фактически, пока сделан только первый шаг в этом направлении.

Интегрируемое N = (1|1) суперсимметричное обобщение решеточной двумерной бозонной иерархии Тоды (2DTL иерархии) [20] было предложено в работах [8, 9]. Оно представляет собой бесконечную систему эволюционных (по двум бозонным и двум фермионным бесконечным "башням" времен) уравнений (потоков) для бесконечного набора решеточных бозонных и фермионных полей и содержит как подсистему N = (1|1) суперконформное интегрируемое обобщение 2DTL уравнения - N = (1|1) 2DTL уравнение. Позднее в работах [10, 11, 15, 17] были построены две новые бесконечные серии фермионных потоков N = (1|1) 2DTL иерархии и, как следствие, было установлено, что эта иерархия в действительности обладает более высокой симметрией, а именно N = (2|2) суперсимметрией [16, 17]. Эти потоки, совместно с ранее известными бозонными потоками N = (1|1) 2DTL иерархии, являются симметриями N — (2|2) 2DTL уравнения [10, 11, 15, 17].

Затем в работе [18] была решена проблема построения квазиклассического предела N = (1|1) 2DTL иерархии — N = (1|1) суперсимметричной бездисперсионной иерархии Тоды. Кроме чисто академического значения этой проблемы, интерес к ее решению связан с рядом важных физических и математических приложений. Речь идет, в частности, о квазиклассическом пределе бозонного прообраза N = (1|1) 2DTL иерархии — бездисперсионной 2DTL иерархии [21], представляющей собой объединение потоков 2DTL иерархии, возникающих в лидирующем приближении квазиклассического разложения, построенном в работе [22] (см. также обзор [23]). В качестве иллюстрации можно привести перечень возможных приложений бездисперсионной 2DTL иерархии:

1) построение ряда самодуальных вакуумных метрик и метрик Э йнштейна-Вей л я;

2) теория твисторов;

3) двумерная конформная и топологическая теория поля;

4) двумерная теория струн см., например, работы [24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35] и приведенные там ссылки). Имея в виду глубокую связь между 2DTL и N = (1|1) 2DTL иерархиями, представляется естественным полагать, что и бездисперсионная N = (1|1) суперсимметричная: 2DTL иерархия найдет аналогичные приложения в суперсимметричных обобщениях перечисленных выше теорий. Последнее обстоятельство явилось немаловажным стимулом для построения бездисперсионной N — (1|1) 2DTL иерархии. Она может быть также значима и в контексте проблемы поиска интегрируемой структуры, лежащей в основе суперсимметричной полевой теории струн, подобно тому, как это имеет место для бозонной бездисперсионной иерархии Тоды по отношению к Виттеновской полевой теории струн [37], что было обнаружено совсем недавно в работе [36].

В работе [14] было предложено новое N = (0|2) суперконформное 2DTL уравнение, затем соответствующая ему иерархия интегрируемых высших потоков (N = (0|2) 2DTL иерархия) была построена в [17]. В действительности, ранее была получена и изучалась одномерная редукция этого уравнения [12, 38, 39, 40], обладающая N — 2 суперсимметрией, и построена соответствующая ей N = 2 1DTL иерархия [13]. Общие решения N=(2|2) и N=(0|2) 2DTL и 1DTL уравнений для случая одного или двух фиксированных концов были построены в работах [12, 38, 14, 15].

Существование трех различных семейств N — 2 иерархий с N = 2 супер Wn алгебрами в качестве их вторых гамильтоновых структур было установленно на примере N = 2 супер W2, W3 и W4 алгебр [41, 42, 43, 44, 45, 46, 47, 48]. Одно из исследований было направлено на решение проблемы объяснения этого интригующего факта для N = 2 супер Wn алгебр с произвольным п и полного описания этих бесконечных семейств. Эта проблема была решена совсем недавно в серии работ [49, 50, 51, 52, 53, 54]. Сначала возможные бозонные пределы вышеупомянутых иерархий были проанализированы в [49], и как результат были получены три различных семейства соответствующих бозонных иерархий и их операторы Лакса. Затем полное описание в терминах супероператоров Лакса для двух из трех этих семейств было предложено в [50, 51], где их обобщение на матричный случай также было рассмотрено. И, наконец, наиболее сложное из трех этих семейств N = 2 иерархий (N = 2 суперсимметричные (1, s)-KdV иерархии), представляющее собой суперсимметризацию бозонных (l,s)-KdV иерархий, было построено в [52, 53] и затем получило дальнейшее развитие в [54].

Явно суперсимметричным способом работы с суперсимметричными моделями является их рассмотрение в терминах суперполей. Этот подход зарекомендовал себя как очень эффективный и при работе с интегрируемыми иерархиями с расширенной суперсимметрией. Такой подход был использован для изучения N = 2 расширений аффинных супералгебр sl(n\n — 1) в работе [55], где был развит метод гамильтоновой редукции в явно N = 2 суперсимметричной суперполевой форме и на его основе получен ряд новых N = 2 W-супералгебр. Подобно бозонному случаю, N = 2 суперсимметричная гамильтонова редукция является эффективным методом для построения и анализа конформных супералгебр типа N = 2W и соответствующих им иерархий.

Начиная с пионерской работы Замолодчикова [56], множество расширенных нелинейных конформных (супер)алгебр (И/Г-(супер)алгебр) было построено и изучено (см., например, [57] и приведенные там ссылки). Неослабевающий интерес к этому предмету в значительной степени мотивирован многими интересными применениями нелинейных (супер)алгебр в теории струн и интегрируемых системах. Однако присущая W-(супер) алгебрам нелинейность делает довольно трудным делом применение к их изучению стандартного арсенала методов, используемых в случае линейных (супер)алгебр при построении, например, их полевых реализаций.

Один из возможных путей преодоления этой трудности был предложен в серии работ [58, 59, 60, 61, 62, 63, 64, 65]. Так, там было обнаружено, что во многих случаях данная нелинейная W- (супер) алгебра с конечным числом токов может быть вложена в некоторую линейную конформную (супер)алгебру - линеаризующую алгебру, которая, как и исходная ТУ-(супер)алгебра, обладает конечным набором токов и содержит ее как подалгебру в некотором специальном нелинейном базисе. При этом важно, что токи исходной нелинейной ^-(супер)алгебры, определенным образом расширенные конечным набором новых токов, связаны обратимым преобразованием с токами линеаризующей алгебры, и, тем самым, большинство свойств нелинейной алгебры, а также свойств соответствующих теорий, построенных на основе последней, могут быть изучены более простым и эффективным способом исходя из ее линейного аналога. Соответствующая линейная конформная алгебра была названа линеаризующей алгеброй для исходной нелинейной И/Г-(супер)алгебры, а процедура построения линеаризующих алгебр - линеаризацией нелинейных W- (супер) алгебр.

Идея связать нелинейные И^-алгебры и линейные алгебры Ли рассматривалась также в работе [66], однако в альтернативном подходе к этой проблеме, развитом в работах [58, 59, 60, 61, 62, 63, 64, 65], есть принципиальное отличие: рассмотренные там линеаризующие алгебры конформны, то есть они содержат алгебру Вирасоро как подалгебру. Более того, все токи линеаризующих алгебр примарны относительно Вирасо-ровского тока. Чтобы подчеркнуть это весьма примечательное свойство предложенной там линеаризационной процедуры, она получила название конформной линеаризации.

Здесь следует отметить, что впоследствии альтернативный подход к конформной линеаризации развивался в работах [67, 68] в рамках квантовой вторичной гамильтоновой редукции. Однако линеаризация (су-пер)алгебр W(sl(N),sl(2)) и W(sl(N|2), sl(2)) там не рассматривалась, поскольку используемый метод не позволял рассматривать токи с отрицательными конформными весами, что необходимо для данного случал.

Следует также отметить, что явное построение конформной линеаризации было выполнено на примерах многих нелинейных (супер)алгебр [58, 59, 60, 61, 62, 63, 64, 67, 68, 65], и во всех изученных случаях конформные линеаризующие алгебры более экономны, то есть содержат меньше токов по сравнению с соответствующими алгебрами работы [66]. Помимо того, что конформные линеаризующие алгебры весьма эффективны для того, чтобы с их помощью получать более широкий класс полевых реализаций нелинейных алгебр [58, 60, 63, 64, 65], они также обеспечивают подходящую основу как для построения новых струнных теорий, так и для изучения вложения Вирасоровской струны в струны 1У-типа [69, 70, 71, 72].

1У-супералгебры естественным образом генерируют суперсимметричные иерархии интегрируемых уравнений, для которых они обеспечивают вторую гамильтонову структуру, и тесно связанная проблема состоит в построении и изучении новых систем подобного типа. Основные новые результаты, полученные на этом пути, следующие.

N = 1 суперсимметричная КП иерархия Манина-Радула [73] является N = 1 суперсимметричным обобщением бозонной иерархии КП, и N = 1 суперсимметричная КдФ иерархия возникает в результате ее редукции. Начиная с самого начального момента появления этих двух иерархий, они привлекали постоянное внимание исследователей как по чисто формальным причинам, так и благодаря существованию множества приложений. В течение последних лет были предложены несколько обобщений суперсимметричной иерархии КП Манина-Радула [74, 75, 76]. Кроме бозонных симметрий, они обладают также рядом новых фермионных симметрий. Недавно широкий класс различных новых редукций N = 1 КП иерархии Манина-Радула был предложен в [77] и [78, 79], где были построены новые бозонные и фермионные потоки иерархии, совместные с исходной алгебраической структурой N = 1 КП иерархии. Эти редукции являются суперсимметричными аналогами редукций обычной бозонной иерархии КП. Обеспечение совместности этих редукций с фермионными изоспектраль-ными потоками Манина-Радула потребовало нетривиальной модификации последних при сохранении их алгебраической структуры. В отличие от случая нередуцированной иерархии, преобразования Дарбу-Бэклунда сохраняют фермионные изоспектральные потоки редуцированных иерархий. Поэтому, описание в терминах орбит Дарбу-Бэклунда было использовано существенным образом. Как результат, были найдены явные Бе-резинианные решения для супер тау функций (суперсолитоны) этих моделей. Систематическое описание всех суперсолитонов этих моделей и более полное понимание их особенностей является интересной открытой проблемой.

Построение интегрируемых систем, обладающих высшими N > 3 су-персимметриями, представляет собой очень сложную задачу. Так, до недавнего времени были известны лишь несколько интегрируемых иерархий типа КдФ, обладающих N = 4 суперсимметрией [80, 81, 82, 83]. Недавно в работах [84, 85, 86, 87, 88] была предложена комплексифици-рованная N = 4 суперсимметричная иерархия КП в N = 2 суперпространстве, и широкий класс ее N = 4 редукций был описан в Лаксов-ском формализме. Это примечательное достижение было инспирировано главным образом важной работой [77], где проблема фермионных потоков впервые рассматривалась на основе симметрий Дарбу-Бэклунда и Лаксовских представлений. Примечательно, что суперсимметричная КП иерархия в N = 2 суперпространстве в действительности является N — 4 суперсимметричной. Удвоение числа суперсимметрий также происходит и в N = 1 суперпространстве, где суперсимметричная КП иерархия фактически является N = 2 суперсимметричной [78, 79].

В серии работ [89, 90, 49, 51, 91, 92] в рамках псевдодифференциального и супералгебраического подходов был предложен и изучен новый бесконечный класс интегрируемых N = 2 неограниченных суперсимметричных матричных иерархий обобщенных нелинейных уравнений Шредингера (МОНУШ). Для этого класса были построены рекурсионные операторы, а также изучены его киральные редукции, допускающие би-гамильтоново описание, и их дискретные симметрии.

Настоящая диссертация состоит из шести глав и заключения и может быть условно разделена на три части. Глава 1 посвящена изложению метода конформной линеаризации нелинейных W-(супер)алгебр. Главы 2, 3 и 6 посвящены исследованию дифференциальных (непрерывных) интегрируемых иерархий с расширенными суперсимметриями, возникающими в результате различных редукций суперсимметричной иерархии КП в N = 2 суперпространстве. Главы 4 и 5 посвящены исследованию дискретных интегрируемых иерархий Тодовского типа с расширенными суперсимметриями и изучению их квазиклассического (непрерывного) предела. Несмотря на внешние различия, эти три части, тем не менее, взаимосвязаны между собой и в значительной степени дополняют друг друга. Так, как это уже было отмечено выше, нелинейные (су-пер)алгебры являются гамильтоновыми структурами для соответствующих интегрируемых иерархий, в то время как первые потоки дискретных интегрируемых иерархий Тодовского типа как правило представляют собой дискретные симметрии для соответствующих дифференциальных (непрерывных) интегрируемых иерархий. Основные результаты диссертации опубликованы в работах [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 36, 38, 39, 40, 49, 51, 52, 53, 55, 58, 59, 60, 61, 62, 63, 64, 65, 78, 79, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94].

В Главе 1 разработан метод конформной линеаризации нелинейных W- (супер) алге бр.

В разделе 1.1 мы строим конформные линеаризующие (супер)алгебры для (супер)алгебр W{sl(N + 2), sl(2)) и W(sl(N\2), sl(2)) (u(N)~суперконформной).

В разделе 1.2 развивается метод конформной линеаризации нелинейных W-(супер)алгебр, в рамках которого найдены общие формулы для токов конформных линеаризующих алгебр для нелинейных алгебр серии W(sl(N),H) (Hcsl(N)).

В разделах 1.3 и 1.4 общий подход раздела 1.2 применен к сериям нелинейных алгебр W{sl(N), sl(N)) {WN [102]) и W(sl(N), sl(3)) соответственно, а также строятся новые реализации для алгебр Ws, W4 и W(sl(N), sl(3)), включая реализации по модулю нуль-полей для алгебры

Wz.

В разделе 1.5 суммированы основные результаты, полученные в этой главе.

Глава 2 посвящена описанию нового семейства N — 2 суперсимметричных интегрируемых иерархий (N = 2 суперсимметричных неограниченных матричных (&|п, т) иерархий обобщенных нелинейных уравнений Шредингера (МОНУШ)), представляющего собой суперсимметричное обобщение бозонной матричной иерархии обобщенных нелинейных уравнений Шредингера.

В разделе 2.1 это достигается путем задания матричных псевдодифференциальных операторов Лакса в N = 2 суперпространстве в терминах N = 2 неограниченных матрично-значных суперполей. Затем, в рамках псевдодифференциального подхода, для этого семейства строятся гамильтонианы и вещественные формы в действительном N — 2 суперпространстве.

В разделе 2.2 мы устанавливаем супералгебраическое описание этого семейства в терминах супералгебры sl(2k + п\2к + т), и на этой основе строим его бозонные и фермионные симметрии, их супералгебру, а также рекурсионный оператор, связывающий все эволюционные уравнения, принадлежащие семейству.

В разделе 2.3 мы описываем несколько нетривиальных редукций этого семейства, одна из которых есть семейство N = 2 суперсимметричных киральных (к\п, т)-МОНУШ иерархий, для которого мы строим би-га-мильтоново описание и описываем его дискретные симметрии, представляющие собой решеточные уравнения Тодовского типа. Далее установлена редуция N = 2 (1|1,0)-МОНУШ иерархии в N = 2 а = 1 КдФ иерархию и на этой основе построен рекурсионный оператор и би-га-мильтонова формулировка для последней.

Исходя из матричных псевдодифференциальных операторов Лакса, параметризованных N = 2 неограниченными матрично-значными суперполями в N = 2 суперпространстве, в Главе 3 мы изучаем различные редукции N = 2 суперсимметричной матричной КП иерархии, характеризуемые конечным и бесконечным числом полей.

Мы приходим к этим редукциям в разделе 3.1 из анализа возможных бозонных пределов для семейства скалярных N = 2 суперсимметричных иерархий с N = 2 супер Wn алгебрами в качестве их вторых гамиль-тоновых структур. В результате анализа мы получаем три различные семейства соответствующих бозонных иерархий и их операторы Лакса.

Затем, в разделе 3.2 мы предлагаем их описание в терминах супероператоров Лакса, тем самым решая давнюю проблему описания трех семейств N = 2 суперсимметричных иерархий с N = 2 супер Wn вторыми гамильтоновыми структурами, существование которых являлось интригующим фактом в течении долгого времени. Примечательным свойством N ~ 2 суперсимметричной матричной КП иерархии является то, что она допускает несколько редукций, характеризуемых бесконечным числом полей, одну из которых мы называем киральной N = 2 суперсимметричной КП иерархией.

Глава 4 посвящена построению решений уравнений симметрий для N = (0|0), N = (2|2) и N = (0|2) суперсимметричных 2DTL уравнений, исследованию их одномерных редукций, а также нахождению их решений.

В разделах 4.1 и 4.2 развивается алгоритм построения бозонных и фермионных симметрий решеточного двумерного бозонного уравнения Тоды (2DTL) и N = (1|1) суперсимметричного 2DTL уравнения соответственно, исходящий из знания соответствующих этим уравнениям интегрируемых иерархий - 2DTL [20] и N = (1|1) 2DTL (STL) [8] иерархий соответственно. Эти иерархии представляют собой бесконечную систему эволюционных уравнений (потоков) для бесконечного набора решеточных бозонных и фермионных полей, содержащих как подсистемы уравнения 2DTL и N = (1|1) 2DTL соответственно. Более того, мы также устанавливаем алгебры этих симметрий и показываем, что N = (1|1) 2DTL иерархия в действительности обладает более высокой симметрией, а именно N = (2|2) суперсимметрией, и поэтому может называться N. = (1(1) 2DTL иерархией.

Далее, в разделе 4.3 мы решаем проблему построения решений уравнения симметрии, соответствующего новому интегрируемому суперсимметричному уравнению (N = (0|2) суперсимметричному 2DTL уравнению), предлагаемому в диссертации. Так, сначала мы предлагаем новую N = (0|2) суперсимметричную 2DTL иерархию, которая содержит N = (0|2) 2DTL уравнение как подсистему, а затем, в рамках ранее развитой схемы, строим его бозонные и фермионные симметрии, их алгебру, а также обсуждаем N = (0|2) суперполевую формулировку N = (0|2) 2DTL иерархии и в качестве иллюстрации явно представляем новое N = (0|2) суперсимметричное обобщение уравнения Давье-Стевартсона [95], являющееся вторым бозонным потоком этой иерархии. В N = (0|2) суперполевом представлении мы также демонстрируем, что N = (0|2) 2DTL уравнение обладает N = (0,2) суперконформной симметрией.

Раздел 4.4 посвящен обобщению: мы предлагаем широкий класс новых суперсимметричных интегрируемых иерархий, первый представитель которых —N = (0|2) 2DTL иерархия.

В разделе 4.5 мы обсуждаем одномерную редукцию N = (0|2) 2DTL иерархии - N=2 1DTL иерархию, и строим ее би-гамильтонову структуру и рекурсионный оператор.

Раздел 4.6 посвящен построению общих решений для N=(2|2) и N=(0|2) 2DTL уравнений в случае одного или двух фиксированных концов.

Главы 5 посвящена изучению квазиклассического (непрерывного) предела N = (1|1) 2DTL иерархии.

В параграфе 5.1 мы предлагаем новую обобщенную градуированную скобочную операцию на пространстве градуированных операторов с инволюцией, обобщающую градуированный коммутатор для супералгебр, описываем ее свойства и приводим соответствующие обобщенные тождества Якоби. Затем мы переписываем представление Лакса N = (ljl) 2DTL иерархии, а также все основные определяющие его соотношения в терминах обобщенной градуированной скобки.

В параграфе 5.2 определяется квазиклассический предел N = (1|1) 2DTL иерархии и постулируется соответствующее асимптотическое поведение фермионных и бозонных полей, параметризующих операторы Лакса. Затем, с помощью этих данных мы вычисляем асимптотическое поведение всех композитных операторов, входящих в представление Лакса, и соответствующие ему полевые эволюционные уравнения, являющиеся, по определению, потоками бездисперсионной N = (1|1) 2DTL иерархии. Следующий шаг — моделирование суперскобки Пуассона на фазовом суперпространстве, представляющем собой фазовое пространство бездисперсионной 2DTL иерархии, расширенное одной Грассмано-вой координатой. И наконец, заменяя операторы Лакса на их символы, а обобщенную градуированную скобку на указанную суперскобку Пуассона в представлении Лакса для N = (1|1) 2DTL иерархии и во всех определяющих его соотношениях, мы получаем представление Лакса бездисперсионной N = (1|1) 2DTL иерархии.

В Главе 6 предложена комплексифицированная N = 4 суперсимметричная матричная иерархия КП и описан широкий класс ее редукций, характеризующихся конечным числом полей. Этот класс включает одномерную редукцию двумерной N = (2|2) суперсимметричной решеточной иерархии Тоды, обладающей вещественной N = 4 суперсимметрией (jV = 4 иерархию Тоды), которая может быть важной в контексте проблемы построения суперсимметричных матричных моделей.

В разделе 6.1 мы развиваем псевдодифференциальные методы для описания интегрируемых систем с N — 4 суперсимметрией. Так, в рамках подхода одевания, исходя из комплексифицированной суперсимметричной иерархии КП в N = 2 суперпространстве, мы демонстрируем, что она в действительности обладает N = 4 суперсимметрией. Затем, исходя из представления нулевой кривизны для уравнения N = (2j2) суперконформной решетки Тоды, мы получаем оператор Лакса, генерирующий бозонные потоки суперсимметричной иерархии Тоды.

Используя этот оператор Лакса, в разделе 6.2 мы строим непротиворечивые редукции для всех потоков N = 4 суперсимметричной иерархии КП, сохраняя алгебраическую структуру последней, ее различные вещественные формы и показываем, что редуцированная иерархия (N — 4 иерархия Тоды) обладает N = 4 суперсимметрией. Затем мы устанавливаем ее связь с N = 4 суперсимметричной иерархией КдФ, обсуждаем ее вторичную редукцию в N = 2 а = —2 суперсимметричную иерархию КдФ и предлагаем широкий класс ее матричных Л^ = 4 обобщений.

В разделе 6.3 мы строим представление Лакса в N = 4 суперпространстве для бозонных и фермионных потоков этой иерархии, вещественные формы в действительном iV = 2 и N = 4 суперпространствах (одна из них обладает вещественной N=4 суперсимметрией), локальные и нелокальные гамильтонианы, конечные и бесконечные дискретные симметрии, первые две гамильтоновы структуры и рекурсионный оператор, связывающий все эволюционные уравнения и гамильтоновы структуры N = 4 иерархии Тоды.

В Заключении суммированы основные результаты, полученные в диссертации.

Результаты, представленные в диссертации, докладывались на семинарах Лаборатории теоретической физики им. Н.Н. Боголюбова ОИЯИ, ФИРАН (Москва), ИФВЭ (Протвино), на семинарах в Университетах и Физических институтах гг. Харьков (Украина), Берлин, Бремен, Ганновер, Мюнхен, Бонн и Падеборн (Германия), Твенте (Голландия), Лече, Милан, Падуя, Пиза, Триест, Турин и Фраскати (Италия), Вроцлав (Польша), Лион, Монтпелье, Орсэй и Париж (Франция), ЦЕРН (Женева), были представлены на Международных совещаниях "Quantum groups. Formalism and applications" (Карпач, Польша, 1994), "New symmetries and integrable models" (Карпач, Польша, 1999), "Проблемы квантовой теории поля" (Алушта, 1996), "Theory of elementary particles" (Буков, Германия, 1996), "Finite dimensional integrable systems" (Дубна, 1994),

Квантовая гравитация" (Москва, 1995), "Superstrings and Quantum Gravity" (Дубна, 1999, 2000, 2001), "Supersymmetry and Quantum symmetries" (Дубна, 1994,1995, 1996, 1997, 1998, 1999, 2000), "Group Theoretical Methods in Physics" (Дубна, 1996, 1998, 2000), "Integrable Hierarchies and Modern Physical Theories" (Чикаго, США, 2000), "Integrable Field Theories, Solitons and Duality" (Сан Паулу, Бразилия, 2002), "Classical and quantum Integrable Systems" (Протвино, 2000, 2003).

Заключение

Кратко подведем основные итоги диссертации.

Предложен метод конформной линеаризации широкого класса нелинейных Ж-(супер)алгебр. Он основан на наблюдении, что во многих случаях данная нелинейная W-(супер)алгебра с конечным числом токов может быть вложена в некоторую линейную конформную (супер)алгебру - линеаризующую алгебру, которая, как и исходная Ж-(супер)алгебра, обладает конечным набором токов и содержит ее как подалгебру в некотором специальном базисе. При этом важно, что токи исходной нелинейной W-(супер)алгебры, определенным образом расширенные конечным набором новых токов, связаны обратимым преобразованием с токами линеаризующей алгебры, и, тем самым, большинство свойств нелинейной алгебры, а также свойств соответствующих теорий, построенных на основе последней, могут быть изучены более простым и эффективным способом, исходя из ее линейного аналога. Помимо того, что конформные линеаризующие алгебры весьма эффективны для получения более широкого класса полевых реализаций нелинейных алгебр, они также обеспечивают подходящую основу как для построения новых струнных теорий, так и для изучения вложения Вирасоровской струны в струны ТУ-типа.

Найден широкий класс N = 2 и N = 4 суперсимметризаций обобщенных матричных иерархий КП, КдФ, НУШ и Тоды. Существенный прогресс достигнут в понимании общей структуры этих иерархий, взаимосвязи между ними и их связей с другими физическими и математическими концепциями и проблемами. Эти иерархии могут быть важны для исследования старой и все еще не решенной проблемы построения нетривиальной суперсимметричной матричной модели и/или модели собственных значений, что было одним из немаловажных стимулов для их построения.

Построен N = 4 суперполевой базис для N = 4 суперсимметричной иерархии Тоды, в котором потоки локальны, и найдено его вложение в N = 4 0(4) суперконформный суперток, что может быть важным в связи с давней нерешенной проблемой построения N = 4 0(4) суперконформной иерархии КдФ (если существует).

Решена проблема построения квазиклассического предела N = (1|1) 2DTL иерархии — А^ = (1|1) суперсимметричной бездисперсионной иерархии Тоды. Кроме чисто академического значения этой иерархии, интерес к ней связан с рядом возможных важных физических и математических приложений, аналогичных приложениям ее бозонного прообраза — бездисперсионной 2DTL иерархии, например, для построения ряда самодуальных вакуумных метрик и метрик Эйнштейна-Вейля, теории тви-сторов, двумерной конформной и топологической теории поля, двумерной теории струн. Имея в виду глубокую связь между 2DTL и N = (1|1) 2DTL иерархиями, представляется естественным полагать, что и бездисперсионная N = (1|1) суперсимметричная 2DTL иерархия найдет аналогичные приложения в суперсимметричных обобщениях перечисленных выше теорий. Она может быть также значима и в контексте проблемы поиска интегрируемой структуры, лежащей в основе суперсимметричной полевой теории струн, подобно тому, как это имеет место для бозонной бездисперсионной иерархии Тоды по отношению к Виттеновской полевой теории струн, что было обнаружено нами совсем недавно.

Предложена новая обобщенная градуированная скобочная операция на пространстве градуированных операторов с инволюцией, которая определена в достаточно общих терминах, чтобы иметь широкий спектр приложений. Одним из мотивов для ее введения послужила проблема построения квазиклассического (непрерывного) предела N = (1|1) 2DTL иерархии, в решении которой эта скобочная операция сыграла ключевую роль.

В диссертации получены следующие основные результаты:

• Разработан метод конформной линеаризации нелинейных W (супер) алгебр. На основе этого метода получены линеаризующие конформные алгебры для широкого класса W-(супер)алгебр и построены их новые полевые реализации.

• Решена проблема Лаксового описания трех различных бесконечных семейств интегрируемых N = 2 суперсимметричных иерархий с N = 2 супер Wn алгебрами в качестве их вторых гамильтоновых структур.

• Описан широкий класс редукций матричной суперсимметричной иерархии КП в N = 2 суперпространстве, характеризуемых конечным и бесконечным числом полей.

• Предложен бесконечный класс интегрируемых N = 2 неограниченных суперсимметричных матричных иерархий обобщенных нелинейных уравнений Шредингера — N = 2 (к\п, т)-МОНУШ. Найдено его псевдодифференциальное и супералгебраическое описания, построены рекурсионные операторы, а также изучены его кираль-ные редукции, допускающие би-гамильтоново описание, и их дискретные симметрии, представляющие собой решеточные суперсимметричные уравнения Тодовского типа. Установлена редуция иерархии N = 2 (1|1, 0)-МОНУШ в иерархию N = 2 а = I КдФ и построен рекурсионный оператор и би-гамильтонова формулировка для последней.

Предложена новая интегрируемая N = (0|2) суперсимметричная решеточная иерархия Тоды, а также широкий класс ее интегрируемых обобщений. Новые N = (0|2) суперсимметичные уравнения — N = (0|2) суперконформное 2DTL уравнение и N = (0|2) уравнение Давье-Стевартсона — являются ее первыми нетривиальными подсистемами.

Построены бозонные и фермионные решения уравнений симметрий, соответствующих двумерным N = (0|0), N = (0|2) и TV = (2|2) суперконформным решеточным уравнениям Тоды, и найдена их максимальная суперполевая формулировка.

Построены общие решения двумерных N = (0|2) и N = (2|2) суперконформных решеточных уравнений Тоды в случае одного или двух фиксированных концов.

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

Получена новая форма представления Лакса для суперсимметричных решеточных иерархий Тоды в терминах обобщенной градуированной скобки, что важно для построения их квазиклассических асимптотик.

Построена бездисперсионная (непрерывная) N = (1|1) суперсимметричная иерархия Тоды, которая может быть значима в контексте проблемы поиска интегрируемой структуры, лежащей в основе суперсимметричной полевой теории струн.

Предложен широкий класс комплексифицированных N = 4 суперсимметричных интегрируемых иерархий.

• Предложено Лаксово и би-гамильтоново описание N = 4 суперсимметричной иерархии Тоды BiV = 2niV = 4 суперпространствах, получены ее бозонные и фермионные симметрии, вещественные формы и установлена ее связь с иерархией N = 4 КдФ. Построен N = 4 суперполевой базис, в котором потоки локальны, и найдено его вложение в N = 4 0(4) суперконформный суперток, что может быть важным в связи с давней нерешенной проблемой построения N = 4 О(4) суперконформной иерархии КдФ (если существует) .

В заключение хочу выразить глубокую признательность моим коллегам Ч. Ану, С. Беллуччи, Л. Боноре, Ф. Дельдуку, В.Б. Дерягину, Е.А. Иванову, В.Г. Кадышевскому, П. Керстену, С.О. Кривоносу, А.Н. Лез-нову и О. Лехтенфельду, в сотрудничестве с которыми выполнен ряд вошедших в диссертацию работ.

Я сердечно благодарен X. Аратин, И.А. Бандосу, А.А. Белавину, Л.В. Богданову, М.А. Васильеву, Ф. Гомес, А.С. Горскому, Г.М. Зиновьеву, Б.М. Зупнику, В.И. Иноземцеву, А.П. Исаеву, В.А. Казакову, Б.Г. Коно-пельченко, Е.А. Кочетову, И.С. Красильщику, П.П. Кулишу, Е. Лукер-скому, Ф. Магри, А.В. Маршакову, П. Менотти, А.Д. Миронову, А.Ю. Морозову, А.П. Нерсессяну, М.А. Ольшанецкому, С.З. Пакуляку, А.И. Пашневу, 3. Поповичу, А.В. Разумову, A.M. Семихатову, В.В. Соколову, Д.П. Сорокину, М. Тонину, Ф. Топпану, В.Я. Файнбергу, В.А. Фатееву, А.Т. Филиппову, Б. Фухштейнеру, П. Фрэ, А.Х. Цимерману, С. Шуто за полезные обсуждения на разных этапах работы над диссертацией.

Я также глубоко признателен руководству Лаборатории теоретической физики имени Н.Н. Боголюбова в лице А.Т. Филиппова и Д.В. Шир-кова, а также центральной дирекции Объединенного Института Ядерных Исследований в лице В.Г. Кадышевского и А.Н. Сисакяна, без поддержки которых эта работа не могла бы быть успешной.

1. А. Морозов,Интегрируемость и матричные модели, УФН 37 (1994) 1; Matrix models as integrable systems, hep-th/9502091.

2. H. Aratyn, E. Nissimov and S. Pacheva, Constrained KP hierarchies: additional symmetries, Darboux-Backlund solutions and relations to multi-matrix models, Int. J. Mod. Phys. A12 (1997) 1265.

3. M.A. Olshanetsky, Supersymmetric two-dimensional Toda lattice, Commnn. Math. Phys. 88 (1983) 63.

4. D.A. Leites, M.V. Saveliev and V.V. Serganova, Embeddings o/osp(l|2) and the associated nonlinear supersymmetric equations, in: Group theoretical methods in physics, Vol. I (Ynrmala, 1985), pp. 255-297, VNU Sci. Press, Utrecht, 1986.

5. V.A. Andreev, Supersymmetric generalized Toda lattice, in: Group theoretical methods in physics, Vol. 1 (Yurmala, 1985), pp. 315-321, VNU Sci. Press, Utrecht, 1986.

6. B.A. Андреев, Нечетные базисы супералгебр Ли и интегрируемые уравнения, ТМФ 72 (1987) 112.

7. J. Evans and Т. Hollowood, Supersymmetric Toda field theories, Nucl. Phys. B352 (1991) 723; Erratnm-ibid. B382 (1992) 662.

8. K. Ikeda, A supersymmetric extension of the Toda lattice hierarchy, Lett. Math. Phys. 14 (1987) 321;

9. The super-Toda lattice hierarchy, RIMS 25 (1989) 829.

10. К. Takasaki, Differential algebras and D-modules in super Toda lattice hierarchy, Lett. Math. Phys. 19 (1990) 229.

11. A.N. Leznov and A.S. Sorin, Two-dimensional superintegrable mappings and integrable hierarchies in the (2|2) superspace,

12. Phys. Lett. B389 (1996) 494.

13. A.N. Leznov and A.S. Sorin, Integrable mappings and hierarchies in the (2|2) superspace, Nucl. Phys. (Proc. Suppl.) B56 (1997) 258.

14. A.N. Leznov and A. Sorin, The solution of the N = 2 supersymmetric f-Toda chain with fixed ends, Phys. Lett. B402 (1997) 87.

15. L. Bonora and A. Sorin, The N=2 supersymmetric Toda lattice, Nucl. Phys. B521 (1998) 444.

16. V.B. Derjagin, A.N. Leznov and A. Sorin, The solution of the N — (0|2) superconformal f-Toda lattice, Nucl. Phys. B527 (1998) 643.

17. O. Lechtenfeld and A. Sorin, Fermionic flows and tau function of the N — (1|1) superconformal Toda lattice hierarchy, Nucl. Phys. B557 (1999) 535.

18. O. Lechtenfeld and A. Sorin, Hidden N = (2|2) supersymmetry of the N = (1|1) supersymmetric Toda lattice hierarchy, J. Nonlinear Math. Phys. 8 (2001) 183.

19. V.G. Kadyshevsky and A.S. Sorin, Supersymmetric Toda lattice hierarchies, in Integrable Hierarchies and Modern Physical Theories (Eds. H. Aratyn and A.S. Sorin), Kluwer Acad. Publ., Dordrecht/Boston/London, (2001) 289-316, nlin.SI/0011009.

20. В.Г. Кадышевский и А.С. Сорин, N = (l|l) супер симметричная бездисперсионная решеточная иерархия Тоды, ТМФ 132 (2002) 222.

21. V.G. Kadyshevsky and A.S. Sorin, "Continuum limit of the N = (1|1) supersymmetric Toda lattice hierarchy", JHEP Proceedings, PrHEP un-esp2002, Workshop on Integrable Theories, Solitons and Duality, 1-6 July 2002, Sao Paulo, Brazil.20