2.2 Постановка задачи. Описание алгебры.49.
2.3 Начало доказательства .55.
2.4 Разложение состояния в прямой интеграл.60.
2.5 Разложение на неприводимые компоненты пространства Hv 72.
2.6 Разложение в сумму гиббсовских состояний состояния r (ip). 75.
2.7 Единственность.80.
2.8 Заключение.81.
3 Перенормировки калибровочных теорий и алгебры Хопфа 82.
3.1 Введение.82.
3.2 Алгебры Хопфа.83.
3.3 Фейнмановские диаграммы.87.
3.4 Перенормировки квантовой электродинамики.95.
3.5 Калибровочные преобразования на алгебре Хопфа фейнмановских диаграмм квантовой электродинамики.96.
3.6 Основные результаты .99.
3.7 Заключение.104.
Заключение
105.
Актуальность темы
цели исследования.
Важным объектом в квантовой теории поля является-матрица [1, 2, 3, 4]. Однако, во многих случаях при наличии нестабильных состояний в теории твердого тела, квантовой оптике важно поведение оператора эволюции на больших, но конечных временах при малых константах связи.
Этот режим интересен, например, для оценки времени релаксации атома к основному состоянию, для вывода мастер-уравнения Паули и т. д.
Поведение оператора эволюции в таком режиме исследовалось многими авторами. Н. Н. Боголюбовым рассмотрен вопрос об установлении термодинамического равновесия в системе, состоящей из гармонического осциллятора, взаимодействующего посредством квадратичного взаимодействия с термостатом, состоящим из осцилляторов [5]. J1. Ван Хов (L. van Hove) рассмотрел оператор эволюции в пределе, А —> О, t —" со, ХЧ = const [6]. И. Пригожин (I. Prigogin) с сотрудниками применял предел Ван Хова для вывода кинетических уравнений [7].
Изучение асимптотического поведения оператора эволюции для квантовой электродинамики проводилось П. П. Кулишем и Л. Д. Фаддеевым [8] в связи с проблемой инфракрасных расходимостей. Исследование асимптотики оператора эволюции при больших временах см. в [9], [10].
Другой важный момент. Большинство элементарных частиц нестабильны [И], что затрудняет определение для них матрицы рассеяния и делает задачу изучения асимптотики оператора эволюции нетривиальной. Унитарное представление группы Пуанкаре, соответствующее нестабильным частицам, было построено Г. Заллером (Н. Sailer) [12]. Исследование матричных элементов оператора эволюции для одной модели квантовой теории поля было произведено JI. Майани (L. Maiani) и М. Теста (М. Testa) [13]. Новые предписания перенормировки волновой функции, связанные с выбором комплексной точки вычитания, предложены Я. Чжоу (Y. Zhou) [14].
Изучение поведения систем на больших временах и константах связи привело к возникновению метода стохастического предела в работах JI. Аккарди (L. Accardy), Ю.Г. Jly (Yu. G. Lu), И. В. Воловича [15]. Этот метод состоит в нахождении и исследовании квантовых стохастических уравнений для оператора эволюции.
В работе [16] были найдены поправки к ответам, полученным по методу стохастического предела.
В работе [17] была выведена общая формула, описывающая вакуумный матричный элемент оператора эволюции для гамильтонианов с гладким взаимодействием (АБС-формула). Эта формула была выведена только для гамильтонианов без нестабильных состояний, а в случае наличия нестабильных состояний были проделаны вычисления во втором порядке по константе связи. В диссертации получено обобщение этой формулы на случай наличия нестабильных состояний. При исследовании АБС-формулы использовались методы, аналогичные методам теории перенормировок в квантовой теории поля [18, 19, 20].
С другой стороны, с момента создания квантовой механики внимание многих исследователей привлекала алгебраическая формулировка основных положений квантовой теории. В историческом отношении интересна монография [21]. Основными объектами в этом подходе являются некоторая С*-алгебра или алгебра фон Неймана наблюдаемых и множество состояний на ней [22, 23, 24, 25].
В этом подходе для описания состояния системы в статистическом равновесии в термодинамическом пределе используют так называемые состояния Кубо — Мартина — Швингера (КМШ-состояния), впервые появившиеся в физической литературе. Эти состояния являются аналогами Гибсовых состояний в классической статистической механике [26, 27]. В дальнейшем КМШ-состояния исследовались многими авторами, такими, как Р. Хааг (R. Haag), М. М. Гугенгольц (М. М. Hugenholtz), М. Винник (М. Vinnik) [28] см. также [29]. Недавно А. Конн (A. Connes) с сотрудниками исследовали КМШ-состояния, возникающие в задачах теории чисел и некоммутативной геометрии [30, 31]. В настоящей диссертации исследуются КМШ-состояния на алгебре квадратов белого шума, введенной в j32] (см. также [33, 34]). В дальнейшем КМШ-состояния исследовались в [35], где был построен пример КМШ-состояния на алгебре квадратов белого шума. Дискретизация проблемы КМШ-состояния на алгебре квадратов белого шума приводит к проблеме классификации КМШ-состояний на универсальной обертывающей алгебре Ли группы SL (2, С').
Возникающая при определении этой алгебры необходимость перенормировать коммутационные соотношения приводит к характерному для теории перенормировок эффекту: вместо одного КМШ-состояния на алгебре пояляется целое их семейство, параметризованное точками положительной вещественной полуоси.
Важной темой в настоящей диссертации является исследование и использование методов теории перенормировок в различных контекстах.
Математически корректная теория перенормировок (теория R-операции) была построена Н. Н. Боголюбовым и О. С. Парасюком [1]. К. Хепп [18] усовершенствовал предложенные ими доказательства.
Недавно А. Конн и Д. Креймер (D. Kreimer) [36, 37] ввели на диаграммах Фейнмана скалярной теории структуру алгебры Хопфа. Алгебры Хопфа, как известно, играют важную роль в теории квантовых групп [38], квантовом методе обратной задачи рассеяния ] 39] и других некоммутативных теориях. (О некоммутативной теории поля и связи некоммутативной теории с р-адическим анализом см. [40, 41, 42, 43, 44].) Фейнмановские амплитуды в этом подходе являются элементами группы характеров. Если обозначить U — набор неперенормированных амплитуд, С — набор контрчленов, a R — набор перенормированных амплитуд, то будет справедливо равенство:
R = C*U, (1) где * означает умножение в группе характеров. Размерно-регуляризованная амплитуда Фейнмана U (d) {d — параметр размерной регуляризации) будет голоморфна в некоторой проколотой окрестности точки d = 6. Тогда U (d) можно рассматривать как данные некоторой задачи Римана — Гильберта [45]. А. Конн и Д. Креймер показали, что эта задача имеет единственное решение, а положительная и отрицательная части разложения Биркгофа U (d) определяют перенормированные амплитуды и контрчлены, получаемые при использовании схемы минимальных вычитаний.
По поводу дальнейшего обобщения формализма Конна и Креймера см. [46, 47, 48, 49, 50, 51, 52].
В главе 3 диссертации решается задача об обобщении этого подхода на случай квантовой электродинамики. Обобщение этой схемы на случай калибровочных теорий содержит ряд новых моментов. В теории калибровочных полей помимо доказательства перенормируемости теории локальными контрчленами необходимо проверять калибровочную инвариантность перенормированных амплитуд. Требование калибровочной инвариантности выражается с помощью тождеств Уорда.
Возникают задачи определения действия калибровочной группы на группе характеров и выяснения вопросов о том, как калибровочные преобразования взаимодействуют со структурой алгебры Хопфа, группы характеров и т. д. Решению этих задач для квантовой электродинамики и посвящена глава 3 диссертации.
Теория перенормировок неабелевых калибровочных полей рассмотрена в [53, 54]. Важно отметиь, что удобным средством для работы с калибровочными полями является метод континуального интеграла см. [55]. Распространение формализма алгебр Хопфа на случай неабелевых калибровочных теорий нетривиально в силу того, что для доказательства перенормируемости калибровочных теорий привлекаются тождества Славнова — Тейлора, которые нелинейны и требуется дополнительное исследование, чтобы обобщить подход Конна — Креймера на неабелев случай.
Актуальность темы
этой диссертации следует из того, что в различных областях квантовой физики, к которым приковано внимание многочисленных исследователей, возникают структуры, аналогичные структуре Л-операции, а также из того, что, как выяснилось в последнее время, саму структуру Л-операции можно значительно прояснить, используя разнообразные математические методы (методы некоммутативной геометрии и т. д), что позволяет улучшить понимание таких фундаментальных вопросов, как доказательство теоремы Боголюбова — Парасюка, доказательство перенормируемости калибровочных теорий.
Краткое содержание диссертации.
В работе И. Я. Арефьевой и И. В. Воловича [17] изучалось поведение оператора эволюции на больших временах для моделей с гладким взаимодействием. Была получена общая формула:
U (t)) = eM+B+c^ (2) где C (t) —0, если t +00.
Эта формула называется АБС-формулой.
Эта формула была выведена для случая, когда нет нестабильных состояний. В случае, когда они есть, были проделаны вычисления во втором порядке по константе связи.
В настоящей работе АБС-формула получена для случая, когда есть нестабильные состояния.
Пусть Т обозначает бозоиное пространство Фока, в котором стандартным образом действуют операторы рождения и уничтожения а+(к) и а (к), удовлетворяющие следующим каноническим коммутационным соотношениям: а{к), а+(к')} = 5{к-к').
Остальные коммутаторы равны нулю. Вакуумное состояние определяется соотношением: а{к)|0) = 0. Метод вторичного квантования был открыт Дираком в [56]. Математические аспекты метода вторичного квантования подробно рассмотрены в [57]. Гамильтониан рассматриваемой модели есть:
Н = Н0 + XV.,.
Щ = J ш (к)а+ (к)a{k)dk, к е Rd,.
Hq—свободный гамильтониан, ш (к) = у — ш0, UQ G R, OJQ ф 0, а V— взаимодействие, которое есть сумма мономов Вика с ядрами из пространства Шварца:
N «т п.
V = x / vmjn{p1,., prnph., pn) Y[a+{pi)dpiY[a{qj)dqh т, п=1 i=l j—1.
Pi, Qj G Rd,.
N= 1,2,3., vm, n — функции из пространства Шварца, удовлетворяющие соотношению эрмитовости ьт<�п = г}щт, г"о, о = 0, Л — вещественное число.
Этот гамильтониан задан изначально на всюду плотной области D, состоящей из векторов в J7, у которых только конечное число компонент отлично от нуля и все они лежат в пространстве Шварца. В некоторых случаях, если щ > 0, из результатов Глимма Джаффе [58, 59, 60] вытекает, что Н обладает самосопряженным расширением.
Основная теорема главы 1 настоящей диссертаци формулируется следующим образом.
Теорема 1.1. Если d> 3, то.
0|е-ЙЯ|0) = ем+в+с{-1 в смысле формальных степенных рядов по А. Здесь A, B, C (t) — формальные степенные ряды по Аоо п=2.
00 п=2 с" а" п=2 я Cn (t) —> 0 при t оо.
По определению [18], граф Фридрихса — это четверка (V7, Д, где.
V' — конечное упорядоченное множество, называемое множеством вершин;
R — конечное множество, называемое множеством ребер- 1+ и 1~ суть отображения:
P-.R-tV такие, что Vr G R 1+{г) > 1~(г).
Мы обозначим через V множество всех вершин, за исключением минимальной.
Графы Фридрихса возникают при приведении к нормальной форме произведения мономов Вика.
Согласно кластерной теореме [18] имеем:
U=: eUc, где индекс с в Uc означает, что оставляются только связные графы Фридрихса, а:: означает нормальное упорядочение [18].
Положим F (t) = {0Uc{t)),.
00 п= 1 ад = !>,?(*), (з) где в последней сумме суммирование ведется по всем графам Фридрихса с п+1 вершиной. Для F®(t) имеется выражение: t h.
Ff (t) = J dtn. J dt0 J f (p)dp. о о.
Здесь f (p) — произведение ядер мономов, a.
Ev= Y, ^(Pr) — ^ u (pr). (4) l~{r)—v l+®=v.
Далее F®(t) преобразуется к виду:
CO <2.
F*{t)=t J dtn. J dhj ei{EA±+E^f{p)dpo о oo t3.
— Hm f min{?, tn}dtn. f dtr f ei{Entn+" +Eltl)f (p)dp. (5).
Первое слагаемое в последней формуле есть A®t, последнее при t —> +00 стремится к В®-.
Задача, следовательно, состоит в том, чтобы понять, когда указанные интегралы сходятся.
Введем следующие множества.
Для любого г € R определим множество Vr.
Vr := {vl+® >v>v-l> Г (г)}. Для любого v? V определим множество Rv следующим образом: Rv ¦= {rl+® > v > v — 1 > Г (г)}.
Очевидно, что v? Vr г е Rv.
Для А®имеем следующее представление:
СЮ 00.
Лф /', f, iuJ° 2 S т" An = drn. drie г6Ящ6У'- x о 0.
ТТ 7PrJ2Tv dpre reR f (.pr.). r.
V— это по-прежнему множество вершин, за исключением минимальной, а / — функция из пространства Шварца, возникающая, как произведение мономов Вика.
Чтобы сформулировать достаточное условие сходимости интегралов такого рода, введем понятие фактор — графа. Пусть дан граф Ф = {V', R, l+, l~} и подмножество вершин, А с V. Фактор — граф Фа получается следующим образом: берем самую младшую вершину v из V, не принадлежащую Л, склеиваем ее с v — 1 и выкидываем все петли, т. е. линии, начинающиеся и кончающиеся в одной вершине. Затем берем следующую вершину, не принадлежащую Д делаем с ней то же самое и т. д. (аккуратное определение дано в главе 1).
Определение. Степенью расходимости графа Ф называется число:
Справедлива следующая теорема.
Теорема 1.4. А®сходится, если степень расходимости графа Ф и всех его фактор-графов отрицательна.
Теорема 1.5 .В условиях предыдущей теоремы корректно определено выражение для В®-.
Сформулированная теорема аналогична следствию из теоремы Боголюбова — Парасюка, (иногда называемому теоремой Вайнберга), утверждающему, что Фейнмановская амплитуда для заданной диаграммы конечна, если степень расходимости этой диаграммы и всех ее поддиаграмм отрицательна.
Методы, использованные при доказательстве сходимости интегралов, представляющих, А и В, могут быть использованы для анализа расходимостей в кинетических уравнениях см. [61, 62].
Глава 2 настоящей диссертации посвящена исследованию состояний Кубо — Мартина — Швинтера на некотором расширении универсальной обертывающей алгебры, алгебры Ли группы SL (2, С). Эта задача возникла следующим образом. В работе [32] изучались квантовые стохастические уравнения вида: где а, с — действительные числа, a {b+, bT} — квантовый белый шум, т. е. пара операторозначных обобщенных функций, удовлетворяющих.
C" = V-3-R.
6) каноническим коммутационным соотношениям:
Ьг.ч = [#>#] = О, [Ът, Ь$] = 5{т-т').
Если положить:
Щт) = Ъ+ТЪТ) В{т) = ~bTbr,.
9) то легко видеть, что полученные операторы удовлетворяют следующим коммутационным соотношениям:
Оператор В сопряжен В+, N — самосопряжен. В этой же работе предложено заменить (5(0) на произвольную константу. Полученная алгебра называется алгеброй квадратов белого шума.
КМШ-состояния были введены в работе [28].
Далее алгебра квадратов белого шума исследовалась в работах [32, 33, 34]. В частности, в работе [34] были построены все ее неприводимые представления, а в [35] был построен пример КМШ-состояния на алгебре квадратов белого шума. Возникает вопрос, как.
N®, N (r')} = 0, [В (т))В+(т1]] = 2N{t)5{t — т') + 5{т — т’Щ0), [B{t), N{tj)]=2B (t)5{t-t'). [В (т), В (т')) = [В (т)В+(т>)) = 0.
10) устроено множество КМШ—состояний на алгебре квадратов белого шума. После дискретизации, предложенной в главе 2 диссертации, задача сводится к аналогичной задаче для универсальной обертывающей алгебры, алгебры Ли группы SL (2, С). В настоящей работе мы дадим полную классификацию КМШсостояний на некотором расширении 51(2, С). Переход к предлагаемому расширению заменяет собой наложение некоторых топологических условий на множество состояний, необходимых, чтобы исключить слишком патологические состояния. Мы найдем, что существует взаимно-однозначное соответствие между множеством всех КМШ-состояний и некоторым классом вероятностных мер на положительной полуоси.
Более точно обозначим через V пространство всех комплексно-значных функций па R, растущих на бесконечности не быстрее некоторого полинома. Обозначим через та оператор, действующий в пространстве v по формуле:
Опреде деление. Обозначим через Л *-алгебру, порожденную образующими x, y,{nf}, где f? V, удовлетворяющими следующим соотношениям:
Ta-.f (x)^(TJ)(x) = f (x-a).
И) nf+iig = Anf + jing, A, fj, e C, nfg = nfng, и x, y] = nx, xnf = ntafx,.
YNp = NT fY.
13).
Инволюция в Л задана следующими соотношениями:
NFy = NF*,.
X* = -У.
14).
Мы можем вложить U (sl (2, С)) в Л, если отождествить элемент ХпутНк из 2) С)) с элементом XnYmNxk из Л. Обозначим через Я элемент Nx, Н := Nx.
Имеется однопараметрическая группа автоморфизмов Ut, (t G R) алгебры Л, действующая на генераторах следующим образом:
Приведем определение КМШ-состояния,.
Определение. Пусть V — *-алгебра с единицей. Состоянием т на V называется линейный положительный функционал, нормированный условием т (1) = 1.
Определение. Пусть Е— ?-алгебра, /3—вещественное положительное число и 14 (t? R) — однопараметрическая группа автоморфизмов Мы скажем, что линейный функционал г на <5 — КМШ-функционал по отношению к паре {(3,14}, если VA, В е <5 существует функция Tab S/з —" С, которая непрерывна в полосе б*/? — {z 6 С | 0 < Imz < /5} и голоморфна внутри нее, такая, что для вещественных t справедливо:
ЩХ) = ейХ, ?/4(У) = е~гХ Ut{NF) =.
15) б (?)=т (А14(Б)).
16) и.
T{Vt{A)B)=FBA{t + i0).
17).
— подалгебра Л, порожденная всеми элементами вида Np, где F? V, называется картановской подалгеброй и обозначается символом Я. Как будет видно из главы 2, Я имеет достаточно много представлений и, поэтому Я изоморфна V, если последнее пространство превратить в алгебру, определив умножение элементов поточечно.
В главе 2 будет показано, что любое состояние р на Я порождает на вещественной прямой вероятностную меру da, убывающую быстрее любого обратного полинома, такую, что.
00 p (Np) = J da{x)F (x), (18).
— 00.
Обратно, если дана вероятностная мера da на прямой, убывающая быстрее любого обратного полинома, то последняя формула задает состояние на АЛ Основной результат главы 2 формулируется в виде следующей теоремы. Теорема 2.1. Состояние р на Я продолжается до КМШ-состояния на Л по отношению к паре {/3, Ut} (/? > 0) тогда и только тогда, когда характеристический функционал состояния р на Я Xp{t) p{Neux) имеет вид: оо.
1 е-0 Г.
Xp (t) = mi + m2l ep+2it J da (X)e, (19) o для некоторой вероятностной меры da на полупрямой (0, +оо), убывающей быстрее любого обратного полинома. Здесь mi, тог — вещественные числа, такие, что mi > 0, mj > 0, т + Ш2 = 1. Если продолжение существует, то оно единственно.
По аналогии с определением некоммутативной двумерной сферы см. ([63]), можно считать, что подалгебра Л, порожденная образующими X, У, Н = Nx, есть не что иное, как некоммутативная плоскость.
Лобачевского. Известно, что Римановы поверхности рода д > 2 можно получать путем факторизации верхней полуплоскости комплексной переменной (модель Пуанкаре плоскости Лобачевского) по действию дискретных групп автоморфизмов этой полуплоскости [64, 65] (Фуксовых групп). С другой стороны, для компактных двумерных симплектических многообразий существует процедура деформационного квантования [66]. Возникает интересный вопрос о том, как связаны между собой определенная только что некоммутативная плоскость Лобачевского и некоммутативные Римановы поверхности, определенные путем деформационного квантования.
В главе 3 настоящей диссертации предлагается обобщение подхода Конна—Креймера к теории перенормировок в квантовой теории поля на случай калибровочных полей. Так как формальные определения занимают много места, здесь мы ограничимся неформальными описаниями основных элементов схемы.
Рассмотрим какую-либо модель релятивистской квантовой теории поля. Алгебра Конна — Креймера Л это коммутативная алгебра с единицей, порожденная образующими (Г,<�т) — где Г — произвольная сильно-связная диаграмма (вершины которой не обязательно строятся по фиксированному лагранжиану) вместе с указанием вершинных операторов в каждой вершине, а о — обобщенная функция с компактным носителем, принимающая значение в тензорном произведении по внешним линиям диаграммы линейных пространств, описывающих внутренние степени свободы, о называется внешней структурой. Соотношения, которыми связаны образующие, выражают факт линейности элемента (Г, а) по взаимодействию в каждой вершине и по внешней структуре. Алгебра 7i становится алгеброй Хопфа, если коумножение на образующих задать формулой:
Д ((Г, а)) = (1>)<8>1 + 1<8>(1>)+ ]Г 7"®(Г/7а, о-). (20).
0С7"СГ.
Здесь 7а — набор поддиаграмм Г, взятых вместе с некоторым набором внеших структур, Г/7а — фактордиаграмма. Аккуратные определения см. в диссертации. Приведенная в диссертации конструкция обобщает конструкцию Конна — Креймера для скалярной теории поля с взаимодействием (р3.
Мы будем рассматривать случай квантовой электродинамики. Алгебро-геометрические свойства классических калибровочных полей рассмотрены в [71]. В диссертации для любой обобщенной функции с компактным носителем, а заданной на R4, принимающей значения в на алгебре Конна — Креймера построено (линейно от нее зависящее) отображение 6а: Н —"• Н, которое, по построению, является дифференцированием алгебры Н как алгебры, а не как алгебры Хопфа. Отображение 5а так же называется калибровочным преобразованием.
Пусть G обозначает группу характеров алгебры Хопфа Н. Мы скажем, что характер х G G — калибровочно-инвариантен, если х 0 = 0 Оказывается, что справедлива следующая доказанная в настоящей диссертации теорема.
Теорема 3.4. Множество калибровочно-ш-шари&нтыых характеров образует подгруппу группы характеров.
Фейнмановские правила и размерная регуляризация (мы рассматриваем евклидову теорию поля) задают элемент Uz G М', мероморфный (в некотором естественном смысле) но Этот элемент будет калибровочно инвариантным.
Далее в главе 3 рассматривается задача Римана — Гильберта на группе характеров G. Задача Римана — Гильберта выглядит так:
Задача Римана — Гильберта. Пусть Uz — характер, голоморфный по ^ в некоторой проколотой окрестности О {0} нуля открытой комплексной плоскости. Задача Римана — Гильберта состоит в том, чтобы построить для Uz биркгофовское разложение, т. е. указать характеры Rz и Cz, голоморфные по 2 в О и С {0}, соответственно, такие, чтобы в О {0} было выполнено:
Rz = Cz * Uz (21) и Cz —> 1, если 2 —)• оо.
Существование решения задачи Римана — Гильберта в такой постановке было фактически доказано А. Конном и Д. Креймером. В работе доказывается следующая теорема.
Теорема 3.6. Если данные задачи Римана — Гильберта Uz калибровочпо-инвариантны, то и элементы биркгофовского разложения Cz и Rz тоже калибровочно-инвариантны.
Интересно распространить приведенные в работе построения на неабелевы калибровочные поля [53, 54] суперсимметричные калибровочные теории [72], некоммутативные поля Янга — Миллса [73, 74], поля Черна — Саймона [75, 76, 77].
Научная новизна. Основные результаты, выносимые на защиту Все основные результаты диссертации являются новыми, Основные результаты диссертации состоят в следующем.
1. Для широкого класса моделей квантовой теории поля и статистической физики с нестабильными состояниями получена общая формула (АБС-формула), описывающая поведение вакуумного среднего оператора эволюции на больших временах. (Справедливая в рамках теории возмущений.).
2. Получена классификация состояний Кубо — Мартина — Швингера на некотором расширении универсальной обертывающей алгебры Ли группы SL (2, С). Показано, что КМШ-состояния на этом расширении находятся во взаимно-однозначном соответствии с некоторым классом вероятностных мер на неотрицательной вещественной полуоси.
3. Построено обобщение подхода Конна — Креймера к теории перенормировок в квантовой теории поля на случай квантовой электродинамики. В частности определено действие калибровочных преобразований на алгебре Хопфа диаграмм Конна—Креймера и показано, что множество калибровочно-инвариантных характеров образует подгруппу группы характеров алгебры Хопфа диаграмм. Показано, что если задача Римана — Гильберта на группе характеров имеет решение и данные задачи Римана — Гильберта калибровочно-инвариантны, то и элементы биркгофова разложения так же калибровочно-инвариантны.
Научная и практическая ценность.
Настоящая работа носит теоретический характер. Результаты, полученные в главе 1, могут быть использованы для анализа поведения при больших временах систем с нестабильными состояниями, например для систем, встречающихся в квантовой оптике, и т. д. Вместе с тем методы, используемые в главе 1 для доказательства сходимости интегралов, представляющих коэффициенты, А и В, могут быть использованы, например, для анализа расходимостей в кинетических уравнениях.
Результаты, полученные в главе 2, могут быть использованы для анализа методом стохастического предела открытых квантовых систем, взаимодействующих с бозе-полем, посредством квадратичного по операторам рождения—уничтожения взаимодействия в случае, когда резервуар имеет ненулевую температуру. Вместе с тем результаты главы 2 показывают, что имеется широкий круг задач, поддающихся решению, связанный с исследованием КМШ-состояний на различных алгебрах Ли и квантовых группах.
Результаты главы 3 показывают, что подход Конна — Креймера к перенормировкам можно распространить на случай квантовой электродинамики. При этом оказывается, что калибровочные преобразования в этом подходе являются объектами с хорошими математическими свойствами, а именно множество калибровочно-инвариантных характеров образует подгруппу группы характеров, а так же справедливо следующее утверждение: если данные задачи Римана — Гильберта калибровочно инвариантны то и элементы биркгофова разложения калибровочно-инвариантны. Эти два утверждения делают более попятным факт перенормируемости квантовой электродинамики с сохранением калибровочной инвариантности.
Обоснованность и достоверность.
Достоверность полученных результатов обоснована их формальным выводом на основе ранее известных результатов и правил формальной логики.
Аппробация работы.
Результаты работы докладывались и обсуждались на следующих конференциях и семинарах:
1. Конференции молодых ученых МГУ (2002).
2. Семинар отдела математической физики Математического Института им. В. А. Стеклова (2004, 2006).
3. Семинаре «Бесконечно-мерный анализ и математическая физика» кафедры теории функций и функционального анализа механико-математического факультета МГУ (2004).
4. Семинар отдела теоретической физики Математического института им. В. А. Стеклова (2006).
Публикации.
По результатам диссертации опубликовано три статьи [80, 81, 82].
Структура диссертации.
Диссертация состоит из введения, трех глав, заключения и списка литературы.
Результаты работы докладывались автором на конференции молодых ученых МГУ (2002), на семинаре отдела математической физики Математического института им. В. А. Стеклова, на семинаре «Бесконечномерный анализ и математическая физика» кафедры теории функций и функционального анализа механико-математического факультета МГУ, на семинаре отдела теоретической физики Математического института им. В. А. Стеклова.
Автор выражает глубокую благодарность своему научному руководителю И. В. Воловичу за постоянное внимание и помощь в работе над диссертацией, М. Г. Иванову, Р. А. Рощину за плодотворные обсуждения и ценные комментарии и всему коллективу отдела математической физики Математического института им. В. А. Стеклова РАН за помощь и поддержку в написании данной работы.
Заключение
.
В настоящей работе изучались различные аспекты теории перенормировок. Показано, как понятия и методы теории перенормировок возникают в различных областях квантовой физики, а также рассматривалась формулировка теории перенормировок калибровочных полей на языке алгебр Хопфа диаграмм Фейнмана.
