Почему зона Бриллюэна является двумерным тором?

Я прочитал несколько ссылок по топологической теории полос, например:

  1. https://arxiv.org/abs/1510.07698
  2. http://www.damtp.cam.ac.uk/user/tong/qhe/qhe.pdf
  3. Топологические изоляторы и топологические сверхпроводники А. Берневига.

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

π а к Икс π а , π а к у π а .
Я не понимаю, почему это означает, что зона Бриллюэна не может быть отображена на какой-либо другой вид замкнутой поверхности, такой как сфера, которая также будет удовлетворять периодическим граничным условиям. Я понимаю, что подобный вопрос был задан здесь:

Однако это не решает моего вопроса, почему нельзя считать зону Бриллюэна какой-то другой замкнутой поверхностью.

Ответы (1)

Отображение зоны Бриллюэна в сферу не может быть непрерывным и обратимым (т. е. гомеоморфизмом), поскольку непрерывные обратимые отображения сохраняют топологические свойства, а тор и сфера топологически различны.

Точнее говоря, 2-сфера просто связана, а это означает, что любую кривую, нарисованную на поверхности, можно сжать в точку, не выходя за пределы поверхности. Иногда об этом небрежно говорят: «Баскетбольный мяч нельзя заарканить». С другой стороны, двумерный тор не является односвязным. Если вы завяжете веревку вокруг малой оси (пропустив ее через центр пончика), то вы не сможете уменьшить ее; то же самое верно и для длинной оси.

Чтобы быть немного менее абстрактным, если вы начертите BZ в виде прямоугольника в ( к Икс , к у ) плоскости, утверждение, что это тор, означает, что мы отождествляем каждую точку на левой стороне прямоугольника с соответствующей точкой на правой стороне и каждую точку внизу с соответствующей точкой наверху. Это отражает тот факт, что точки на левом и правом краях отличаются на Δ к "=" 2 π а , и поэтому являются одной и той же точкой с точки зрения теоремы Блоха.

С другой стороны, утверждение, что BZ является сферой , означало бы, что мы идентифицируем всю границу как единую точку . То есть каждый пункт в БЖ вида ( к Икс , ± π а ) или ( ± π а , к у ) будут считаться физически идентичными. Но это не та идентификация, которую мы хотим, потому что, например, точки ( π а , 0 ) и ( 0 , π а ) должны представлять разные волновые векторы.

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

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