Дифференциальная геометрия
Связности и ковариантная производная
Почему инерциальная навигация гироскопа дрейфует при движении по поверхности Земли? Почему квантовый спин приобретает геометрическую фазу при адиабатическом обходе? Ответ-в ковариантной производной и голономии: геометрическом аккумулировании кривизны при замкнутом обходе.
- **Навигация:** ориентация IMU (inertial measurement unit) отслеживается параллельным переносом на SO(3). Голономия объясняет дрейф гироскопов
- **Квантовые вычисления:** геометрические (голономные) квантовые ворота-логические операции через фазу Берри, устойчивые к локальным возмущениям
- **Теория калибровки:** связности в физике частиц-это U(1), SU(2), SU(3)-связности, описывающие электромагнитные и ядерные взаимодействия
Предварительные знания
Ковариантная производная
Обычная производная векторного поля зависит от системы координат и не является тензором. **Ковариантная производная** ∇-это геометрически корректный способ дифференцировать векторные поля на многообразии. Аксиомы: 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? Что это означает с точки зрения голономии?
- Голономные квантовые ворота устойчивы к локальным возмущениям, потому что фаза Берри зависит только от формы замкнутого пути, а не от деталей его прохождения. Как это связано с понятием топологической квантовой памяти?