многообразия. При помещении начала комплексной системы координат в любую точку эрмитового многообразия метрика будет совпадать со стандартной евклидовой метрикой для данной точки. Однако при смещении из этой точки метрика становится все более и более неевклидовой. Выражаясь более строго, при смещении из начала координат на расстояние
ε (эпсилон) метрические коэффициенты сами по себе изменятся на величину порядка
ε. Такие многообразия принято характеризовать как
евклидовы многообразия первого рода. Таким образом, если
ε составляет одну тысячную миллиметра, то при смещении на
ε коэффициенты эрмитовой метрики останутся постоянными в пределах одной тысячной миллиметра или около того. Кэлеровы многообразия являются
евклидовыми многообразиями второго рода, что означает еще большую стабильность их метрики; метрические коэффициенты на кэлеровом многообразии при смещении из начала координат на
ε изменяются как
ε>2. Продолжая предыдущий пример, для кэлерова многообразия при смещении на
ε = 0,001 мм метрика изменится на
0,000001 мм.
Итак, что же побудило Калаби выделить кэлеровы многообразия как одни из наиболее интересных? Для того чтобы ответить на этот вопрос, следует рассмотреть все возможные варианты. Если требовать полной строгости, можно настаивать, к примеру, на том, чтобы многообразия были совершенно плоскими. Но совершенно плоскими являются только те компактные многообразия, которые имеют форму бубликов, торов и других близких к ним объектов, — что остается верным для любых размерностей, начиная от двух и выше. Тороидальные объекты просты для изучения, но их количество ограничено. Математикам интереснее исследовать более разнообразные объекты, дающие им более широкий спектр возможностей. С другой стороны, требования для причисления многообразий к категории эрмитовых слишком слабы — следовательно, число возможных объектов чрезвычайно велико. Кэлеровы многообразия, лежащие между эрмитовыми и плоскими, имеют как раз такой набор свойств, который нужен геометрам. Их структура достаточно развита, чтобы упростить работу с ними, но не настолько, чтобы ограничить математика в выборе многообразия, удовлетворяющего его спецификациям.
Другой причиной внимания к кэлеровым многообразиям стала возможность использования для их исследования методов, введенных Риманом, которые впоследствии использовал Эйнштейн. Эти методы работают на кэлеровых многообразиях, представляющих собой ограниченный класс эрмитовых многообразий, но в целом к эрмитовым многообразиям неприменимы. Мы крайне заинтересованы в возможности использования данных методов, поскольку их надежность была проверена еще в процессе разработки самим Риманом, кроме того, математики имели более столетия на их дальнейшее усовершенствование. Все это делает кэлеровы многообразия весьма привлекательным выбором, поскольку мы по сути уже имеем на руках технологию работы с ними.