Почти в каждом тексте о топологических изоляторах есть пример двухуровневой системы на сфере Блоха, показывающий нетривиальность расслоения собственного вектора над сферой: мы не можем определить собственное состояние над всей блоховской сферой, вместо этого мы должны построить две локальные тривиализации, а именно
определены в южном и северном полушариях соответственно, чтобы избежать препятствия (по теореме Стокса). Мы можем легко вычислить число Черна через кривизну Берри на сфере в любом из состояний. Но мы получаем число Черна, интегрируя по СФЕРЕ, а не по ТОРу Бриллюэна. Отражает ли этот результат непосредственно нетривиальность расслоения над ТОРом Бриллюэна? (Я думаю, что для доказательства этого может быть достаточно получения обратного изображения карты от сферы к тору и использования цепного правила, но я не уверен, что этого достаточно для доказательства). Получим ли мы тот же результат?
В стороне: когда в сфере Блоха мы выбираем тривиализации, мы определяем функцию перехода, например
это относится к волокнистому пространству с таким определением при переходе с севера на юг полушария. В том, что ягодная фаза? Количественно или качественно?
Ниже я дам вам довольно подробный ответ, но позвольте мне сначала кратко изложить ответы на ваши вопросы:
Число Черна расслоения собственных векторов по тору можно оценить интегрированием по сфере, подынтегральная функция действительно будет монопольной кривизной Берри. Однако область интегрирования, вообще говоря, не будет единым размахом поверхности сферы, поскольку карта из (зона Бриллюэна) до может обмотать сферу несколько раз.
Функции перехода скорее связаны с числом Черна. Их витковое число, т. е. число оборотов экватора, равно числу Черна.
По вопросу, вынесенному в заголовок: Топология всех основных связки над -тор определяется исключительно числом Черня. (Этот результат не является общим; например, он неверен для тора потому что он более высокого уровня)
Подробности:
Фаза Берри невырожденного состояния есть голономия главного расслоение над пространством параметров . Топологически неэквивалентных может быть много. расслоения над заданным пространством параметров, соответствующие неэквивалентным квантовым системам. Таким образом, фаза Берри позволяет классифицировать параметризованные квантовые системы на основе классификации основных расслоений. На эту точку зрения обратили внимание: Бом, Бойя, Мостафазаде и Рудольф .
Теорема классификации основных расслоений утверждает существование универсального главного расслоения , такой, что любой главный пучок над пространством параметров является откатом которого при некоторой карте . (Пожалуйста, обратитесь к Нэшу и Сену за более подробным объяснением теории классификации основных связок.)
Теория классификации главных расслоений определяет базовое пространство (классифицирующее пространство) и тотальное пространство универсального расслоения, зависящее только от структурной группы (в нашем случае U(1)). Известно, что в случае невырожденного состояния гамильтониана, не ограниченного какой-либо антиунитарной симметрией, классифицирующим пространством является бесконечномерное комплексное проективное пространство . (Дополнительное описание комплексных проективных пространств см. в главе 4 у Бенгтссона и Жичковского . Кроме того, очень полезно следующее изложение классификации пространств Джона Баэза, которое содержит дополнительные пояснения бесконечномерного случая. .
пространство всех одномерных проекторов, а карта из пространства параметров в универсальное базовое пространство:
Где это состояние системы. (Комплект иногда называется расслоением Берри, а когда состояние является собственным состоянием гамильтониана, Синонимы: собственное расслоение или спектральное расслоение).
Построение фазы Берри связано с существованием универсального связность над бесконечномерным проективным пространством, кривизна которого является формой Фубини-Штуди:
Вытянутая назад связь Берри есть связь Берри, голономия которой есть фаза Берри на и интеграл его кривизны на это первый класс Чен .
Бесконечномерное проективное пространство является прямым пределом ряда включений:
В случае, когда пространство параметров двумерно, достаточно аппроксимировать классифицирующее пространство его первой компонентой, а именно и рассмотрим отображения в пространство одномерных проекторов в двух измерениях, а именно , и рассмотрим карту расслоения:
(Пожалуйста, см., например, Viennot , для более подробного описания конечномерных аппроксимаций классифицирующих пространств) Здесь очень легко написать формулу для одномерной проекционной карты:
чья кривизна Берри пропорциональна элементу площади сферы
Интегрирование производится по пути в многообразии , таким образом, фаза Берри, соответствующая пути дан кем-то:
Его можно стянуть обратно к двум сферам (изменив переменную интегрирования), но в этом случае нужно интегрировать по образу пути :
То же самое верно и для класса Черна:
Область интегрирования может намотать два шара несколько раз и число Черна будет кратно заряду монополя.
По второму вопросу заметим, что:
вбарсело
вбарсело
Давид Бар Моше
Давид Бар Моше