Заключение
В настоящей работе были введены операторы координаты и импульса, пригодные для квантования в окрестности классического поля, нетривиально зависящего от времени. В следующей работе с помощью групповых переменных Боголюбова будет построена теория возмущений и дано полностью релятивистски инвариантное описание (3 + 1)-мерной Пуанкаре-инвариантной квантовой системы с ненулевой классической компонентой.
Работа выполнена при поддержке грантов Президента России НШ-1450.2003.2 и НШ-1685.2003.2 и грантов научной программы «Университеты России» УР.02.03.002 и УР.02.03.028.
Литература
1. Боголюбов H.H. // Укр. матем. журн. 1950. 2. № 2. С. 3; Избр. тр. Киев, 1970. 2. С. 499.
2. Солодовникова Е.П., Тавхелидзе А.Н., Хрусталев O.A. // ТМФ. 1972. 10. С. 162; П. С. 317; 1973. 12. С. 164.
3. Khrustalev О.A., Razumov A.V., Taranov A.Yu. // Nucl. Phys. В. 1980. 172. P. 44.
4. Branco G.C., Sakita В., Senjanovic P. // Phys. Rev. D. 1974. 10. P. 2573.
5. Callan C.G., Gross D.J. // Nucl. Phys. B. 1975. 93. P. 29.
6. Christ N.H., Lee T.D. // Phys. Rev. D. 1975. 12. P. 1606.
7. Greutz M. U Phys. Rev. D. 1975. 12. P. 3126.
8. Tomboulis E. // Phys. Rev. D. 1975. 12. P. 1678.
9. Шургая A.B. // ТМФ. 1980. 45. C. 46; 1983. 57. C. 392.
10. Хрусталев О.А., Чичикина M.B. // ТМФ. 1997. 111. С. 242; С. 413.
11. Спирина Е.Ю., Хрусталев О.А., Чичикина М.В. // ТМФ. 2000. 122. С. 417.
12. Тимофеевская О.Д., Хрусталев О.А., Чичикина М.В. // Вести. Моск. ун-та. Физ. Астрон. 2003. №4. С. 3; №5. С. 3; №6. С. 11 (Moscow University Phys. Bull. 2003. N 4. P. 1; N 5. P. 1; N 6).
13. Тимофеевская О.Д. // ТМФ. 1983. 54. С. 464.
Поступила в редакцию 21.04.03
УДК 539.12.01
УРАВНЕНИЕ ДИРАКА В КОНФИГУРАЦИЯХ КАЛИБРОВОЧНЫХ ПОЛЕЙ, МОДЕЛИРУЩИХ ЦЕНТРАЛЬНЫЕ ВИХРИ
В. Ч. Жуковский, А. В. Скобеев
(кафедра теоретической физики) E-mail: [email protected]
Изучается влияние, оказываемое центральными вихрями на спектр собственных значений оператора Дирака. С этой целью находятся нулевые фермионные моды в поле вихрей. Для некоторой произвольной конфигурации вихрей в подпространстве линейных комбинаций нулевых мод индивидуальных объектов строится представление оператора Дирака. Демонстрируется суперсимметрия уравнения Дирака в таких полевых конфигурациях.
1. Инфракрасный сектор физики сильных взаимодействий характеризуется наличием таких непер-турбативных явлений, как конфайнмент и нарушение киральной симметрии (ИКС) [1, 2]. Для того чтобы понять их механизм, необходимо выделить ответственные за их появление степени свободы теории. В последнее время обсуждались различные топологически нетривиальные конфигурации калибровочных полей с фермионными нулевыми модами, имеющие отношение к непертурбативным явлениям КХД, таким как конфайнмент и ИКС (см., напр., [3-9]). ИКС успешно описывается в терминах ин-етантонных эффектов [10, 11], в то время как конфайнмент оказывается невозможно объяснить посредством инстантонов [12]. Механизм конфайнмен-та можно обосновать с помощью таких степеней свободы, как абелевы магнитные монополи [13] или центральные вихри [14-16]. Свидетельства в пользу того, что конфайнмент вызывается центральными
вихрями, получены в последние годы в результате численных экспериментов на решетке с использованием так называемой максимальной центральной калибровки [16]. В то же время в вычислениях на решетке показано, что если ансамбль не содержит вихрей, ИКС также исчезает и все конфигурации принадлежат к тривиальному топологическому сектору [17]. Поскольку, как видно, роль центральных вихрей в формировании непертурбативных явлений в теории неабелевых калибровочных полей в инфракрасной области оказывается весьма существенной, представляет интерес более глубокое изучение как динамики центральных вихрей, так и поведения фермионов (кварков), находящихся в системе с центральными вихрями. Заметим, что описание возникновения и динамики центральных вихрей представляет собой довольно сложную проблему. Рассмотрение их в рамках теории поля началось еще в 1978 г. [14]. Напомним также идею «спагетти ва-
куума» [18, 19], которая в последнее время получила свое новое развитие в рамках теории четырехмерных поверхностей и струн [20, 21]. Весьма продуктивным оказалось развитие континуального метода описания центральных вихрей, предпринятое в работах [3, 22] и затем развитое в ряде последующих работ (см., напр., [4, 5, 23-27]). В настоящей работе с целью построения возможного механизма НКС, продолжая анализ, начатый в работе [5], и используя континуальное описание вихрей, данное в статье [3], изучается влияние, оказываемое центральными вихрями на спектр собственных значений оператора Дирака.
Напомним, что роль параметра порядка при НКС играет кварковый конденсат, отличный от нуля в несимметричном случае <фф> ф 0. Здесь операция < ... > означает усреднение по всем вакуумным конфигурациям калибровочного поля. Эта величина равна нулю для всех порядков теории возмущений для безмассовых кварков. Таким образом, для понимания механизма НКС необходимо применять непертурбативные методы. Согласно соотношению Бэнкса-Кэшера [28], кварковый конденсат связан с плотностью собственных значений оператора Дирака в нулевой точке:
1
й х<фф> =--<р(0)>.
7Г
Следовательно, для того чтобы НКС имело место, средняя плотность фермионных нулевых мод р{0) = р(0)/V в единице 4-объема V должна быть конечной.
2. Тогласно работе [3], модель четырехмерного вихря в пространстве Евклида может быть выбрана в виде суперпозиции двух двумерных вихрей в плоскостях (1,2) и (3,4):
Аи = у (0,0, ®4, -®3)Л(®з + ХЬ +
П
(ж2,-ж1,0,0)/2(ж? + ж|),
где тз — матрица Паули для группы цвета 577(2). На функции fi накладываются следующие условия. Петля Вильсона
<PF(<7)> = -i<TrPexpi J Aßdxß>,
с
вычисленная для достаточно большого контура, окружающего начало координат, равна — 1 для каждого из слагаемых. Индекс Понтрягина
п = 1 f d4xF3 F3 32ж2 J ß» ß»
равен ±| в зависимости от относительного знака функций /ь/2. Эти условия вместе с условием конечности поля Aß в нуле приводят к следующим ограничениям на профиль вихрей /j:
lim r2fi(r2) = 0, lim г2fi(r2) = ±1.
r-4 0 Г-+00
(1)
Рассмотрим уравнение Дирака в четырехмерном евклидовом пространстве
711В11ф = гтф, где В ^ = д^-гА^ для волновой функции
^ (^я) ' СО ' (^4)
Исключая из системы уравнений правый (левый) спинор, получим следующие квадрированные уравнения:
т2фг = [(£>3 + iD4)(D3 - Ш4) +
+ (£>1-Ш2)(Г>1+»1>2)]^1,
т2ф2 = [(1>з - »£>4)(£>з + ¿Я4) +
+ (£>1 + Ш2)(1>1-»1>2)]^2, т2фг = [(1>з - »Г>4)(Г>з + ¿Я4) +
+ (£>1-Ш2)(Г>1+»1>2)]^З,
т2ф4 = [(£>3 + Ш4)(£»з - г£)4) +
+ (£>1+»£>2)(£>1-»£>2)]^4.
Для получения этих уравнений существенно, что в нашем случае коммутатор [Бх ± Ш2, £>з ± ¿1)4] = 0. Для решения системы (1) достаточно решить задачу на собственные значения для эрмитова оператора X = (1>1 + г&1)2)(1) 1 — г&1)2), где к = ±1. (Для плоскости (3,4) решение аналогично). При этом мы можем расширить пространство решений, поэтому полученное решение необходимо затем подставить для проверки в исходные уравнения.
Переходим к полярным координатам на плоскости (1,2): Ж1 = 5С08(р, Х2 = ввикр. Для произвольного профиля вихря /(я2) получим
1 1
X = дядя + -да + ~^д1рд1р + гг/(52)9¥, +
кт f(s2) + s
>.df(s2) d(s2)
s2f2(s2), т = т3.
Нужно решить уравнение Xg(s, ф) = Xg(s, ф). Возьмем частный случай профиля вихря /(s2) = = 1 /(s2 + 1). Тогда для Л = 0 можно найти следующее решение:
g(s, ф) = e^s^is2 + l)qF(a, /3,7, -s2),
f 1\ f пт 1"
a = I р + q —
1 п 1 /1 кт
7 = 2 р, р = -±-, д = -±^- + т
Здесь разные знаки в параметре р соответствуют двум ветвям решения, а знак в д не влияет на
результат вследствие свойств гипергеометрической функции ^(а,/3,7,ж).
Для выполнения условия нормируемости необходимо потребовать
<p)|2s ds dtp =
- / 2
= / S
(s2 + 1 )2qF2(a, /3,7, —s2) ds < oo.
По определению ^(а,/3,7,0) = 1, поэтому для сходимости нормировочного интеграла в нуле имеем условие р > 0 или р = (1 + |п|)/2. Рассматривая асимптотику гипергеометрической функции на ^оо, согласно [29],
(1 -z)~aF [а, 7-/3, а+1-/3,
1
1-z
1
T^z
F{a,P,4,z) = Г(7)Г03-а) Г(/3)Г(7-а)
видим, что F(a, /3,7, ^s2) расходится при s ^ оо, как sN, где N = 2тах(^а, —/3) = 1 — 2р — 2q + + |пт + 1/2|. Суммарная степень подынтегрального выражения в нормировочном интеграле при s ^ оо составляет 1 + |2пт + 1|, и тогда интеграл всегда расходится по меньшей мере, как s3. Исключением является случай обращения в нуль одного из коэффициентов асимптотики [31], когда одна из гамма-функций в знаменателе обращается в бесконечность. В таком случае возможна расходимость s1 для гармоники п = 0. Для этого должен быть одинаков знак к для двух плоскостей, т.е. это возможно для фз,ф4 (правой моды).
Рассмотрим еще так называемый тонкий вихрь с профилем
f(ñ =
C(s2)
C(s2) = 0, s2 = 0, <7(s2) = l, s2 > 0.
Для него при s2 ^ е > 0 уравнение Xem<pg(s) = = Xem<pg(s) записывается в виде
2d29 . dg 2
(пт + 1/2)2) = 0.
При А = 0 получим е^д(я) = 8±{пт+т Тог. да нормировка будет расходиться в лучшем случае как 51 при 5 —> оо (й-1/2, е-^«-1/2) или как я"1 при (ет^5-3/2,е-2т^5-3/2). При А ф 0
получаем уравнение Бесселя. Его общее решение уу = С\Л„+С23-у • В случае V = 1+1/2, 1 = 0,1,2,... решение имеет вид
W+1/2 = Х1+1'2
— (Ci sin® + С2 eos®) x
где l ^ 0 находится из условия (I + 1/2)2 = (пт + + 1/2)2, х = V^As. Для функции Бесселя имеем
т ( \ ( VTÏ тх\
Jj,(î) R¡ у — eos (ж-----— I при \х\
V 7ТХ V ¿i ~£ '
следующую асимптотику:
\ —eos [х—----г) при |ж|оо.
V 7ГЖ
Следовательно, интеграл
J2(x) xdx
расходится при х ^ оо как х1.
3. Как известно, в ряде случаев уравнение Дирака демонстрирует свойство суперсимметрии (см., напр., [30, 31]). Рассмотрим теперь некоторые аспекты описания поведения фермионов в поле центральных вихрей, связанные с возможным проявлением суперсимметрии.
Поле двумерного вихря (антивихря), находящегося в произвольной точке в одной из плоскостей (1,2) или (3,4) (как и произвольная суперпозиция таких полей), может быть записано в виде А^ = jÍWdvx-Здесь — постоянная матрица:
Íp,v —
( 0 1
-1 0
о о
\ о о
о о\
о о
0 1
-1 о/
-1.
со следующими свойствами = —, /2и = Суперпотенциал х Для одного из вихрей выражается через его профиль как
х(*2) = Т //(*2М*2).
Нам понадобятся фермионные операторы рождения и уничтожения, которые можно сконструировать из матриц Дирака:
= 71Т72), ^ = 74±7з)-
Для bf выполнены необходимые коммутационные соотношения
= {ьг,ьт} = {ь+ ь+} = 0.
В качестве бозонных операторов возьмем £>± = ±Б2 - гБг = ({±д2 - гдг) ± г(±д2 - гдг)Х) =
!)„ = Т®з —= ((тдз — гдь) ± г(т<Эз — гд^х) =
Из бозонных и фермионных операторов образуем генераторы суперсимметрии () . = Ь^Д^ + . Квадрат каждого из этих операторов равен нулю
Для этого результата существенным является равенство нулю коммутатора [!)„, Б^] = [Бз ± ¿1)4, Б\ ± ± ¿1)2]. Теперь можно записать оператор Дирака
ь = ъди - 7а»ЛиАх в виде суммы I) (}.+(} .
Суперсимметричный гамильтониан имеет вид
IIч = -О2 = {(<? • <?-}•
Вследствие нильпотентности операторов С}± получим
{£?+, Н3} = {Я-, Н3} = 0. Можно использовать и другое (киральное) разложение оператора Дирака
<г± = ^(1±7б)7А
и при этом получить те же следствия: I) > + С} ■
{<2+, н3} = {Я-, н3} = о.
Введем оператор фермионного числа для такой системы
Пи = Ъ+Ъ~, п„ = Ь+Ь~, п = пи+щ = длщ{1, 1,0, 2}.
Операторы bf увеличивают (уменьшают) щ на единицу, так как [bf,bfb^} = ТЬ^- Гильбертово пространство решений распадается соответственно оператору фермионного
числа Сл — Сго ™Ь ™Ь £?2 > где также распадается на два ортогональных
подпространства = + О^ . Состояния в О^
получаются действием (). на (?о, а состояния в
О^ действием () на Операторы (} и (} соответственно переводят решения из С2+Оо в С\ и обратно. Для (?о и С2 соответственно задача на собственные значения гамильтониана записывается как () () . </• = Еф и () . () </• = Еф. Нам нужно решить задачу нахождения нулевых мод. Предполагая, что это решение принадлежит (?о, находим уравнение
Я+(фо\00)) = £>+^(Ь+|00» + Б^ф0(ЪЦОО)) =
= (^о)|01) + (^о)|Ю)=0. Отсюда следует требование:
(д2 - 1дг){е^ф0) = 0, (д3 + = 0
или фо = /о(®2 — 1x1, хз + гх4)е^%х. Аналогично для С2 будем иметь ф2 = ¡2(х2 + гх\,хз — гх4)егх. Для того чтобы выражение было однозначным (т.е. не возникал набег фазы при обходе вокруг нуля), необходимо, чтобы решения имели вид (х2 — гх1)п(хз + 1х4)гпе^%х. Для решений в С2 аналогично {х2 + 1Х\)п{хз ^ гх4)те1Х. Теперь выясним вопрос о нормируемости найденных нулевых мод. Выражение е±1Х для нескольких вихрей сводится просто к произведению. Запишем в общем виде (аз = 1 соответствует фо, аз = —1 соответствует ф2)
е-шзх = е1<тзтз ¡/(г2Жг2)^
При г —> оо /(г2) ~ fc/r2, где k = 1 для вихря, к = ^ 1 для антивихря, следовательно, экспонента на бесконечности ведет себя как (г2) 4*«^ Условие нормируемости для одной плоскости запишется в виде
Для сходимости при г —> 0 получим условие т > — 1, (т ^ 0), при г ^ оо интеграл расходится как |*2TO+2+<T3T3(JVt,—JVa) ^ jy-j, и jya обозначают число вихрей и число антивихрей соответственно. Следовательно, для сходимости должно выполняться условие a3Ts(Nv — Na) ^ —3. Если эта комбинация равняется —2, интеграл расходится логарифмически. Моды появляются парами, например, при азтз = — 1 может быть <тз = 1, тз = — 1 либо сгз = — 1, Тз = 1.
4. Таким образом, в настоящей статье мы рассмотрели критерии получения нормируемых ферми-онных нулевых мод в калибровочных полях, моделирующих центральные вихри. Мы надеемся, что изученные в настоящей статье решения уравнения Дирака могут быть использованы для построения моделей вакуумных структур, обеспечивающих возникновение механизма НКС. Поскольку детальное аналитическое исследование задачи для случая среды с суперпозицией большого числа Nv вихрей и Na антивихрей затруднительно, необходимо проведение численного эксперимента. Результаты проведенного нами моделирования спектра оператора Дирака с применением метода Монте-Карло будут рассмотрены в отдельной публикации.
Авторы благодарны Д. Эберту за постоянное внимание к работе. Один из авторов (A.C.) признателен Программе им. Леонарда Эйлера Германской службы академических обменов (DAAD) за финансовую поддержку, оказанную ему при выполнении части данной работы. Данная работа выполнена в рамках проекта DFG 436 RUS 113/477.
Литература
1. Greensite J. // hep-lat/0301023.
2. Schäfer Т., Shuryak E.V. // Rev. Mod. Phys. 1998. 70. P. 323.
3. Engelhardt M., Reinhardt H. // Nucl. Phys. 2000. 567. P. 249; hep-th/9907139.
4. Reinhardt H., Tok T. // Phys. Lett. 2001. B505. P. 131.
5. Reinhardt H., Tok Т., Schröder O., Zhukovsky V. // hep-th/0203027; Phys. Rev. 2002. D66. P. 085004.
6. Жуковский Б.Ч., Мамсуров И.В. // Вестн. Моск. ун-та. Физ. Астрон. 2001. №3. С. 31 (Moscow University Phys. Bull. 2001. N 3. P. 38).
7. Adam С., Muratori В., Nash C. // Phys. Rev. 2000. D62. P. 085026; hep-th/9903040; hep-th/9909189.
8. Fry M. P. // Int. J. Mod. Phys. 2002. A17. P. 936.
9. Fry M. P. // Phys. Rev. 2003. D67. P. 065017. 10. 't Hooft G. // Phys. Rev. 1976. D14. P. 3432.
11. Callan C.G., Dashen R., Gross D.J. // Phys. Rev. 1978. D17. P. 2717.
12. DeGrand T., Hasenfratz A., Koisács T. // Prog. Theor. Phys. Suppl. 1998. 131. P. 573.
13. Nambu Y. // Phys. Rev. 1974. DIO. P. 4262.
14. 't Hooft G. // Nucl. Phys. 1978. B138. P.l.
15. Nielsen H.B., Olesen P. // Nucl. Phys. 1979. B160. P. 380.
16. Del Debbio L., Faber M., Greensite J., Olejnik S. // Phys. Rev. 1997. D55. P. 2298.
17. de Forcrand P., D'Elia M. // Phys. Rev. Lett. 1999. 82. P. 4582.
18. Ambjorn 1, Olesen P. // Nucl. Phys. 1980. B170 [FS1], P. 265.
19. Olesen P. // Nucl. Phys. 1982. B200 [FS4], P. 381.
20. Cornwall J.M. // hep-th/9901039.
21. Antonov D., Ebert D. // hep-th/9812112.
22. Diakonov D. // Mod. Phys. Lett. 1999. A14. P. 1725, 1909; hep-th/9905084, hep-th/9908069.
23. Жуковский Б. Ч. /У Вестн. Моск. ун-та. Физ. Астрон. 2000. №5. С. 8 (Moscow University Phys. Bull. 2000. N 5. P. 10).
24. Zhukovsky V.C. 11 Int. J. Mod. Phys. 2002. A17. P. 914.
25. Diakonov D., Maul M. 11 hep-lat/0204012.
26. Länge J.D., Engelhardt M., Reinhardt H.// hep-th/0301252.
27. Bordag M. // hep-th/0211080.
28. Banks Т., Casher A. // Nucl. Phys. 1980. B169. P. 103.
29. Ландау Л.Д., Лифшиц E.M. Квантовая механика (нерелятивистская теория). М., 1963.
30. Cooper F., Khare A., Musto R., Wipf A. 11 Ann. Phys. 1988. 187. P. 1.
31. Тернов И.М., Жуковский Б.Ч., Борисов A.B. Квантовые процессы в сильном внешнем поле. М., 1989.
Поступила в редакцию 23.04.03