Scattering of vortices in abelian higgs models on compact riemann surfaces

Full Text

Настоящая статья представляет собой расширенный вариант доклада [1], сделанного авторами на Четвёртой международной конференции «Математическая физика и её приложения» (Россия, Самара, 25 августа - 1 сентября 2014). Введение Абелевы модели Хиггса на римановых поверхностях являются естественным обобщением абелевой (2 + 1)-мерной модели Хиггса на плоскости. Последняя возникает в теории сверхпроводимости и задается гиперболическим функционалом действия, определенным на парах (A, Φ), где A - электромагнитный калибровочный вектор-потенциал, а Φ - комплексное скалярное поле Хиггса на плоскости C. Функционал действия имеет стандартный вид интеграла по времени от разности кинетической энергии (зависящей от производных компонент A и Φ по времени) и потенциальной энергии (зависящей только от точки в конфигурационном пространстве). Мы ограничимся рассмотрением только так называемого критического случая, когда параметр модели λ полагается равным единице. Если в абелевой (2+1)-мерной модели Хиггса на плоскости зафиксировать время, ограничиваясь стационарными решениями, то мы придем к (статической) двумерной абелевой модели Хиггса, которая была полностью исследована Таубсом [2]. Все ее решения разбиваются на классы, параметризуемые целочисленным топологическим инвариантом, называемым иначе вихревым числом. Решения с вихревым числом N (они называются N -вихревыми для N > 0 и |N |-антивихревыми при N < 0) однозначно (с точностью до калибровочной эквивалентности) определяются нулями поля Φ, количество которых (с учетом кратности) равно в точности |N | . Тем самым пространство модулей N -вихревых решений при N > 0 можно отождествить с CN (и аналогично при N < 0). С физической точки зрения нули поля Φ интерпретируются как положения центров вихрей, и важной физической задачей является исследование их траекторий. Однако, хотя статические решения модели полностью описаны, получить сколь-нибудь явное описание движения вихрей не представляется возможным. Для приближенного описания этого движения используется так называемый адиабатический принцип. Первоначально он был предложен из эвристических соображений Мэнтоном [3] в сходной задаче о динамике магнитных монополей; к задаче о динамике вихрей его применил Рубак [4]. Суть принципа заключается в том, что движение системы из N медленно движущихся вихрей можно приближенно описывать геодезическими на пространстве модулей статических N -вихревых решений в метрике, задаваемой кинетической энергией (кратко - кинетической метрикой). Получить явные формулы для этой метрики не удается даже в случае N = 2, однако ее свойства подробно изучались как аналитическими, так и численными методами. Это позволило (в предположении верности адиабатического принципа) сделать выводы и о динамике вихрей. В частности, многие авторы рассматривали задачу о рассеянии двух вихрей. Из работ на эту тему, кроме [4], можно отметить статью Сергеева и Чечина [5], авторы которой описали кинетическую метрику в случае N = 2, а также работы Сэмолса [6] и Стюарта [7]. В работе [8] для произвольного N установлена гладкость кинетической метрики 294 Рассеяние вихрей в абелевых моделях Хиггса . . . в симметрических координатах. Это позволило доказать, что при лобовом симметричном столкновении N вихрей они рассеиваются на угол π/N . Адиабатический принцип для абелевой (2+1)-мерной модели Хиггса на плоскости в критическом случае был строго обоснован в статье [9]. Абелевы модели Хиггса на римановых поверхностях обобщают модель на плоскости. В результате получается целый класс моделей; некоторые их свойства аналогичны свойствам модели на плоскости, некоторые свойства модели на плоскости утрачиваются, а иногда возникают и новые свойства. Исходными данными для модели на римановой поверхности служат риманова поверхность, заданная на ней кэлерова метрика, линейное расслоение над римановой поверхностью и метрика в слоях этого расслоения. Все эти элементы могут задаваться произвольно. Очевидно, к примеру, что свойства модели на плоскости, следующие из инвариантности задачи относительно поворотов и параллельных переносов плоскости, не имеют аналогов в общих моделях на римановых поверхностях (хотя при рассмотрении частных случаев - моделей с некоторой симметрией такие аналоги могут появляться). Оказывается, однако, что в моделях на римановых поверхностях сохраняется такое важное свойство, как наличие класса статических решений (и даже минимумов потенциальной энергии), параметризуемых (с точностью до некоторой эквивалентности) нулями поля Φ. (В моделях на римановых поверхностях поле Φ представляет собой сечение линейного расслоения. При этом в случае компактных римановых поверхностей число нулей не может быть произвольным, как в случае плоскости, а обязано быть равным степени расслоения.) Вследствие этого правомерно ставить вопрос об описании движения нулей поля Φ (вихрей) в динамических моделях. Кинетическую метрику можно определить и в моделях на римановых поверхностях. Предполагается, что для всех моделей на римановых поверхностях верен аналог адиабатического принципа (хотя доказательство такого аналога получено лишь в частных случаях; примером может служить работа [10]). Использование адабатического принципа сводит задачу о динамике вихрей при малых скоростях к задаче об изучении геодезических кинетической метрики. В модели на плоскости утверждение о рассеянии N вихрей при лобовом симметричном столкновении на угол π/N с помощью адиабатического принципа сводится к утверждению о рассеянии на угол π/N нулей элементов пространства модулей статических N -вихревых решений при движении, определяемом геодезическими кинетической метрики на этом простанстве модулей. Оказывается, что можно сформулировать локальный аналог последнего утверждения, который следует просто из того, что в координатах, определяемых симметрическими функциями положений вихрей, кинетическая метрика в модели на плоскости является гладкой (и, как следствие, ее геодезические являются гладкими кривыми). Кажется естественным ожидать, что утверждение, следующее из столь общего свойства и притом локальное, сохранится в моделях на римановых поверхностях. Действительно, пространство модулей статических N -вихревых решений в любой абелевой модели на римановой поверхности X является N -ной симметрической степенью SymN X поверхности X. Выбрав локальную карту Z в окрестности точки z0 ∈ X, мы сможем ввести локальную карту на SymN X в окрестности точки (z0 , z0 , . . . , z0 ), поставив в соответствие неупорядоченному набору N точек X с координатами {Z1 , . . . , ZN } симметрические функции координат Z1 , . . . , ZN . Для доказательства локального утверждения о рассеянии достаточно показать, что 295 П а л ь в е л е в Р. В. кинетическая метрика на пространстве модулей N -вихревых решений является гладкой в этих симметрических координатах в окрестности каждой точки, соответствующей совпадению положений всех вихрей (т.е. точки вида (z0 , z0 , . . . , z0 )). Доказательство этого свойства гладкости в случае компактных римановых поверхностей и является основной задачей данной статьи. Используемые методы аналогичны тем, что применялись в [8]. В предположении, что в абелевых моделях Хиггса остается справедливым адиабатический принцип, можно утверждать, что при невырожденном симметричном столкновении N вихрей (точное определение приведено в разделе 3) происходит локальное рассеяние на угол π/N . (Здесь движение нулей определяется уже не геодезическими на пространстве модулей статических решений, а динамическими уравнениями модели.) 1. Абелевы модели Хиггса на компактных римановых поверхностях 1.1. Статические модели на римановых поверхностях. Пусть X - компактная риманова поверхность, а L → X - комплексное линейное (т.е. одномерное) расслоение над X. Предположим, что на X задана метрика g, согласованная с комплексной структурой, а ω = ωg - соответствующая кэлерова форма (форма объема). Пусть также на L фиксирована эрмитова метрика h. Пусть A - U (1)-связность (эрмитова связность) в L. Обозначим через dA внешнюю ковариантную производную, задаваемую связностью A, а через FA форму кривизны связности. Пусть также Φ - гладкое сечение расслоения L. Определим функционал потенциальной энергии V формулой V (A, Φ) = 1 2 |dA Φ|2 + |FA |2 + X λ (|Φ|2 - 1)2 ω. h 4 (1) (В дальнейшем индекс h будем опускать, если это не будет вести к непониманию.) Функционал (1) инвариантен относительно (статических) калибровочных преобразований, задаваемых формулами A -→ A - f -1 df, Φ -→ f Φ, (2) где f ∈ C ∞ (X, U (1)). 1.2. Вихревые уравнения. C помощью тождеств Кэлера (см. [11]) можно переписать функционал (1) в следующем виде: ¯ |∂A Φ|2 + V (A, Φ) = X 2 1 1 ω iFA - (|Φ|2 - 1) ω+ 2 2 i λ-1 + FA + 2 X 8 (|Φ|2 - 1)2 ω. (3) X ¯ Здесь через ∂A Φ обозначена (0, 1)-компонента внешней ковариантной произω водной dA Φ, а FA = (FA , ω) = FA /ω (такое же обозначение будет использоваться дальше и для других 2-форм). Эту формулу можно доказать и непосредственно, показав прямым вычислением, что разность выражений (3) и (1) dA Φ есть интеграл от формы d |Φ|2 . Φ В дальнейшем мы будем рассматривать только случай λ = 1 (критический случай). В этом случае последнее слагаемое в формуле (3) исчезает. 296 Рассеяние вихрей в абелевых моделях Хиггса . . . Предпоследнее же слагаемое не зависит от выбора пары (A, Φ) и имеет топологический смысл - оно равно πN , где целое число N := deg(L) = c1 (L) - степень, или число Черна, расслоения L. Будем предполагать, что N 0. Тогда из выражения (3) следует, что V (A, Φ) πN , причем равенство достигается только на решениях уравнений ¯ ∂A Φ = 0, 1 ω iFA = (1 - |Φ|2 ). 2 Эти уравнения, как и в случае плоскости, называются вихревыми уравнениями. Они инвариантны относительно статических калибровочных преобразований (2). В случае компактных римановых поверхностей имеется необходимое условие разрешимости вихревых уравнений. В самом деле, проинтегрировав второе уравнение относительно формы ω по X, мы получим соотношение 2πc1 (L) = i FA = X 1 2 ω- X 1 2 1 1 |Φ|2 ω = V olg (X) - Φ 2 2 X 2 L2 . Поэтому для разрешимости второго уравнения необходимо, чтобы выполнялось неравенство 1 V olg (X). N = c1 (L) 4π Если это условие не выполняется, можно заменить метрику g на пропорциональную ей метрику τ g, τ > 0. После подходящей перемасштабировки функционал (1) для новой метрики можно переписать в виде V (A, Φ) = 1 2 |dA Φ|2 + |FA |2 + X λ (|Φ|2 - τ )2 ω. h 4 (4) Масштабный множитель τ появится тогда и в системе вихревых уравнений, которая примет вид ¯ ∂A Φ = 0, (5) 1 ω iFA = (τ - |Φ|2 ). 2 Условие разрешимости в этом случае будет записываться в виде c1 (L) τ V olg (X). 4π Мы будем предполагать, что выполнено строгое неравенство c1 (L) < τ V olg (X). 4π Оказывается, в этом случае решения вихревых уравнений (5) полностью характеризуются нулями Φ (с точностью до калибровочной эквивалентности). Более точно, верна следующая теорема. Теорема Брэдлоу, см. [11]. Пусть расслоение L таково, что c1 (L) = N > 0. 297 П а л ь в е л е в Р. В. Пусть τ V olg (X). 4π Пусть далее D - положительный дивизор на X степени N, т.е. c1 (L) < dj Zj , dj > 0, Zj ∈ X, D= j dj = N. j Тогда существует единственное с точностью до калибровочной эквивалентности решение (A, Φ) вихревых уравнений (5) такое, что нули Φ - это точки Zj с кратностями dj . Кроме того, голоморфное линейное расслоение L с голоморфной структу¯ рой, заданной оператором ∂A , эквивалентно голоморфному линейному расслоению LD , задаваемому дивизором D. Решения вихревых уравнений с вихревым числом N называются N -вихревыми решениями, или N -вихрями. Из теоремы Брэдлоу следует, что пространство модулей N -вихрей в расслоении L, определяемое как факторпространство MN = {N -вихри (A, Φ)} , {статические калибровочные преобразования} можно отождествить с N -ной симметрической степенью поверхности X: MN = SymN X, т.е. с пространством неупорядоченных наборов из N точек X. Симметрическая степень SymN X является комплексным N -мерным многообразием. 1.3. Динамические модели на римановых поверхностях. Динамическая модель может быть получена из любой статической модели на римановой поверхности следующим образом. Рассмотрим прямое произведение X × R (нa R введем координату t). Прямое произведение L × R даст нам расслоение над X × R. Рассмотрим пары (A, Φ), где A - U (1)-связность в L × R, а Φ - сечение этого расслоения. Тогда для любой локальной координаты z на X форма связности A запишется в виде A(z, t) = A0 (z, t)dt + A(t), где A(t) при каждом t - связность в L, а A0 (·, t) - функция на X. Определим теперь функционал кинетической энергии T выражением T (A, Φ) = 1 2 ˙ ˙ |A - dA0 |2 + |Φ + A0 Φ|2 ω. (6) X Здесь точка обозначает производную по времени. Функционал действия S теперь можно определить стандартной формулой S = (T -V )dt, где потенциальная энергия V при каждом t задана выражением (4). Динамическими решениями модели будем называть экстремали функционала действия S . Функционал S инвариантен относительно динамических калибровочных преобразований, задаваемых формулами A -→ A - f -1 df, 298 Φ -→ f Φ, Рассеяние вихрей в абелевых моделях Хиггса . . . где f ∈ C ∞ (X × R, U (1)). С помощью выбора калибровки (то есть применения подходящего калибровочного преобразования) можно добиться выполнения условия A0 ≡ 0, тогда кинетическая энергия примет вид T (A, Φ) = 1 2 ˙ ˙ |A|2 + |Φ|2 ω. X В таком виде функционал T задает метрику на пространстве модулей N вихревых решений MN (называемую кинетической метрикой). Действительно, пусть Q0 ∈ MN , а v - касательный вектор к MN в точке Q0 . Рассмотрим произвольную гладкую кривую Q(t) на MN (т.е. Q : (-δ, δ) → MN ) с каса˙ тельным вектором v при t = 0 (т.е. Q(0) = Q0 , Q(0) = v). Ей можно поставить в соответствие гладкую кривую из представителей классов Q(t), т.е. кривую из статических решений (A(t), Φ(t)), так, чтобы производные ∂t A, ∂t Φ в точке t = 0 были квадратично интегрируемы. (Напомним, что ∂t A - числовая 1форма на X.) Тогда можно положить v 2 = 1 ( ∂t Φ 2 2 L2 + ∂t A 2 L2 ) t=0 . Более точно кривая статических решений выбирается не произвольно, а таким образом, чтобы выполнялось некоторое дифференциальное условие (так называемое условие ортогональности). Остается проверить, что определенная таким образом метрика не зависит от выбора гладкой кривой Q(t). Подробное описание кинетической метрики приведено ниже, в разделе 2. Как уже говорилось во ведении, выбрав локальную карту Z в окрестности точки z0 ∈ X, мы сможем ввести локальную карту на SymN X в окрестности точки (z0 , z0 , . . . , z0 ), поставив в соответствие неупорядоченному набору N точек X с координатами {Z1 , . . . , ZN } симметрические функции координат Z1 , . . . , ZN , то есть коэффициенты S1 , . . . , SN многочлена степени N с единичным старшим коэффициентом, имеющего нули в точках Z1 , . . . , ZN (с учетом кратности): p(z) = (z - Z1 ) . . . (z - ZN ) = z N + S1 z N -1 + · · · + SN -1 z + SN . Числа S1 , . . . , SN могут служить координатами на пространстве модулей MN . Для удобства введем вещественные координаты q µ , µ = 1, 2, . . . , 2N , полагая q 2j-1 = Re Sj и q 2j = Im Sj для j = 1, . . . , N . Мы покажем, что кинетическая метрика на пространстве модулей N -вихревых решений является гладкой в координатах S1 , . . . , SN в окрестности каждой точки, соответствующей совпадению положений всех вихрей (т.е. точки вида (z0 , z0 , . . . , z0 )). Значит, ее геодезические представляют собой гладкие кривые. Как уже говорилось во введении, из этого следует, что нули соответствующих полей (сечений) Φ рассеиваются под углом π/N при локальном симметричном столкновении (см. раздел 3). Предполагается, что в моделях на римановых поверхностях верен адиабатический принцип, упомянутый во введении, то есть геодезические кинетической метрики можно рассматривать как приближения к «медленным» динамическим решениям с N вихрями. Обоснование адиабатического принципа для случая двух вихрей на римановой сфере дано Стюартом в статье [10]. 299 П а л ь в е л е в Р. В. В предположении, что адиабатический принцип верен, можно доказать, что при невырожденном приближенно симметричном столкновении N вихрей в абелевой модели Хиггса на компактной римановой поверхности происходит рассеяние на угол π/N , то есть если касательные к траекториям сталкивающихся вихрей в точке столкновения образуют друг с другом углы величины 2π/N , то и касательные к траекториям вылета после столкновения также будут образовывать друг с другом углы величины 2π/N , но они будут повернуты на половинный угол π/N по отношению к траекториям вихрей, влетающих в точку столкновения. Более точное описание сформулировано в разделе 3. 1.4. Абелева (2 + 1)-мерная модель Хиггса на плоскости. Абелевы модели Хиггса на римановых поверхностях представляют собой обобщения стандартной абелевой (2 + 1)-мерной модели Хиггса на двумерной плоскости, которая возникла в теории сверхпроводимости. В этом разделе мы опишем последнюю модель. Динамическая (2 + 1)-мерная модель Хиггса на плоскости задается функционалом действия S (A, Φ) = 1 2 t2 2 2 |(∂0 - iA0 )Φ|2 + F01 + F02 - dt R2 t1 λ (|Φ|2 - 1)2 dxdy . (7) 4 Здесь Φ(t, x, y) - гладкая комплекснозначная, а Aj (t, x, y) - гладкие вещественнозначные функции (j = 0, 1, 2); Fjk := ∂j Ak - ∂k Aj . (Мы обозначаем x0 = t, x1 = x, x2 = y и ∂0 = ∂t , ∂1 = ∂x , ∂2 = ∂y .) Константа λ > 0 - параметр модели. С физической точки зрения A0 , A1 , A2 рассматриваются как компоненты вектор-потенциала электромагнитного поля, а Φ - как взаимодействующее с ним скалярное комплексное поле (в теории сверхпроводимости функция Φ представляет собой волновую функцию пар Купера - носителей сверхпроводящего тока). Функционал действия можно представить в стандартной форме 2 - |(∂1 - iA1 )Φ|2 + |(∂2 - iA2 )Φ|2 + F12 + S = (T - V )dt , где потенциальная энергия V задается формулой V (A1 , A2 , Φ) = 1 2 R2 2 |(∂1 - iA1 )Φ|2 + |(∂2 - iA2 )Φ|2 + F12 + + λ (|Φ|2 - 1)2 dxdy, (8) 4 а кинетическая энергия T = 1 2 R2 2 2 |(∂0 - iA0 )Φ|2 + F01 + F02 dxdy . (9) Уравнения Эйлера-Лагранжа для функционала (7) называются уравнениями Гинзбурга-Ландау, а его экстремали - динамическими решениями (2 + 1)-мерной модели Хиггса. 300 Рассеяние вихрей в абелевых моделях Хиггса . . . Функционал действия (7) инвариантен относительно калибровочных преобразований, задаваемых посредством Aµ -→ Aµ + ∂µ χ, Φ -→ eiχ Φ, µ = 0, 1, 2, где χ - гладкая вещественнозначная функция на R1+2 . Уравнения Гинзбурга-Ландау также инвариантны относительно калибровочных преобразований. Статическими решениями абелевой (2 + 1)-мерной модели Хиггса называются решения, для которых A0 ≡ 0 и A1 , A2 , Φ не зависят от времени t. В этом случае кинетическая энергия T тождественно равна нулю. Иными словами, статические решения - это тройки функций A1 , A2 , Φ на плоскости, являющиеся экстремалями функционала потенциальной энергии V . Они инвариантны относительно статических калибровочных преобразований, задаваемых гладкой вещественнозначной функцией χ(x1 , x2 ). Фукционал потенциальной энергии можно представить в виде (1). Введем на плоскости комплексную координату z = x1 + ix2 . Функцию Φ(x1 , x2 ) можно интерпретировать как сечение тривиального комплексного линейного расслоения над плоскостью R2 = C, снабженного стандартной эрмитовой метрикой в слоях. 1-форма A = -iA1 dx1 - iA2 dx2 задает связность в этом тривиальном расслоении (причем эрмитову, или U (1)-связность; саму связность также будем обозначать буквой A). Форма кривизны связности A есть 2-форма FA = -dA = iF12 dx1 ∧ dx2 , внешняя ковариантная производная сечения Φ определяется выражением dA Φ = dΦ + AΦ. Выражение (8) для функционала потенциальной энергии теперь можно переписать в виде 1 λ |dA Φ|2 + |FA |2 + (|Φ|2 - 1)2 dx1 dx2 , 2 R2 4 полностью аналогичном выражению (1). Несложно также проверить, что выражение (9) для кинетической энергии, по сути, является частным случаем (6). 2. Описание кинетической метрики Вернемся к моделям на римановых поверхностях. В этом разделе мы приведем точное определение кинетической метрики в этих моделях, следуя работам [7, 8]. Касательное пространство к пространству N -вихрей MN в точке, отвечающей N -вихрю (A, Φ), образовано решениями линеаризованных вихревых уравнений ¯ ∂A ϕ + a0,1 Φ = 0 (10) ∗ida + Re ϕ, Φ h = 0 , V (A, Φ) = задаваемыми парами (a, ϕ), где a - 1-форма на X с чисто мнимыми коэффициентами, а ϕ - сечение L. Эти решения следует рассматривать с точностью до инфинитезимальных калибровочных преобразований, определяемых формулой (a, ϕ) -→ (a - idχ, ϕ + iΦχ), 301 П а л ь в е л е в Р. В. где χ - гладкая вещественнозначная функция на X. Мы будем рассматривать решения линеаризованных уравнений в пространстве Соболева H 1 (X) = = W 1,2 (X) и калибровочные преобразования, задаваемые функциями χ из пространства H 2 (X; R). Более строго, (a, ϕ) ∈ H1 ⊕ H 1 (X; C), где H1 := H 1 (X; iR) ⊗ T ∗ X. Левые части уравнений (10) задают линеаризованный вихревой оператор ¯ D(A,Φ) (a, ϕ) = ∂A ϕ + a0,1 Φ, ∗ida + Re ϕ, Φ h . В этих терминах касательное пространство к MN в заданной точке (A, Φ) описывается как T(A,Φ) MN = {(a, ϕ) : D(A,Φ) (a, ϕ) = 0} . {инфинитезимальные калибровочные преобразования} Можно избавиться от факторизации по модулю инфинитезимальных калибровочных преобразований с помощью фиксации инфинитезимальной калиб∗ ровки. Для этого воспользуемся оператором δΦ , L2 -сопряженным к калибровочному оператору δΦ : χ -→ (idχ, -iΦχ). Иными словами, будем фиксировать инфинитезимальную калибровку с помощью условия ∗ δΦ (a, ϕ) = 0. (11) Хотелось бы получить решения линеаризованных вихревых уравнений с помощью дифференцирования определенным образом выбранных решений по координатам. Если эти решения (a, ϕ) не будут удовлетворять калибровочному условию (11), можно заменить их на калибровочно эквивалентные так, чтобы выполнялось условие ∗ δΦ ((a, ϕ) + δΦ χ) = 0. Т.е. нужно найти χ из уравнения ∗ ∗ δΦ δΦ χ = -δΦ (a, ϕ). Оператор в левой части этого уравнения имеет вид d∗ d + |Φ|2 , аналогичный оператору -∆ + |Φ|2 , который изучен в работе [8]. Те же рассуждения, что и приведенные в этой работе, показывают, что оператор d∗ d + |Φ|2 , рассматриваемый как оператор из H 2 (X; R) в L2 (X; R), обратим (то есть имеет ограниченный обратный). Теперь рассмотрим окрестность точки Q0 пространства модулей MN , отвечающей решению, все нули которого совпадают и расположены в некоторой точке Z0 . В этой окрестности, как уже говорилось, можно ввести координаты, взяв любую карту, содержащую точку Z0 , и рассмотреть симметрические функции координат zj вихрей: xp(z) = (z - z1 ) . . . (z - zN ) = z N + S1 z N -1 + · · · + SN -1 z + SN . 302 Рассеяние вихрей в абелевых моделях Хиггса . . . Также введем вещественные координаты q µ , µ = 1, 2, . . . , 2N , полагая q 2j-1 = = Re Sj и q 2j = Im Sj для j = 1, . . . , N . Кинетическая метрика определяется следующим образом. Сначала мы для каждой точки Q ∈ MN в окрестности Q0 выбираем из класса калибровочно эквивалентных статических решений (A, Φ) ∈ Q одно решение (каноническое). Поскольку в окрестности точки Q0 введены координаты q µ , получаем семейство решений, зависящих от параметров q = (q µ , µ = 1, . . . , 2N ); обозначим их (A(q), Φ(q)). Выбор решения будем производить так, чтобы (A(q), Φ(q)) гладко зависели от параметров q. Зафиксируем в расcматриваеµ мой окрестности точки Q точку Q1 ∈ MN с координатами q1 = (q1 ) и рассмотрим производные ∂qµ (A(q), Φ(q))|q=q1 . Они являются решениями вихревых уравнений, линеаризованных около точки (A(q1 ), Φ(q1 )). Иными словами, D(A(q1 ,Φ(q1 )) ∂qµ (A(q), Φ(q))|q=q1 = 0. Эти производныe не обязаны удовлетворять калибровочному условию (11), поэтому заменим их на инфинитезимально калибровочно эквивалентные, то есть найдем функции χµ из условий ∗ δΦ(q1 ) ∂qµ (A(q), Φ(q))|q=q1 + δΦ(q1 ) χµ = 0. Как уже указывалось, для этого нужно решить уравнения ∗ ∗ δΦ(q1 ) δΦ(q1 ) χ = -δΦ(q1 ) ∂qµ (A(q), Φ(q))|q=q1 , используя обратимость оператора в левой части. Положим nµ (q1 ) = ∂qµ (A(q), Φ(q))|q=q1 + δΦ(q1 ) χµ и отождествим касательное пространство к MN в точке Q1 с линейной оболочкой векторов nµ (q1 ), µ = 1, 2, . . . , 2N , ставя в соответствие вектору ∂qµ ∈ TQ1 MN вектор nµ (q1 ). После этого кинетическая метрика определяется с помощью L2 -скалярного произведения, то есть мы полагаем в координатах q = (q µ ) gµν (q1 ) := nµ (q1 ), nν (q1 ) L2 , µ, ν = 1, 2, . . . , 2N. Метрика получается гладкой в координатах q µ , если канонические решения выбраны так, что они гладко зависят от координат, то есть (A(q), Φ(q)) гладко зависят от q. Для того чтобы построить семейства решений, которые гладко зависят от параметров q µ , обратимся к доказательству теоремы Брэдлоу, приведенному в его работе [11]. Брэдлоу замечает, что первое из вихревых уравнений означает, что сечение Φ является голоморфным сечением относительно голо¯ морфной структуры в расслоении L, задаваемой оператором ∂A . Для построения решения нужно решить следующую задачу. Задача 1. Для данного расслоения L с эрмитовой метрикой h найти такую эрмитову связность A и такое сечение Φ, чтобы Φ было голоморфно ¯ относительно ∂A и удовлетворяло второму вихревому уравнению. 303 П а л ь в е л е в Р. В. Для нахождения ее решения Брэдлоу рассматривает следующую вспомогательную задачу. Задача 2. Для данного эрмитова расслоения с фиксированной голоморф¯ ной структурой (L, h, ∂L ) и заданного голоморфного сечения Φ найти такую эрмитову метрику H, конформно эквивалентную h, что (единственная) сов¯ местимая с H и ∂L связность AH удовлетворяет второму вихревому уравнению 1 ω iFAH = (τ - |Φ|2 ). (12) H 2 На решениях задачи 2 действует комплексифицированная калибровочная группа GC = C ∞ (X, C∗ ) по формулам ¯ ¯ ¯ ∂ → g(∂L ) = g ◦ ∂L ◦ g -1 , Φ → gΦ, H → |g -1 |H. Утверждается, что имеется биекция между факторпространством решений задачи 1 по действию группы G = C ∞ (X, U (1)) и факторпространством решений задачи 2 по действию группы GC = C ∞ (X, C∗ ). Чтобы получить решение задачи 1 из решения задачи 2, рассматривается конформный множитель k 2 такой, что H = k 2 h, k > 0, вводится новая голо¯0 ¯ ˜ морфная структура ∂L = k ◦ ∂L ◦ k -1 , находится единственная связность A, ¯0 и с метрикой h, и вводится совместимая с новой голоморфной структурой ∂L ˜ ˜ ˜ сечение Φ = kΦ. Пара (A, Φ) является решением задачи 1. Решение задачи 2 сводится к решению нелинейного эллиптического уравнения типа Лиувилля следующим образом. Будем искать новую метрику H в виде H = he2u . Пусть Ah - это единственная связность, совместимая с h и ¯ ∂L . Тогда, подставляя H = he2u в уравнение (12), получаем уравнение ω -∆u = iFAh - 1 τ + |Φ|2 e2u . 2 2 h ω Теперь избавимся от члена f1 := iFAh - τ /2 в правой части. Мы не можем решить уравнение Лапласа вида -∆v = f1 , поскольку можно вычесть из f1 константу - ее среднее по X: 0 f1 := 1 V olg (X) Поскольку X f1 ω = X 1 V olg (X) X ω iFAh - f1 ω = 0. Однако X τ 2πc1 (L) τ ω= - < 0. 2 V olg (X) 2 0 0 (f1 - f1 )ω = 0, уравнение Лапласа ∆v = f1 - f1 имеет решение v. Полагая u = v + w, получаем для w уравнение типа Лиувилля: 1 0 -∆w = f1 + |Φ|2 e2v e2w . 2 h (13) Уравнение (13) изучено в работе Каждана и Уорнера [12], в ней установлено, что при наших условиях оно имеет единственное гладкое решение. Теперь нужно доказать, что если коэффициенты уравнения (13) гладко зависят от параметров (координат на SymN X), то и решение уравнения гладко 304 Рассеяние вихрей в абелевых моделях Хиггса . . . зависит от параметров. Это можно сделать аналогично работе [8], используя теорему о неявной функции на банаховом (гильбертовом) пространстве. Обозначим окрестность точки q1 ∈ CN через U . Мы определяем отображение из U × H 2 (X; R): 1 0 F (q, w) := ∆w + f1 + |Φ(q)|2 e2v(q) e2w . h(q) 2 Решение уравнения (13) есть неявная функция w(q), определяемая уравнением F (q, w(q)) = 0. Гладкость отображения q → w(q) (как отображения из U в H 2 (X; R)) следует из гладкости отображения F по q и теоремы о неявной функции. Для того чтобы применить указанную теорему, нужно доказать, что производная по функциональному аргументу Fw (q, w) обратима как оператор из H 2 (X; R) в L2 (X; R). Эта производная задается следующим оператором: Fw (q, w)ψ = ∆ψ + |Φ|2 e2v e2w ψ. h Он имеет вид ψ → ∆ψ+Ξψ, где функция Ξ - гладкая неотрицательная функция, имеющая лишь конечное число нулей. Его обратимость можно доказать теми же методами, что и в [8], поскольку оператор имеет аналогичный вид (следует учесть, что здесь ∆ - положительный оператор). Доказательство теоремы Брэдлоу завершается следующим образом. Если D заданный дивизор, то существует единственное голоморфное расслоение LD с дивизором D и некоторым голоморфным каноническим сечением Φ0 . Поскольку степень LD такая же, как и степень L, эти расслоения эквивалентны. Перенося с помощью изоморфизма с LD на L голоморфную структуру и сечение, мы оказываемся в условиях задачи 2. Можно проверить, что указанное семейство изоморфизмов также можно сделать гладко зависящим от параметров. 3. Локальное симметричное рассеяние Как уже говорилось во введении, из свойства гладкости кинетической метрики можно вывести, что при одновременном столкновении N вихрей в одной точке под равными углами при некотором условии невырожденности наблюдается локальное рассеяние на угол π/N , то есть их траектории поворачиваются на угол π/N после столкновения. Это делается следующим образом. Предположим, что мы изучаем динамику неупорядоченного набора точек {z1 , . . . , zn } в комплексной плоскости, которые являются корнями многочлена p(z, s) = z n + S1 (s)z n-1 + · · · + Sn (s), причем его коэффициенты S1 (s), . . . , Sn (s) - гладкие функции параметра s. В частности, так ведут себя n вихрей, движение которых задается геодезическими на пространстве модулей Mn . (В этом случае через s будем обозначать натуральный параметр на геодезических.) Нас интересует поведение нулей многочлена p(z, s) в окрестности значения s = s0 , при котором все корни попадают в одну и ту же точку z0 : p(z, s0 ) = (z - z0 )n . Для упрощения записи будем считать, что z0 = 0. Невырожденным приближенно симметричным столкновением n нулей в точке 0 назовем движение, 305 П а л ь в е л е в Р. В. при котором n нулей при s → 0- находятся в точках Ceiθ0 e2πik/n n |s|(1 + o(1)), k = 0, 1, . . . , n - 1, для некоторого θ0 ∈ R и C > 0, в момент s = 0 все n нулей находятся в точке 0. Теорема 1. При приближенно симметричном невырожденном столкновении n нулей они рассеиваются под углом π/n, т.е. при s → 0+ нули будут находиться в точках вида √ π Cei(θ0 + n ) e2πik/n n s(1 + o(1)), k = 0, 1, . . . , n - 1. Д о к а з а т е л ь с т в о. Пусть кривая, описывающая движение нулей, в симметрических координатах имеет вид S1 = S1 (s), . . . , Sn = Sn (s). По условию многочлен z n + S1 (0)z n-1 + · · · + SN (0) имеет в точке z = 0 нуль кратности n, т.е. S1 (0) = · · · = Sn (0) = 0. Перемножая координаты нулей, можно получить, что (-1)n Sn (s) = (-1)n-1 C n einθ0 |s|(1 + o(1)) при s → 0- . Поскольку Sn (s) - гладкая функция, Sn (0) = C n einθ0 и Sn (s) = = C n einθ0 s + O(s2 ) при s → 0. Если бы все коэффициенты многочлена S(s, z), кроме первого и последнего, были тождественными нулями, то при s > 0 его нули находились бы в точках zk (s), являющихся корнями n-ной степени из -Sn (s), а они имеют вид zk (s) = Ceiθ0 eπi/n+2πik/n √ n s(1 + O(s)), k = 0, 1, . . . , n - 1. Покажем, что и в общем случае корни из -Sn (s) определяют главные члены асимптотики положений нулей многочлена S(s, z) в окрестности точки s = 0. Более точно при достаточно малых s > 0 можно так выбрать радиус r(s) = c0 s2/n , чтобы круги радиусом r(s) с центрами в точках zk (s) не пересекались и каждый их них содержал ровно один нуль многочлена S(s, z). Чтобы найти такой радиус, воспользуемся теоремой Руше. Она гарантирует, что в круге с центром zk (s) и радиусом r(s) многочлен S(s, z) имеет столько же нулей, сколько многочлен z n + Sn (s) (т.е. ровно один), если на границе этого круга выполнено неравенство |S1 (s)z n-1 + · · · + Sn-1 (s)z| < |z n + Sn (s)|. (14) Выберем точку Z = zk (s) + r(s)eiθ на границе k-того круга. Тогда n-1 n Z n + Sn (s) = zk (s) + nr(s)eiθ zk (s) + Sn (s) + O(s1+2/n ) = n-1 nc0 s2/n eiθ zk (s) + O(s1+2/n ), откуда |Z n + Sn (s)| = nc0 C n-1 s1+1/n + O(s1+2/n ). 306 (15) Рассеяние вихрей в абелевых моделях Хиггса . . . Поскольку коэффициенты Sj (s) - гладкие функции параметра s, равные нулю при s = 0, то Sj (s) = O(s) при s → 0+ для всех j = 1, . . . , n - 1. Так как Z = O(s1/n ), для j = 1, . . . , n - 2 верно |Sj (s)Z n-j | = O(s1+2/n ). Вклад порядка s1+1/n дает лишь линейный член: |Sn-1 (s)Z| = |Sn-1 (0)|Cs1+1/n + O(s1+2/n ). Сравнивая эту величину с правой частью (15), можно заключить, что если выбрать |S (0)| , c0 > n-1 nC n-2 то при достаточно малых s неравенство (14) действительно будет выполняться на границах кругов радиуса c0 s2/n с центрами в точках zk (s). Значит, в каждом из этих кругов найдется ровно один нуль многочлена S(s, z). Тем самым утверждение теоремы доказано. Более того, можно уточнить порядок следующего члена асимптотики поведения рассеивающихся нулей: при s → 0+ они располагаются в точках вида √ π Cei(θ0 + n ) e2πik/n n s(1 + O(s1/n )), k = 0, 1, . . . , n - 1. В общем случае приближенно симметричным столкновением n нулей в точке 0 естественно назвать движение, при котором n нулей при s → 0- находятся в точках eiθ0 e2πik/n λ(s)(1 + o(1)), k = 0, 1, . . . , n - 1, для некоторого θ0 ∈ R и некоторой монотонно убывающей непрерывной положительной функции λ(s), а в момент s = 0 все n нулей находятся в точке 0 (т.е. λ(0) = 0). Из доказательства теоремы 1 видно, что свободный член многочлена S(s, z), корни которого являются положениями сталкивающихся нулей, в этом случае имеет асимптотику Sn (s) = -einθ λn (s)(1 + o(1)), s → 0- . Поскольку Sn (s) - гладкая функция и Sn (0) = 0, ясно, что Sn (s) = O(s) при s → 0- . Если Sn (0) = 0, то |λ(s)| ∼ n |s|, т.е. имеет место случай невырожденного столкновения, рассмотренный в теореме. В противном случае Sn (s) = O(s2 ) и λ(s) = O(|s|2/n ). Этот случай назовем вырожденным столкновением. Для его изучения свойства гладкости функций Sk (s) недостаточно, необходимо изучать члены в разложении координат Sk (s) порядка выше первого. В частности, в задачах о рассеянии вихрей в моделях Хиггса заведомо имеются случаи невырожденного рассеяния (они задаются геодезическими, выходящими из точки с симметрическими координатами (0, . . . , 0) и имеющими касательный вектор с ненулевой последней координатой) и, вообще говоря, нельзя исключить случаев вырожденного рассеяния (соответствующих геодезическим, касательный вектор которых имеет нулевую последнюю координату). Случаи вырожденного рассеяния не удается изучить столь общими средствами. В абелевой (2 + 1)-мерной модели на плоскости удается 307 П а л ь в е л е в Р. В. доказать отсутствие вырожденного рассеяния, если общее количество вихрей равно 2 или 3. В этих случаях в силу инвариантности задачи относительно параллельных переносов и поворотов плоскости можно показать, что если два (или три) вихря оказываются в какой-то момент времени в одной точке и при этом не происходит невырожденного рассеяния, то они при всех значениях времени находятся в одной и той же точке, а эта точка движется равномерно и прямолинейно. К сожалению, в моделях на римановых поверхностях пока не удается исключить возможности вырожденного рассеяния даже в случае двух вихрей.

About the authors

Roman V Palvelev

M. V. Lomonosov Moscow State University

Email: palvelev@mi.ras.ru
(Cand. Phys. & Math. Sci.; palvelev@mi.ras.ru), Associate Professor, Dept. of Theory of Functions and Functional Analysis. Vorob'evy gory, Moscow, 119899, Russian Federation

References

Supplementary files