эффективная теория поля модели проективного семиона

Модель «проективного семиона» рассмотрена в http://arxiv.org/abs/1403.6491 (стр. 2). Это топологическая фаза с обогащенной симметрией (SET). Есть один нетривиальный анион, семион с который индуцирует фазовый фактор π при обходе другого семиона. Киральный топологический порядок такой же, как ν "=" 1 / 2 бозонное дробное квантовое состояние Холла, эффективная теория поля которого является К "=" 2 Теория Черна-Саймонса:

л "=" 2 4 π ϵ мю ν λ а мю ν а λ

Группа симметрии для теории г "=" Z 2 × Z 2 . Мы обозначаем три нетривиальных групповых элемента как г Икс , г у , г г . Симметрия может действовать на семион следующим образом:

  1. Каждый семион несет половину заряда для всех трех Z 2 преобразования. Более того, три Z 2 преобразования антикоммутируют друг с другом и могут быть представлены в виде г Икс "=" я о Икс , г у "=" я о у , г г "=" я о г .

  2. Семион несет интегральный заряд под двумя из трех Z 2 преобразования, а половина заряда под другим Z 2 трансформация. Есть три варианта этого, и группу симметрии можно представить как г Икс "=" о Икс , г у "=" о у , г г "=" я о г , или г Икс "=" о Икс , г у "=" я о у , г г "=" о г , или г Икс "=" я о Икс , г у "=" о у , г г "=" о г .

Фрагментация симметрии в случае 1 не содержит аномалий, но аномальна в случае 2, как показано на http://arxiv.org/abs/1403.6491 .

Я хочу написать эффективное описание теории поля, чтобы описать паттерн фракционирования симметрии в случаях 1 и 2 на семионе. а , и могу явно видеть, что теория поля, которую я записываю для случая 1, не содержит аномалий, тогда как теория для случая 2 содержит аномалии.

Один из возможных способов - измерить симметрию Z 2 × Z 2 , и соедините калибровочные поля с семионом а . Различные условия связи отражают разные способы представления симметрии в семионе. Я думаю, это то, что пытается описать уравнение (5) на странице 21 http://arxiv.org/abs/1404.3230 . Действие, которое они записали,

л "=" 2 4 π ϵ мю ν λ а мю ν а λ + п 1 2 π ϵ мю ν λ а мю ν А 1 λ + п 2 2 π ϵ мю ν λ а мю ν А 2 λ + п 3 π 2 ϵ мю ν λ а мю А 1 ν А 2 λ

Я могу понять второй и третий термины в этом действии, которое говорит (с п 1 "=" п 2 "=" 1 ), что семион а несет половинный заряд симметрии под двумя образующими (скажем, г Икс и г у ) из Z 2 × Z 2 .

Однако мне трудно понять последний член в действии, предположительно, он означает, что семион несет половинный заряд под всеми тремя элементами. г Икс , г у , г г в Z 2 × Z 2 . Если это правильно, то установка п 1 "=" п 2 "=" 0 , п 3 "=" 1 дает нам эффективное описание случая 1. Теория свободна от аномалий; в то время как установка п 1 "=" п 2 "=" п 3 "=" 1 дает нам эффективное описание случая 2 (семиона а несет половину г Икс , г у , г г заряд с последнего срока и дополнительная половина г Икс , г у заряд от второго и третьего члена), и теория аномальна. Это согласуется с утверждением на странице 24 http://arxiv.org/abs/1404.3230 .

Кто-нибудь знает, почему последний термин в л говорит, что семион несет половинный заряд под всеми тремя элементами г Икс , г у , г г в Z 2 × Z 2 ?

Ответы (1)

Было бы полезно рассмотреть физический смысл термина а А 1 А 2 в калибровочной теории. Компактизируйте теорию на «тонком» торе, скажем, длину у направление л у намного меньше, чем л Икс . Два основных состояния различаются значением петли Вильсона вдоль у . Эвристически мы можем просто заменить а "=" 0 , π (с индексами неаккуратно...), а в семионном секторе получаем терм А 1 А 2 в «размерно уменьшенном» 1 + 1 теория. Как описано в http://arxiv.org/abs/1401.0740 , это непрерывная версия 1 + 1 Теория Дейкграафа-Виттена Z 2 × Z 2 калибровочное поле и описать одномерный СПД, защищенный этой симметрией. Это означает, что семион является концом одномерного пространства. Z 2 × Z 2 SPT, несущий спин-1/2 (или линия Семиона Вильсона «украшена» цепочкой Холдейна). Однако, поскольку 1D SPT классифицируются по ЧАС 2 ( г , U ( 1 ) ) , это неоднозначно в отношении конкретного класса в ЧАС 2 ( г , Z 2 ) , о чем на самом деле ваш вопрос.

Таким образом, этот аргумент, безусловно, неудовлетворителен и на самом деле не касается вашего вопроса напрямую. Может быть, поможет теория краев и выяснение преобразования симметрии краевых мод?

Спасибо! Да, я думаю, что уменьшение размерности — это хороший способ увидеть физику. Но я не уверен, что есть более прямой способ интерпретировать последний термин. В частности, меня смущает то, что на странице 22 статьи arxiv.org/abs/1404.3230 они оговаривают, что если мы рассмотрим Z 2 × Z 2Z2×Z2 как возникающий из подгруппы U ( 1 ) × U ( 1 )U( 1 ) × U( 1 ) , то семион aа преобразуется под калибровкой U ( 1 ) × U ( 1 )U( 1 ) × U( 1 ) довольно причудливым образом a a q 1 f 1 d ϕ 22 πа а -д1ф1гф22 π . Мне это кажется чем-то искусственным, и у меня нет хорошей интуиции для этого.
Также я не уверен в том, что вы имеете в виду, говоря о теории края. Эта теория живет на границе 3 + 13 + 1 г СПД, эффективным действием которого является действие ДГ S 4С4 на странице 23 сайта arxiv.org/abs/1404.3230. И граница границы должна исчезнуть.
Если р 1 = р 2 = 0п1"="п2= 0 теория свободна от аномалий и может быть реализована в 2D (фактически идеальным примером является киральная спиновая жидкость с Z 2 × Z 2Z2×Z2 симметрия является ππ вращения вокруг x , y , zх , у, г оси). Так что нет проблем с разговором о теории границ. Только аномальные нуждаются в объемном 3D SPT для регуляризации. Что касается вопроса о калибровочной инвариантности, кажется, что a a q 1 f 1 A 2а а -д1ф1А2 просто постулируется, чтобы отменить изменение a A 1 A 2аА1А2 . На самом деле, я не уверен, как действие инвариантно относительно калибровочного преобразования a a + d fа а + гф .
При a a + d fа а + гф , δ Lдельтал это просто набор полных производных, поэтому SС инвариантен относительно калибровочного преобразованияа .
Так что я получаю d f A 1 A 2гфА1А2 с последнего срока. Как это полная производная? Может соответствовать d ( f A 1 A 2 )г( жА1А2) , но только при условии плоской связи d A 1 = d A 2 = 0гА1= дА2= 0 .
Ага, если эффективное действие при p 1 = p 2 = 0п1"="п2= 0 описывает хиральную спиновую жидкость, тогда это эффективно отвечает на мое замешательство. В CSL семион несет половину заряда для каждого из трех Z 2Z2 преобразования. Это означает, что моя наивная догадка о значении последнего термина верна.
Это не просто А1А1 А 2А2 сам по себе, это n A 1нА1 и п А 2нА2 . И n d A 1 = n d A 2 = 0н дА1= п дА2= 0 . Итак, АА не плоский, а n -п - кручение.
Написано в их исходных обозначениях стр. 21. Последний член p 3( 2 π ) 2 аdϕ1dϕ2п3( 2 π)2а дф1гф2 , гдеф это поля Хиггса для Хиггса U ( 1 )U( 1 ) до Z нZн ( п = 2п = 2 в нашем случае), потребовав, чтобы d ϕ i = n A iгфя= пАя . И записывается в виде р 3( 2 π ) 2 аdϕ1dϕ2п3( 2 π)2а дф1гф2 , очень легко видеть, что при a a + d fа а + гф , этот член вносит полную производную.
я забыл нн в выражении. Это имеет большой смысл.
Я думаю, что закон преобразования, который они постулируют a a q 1 f 1 d ϕ 22 πа а -д1ф1гф22 π при U ( 1 ) × U ( 1 )U( 1 ) × U( 1 ) тесно связано с тем, как Z 2 × Z 2Z2×Z2 представлен на семионах. Если мы сможем понять, почемуа должно преобразовываться вот так, мы знаем, как Z 2 × Z 2Z2×Z2 изображен на семионе.
Также действует ли действие с p 1 = p 2 = 0п1"="п2= 0 описать хиральную спиновую жидкость? Мы ожидаем этого, потому что он свободен от аномалий, а эффективное действие при p 1 = p 2 = 0п1"="п2= 0 не содержит аномалий. Закон преобразованияа при U ( 1 ) × U ( 1 )U( 1 ) × U( 1 ) является своего рода конструкцией, делающей третий член сам по себе калибровочно-инвариантным (следовательно, свободным от аномалий).
Действие хиральной спиновой жидкости можно записать с помощью C P 1Сп1 представительство: 24 π ада+v|_ (я-а-Аσ)z| 224 πа да + v | ( я а Аσ) г|2 где z знак равно ( z , z ) Тг= (г,г)Т , и АА SO ( 3 ) _ _СО ( 3 ) калибровочное поле, которое далее можно разбить на Z 2 × Z 2Z2×Z2 . Не уверен, как это может быть связано с p 3п3 срок...
Спасибо! Возможно, можно ввести еще одно призрачное поле в поле Хиггса S O ( 3 )СО ( 3 ) до Z 2 × Z 2Z2×Z2 . Я постараюсь над этим поработать и посмотреть, есть ли смысл.
Привет Мэн, я был немного смущен Z 2Z2 коэффициент, входящий в групповые когомологии. Я думал , что проективные представления классифицируются H2 ( G , U ( 1 ) )ЧАС2( Г , У( 1 ) ) .
Для дробления анионов по симметрии необходимо использовать в качестве коэффициентов группу абелевых анионов. На самом деле, в примере с проективным семионом случай 1 и случай 2, если рассматривать как U ( 1 )U( 1 ) 2-коциклы когомологически эквивалентны. И мы знаем H 2 ( Z 2 , U ( 1 ) ) = 0ЧАС2(Z2, У( 1 ) ) = 0 , но семионы еще могут нести половину заряда Z 2Z2 потому что Н 2 ( Z 2 , Z 2 ) = Z 2ЧАС2(Z2,Z2) =Z2 . Причиной использования абелевых анионов в качестве коэффициентов является согласованность фракционирования с правилами слияния анионов, как объяснено в разд. IV arxiv.org/pdf/1410.4540.pdf .
Есть ли способ определить фракционирование симметрии семиона в 2 + 1 ?2 + 1 d (класс в H 2 ( Z 2 × Z 2 , Z 2 )ЧАС2(Z2×Z2,Z2) ) из действия симметрии семиона на ребре размерно редуцированного 1 + 11 + 1 d SPT (в данном случае это довольно тривиально, потому что ребро спина 1/2 семиона несет половину заряда под Z 2Z2 )? Думаю, математически мой вопрос эквивалентен вопросу о том, существует ли гомоморфизм из Z 2 = H 2 ( Z 2 × Z 2 , U ( 1 ) ) H 2 ( Z 2 × Z 2 , Z 2 ) = Z 3 2Z2"="ЧАС2(Z2×Z2, У( 1 ) ) ЧАС2(Z2×Z2,Z2) =Z32 (Надеюсь, инъективный).
Я так не думаю. Среди 8 классов в H 2 ( Z 2 × Z 2 , Z 2 )ЧАС2(Z2×Z2,Z2) , четыре из них отображаются в нетривиальный класс в H2 ( Z2 × Z2 , U ( 1 ) )ЧАС2(Z2×Z2, У( 1 ) ) . Я не вижу способа инвертировать сопоставление.
Привет Мэн, я думаю , что понимаю физику A 1 A 2аА1А2 сейчас. Сначала это действие соответствует коциклам типа III ω ( A , B , C ) = e x p ( i π a 1 b 2 c 3 )ω ( А , В , ​​С) = е Икс р ( я πа1б2с3) в модели DW с Z 3 2Z32 симметрия (стр. 10, таблица I в статье Ювена exp(i\pia_1b_2c_3)). Тогда статистика различных коциклов в 2 + 12 + 1 d Модель DW рассматривается в статье Ченджи (стр. 9 arxiv.org/abs/1412.1781 ). Статистика, описанная A 1 A 2аА1А2 неабелева. В нем говорится, что после «борромео» плетения между a , A 1 , A 2а ,А1,А2 потоков, получим фазу Θ 123 = πΘ123= π .
Думаю в данном случае только a d A 1а дА1 и а д А 2а дА2 член вносит вклад во взаимную статистику ( a , A 1 )( а ,А1) , ( а , А 2 )( а ,А2) . В нашем случае 2-й и 3-й члены говорят о том, чтоа несет половину A 1А1 и А 2А2 заряжать. Однако четвертый член a A 1 A 2аА1А2 вносит вклад только в неабелеву статистику борромео-плетения и не вносит вклад во взаимную статистику ( a , A 1 )( а ,А1) , ( а , А 2 )( а ,А2) . Итак, если у нас есть только 4-часовой член в действии (т.е. p 1 = p 2 = 0 , p 3 = 1п1"="п2= 0 ,п3= 1 ), мы не должны видеть никаких нетривиальных взаимных статистик ( a , A 1 )( а ,А1) , ( а , А 2 )( а ,А2) . В частности, представление о том, чтоа несет половину A 1А1 , А 2А2 заряд неправильный.
Ага, я тоже заметил сходство с коциклом III типа, хотя там была фаза СПТ, а теперь у нас СЭТ. Хотя я не совсем уверен, что вы можете напрямую применить аргумент из статьи Ченджи, результат имеет смысл. Но как это означает, что семион должен нести половину заряда всех трех генераторов Z 2 2Z22 ?
Ага. Думаю, в данном случае некорректно говорить о том, что семионы несут половину заряда всех трех генераторов.
Подождите... Я думаю, мы все убеждены, что неаномальная теория должна иметь семион, несущий половину заряда всех трех генераторов, из физических конструкций киральной спиновой жидкости и H 4ЧАС4 строительство в Чен и др. др.
Я думаю, это просто говорит о том, что это эффективное действие не описывает модель проективного семиона?
Имеет ли смысл говорить о взаимной статистике ( a , A 1 )( а ,А1) , ( а , А 2 )( а ,А2) в А 1 А 2 _аА1А2 ? Я думаю, вы получите только тривиальную взаимную статистику.
Я действительно не знаю... не ясно, что A 1 A 2аА1А2 только вносит свой вклад в статистику Борромео. Он определенно делает это по нескольким аргументам (уменьшение размерности, сходство с типом III и т. Д.), Но я не думаю, что мы можем сделать вывод, что это не влияет на половинный заряд семионов. Но я не совсем понимаю аргументы теории поля в статье Капустина...
Мы должны продолжить эту дискуссию в другом месте. У вас есть gtalk/скайп?
хм... Да, я не уверен, как вычислить взаимную статистику для этого термина. Мне придется подумать. Я думаю, причина, по которой Капустин добавляет этот термин, заключается в том, что в общем случае действие будет содержать связи между малым a и полями Хиггса ϕ 1ф1 , ф 2ф2 , который Хиггес U ( 1 ) × U ( 1 )U( 1 ) × U( 1 ) до Z 2 × Z 2Z2×Z2 .
да я сделал. мой gtalk zwangab91@gmail.com.
Это также моя учетная запись Skype. Возможно, мы могли бы договориться о времени, которое подходит нам обоим. Спасибо!