для всех векторов и . В локальных координатах это соответствует уравнению Киллинга [2]
Это условие выражается в ковариантной форме. Следовательно, достаточно установить его в предпочтительной системе координат, чтобы он сохранялся во всех системах координат.
Примеры
Поле смерти на круге
Поле Убийств по кругу и поток вдоль Поля Убийств.
Векторное поле на окружности, направленное против часовой стрелки и имеющее одинаковую длину в каждой точке, является векторным полем Киллинга, поскольку перемещение каждой точки окружности вдоль этого векторного поля просто вращает окружность.
Поля смерти на гиперболической плоскости
Поле убийства на модели верхней полуплоскости, на полукруглом выделении точек. Это векторное поле Киллинга порождает специальное конформное преобразование. Цвет указывает величину векторного поля в этой точке.
Игрушечный пример векторного поля Киллинга находится в верхней полуплоскости, снабженной метрикой Пуанкаре . Пара обычно называется гиперболической плоскостью и имеет векторное поле Киллинга (с использованием стандартных координат). Это должно быть интуитивно понятно, поскольку ковариантная производная переносит метрику по интегральной кривой, порождаемой векторным полем (изображение которого параллельно оси x).
Более того, метрика не зависит от того, из чего мы можем сразу сделать вывод, что это поле Киллинга, используя один из результатов, приведенных ниже в этой статье.
Группа изометрии модели верхней полуплоскости (точнее, компонента, связанного с тождеством) равна (см. модель полуплоскости Пуанкаре ), а два других поля Киллинга могут быть получены из рассмотрения действия генераторов на верхняя полуплоскость. Два других порождающих поля Киллинга — это дилатация и специальное конформное преобразование .
Поля смерти на 2-сфере
Поле смерти на сфере. Это векторное поле Киллинга генерирует вращение вокруг оси z. Цвет указывает высоту базовой точки каждого вектора в поле. Увеличьте для анимации течения по полю Киллинга.
Поля Киллинга двухсферы или, в более общем смысле, -сферы должны быть очевидны из обычной интуиции: сферы, обладающие вращательной симметрией, должны обладать полями Киллинга, которые генерируют вращение вокруг любой оси. То есть мы ожидаем наличия симметрии под действием группы трехмерного вращения SO(3) . То есть, используя априорные знания о том, что сферы могут быть вложены в евклидово пространство, сразу можно угадать форму полей Киллинга. В целом это невозможно, поэтому этот пример имеет очень ограниченную образовательную ценность.
Обычная карта двумерной сферы, встроенная в декартовы координаты, имеет вид
так что параметризуется высота и параметризуется вращение вокруг оси.
Обращение стандартной декартовой метрики дает стандартную метрику на сфере :
.
Интуитивно понятно, что вращение вокруг любой оси должно быть изометрией. На этой диаграмме векторное поле, генерирующее вращение вокруг оси:
В этих координатах все компоненты метрики не зависят от , что показывает, что это поле Киллинга.
Векторное поле
это не поле Смерти; координата явно появляется в метрике. Создаваемый поток идет с севера на юг; точки на северном полюсе расходятся, а на южном сходятся. Любое преобразование, которое перемещает точки ближе или дальше друг от друга, не может быть изометрией; поэтому генератором такого движения не может быть поле Киллинга.
Генератор распознается как вращение вокруг -оси.
Второй генератор для вращения вокруг оси - это
Третий генератор для вращения вокруг -оси:
Алгебра, заданная линейными комбинациями этих трех образующих, замыкается и подчиняется соотношениям
Это алгебра Ли .
Выражение и через сферические координаты дает
и
То, что эти три векторных поля на самом деле являются полями Киллинга, можно определить двумя разными способами. Один из них — явные вычисления: просто подставьте явные выражения для и пыхтите, чтобы показать, что это стоящее упражнение. Альтернативно можно признать и генераторами изометрий в евклидовом пространстве, а поскольку метрика на сфере наследуется от метрики в евклиденовом пространстве, то и изометрии наследуются.
Эти три поля Киллинга образуют полный набор образующих алгебры. Они не уникальны: любая линейная комбинация этих трех полей по-прежнему является полем Киллинга.
В этом примере следует отметить несколько тонких моментов.
Эти три поля не являются глобально отличными от нуля; действительно, поле исчезает на северном и южном полюсах; аналогично и исчезают в антиподах на экваторе. Один из способов понять это — это следствие « теоремы о волосатом шаре ». Это свойство проплешин является общим свойством симметричных пространств в разложении Картана . В каждой точке многообразия алгебра полей Киллинга естественным образом распадается на две части: одна часть касается многообразия, а другая — обращается в нуль (в точке, где происходит разложение).
Три поля и не имеют единичной длины. Нормализовать можно путем деления на общий коэффициент появления во всех трех выражениях. Однако в этом случае поля уже не являются гладкими: например, сингулярными (недифференцируемыми) на северном и южном полюсах.
Эти три поля не являются поточечно ортогональными; на самом деле они не могут быть, поскольку в любой данной точке касательная плоскость двумерна, а векторов три. Для любой точки сферы существует некоторая нетривиальная линейная комбинация и , которая обращается в нуль: эти три вектора представляют собой сверхполный базис двумерной касательной плоскости в этой точке.
Априорное знание того , что сферы могут быть встроены в евклидово пространство и, таким образом, наследовать метрику от этого вложения, приводит к сбивчивому интуитивному пониманию правильного количества полей Киллинга, которое можно было бы ожидать. Без такого вложения интуиция могла бы подсказать, что число линейно независимых образующих не будет больше размерности касательного расслоения. Ведь, фиксируя любую точку многообразия, можно двигаться только в тех направлениях, которые являются касательными. Размерность касательного расслоения для 2-сферы равна двум, и тем не менее найдены три поля Киллинга. Опять же, этот «сюрприз» является общим свойством симметричных пространств.
Когда базовое многообразие представляет собой плоское пространство, то есть евклидово пространство или псевдоевклидово пространство (как в случае с пространством Минковского), мы можем выбрать глобальные плоские координаты так, чтобы в этих координатах связность Леви-Чивита и, следовательно, кривизна Римана исчезали повсюду, давая
Интегрирование и наложение уравнения Киллинга позволяет нам записать общее решение в виде
где антисимметричен. Принимая подходящие значения и , мы получаем основу обобщенной алгебры Пуанкаре изометрий плоского пространства:
Они генерируют псевдовращения (вращения и повышения) и перемещения соответственно. Интуитивно они сохраняют (псевдо)-метрику в каждой точке.
Для (псевдо)евклидова пространства тотальной размерности всего имеются образующие, делающие плоское пространство максимально симметричным. Это число является общим для максимально симметричных пространств. Максимально симметричные пространства можно рассматривать как подмногообразия плоского пространства, возникающие как поверхности постоянного собственного расстояния.
которые имеют симметрию O( p , q ) . Если подмногообразие имеет размерность , эта группа симметрий имеет ожидаемую размерность (как группа Ли ).
Эвристически мы можем вывести размерность алгебры поля Киллинга. Рассматривая уравнение Киллинга вместе с тождеством как систему дифференциальных уравнений второго порядка для , мы можем определить значение в любой точке по заданным начальным данным в точке . Исходные данные определяют и , но уравнение Киллинга предполагает, что ковариантная производная антисимметрична. В целом это независимые значения исходных данных.
Конкретные примеры см. ниже в примерах плоского пространства (пространство Минковского) и максимально симметричных пространств (сфера, гиперболическое пространство).
Поля смерти в общей теории относительности
Поля Киллинга используются для обсуждения изометрий в общей теории относительности (в которой геометрия пространства-времени , искаженная гравитационными полями, рассматривается как 4-мерное псевдориманово многообразие). В статической конфигурации, в которой ничего не меняется со временем, вектор времени будет вектором Киллинга, и, таким образом, поле Киллинга будет указывать направление поступательного движения во времени. Например, метрика Шварцшильда имеет четыре поля Киллинга: метрика не зависит от , следовательно, является времениподобным полем Киллинга. Остальные три — это три генератора вращений, о которых говорилось выше. Метрика Керра для вращающейся черной дыры имеет только два поля Киллинга: времениподобное поле и поле, генерирующее вращения вокруг оси вращения черной дыры.
Если метрические коэффициенты в некотором координатном базисе не зависят от одной из координат , то – вектор Киллинга, где – дельта Кронекера . [3]
Чтобы доказать это, предположим . Тогда и
Теперь давайте посмотрим на условие убийства
и из . Условие убийства становится
то есть это правда.
Физический смысл, например, состоит в том, что, если ни один из метрических коэффициентов не является функцией времени, многообразие автоматически должно иметь времяподобный вектор Киллинга.
С точки зрения непрофессионала, если объект не трансформируется и не «развивается» во времени (по прошествии времени), течение времени не изменит меры объекта. В такой формулировке результат звучит как тавтология, но надо понимать, что пример сильно надуман: поля уничтожения применимы и к гораздо более сложным и интересным случаям.
Обратно, если метрика допускает поле Киллинга , то можно построить координаты, для которых . Эти координаты строятся путем взятия гиперповерхности, которая нигде не касается . Возьмите координаты на , затем определите локальные координаты где обозначает параметр вдоль интегральной кривой на основе при . В этих координатах производная Ли сводится к координатной производной, т.е.
и по определению поля Киллинга левая часть обращается в нуль.
Характеристики
Поле Киллинга однозначно определяется вектором в некоторой точке и его градиентом (т.е. всеми ковариантными производными поля в этой точке).
Скобка Ли двух полей Киллинга по-прежнему остается полем Киллинга. Таким образом , поля Киллинга на многообразии M образуют подалгебру Ли векторных полей на M . Это алгебра Ли группы изометрий многообразия, если M полно . Риманово многообразие с транзитивной группой изометрий — однородное пространство .
Отрицательная кривизна Риччи означает, что не существует нетривиальных (ненулевых) полей Киллинга.
Неположительная кривизна Риччи означает, что любое поле Киллинга параллельно. т.е. ковариантная производная вдоль любого векторного поля равна тождественному нулю.
Если секционная кривизна положительна, а размерность M четна, поле Киллинга должно иметь ноль.
Ковариантная дивергенция любого векторного поля Киллинга исчезает.
Каждому вектору Киллинга соответствует величина, сохраняющаяся вдоль геодезических . Эта сохраняющаяся величина представляет собой метрическое произведение вектора Киллинга и вектора геодезического касательного. Вдоль аффинно параметризованной геодезической с касательным вектором, тогда заданным вектором Киллинга , величина сохраняется:
Это помогает аналитически изучать движения в пространстве-времени с симметрией. [4]
Тензор энергии-напряжения
Учитывая сохраняющийся симметричный тензор , то есть удовлетворяющий и , которые являются свойствами, типичными для тензора энергии-импульса , и вектора Киллинга , мы можем построить сохраняющуюся величину, удовлетворяющую
Разложение Картана
Как отмечалось выше, скобка Ли двух полей Киллинга по-прежнему остается полем Киллинга. Таким образом , поля Киллинга на многообразии образуют подалгебру Ли всех векторных полей. При выборе точки алгебру можно разложить на две части:
и
где – ковариантная производная . Эти две части тривиально пересекаются, но в общем случае не разделяются . Например, если — риманово однородное пространство, то тогда и только тогда, когда — риманово симметрическое пространство. [5]
Интуитивно понятно, что изометрии локально определяют подмногообразие всего пространства, а поля Киллинга показывают, как «скользить вдоль» этого подмногообразия. Они охватывают касательное пространство этого подмногообразия. Касательное пространство должно иметь ту же размерность, что и изометрии, эффективно действующие в этой точке. То есть, можно ожидать. Однако, в общем, количество полей Киллинга больше, чем размерность этого касательного пространства. Как это может быть? Ответ в том, что «лишние» поля Киллинга избыточны. Взятые все вместе, поля обеспечивают сверхполную основу для касательного пространства в любой конкретной выбранной точке; линейные комбинации могут исчезать в этой конкретной точке. Это было видно на примере Полей Смерти на 2-сфере: имеется 3 Поля Смерти; в любой данной точке два охватывают касательное пространство в этой точке, а третий представляет собой линейную комбинацию двух других. Выбор любых двух определяет оставшиеся вырожденные линейные комбинации, которые определяют ортогональное пространство.
Картановская инволюция
Инволюция Картана определяется как отражение или изменение направления геодезической. Его дифференциал меняет направление касательных к геодезической. Это линейный оператор нормы один; он имеет два инвариантных подпространства с собственным значением +1 и -1. Эти два подпространства соответствуют и соответственно.
Это можно уточнить. Зафиксировав точку, рассмотрим геодезическую, проходящую через , причем инволюция определяется как
Эта карта представляет собой инволюцию, поскольку, будучи ограничена геодезическими вдоль полей Киллинга, она также явно является изометрией. Он определяется однозначно.
Пусть – группа изометрий, порожденная полями Киллинга. Функция, определенная
является гомоморфизмом . Его бесконечно малая величина
Инволюция Картана является гомоморфизмом алгебры Ли, в том, что
for all Подпространство имеет нечетную четность при инволюции Картана и четную четность. То есть, обозначая инволюцию Картана в точке, как это было сделано
и
где идентификационная карта. Из этого следует, что подпространство является подалгеброй Ли в том, что
Поскольку это подпространства с четной и нечетной четностью, скобки Ли расщепляются, так что
и
Вышеупомянутое разложение справедливо во всех точках симметричного пространства ; доказательства можно найти в Йосте. [6] Они также справедливы и в более общих условиях, но не обязательно во всех точках многообразия. [ нужна цитата ]
Для частного случая симметричного пространства это очевидно, то есть поля Киллинга охватывают все касательное пространство симметричного пространства. Эквивалентно, тензор кривизны ковариантно постоянен в локально симметричных пространствах, поэтому они локально распараллеливаемы; это теорема Картана-Амброуза-Хикса .
Векторные поля Киллинга также можно определить на любом многообразии M (возможно, без метрики), если вместо группы изометрий взять любую действующую на нем группу Ли G. [8] В этом более широком смысле векторное поле Киллинга — это продолжение правоинвариантного векторного поля на G посредством группового действия. Если действие группы эффективно, то пространство векторных полей Киллинга изоморфно алгебре Ли группы G .
^ Йост, Юрген (2002). Риманова геометрия и геометрический анализ . Берлин: Springer-Verlag. ISBN 3-540-42627-2.
^ Адлер, Рональд; Базен, Морис; Шиффер, Менахем (1975). Введение в общую теорию относительности (второе изд.). Нью-Йорк: МакГроу-Хилл. ISBN0-07-000423-4.. См. главы 3, 9.
^ Миснер, Торн, Уилер (1973). Гравитация . WH Фриман и компания. ISBN0-7167-0344-0.{{cite book}}: CS1 maint: multiple names: authors list (link)
^ Кэрролл, Шон (2004). Пространство-время и геометрия: введение в общую теорию относительности . Эддисон Уэсли. стр. 133–139. ISBN9780805387322.
^ Олмос, Карлос; Реджани, Сильвио; Тамару, Хироши (2014). Индекс симметрии компактных естественно редуктивных пространств . Математика. З. 277 , 611–628. DOI 10.1007/s00209-013-1268-0
^ Юрген Йост, (2002) «Римманова геометрия и геометрический анализ» (третье издание) Springer. ( См. раздел 5.2, стр. 241–251. )
^ Кэрролл, Шон (2004). Пространство-время и геометрия: введение в общую теорию относительности . Эддисон Уэсли. стр. 263, 344. ISBN.9780805387322.