Отличается ли классификация (защищенного симметрии) топологического порядка для трехполосных моделей от двухполосных?

Я читал эту статью: https://arxiv.org/abs/1512.08882 о 10-кратном пути, который дает хорошее объяснение возможных топологических фаз для каждого из классов симметрии. Объяснение примера (в разделе III.B.) для класса симметрии A (T = S = C = 0), по-видимому, зависит от полосы:

Топологический порядок требует зазора, но допускает непрерывные деформации. Это позволяет нарушить гамильтониан (размерность N+M) при импульсе к на два набора собственных состояний (размерности N и M), так что первый набор имел энергию +1, а второй имел энергию -1. Для класса симметрии A допустимое преобразование является частью группы Ли U(N+M), а допустимое преобразование, которое не смешивает полосы, является частью [ U ( Н ) U ( М ) ] . Поскольку состояния смешивания внутри полосы не меняют топологию, топологический порядок был классифицирован гомотопическими группами U ( Н + М ) / [ U ( Н ) U ( М ) ] .

Если я обобщу это на 3 полосы, топологический порядок будет классифицироваться гомотопическими группами U ( Н + М + л ) / [ U ( Н ) U ( М ) U ( л ) ] . Затем я остался со следующими вопросами:

  • Различны ли эти гомотопические группы?
  • Обобщается ли это на другие классы симметрии и дает ли это новые гомотопические группы?

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

Хороший вопрос. Этот недавний препринт исследует это: arxiv.org/abs/1808.07469 (см. уравнение (8)!). Оказывается, теперь нужны неабелевы петли Вильсона!

Ответы (2)

Это хороший вопрос. Да, теория классификации будет другой, но ответ будет намного, намного сложнее, чем Десятикратный Путь. Существуют математические модели (например, K-теоретическая структура Фрида и Мура), которые достаточно мощны, чтобы исследовать вопрос, который у вас есть, но имейте в виду, что вы задаете сложный вопрос.

Почему это будет так резко отличаться? Разве вы не можете по-прежнему смотреть на гомотопические группы факторгрупп?
Проблема здесь не в гомотопическом определении. Причина, по которой вам приходится использовать такую ​​сложную технику, как различные (например, эквивариантно скрученные) K-теории и тому подобное, заключается в том, что вы хотите иметь возможность вычислить, находятся ли два конкретных гамильтониана в одной и той же фазе или нет. Вот почему вы хотите иметь возможность вычислять топологические инварианты, например, потому что они позволяют вам решить, могут или не могут два гамильтониана находиться в одной и той же топологической фазе. С гомотопическим определением это безнадежно, если только вы не ограничитесь моделями, которые зависят только от конечного числа параметров или около того.

Следуя настоянию Рубена (он прокомментировал ваш вопрос выше) и тому факту, что я недавно успешно применил аналогичные идеи для изучения вырождений зонной структуры в кристаллических телах (см. здесь https://arxiv.org/abs/1808.07469), позвольте мне, пожалуй , сделать некоторые мысли/комментарии по вашим вопросам (хотя я и не отвечаю на ваши вопросы как таковые ).

.
.

Во-первых, гомотопические группы, о которых вы просите, найти относительно легко. Все, что вам нужно, это то, что для смежного пространства (или расслоения) Б "=" Е / Ф существует длинная точная последовательность гомотопических групп

π п ( Е ) π п ( Б ) π п 1 ( Ф ) π п 1 ( Е ) .
В этой последовательности каждая стрелка является групповым гомоморфизмом. «Точность» означает, что образ любой стрелки точно равен ядру следующей стрелки. «Длинный» просто утверждает, что последовательность бесконечна (или «полубесконечна», поскольку нулевые гомотопические группы заканчивают последовательность справа).

Что касается вашего примера, допустим, вы хотите знать первую и вторую гомотопическую группу

π 1 [ U ( Н 1 + Н 2 + + Н ) / U ( Н 1 ) × U ( Н 2 ) × × U ( Н ) ] ЧАС .
π 2 [ U ( Н 1 + Н 2 + + Н ) / U ( Н 1 ) × U ( Н 2 ) × × U ( Н ) ] г .
Конечно, предполагается, что каждый Н я 1 .

Чтобы найти его, сначала не то, что вторая гомотопическая группа

π 2 [ U ( Н 1 + Н 2 + + Н ) ] "=" 0
тривиально (как и для всех групп Ли). Кроме того, мы находим
π 1 [ U ( Н 1 ) × U ( Н 2 ) × × U ( Н ) ] "=" π 1 [ U ( Н 1 ) ] π 1 [ U ( Н 2 ) ] π 1 [ U ( Н ) ] "=" Z
где каждый Z считает обмотку U ( 1 ) фаза определителя соответствующего U ( Н я ) . Нам также нужно использовать это π 1 [ U ( Н 1 + Н 2 + + Н ) ] "=" Z , слишком. Наконец, поскольку унитарная группа как многообразие линейно связна, ее нулевая гомотопическая группа тривиальна.

Соответствующий отрезок длинной точной последовательности, начинающийся с π 2 ( Е ) и заканчивая π 0 ( Е ) , приводит к

ф а 0 ф б г ф с Z ф д Z ф е ЧАС ф ф 0 ф г
где я дал гомоморфизмам групп некоторые имена. Ясно, что образ я ф б "=" 0 тривиален, так что в силу точности и ядро кер ф с "=" 0 . Кроме того, для любого группового гомоморфизма ф : г 1 г 2 есть изомофризм я ф г 1 / кер ф , так что мы делаем вывод я ф с "=" г "=" кер ф д , где в последнем знаке равенства мы снова использовали точность. На одну стрелку дальше мы находим кер ф е "=" Z / г . С другой стороны, двигаясь справа, аналогично можно найти я ф е "=" ЧАС . По дополнительности образа и ядра ф е , мы получаем
( Z / г ) ЧАС "=" Z .
Это уравнение имеет более одного решения. Но с некоторым пониманием физики мы можем угадать правильный:
ЧАС "=" 0 и г "=" Z 1 .

Что такое понимание физики? Каждый из Н я -плеты лент несет целое число Черна. Однако сумма всех чисел Черна должна быть равна нулю, поэтому только 1 числа Черна независимы.

Последствия для узлов ленточной структуры в трехмерной зоне Бриоллюэна (ЗБ) будут следующими. Н я -плеты полос разделены 1 полосы пропускания. 1 целые заряды на некоторой сфере С 2 БЖ , соответствующий второй гомотопической группе π 2 ( . . . ) "=" Z 1 , просто укажите общую киральность точек Вейля, образованных внутри каждой из этих запрещенных зон, которые содержатся внутри С 2 .

.
.

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

Позвольте мне сначала объяснить «обычный» случай устойчивого предела на простом примере. Предположим, что существует симметрия (такая как композиция пространственной инверсии + обращения времени и отсутствие спин-орбитальной связи, см. подробнее здесь https://arxiv.org/abs/1705.07126 ), которая заставляет гамильтониан быть реальной симметричной матрицей . . Тогда пространство гамильтонианов является реальным грассманианом О ( Н + М ) / О ( Н ) × О ( М ) , а не сложный. Легко показать, что для двух занятых и одной незанятой зоны

π 2 [ О ( 3 ) / О ( 2 ) × О ( 1 ) ] "=" Z ,
в то время как для достаточного количества полос (т.е. стабильный предел)
лим Н , М π 2 [ О ( Н + М ) / О ( Н ) × О ( М ) ] "=" Z 2
т.е. становится меньше.

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

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

С другой стороны, пока три степени свободы слабо связаны со всеми остальными степенями свободы, хрупкая Z заряд/препятствие неустранимы (например, это означало бы отсутствие атомного предела, состоящего из экспоненциально локализованных орбиталей Ванье). Таким образом, при особых обстоятельствах это оказывает реальное влияние на топологию зонной структуры.

.
.

Наконец, позвольте мне кратко прокомментировать реальный случай, который мы фактически анализировали аналогичным образом в работе https://arxiv.org/pdf/1808.07469 (дополнение на https://arxiv.org/src/1808.07469v1/anc/supplement ). .pdf ). Мы рассмотрели крайний случай О ( Н ) / О ( 1 ) × О ( 1 ) × М Н . Оказывается, первая гомотопическая группа π 1 ( М Н ) неабелева (даже в невзаимодействующих системах!), и равна группе кватернионов

Вопрос "=" { ± 1 , ± я , ± Дж , ± к }
для Н "=" 3 группы. Некоммутативный характер первой гомотопической группы влечет за собой нетривиальные правила перестановки (или «плетения») для вырождений ленточной структуры в импульсном пространстве. Например, он накладывает строгие ограничения на допустимые композиции узловых линий в 3D. В нашей работе мы утверждаем, что эти нетривиальные правила обмена выживают даже в пределе Н , и их очень легко сформулировать.

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