Дифференциальная геометрия

Связности и ковариантная производная

Почему инерциальная навигация гироскопа дрейфует при движении по поверхности Земли? Почему квантовый спин приобретает геометрическую фазу при адиабатическом обходе? Ответ-в ковариантной производной и голономии: геометрическом аккумулировании кривизны при замкнутом обходе.

  • **Навигация:** ориентация IMU (inertial measurement unit) отслеживается параллельным переносом на SO(3). Голономия объясняет дрейф гироскопов
  • **Квантовые вычисления:** геометрические (голономные) квантовые ворота-логические операции через фазу Берри, устойчивые к локальным возмущениям
  • **Теория калибровки:** связности в физике частиц-это U(1), SU(2), SU(3)-связности, описывающие электромагнитные и ядерные взаимодействия

Предварительные знания

  • Differential Forms

Ковариантная производная

Обычная производная векторного поля зависит от системы координат и не является тензором. **Ковариантная производная** ∇-это геометрически корректный способ дифференцировать векторные поля на многообразии. Аксиомы: 1. ∇ₓ(Y+Z) = ∇ₓY + ∇ₓZ 2. ∇_{fX}Y = f∇ₓY 3. правило Лейбница ∇ₓ(fY) = (Xf)Y + f∇ₓY.

В локальных координатах: ∇_{∂ᵢ}(∂ⱼ) = Γᵏᵢⱼ ∂ₖ, где **символы Кристоффеля** Γᵏᵢⱼ-компоненты связности. Ковариантная производная произвольного поля Y = Yʲ∂ⱼ вдоль ∂ᵢ: ∇_{∂ᵢ}Y = (∂Yᵏ/∂xⁱ + ΓᵏᵢⱼYʲ)∂ₖ.

**Геодезическая как условие:** кривая γ(t)-геодезическая тогда и только тогда, когда ∇_{γ'} γ' = 0. Вектор скорости транспортируется параллельно вдоль кривой. Это обобщение "движения по прямой" на многообразие.

Что означает условие ∇_{γ'} γ' = 0 для кривой γ?

Связность Леви-Чивита и параллельный перенос

**Связность Леви-Чивита**-единственная связность на риманновом многообразии, которая 1. совместима с метрикой: ∇g = 0 (скалярные произведения сохраняются при параллельном переносе) 2. без кручения: ∇ₓY − ∇ᵧX = [X,Y]. Символы Кристоффеля: Γᵏᵢⱼ = (1/2)gᵏˡ(∂ᵢgⱼˡ + ∂ⱼgᵢˡ − ∂ˡgᵢⱼ).

**Параллельный перенос** вектора v вдоль кривой γ: ∇_{γ'} V = 0. Вектор V(t) сохраняет 'направление' относительно поверхности вдоль пути. На плоскости-тривиален. На сфере-приводит к повороту вектора на угол, равный площади охваченной области (голономия).

В робототехнике параллельный перенос на SO(3) используется для отслеживания ориентации: IMU интегрирует угловую скорость ω, и ориентация обновляется как R(t+dt) = R(t) · exp(ω·dt). Это дискретный параллельный перенос вдоль траектории движения.

После параллельного переноса вектора по замкнутому пути на поверхности он не совпал с исходным. Что это означает?

Голономия и квантовая механика

**Голономия**-группа всех преобразований касательного пространства TₓM, порождённых параллельным переносом по всем замкнутым петлям из точки x. Для связности Леви-Чивита голономия-это группа вращений, связанная с кривизной поверхности.

**Фаза Берри** в квантовой механике-аналог голономии для комплексного расслоения. При медленном (адиабатическом) обходе замкнутого цикла в пространстве параметров квантовое состояние приобретает дополнительную фазу e^{iγ}, не связанную с динамической фазой. γ = ∫∫ F dS, где F-кривизна (поле Берри).

**Применение в ML:** голономия-основанные нейронные сети (holonomy networks) используют геометрические фазы для кодирования симметрий. Параллельный перенос в теории калибровочных полей описывает взаимодействие частиц в Стандартной модели.

Фаза Берри γ для спина-1/2 при обходе параллели θ = π/2 (экватора) равна:

Ключевые идеи

  • **Ковариантная производная** ∇-тензорное дифференцирование на многообразии. В координатах: Γᵏᵢⱼ-символы Кристоффеля
  • **Связность Леви-Чивита:** единственная совместимая с метрикой и без кручения. Формула через gᵢⱼ
  • **Параллельный перенос:** ∇_{γ'} V = 0. Вектор движется 'прямо' вдоль кривой; геодезические = ∇_{γ'} γ' = 0
  • **Голономия = накопленная кривизна** при замкнутом обходе. Фаза Берри-квантовый аналог с приложениями в топологических материалах

Связанные темы

Ковариантная производная-основа тензорного анализа и дифференциальной геометрии:

  • Тензор кривизны Римана — R(X,Y)Z = ∇ₓ∇ᵧZ − ∇ᵧ∇ₓZ − ∇_{[X,Y]}Z-'некоммутативность' ковариантных производных
  • Геодезические — Геодезические-кривые с ∇_{γ'} γ' = 0-определяются через ковариантную производную
  • Дифференциальные формы — Связность как 1-форма со значениями в алгебре Ли; кривизна-2-форма

Вопросы для размышления

  • Фуко обнаружил вращение плоскости качания маятника (опыт Фуко). Объясните это как голономию параллельного переноса при суточном вращении Земли: какую роль играет широта в угле поворота?
  • В теории Янга-Миллса связность-это матричнозначная 1-форма A, кривизна F = dA + A∧A. Почему добавляется нелинейный член A∧A? Что это означает с точки зрения голономии?
  • Голономные квантовые ворота устойчивы к локальным возмущениям, потому что фаза Берри зависит только от формы замкнутого пути, а не от деталей его прохождения. Как это связано с понятием топологической квантовой памяти?

Связанные уроки

  • la-13-eigenvectors
Связности и ковариантная производная

0

1

Войти