Волновая функция «однозначная» и «с точностью до фазы» ( калибровочное преобразование ) Существование глобального сечения в полном линейном пучке

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

Сначала рассмотрим свободную частицу в круге С 1 с радиусом р . Гамитониан

ЧАС знак равно 1 2 м р 2 ( я ф ) 2
Тогда собственная функция
ψ знак равно 1 2 π р е я н ф
Поскольку волновая функция должна быть однозначной на С 1 , н должны принадлежать целым числам, т.е. н е Z .

Второй случай, рассмотрим частицу в круге С 1 с радиусом р и поставить флюс Φ в центре круга. Тогда гамитониан

ЧАС знак равно 1 2 м р 2 ( я ф + е Φ 2 π ) 2

введите описание изображения здесь

Собственная функция по-прежнему

ψ знак равно 1 2 π р е я н ф
Кроме того, поскольку волновая функция должна быть однозначной на С 1 , н должны принадлежать целым числам, т.е. н е Z . Единственная разница в том, что будет некоторый сдвиг собственного значения.

В третьем случае рассмотрим частицу в торе. Т 2 , с двумя длинами л Икс и л у . И ставим однородное магнитное поле Б через поверхность тора. Если мы выберем калибровку Ландау А Икс знак равно 0 , А у знак равно Б Икс . Гамитониан сейчас

ЧАС знак равно 1 2 м ( п Икс 2 + ( п у + е Б Икс ) 2 )

Мы знаем, что в этом случае симметрия гамитониана называется магнитной трансляционной группой .

Т ( г ) знак равно е я г ( я + е А / )
то есть [ Т ( г ) , ЧАС ] знак равно 0 Итак, собственная функция ψ ( Икс , у ) должен быть инвариантным относительно Т ( г ) .
Т Икс ψ ( Икс , у ) знак равно ψ ( Икс + л Икс , у ) знак равно ψ ( Икс , у )
Т у ψ ( Икс , у ) знак равно е я е Б л у Икс / ψ ( Икс , у + л у ) знак равно ψ ( Икс , у )
с Т Икс знак равно Т ( ( л Икс , 0 ) ) и Т у знак равно Т ( ( 0 , л у ) ) . Таким образом, мы видим, что волновая функция в этом случае не является однозначной , т.е. ψ ( Икс , у + л у ) ψ ( Икс , у ) .

Мой вопрос: в каком случае мы допускаем, что волновая функция не является однозначной? Мы видим все случаи многосвязности физического пространства. И 2-й, и 3-й случаи - это система с электромагнитным полем/калибровочным полем, почему 1-й, 2-й все еще однозначны, а 3-й нет? Кажется, существование нетривиальной топологии физического пространства или магнитного поля/калибровочного поля не является ответом.

PS: благодаря @David Bar Moshe я никогда не осознавал, что этот вопрос может быть связан с глобальным разделом сложных линейных пучков.

Какие люди?...
@Qmechanic Во многих учебниках по QM говорится, что волновая функция однозначна.
Ваша нотация не идеальна, как у вас ф для собственной функции, а также ф для угла. Не могли бы вы отредактировать, чтобы упростить ссылки?
я не думаю А Икс знак равно 0 , А у знак равно Б Икс держится на всем торе, для начала.
Я считаю, что единственная причина, по которой волновая функция не является однозначной, заключается в том, что А неоднозначна на торе.
волновая функция, как и любая функция, должна иметь только одно значение для каждого входа. так как ваша система периодическая ψ ( Икс ) и ψ ( Икс + л ) должно быть так же, потому что Икс и Икс + л точно такая же точка в этой системе.
@physshyp Тогда как объяснить мой третий случай? Это абсолютно не однозначный.
Я думаю, что есть условие квантования на л 1 и л 2 фактически. Этот вид темы обычно обсуждается с тяжелым геометрическим формализмом, но я нашел ссылку, которая делает его прозаичным: Э. Онофри. Уровни Ландау на торе. International Journal of Theoretical Physics, 40(2):537–549, февраль 2001 г. Если я полностью неправильно понял ваш третий случай, эта статья посвящена именно этому.

Ответы (1)

В квантовой механике нормализация волновой функции не важна, поскольку мы вычисляем ожидания в соответствии с:

О знак равно ψ О ψ ψ ψ
По этой причине волновые функции отождествляются с сечениями сложных линейных пучков. См. это введение для физиков Орландо Альвареса.

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

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

См . краткое объяснение в Прието и Витоло .

На дифференцируемых многообразиях группа Пикара изоморфна второй группе когомологий над целыми числами

п я с ( М ) ЧАС 2 ( М , Z )

Вот почему он редко упоминается в текстах по квантовой механике, которые скорее относятся к соответствующему элементу из ЧАС 2 ( М , Z ) представляющие первый класс Черна.

Следует подчеркнуть:

(1) что даже когда группа Пикара тривиальна или квантование соответствует тривиальному элементу, мы можем иметь многозначные волновые функции, но многозначность может быть устранена калибровочным преобразованием.

(2) Первый класс Черна не является достаточным классификатором неэквивалентных квантований. Он не обнаруживает эффектов, подобных эффекту Ааронова-Бома. Они обнаруживаются элементом группы ЧАС о м ( π 1 ( М ) , U ( 1 ) ) , см., например, Доебнер и Толар .

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

Возвращаясь к вашим примерам: первые два описывают движение по кругу. С 1 . По размерным рассуждениям ЧАС 2 ( С 1 , Z ) знак равно 0 , таким образом, волновые функции могут быть выбраны как истинные функции. Второй пример относится к случаю, описанному во втором замечании выше, поскольку π 1 ( С 1 ) знак равно Z

В третьем примере ЧАС 2 ( Т 2 , Z ) знак равно Z , порожденная целыми кратными базового элемента площади, таким образом, для ненулевого магнитного поля волновые функции не могут быть приняты за истинные функции.

Спасибо. Раньше я никогда не предполагал, что этот вопрос будет связан с характеристическим классом расслоения.