Я хотел бы узнать больше о связях Эресмана в векторных расслоениях и о том, как они соотносятся с электромагнитным полем и электроном в квантовой механике.
Справочная информация: уравнение Шредингера для свободного электрона имеет вид
Теперь, чтобы записать уравнение Шредингера для электрона в электромагнитном поле, заданном векторным потенциалом , мы просто заменяем оператор импульса и времени следующими операторами
Я слышал, что это представляет собой «ковариантную производную», и я хотел бы узнать об этом больше.
Мои вопросы :
(Делегировано обозначению секций векторных расслоений .)
Я слышал, что связь - это «однозначная форма с алгеброй Ли». Как я могу это представить? Почему он принимает значения в алгебре Ли ?
Так как соединение является одной формой, как я могу применить его к разделу ? Я имею в виду, что форма ест векторы, но у меня есть раздел здесь? Что такое , это тоже раздел?
Прошу прощения за кажущуюся путаницу, которая, конечно же, является причиной моих вопросов.
Вот короткий (-иш) ответ. Векторное расслоение — это семейство векторных пространств над многообразием. Векторные пространства могут иметь базы. Многообразие может иметь координаты. Эти два понятия не связаны априори (теперь для расслоения касательных пространств изменение координат вызывает изменение базиса; этот факт часто сеет путаницу). Как только вы выбираете основу для своего векторного пространства, вы определяете вектор по его компонентам, но кто-то другой может описывать тот же вектор в другой основе. Чтобы перевести в физику: смена базиса = калибровочное преобразование.
В случае заряженной частицы волновая функция есть составляющая одновекторного сечения; в новом базисе это число меняется на ненулевое комплексное число (которое может меняться от точки к точке). Опять же, волновая функция — это сечение, а сечение означает один вектор для каждой точки многообразия. Как отличить функцию, которая принимает значения в разных векторных пространствах в разных точках? Нам нужен способ соединения векторных пространств. Соединение делает это; с прагматической точки зрения, это всего лишь правило для проведения этой дифференциации.
Конечно, дифференцирование будет выглядеть по-разному в разных векторных пространствах, поэтому вид связи будет зависеть от базиса и изменяться при калибровочных преобразованиях (точно так же, как изменяется вид линейного преобразования при замене базисов). Вот что пытаются вам сказать различные запутанные формулы о том, как вещи «трансформируются».
Не совсем уверен в этом вопросе. Возможно, вы просто спрашиваете о нотации? Вы можете выбрать все, что вам нравится. Но обычно вы выбираете одну систему координат и просто работаете в ней. Это, конечно, не проблема, если вы работаете в плоском пространстве-времени: там у вас есть хорошие глобальные координаты для всего.
Первая фраза правильная. Для произвольной группы Ли с алгеброй Ли вы можете получить так называемую G-структуру (например , -структура для римановых многообразий), и вы можете определить связность на ней. Это довольно тяжелая математика, но в конце концов вы получите -значная (точнее, принимает значения в присоединенном представлении ) одноформенный и ковариантная производная например тот, что вы написали.
В общем, я визуализирую связи так: вы вводите вектор, и связь возвращает вам элемент алгебры Ли, который является генератором некоторого преобразования в группе Ли. Например, на римановом многообразии вы вставляете в связь направление, в котором хотите двигаться, и получаете (очень грубо) информацию о том, насколько пространство искривлено в этом направлении. Точнее, если интегрировать вы получаете некоторый элемент который говорит вам, как любой вектор параллельно перемещается по замкнутой кривой (это называется голономия).
Что касается последнего вопроса, почему : ну, потому что это электромагнетизм. Различные группы дадут вам различные взаимодействия (например, дает вам QCD). Эти группы возникают из-за того, что теории содержат то, что называется калибровочной симметрией. Я уверен, вы знаете, что уравнения Максвелла, записанные на а также , инвариантны к некоторым преобразованиям. Более конкретно и ясно, как , куда представляет собой электромагнитный тензор и является четырехпотенциальным. В таком виде очевидно, что уравнения для не измениться при трансформации . Теперь давайте вернемся к и обратите внимание, что если вы хотите сделать теорию локально инвариантной (зачем вам это делать? потому что хорошо иметь локальные свойства вместо глобальных. И теория явно инвариантна по отношению к глобальному фазовому изменению, так что давайте просто попробуем это) что касается изменения фазы, вам придется ввести новую степень свободы который преобразуется точно так же, как 4-потенциал в теории Максвелла! На самом деле, мы только что восстановили фотоны. Итак, в заключение: если вы выберете как группа симметрий появляется электромагнетизм. Но заметьте, что для последовательного включения всего этого вам нужно работать в рамках квантовой теории поля, потому что уравнение Шредингера явно не является релятивистски инвариантным, а это свойство, которое мы, безусловно, хотели бы иметь в теории электромагнетизма.
Это может немного сбить с толку, особенно в литературе по физике, и я сомневаюсь, что смогу сделать это яснее. Возможно, это еще больше запутает вас, но вот: существуют различные пространства секций и -структуры и представления обоих а также что действительно следует различать между но которые идентифицированы в физике. Чтобы сделать это строгим, потребовалось бы слишком много места, поэтому я предлагаю вам просмотреть несколько книг по калибровочной теории. Я просто скажу вам, что вектор (точнее векторное поле ) — это тоже сечение и наоборот. Но обратите внимание, что здесь смешиваются еще два термина: абстрактный вектор как понятие из линейной алгебры (это наш : вы знаете, что это такой вектор, потому что у него нет пространственно-временного индекса ) и вектор как элемент пространства-времени Минковского, скажем . Для , он действует (в расширении) также на тензорной алгебре пространства сечений (в этом простом случае, когда не имеет индекса, тензорная алгебра изоморфна нормальной касательной тензорной алгебре) и дает вам одну форму, живущую в этой тензорной алгебре, так что да: это сечение, но в совершенно другом (хотя и изоморфном) пространстве!
Не нужно извиняться. Эти вещи довольно сложны, и требуется много времени, чтобы разобраться во всем этом, и я думаю, что многие физики просто отмахнулись бы от большей части математического содержания и приступили к вычислению чего-либо. Что здесь возможно, потому что только одномерна, ее алгебра Ли одномерна, и поэтому . Таким образом, вы все время работаете только с числами, и не возникает необходимости в абстрактных понятиях. За исключением того, что это ничуть не поможет вам, когда вы попытаетесь обобщить это (либо на КХД с неабелевой группой , или к искривленному пространству-времени), или даже если вы попробуете подумать о некоторых концепциях, довольно основных с точки зрения геометрии (например, попробуйте подумать о том, что означает упомянутая выше голономия по отношению к в случае ). Так что хорошо, что вы уже пытаетесь понять основные принципы.
Обновление в отношении вопроса Грега в комментариях:
Я не уверен, что полностью вас понимаю, но у меня возникло ощущение (возможно, ошибочное), что вы смешиваете здесь различные понятия инвариантности. Существует как минимум два понятия физической инвариантности (под действием группы Лоренца и под действием ), а также понятие инвариантности в смысле «бескоординатности». Теперь, если я правильно чувствую, вы просите аналог за . Эти две вещи действительно очень похожи, но немного замаскированы. Точнее: является сечением касательного расслоения и мы разлагаем его по некоторому сечению канонического касательного репера расслоения , что также несет в себе естественное действие группы (действие - локальная смена базиса и ранг ). Другими словами, мы имеем -структура здесь и отсюда берется "бескоординатная" инвариантность. Аналогичная ситуация с : это сечение векторного расслоения который несет -структура. На этом этапе также должно быть ясно, в чем разница между двумя случаями: в первом у вас есть два пакета а также а в последнем есть только . Так что нет смысла просить быть более инвариантным, чем оно уже есть: у вас нет ничего, относительно чего вы могли бы разложить его. Поэтому вместо того, чтобы думать о как аналог секции , думайте об этом как об аналоге раздела .
Я вполне понимаю ваше замешательство, поскольку вполне естественно, что вы чувствуете себя ошеломленным этой новой точкой зрения на теорию.
Ответы, данные Эриком и Мареком , просто прекрасны, и я не буду прямо говорить о главных связках, локальной тривиализации и тому подобном. Я хочу представить здесь очень интуитивный подход.
Я бы посоветовал вам вернуться на один или два шага назад и попытаться понять понятие ковариантной производной в классической дифференциальной геометрии. Там ковариантная производная гарантирует, что если вы получите некоторую величину на многообразии, скажем, на некоторой поверхности, эта новая величина также будет лежать «на многообразии» (собственно, что-то связанное с ним, например касательное пространство).
Следующий пример, мы надеемся, проиллюстрирует проблему, что означает, что что-то должно «остаться на коллекторе».
Хорошо, давайте рассмотрим самый простой пример, который только можно придумать, движение точки свободной массы на поверхности в ньютоновской механике. Как известно, лагранжиан в данном случае — это просто кинетическая энергия,
Итак, что сейчас ? Мы должны предположить, что в каждой точке скорость касается поверхности. Тогда мы знаем, что где мы суммируем по индексам и поверхность описывается некоторой метрикой и мы заменили скорость производной по времени от положения частицы.
Для решения системы нам понадобятся два слагаемых. Прежде всего, мы хотим рассчитать
второй,
поскольку симметричен. В настоящее время,
Наконец, уравнения движения имеют вид
и отбрасывая m, повторно используя симметрию в и переименовывая некоторые индексы, приходим к
что именно путем применения
Где символы Кристоффеля можно непосредственно рассматривать как
и я надеюсь, что я ничего не просчитался.
Вот это уравнение движения уже волшебное, поскольку оно и есть уравнение движения пробной частицы в ОТО . Но как насчет (других) калибровочных теорий поля?
Здесь кривизна определяется не непосредственно по отношению к многообразию, а как-то «привязанной» к нему группе. Вот почему у него будут некоторые групповые индексы, но их можно отбросить, если алгебра Ли группы одномерна, как в случае электродинамики. Там наша кривизна
но мы могли бы также указать
где сейчас
а также
являются индексами группы. Это выглядит гораздо более похожим на кривизну общей теории относительности,
где все индексы соответствуют многообразию, касательное пространство в каком-то смысле является группой общей теории относительности, грубо говоря.
По историческим причинам символы Кристоффеля, которые каким-то образом улавливают (не инвариантно!) силу, действующую на частицу из-за кривизны, в калибровочных теориях называются калибровочными полями. и масштабируется,
с снова групповыми индексами а также .
Теперь, если вы выведете что-то на многообразии, вам всегда придется определять эту производную по отношению к символам Кристоффеля, чтобы оставаться «в многообразии». С другой стороны, вывод также должен учитывать групповой характер, можно сказать, что результат должен оставаться «в группе». Это будет реализовано с помощью ковариантной производной, и здесь «символы Кристоффеля» называются калибровочными полями.
Искренне
Роберт
Лучшая книга, которую я видел на эту тему, написана Крисом Ишамом под названием « Современная дифференциальная геометрия для физиков » . Это тяжело, потому что он делает все строго, но это того стоит в конце для концептуального прояснения.
В основном есть две концепции, которыми нужно овладеть: главные расслоения и векторные расслоения. Понятие связи может быть определено в обоих независимо, и полезно знать, как переводить между ними.
Основное расслоение имеет структурную группу, обычно известную в физике как калибровочная группа, и основная конструкция, которая дает вам векторное расслоение из нее, называется ассоциированным расслоением, которое получается путем предоставления представления структуры/калибровочной группы.
1) Обозначения тяжелые, потому что есть масса деталей, за которые нужно держаться. Каждый шаг прямолинеен, но это его огромное количество.
2) Соединение на главном пучке является расщеплением его касательного расслоения в вертикальный пучок и горизонтальный пучок то есть эквивариантно , это означает, что оно совместимо с действием структурной группы на слоях. 1-форма связности возникает из наблюдения, что мы можем отождествить слои вертикального расслоения с касательным расслоением группы в начале , то есть получаем , а это в точности алгебра Ли группы.
3) Нельзя напрямую использовать 1-форму связи так, как вы указали. Вместо этого ковариантная производная строится из 1-формы связи, которая сама по себе не является 1-формой.
Стоит отметить, что главные и векторные расслоения и связности на них являются глобальными конструкциями, тогда как конструкции, которые обычно встречаются в физике, обычно локальны. Чтобы получить локальную картину, обычно берут часть пучка, а затем вытягивают геометрическую структуру.
Это был момент, который меня смутил. Например, 1-форма математической связи глобальна, а 1-форма физической связи локальна и они разные .
Дэвид З.
Грег Гравитон