Можно легко убедиться в том, что эти вектора действительно перпендикулярны, нарисовав точки (a, b) и (-b, a) на координатной плоскости и измерив углы между отрезками, выходящими из начала координат и заканчивающимися в данных точках. Операция, о которой идет речь, — преобразование координаты x в координату (-y), а координаты y в координату x — носит название J-преобразования, которое на вещественной плоскости является аналогом умножения на i на комплексной. Дважды проведенное J-преобразование (или J2) аналогично умножению вектора на -1. Дальнейшее объяснение будет идти именно в терминах поворотов (J-преобразований), а не в терминах умножения на мнимую единицу, поскольку процесс преобразования проще представить — не важно, в голове или на бумаге — на вещественной, а не на комплексной координатной плоскости. При этом нужно не забывать, что J-преобразование является только удобной иллюстрацией комплексного умножения на i путем перехода к двухмерным вещественным координатам.
Все эрмитовы многообразия имеют этот тип симметрии: J-преобразования поворачивают все вектора на 90 градусов, сохраняя их длины неизменными. Кэлеровы многообразия, представляющие собой подмножество эрмитовых многообразий, обладают такой же симметрией. Кроме того, кэлеровы многообразия обладают так называемой внутренней симметрией — специфическим типом симметрии, который должен сохраняться при перемещении между любыми двумя точками пространства с кэлеровой метрикой. Многие из видов симметрий, с которыми мы постоянно сталкиваемся в природе, относятся к группе вращений.
Сфера, к примеру, имеет глобальную симметрию — названную так, поскольку она работает относительно любой точки сферы. Одним из типов симметрии в данном случае является вращательная инвариантность, означающая, что при любом повороте сфера совпадает сама с собой. Симметрия кэлерова многообразия, с другой стороны, более локальна, поскольку она относится только к первым производным метрики. Однако благодаря методам дифференциальной геометрии, позволяющим осуществить интегрирование по всему многообразию, можно увидеть, что условие кэлеровости и связанная с ним симметрия подразумевают особое отношение между различными точками. Таким образом, симметрия, изначально охарактеризованная как локальная, при помощи интегрального исчисления приобретает более глобальную роль связующего звена между различными точками многообразия.
Основная проблема данного типа симметрии относится к особой разновидности преобразования, называемой параллельным переносом. Параллельный перенос, как и операция поворота, является линейным преобразованием: это преобразование подразумевает такое перемещение векторов вдоль определенной траектории на поверхности или многообразии, при котором сохраняются не только длины всех векторов, но и углы между любой парой векторов. В тех случаях, когда параллельный перенос сложно представить наглядно, точный путь перемещения векторов можно рассчитать при помощи метрики, решая дифференциальные уравнения.
На плоской, евклидовой поверхности все очень просто: нужно только сохранять направление и длину каждого вектора. На искривленных поверхностях и для произвольных многообразий условие постоянства длин и углов сохраняется, хотя и несколько усложняется по сравнению с евклидовым пространством.
Особенность кэлерова многообразия состоит в следующем: если при помощи операции параллельного переноса переместить вектор V из точки P в точку Q вдоль заданной траектории, то результатом этого перемещения станет новый вектор W1. Применив к вектору операцию поворота на 90 градусов (J-операцию), мы получим новый вектор JW1. С тем же успехом можно сначала применить к вектору V операцию поворота (J-операцию), в результате которой возникнет новый вектор JV, по-прежнему начинающийся в точке P. Если после этого параллельно перенести вектор JV в точку Q и полученный вектор назвать W2, то в случае кэлерова многообразия векторы JW1 и W2 будут идентичны вне зависимости от пути перемещения между точками P и Q. Можно сказать, что на кэлеровом многообразии J-операция инвариантна относительно параллельного переноса. Для комплексных многообразий в общем случае это не так. Можно сформулировать это условие и в другом виде: на кэлеровом многообразии параллельный перенос вектора с последующим его поворотом аналогичен повороту вектора с последующим параллельным переносом. Эти две операции коммутируют — поэтому не имеет значения, в каком порядке их выполнять. В общем случае это не так, как наглядно объяснил Роберт Грин: «Открыть дверь и затем выйти из дому — это далеко не то же самое, что выйти из дому и лишь затем открыть дверь».
Основная идея параллельного переноса проиллюстрирована на рис. 4.3 для поверхности с двумя вещественными измерениями или одним комплексным (поверхность с большим числом измерений нарисовать проблематично). Впрочем, этот случай скорее тривиален, поскольку число возможных направлений поворота ограничено числом два: влево и вправо.
Однако уже для двух комплексных измерений (четырех вещественных) число векторов определенной длины, перпендикулярных любому заданному вектору, бесконечно велико. Эти векторы образуют касательное пространство, которое в двухмерном случае можно представить как огромный кусок фанеры, лежащий на верхушке баскетбольного мяча. В этом случае знание того, что необходимый нам вектор перпендикулярен некоему другому, известному нам, едва ли заметно упростит его нахождение — если только многообразие, которому он принадлежит, не является кэлеровым. Для кэлерова многообразия, зная вектор, полученный при повороте на 90 градусов (J-преобразовании) в одной из точек многообразия, можно точно предсказать величину и направление подобных векторов в любой другой точке, поскольку параллельный перенос дает возможность переместить этот вектор из первой точки во вторую.
Рис. 4.3. На первом рисунке изображен параллельный перенос вектора V из точки P в точку Q, в которой этот вектор приобретает новое имя W1. Затем при помощи так называемой J-операции вектор W1 поворачивается на 90 градусов. Повернутый вектор носит название JW1. На втором рисунке J-операция проводится над вектором V в точке P, результатом которой становится новый вектор (повернутый на 90 градусов) — JV. При помощи параллельного переноса этот вектор перемещают в точку Q, где он получает новое имя W2. В обоих случаях результирующие векторы будут одинаковы. Это один из признаков кэлерова многообразия, а именно независимость результата от последовательности, в которой выполняются операции поворота и параллельного переноса. Эти две операции коммутируют, то есть порядок их выполнения не имеет значения
Существует еще один способ показать, что эта простая операция (поворот на 90 градусов, или J-преобразование) тесно связана с симметрией. Этот тип симметрии называется четырехкратной симметрией, поскольку при каждом J-преобразовании вектор поворачивается на 90 градусов. В результате четырех последовательных преобразований вектор повернется на 360 градусов и, пройдя полный круг, вернется в начальную точку. Иначе говоря, два J-преобразования аналогичны умножению на -1. Четыре преобразования приведут к умножению вектора на единицу (-1×-1=1). В результате мы вернемся к тому, с чего начали.
Очевидно, что данная симметрия применима только к касательному пространству в определенной точке, но для того чтобы это свойство было действительно полезным, четырехкратная симметрия должна сохраняться и при перемещении по всему пространству. Эта согласованность является важной особенностью внутренней симметрии. Представьте себе стрелку компаса, которая характеризуется двухкратной симметрией в том смысле, что она может указывать только в двух направлениях — северном и южном. Если при вращении компаса в пространстве его стрелка будет беспорядочным образом указывать то на север, то на юг без какой-либо причины, можно сделать вывод о том, что пространство, в котором вы находитесь, либо не обладает соответствующей симметрией, либо не имеет заметного магнитного поля (либо вам пора покупать новый компас). Аналогично, если J-операция дает разные результаты в зависимости от положения точки на многообразии и направления поворота, то это означает, что в многообразии отсутствуют порядок и предсказуемость, обеспечиваемые симметрией. Более того, вы можете быть уверены, что это многообразие не кэлерово.