В дифференциальной геометрии , то Риччи тензор кривизны , названный в честь Риччи-Курбастро , является геометрический объект , который определяется путем выбора римановой или псевдо-римановой метрики на многообразии . В широком смысле его можно рассматривать как меру степени, в которой геометрия данного метрического тензора локально отличается от геометрии обычного евклидова пространства или псевдоевклидова пространства .
Тензор Риччи можно охарактеризовать путем измерения того, как форма деформируется при движении по геодезическим в пространстве. В общей теории относительности , которая включает псевдориманову постановку, это отражается наличием тензора Риччи в уравнении Райчаудхури . Отчасти по этой причине уравнения поля Эйнштейна предполагают, что пространство-время можно описать псевдоримановой метрикой с поразительно простой связью между тензором Риччи и материальным содержанием Вселенной.
Как и метрический тензор, тензор Риччи сопоставляет каждому касательному пространству многообразия симметричную билинейную форму ( Besse 1987 , p. 43). [1] В широком смысле можно было бы сравнить роль кривизны Риччи в римановой геометрии с ролью лапласиана в анализе функций; по этой аналогии тензор кривизны Римана , естественным побочным продуктом которого является кривизна Риччи, соответствовал бы полной матрице вторых производных функции. Однако есть и другие способы провести ту же аналогию.
В трехмерной топологии тензор Риччи содержит всю информацию, которая в более высоких измерениях кодируется более сложным тензором кривизны Римана . Частично эта простота позволяет применять многие геометрические и аналитические инструменты, которые привели к решению гипотезы Пуанкаре благодаря работе Ричарда С. Гамильтона и Григория Перельмана .
В дифференциальной геометрии нижние оценки тензора Риччи на римановом многообразии позволяют извлекать глобальную геометрическую и топологическую информацию путем сравнения (см. Теорему сравнения ) с геометрией пространственной формы постоянной кривизны . Это связано с тем, что нижние оценки тензора Риччи могут быть успешно использованы при изучении функционала длины в римановой геометрии, как впервые было показано в 1941 году с помощью теоремы Майерса .
Один общий источник тензора Риччи - то, что он возникает всякий раз, когда кто-то коммутирует ковариантную производную с тензорным лапласианом. Это, например, объясняет его присутствие в формуле Бохнера , которая повсеместно используется в римановой геометрии. Например, эта формула объясняет, почему оценки градиента из-за Шинг-Тунг Яу (и их разработок, таких как неравенства Ченг-Яу и Ли-Яу) почти всегда зависят от нижней границы кривизны Риччи.
В 2007 году Джон Лотт , Карл-Теодор Штурм и Седрик Виллани убедительно продемонстрировали, что нижние оценки кривизны Риччи можно полностью понять в терминах структуры метрического пространства риманова многообразия вместе с его формой объема. [2] Это установило глубокую связь между кривизной Риччи и геометрией Вассерштейна и оптимальным переносом , что в настоящее время является предметом многих исследований. [ необходима цитата ]
Определение
Первый подраздел здесь предназначен для ознакомления с определением тензора Риччи для читателей, знакомых с линейной алгеброй и многомерным исчислением. В последующих подразделах используется более сложная терминология.
Введение и местное определение
Пусть U - открытое подмножество ℝ n , и для каждой пары чисел i и j от 1 до n пусть g ij : U → ℝ - гладкая функция при условии, что для каждого p в U матрица
является симметричным , и обратим . Для каждого p в U пусть [ g ij ( p )] будет обратной матрицей [ g ij ( p )] выше . Функции R ij явно определяются следующими формулами:
Непосредственно из рассмотрения этой формулы видно, что R ij должно равняться R ji для любых i и j . Таким образом, можно рассматривать функции R ij как связанные с любой точкой p из U симметричной матрицей размера n × n . Это матричнозначное отображение на U называется кривизной Риччи, связанной с набором функций g ij .
В представленном виде нет ничего интуитивного или естественного в определении кривизны Риччи. Он выделен как объект для изучения только потому, что обладает следующим замечательным свойством. Пусть V ⊂ ℝ n - другое открытое множество, и пусть y : V → U - гладкое отображение, матрица первых производных которого
обратима при любом выборе Q ∈ V . Определим g ij : V → ℝ матричным произведением
Используя правило произведения и правило цепочки, можно вычислить следующую взаимосвязь между кривизной Риччи набора функций g ij и кривизной Риччи набора функций g ij : для любого q в V выполняется
Это довольно неожиданно, поскольку, непосредственно подставляя формулу, определяющую g ij, в формулу, определяющую R ij , можно увидеть, что придется учитывать до третьих производных y , возникающих, когда вторые производные в первых четырех членах определения R IJ действуют на компоненты J . «Чудо» состоит в том, что внушительный набор первых производных, вторых производных и обратных, составляющих определение кривизны Риччи, идеально настроен так, что все эти высшие производные y сокращаются, и остается одна удивительно чистая матрица формула, приведенная выше, которая связывает R ij и R ij . Еще более примечательно то, что это сокращение терминов таково, что матричная формула, связывающая R ij с R ij , идентична матричной формуле, связывающей g ij с g ij .
Используя сложную терминологию, определение кривизны Риччи можно резюмировать следующим образом:
Пусть U - открытое подмножество ℝ n . Для гладкого отображения g на U, которое принимает значения в пространстве обратимых симметричных матриц размера n × n , можно определить (сложной формулой, включающей различные частные производные компонентов g ) кривизну Риччи g как гладкое отображение из U в пространство симметричных матриц размера n × n .
Замечательное и неожиданное свойство кривизны Риччи можно резюмировать следующим образом:
Пусть J Обозначим матрицу Якоби диффеоморфизма у из некоторого другого открытого множества V на U . Кривизна Риччи матричнозначной функции, заданной матричным произведением J T ( g ∘ y ) J , задается матричным произведением J T ( R ∘ y ) J , где R обозначает кривизну Риччи функции g .
В математике это свойство упоминается, говоря, что кривизна Риччи является «тензорной величиной», и отмечает формулу, определяющую кривизну Риччи, хотя она может быть сложной, но имеющей выдающееся значение в области дифференциальной геометрии . [3] С физической точки зрения это свойство является проявлением « общей ковариантности » и является основной причиной того, что Альберт Эйнштейн использовал формулу, определяющую R ij, при формулировании общей теории относительности . В этом контексте возможность выбора отображения y сводится к возможности выбора между опорными кадрами; «Неожиданное свойство» кривизны Риччи является отражением широкого принципа, согласно которому уравнения физики не зависят от системы отсчета.
Это обсуждается с точки зрения дифференцируемых многообразий в следующем подразделе, хотя основное содержание практически идентично содержанию этого подраздела.
Определение через локальные координаты на гладком многообразии
Пусть ( M , g ) - гладкое риманово или псевдориманово n -многообразие. Для гладкой карты ( U ,) то есть функции g ij :( U ) → ℝ и g ij :( U ) → ℝ для каждого i и j от 1 до n, которые удовлетворяют
для всех х в( U ) . Функции g ij определяются путем вычисления g на координатных векторных полях, в то время как функции g ij определены так, что как матричнозначная функция они обеспечивают обратную матрицу функции x ↦ g ij ( x ) .
Теперь определите для каждого a , b , c , i и j от 1 до n функции
как карты ( U ) → ℝ .
Пусть теперь ( U ,) и ( V , ψ) - две гладкие карты, для которых U и V имеют непустое пересечение. Пусть R ij :( U ) → ℝ - функции, вычисленные, как указано выше, с помощью карты ( U ,) и пусть r ij : ψ ( V ) → ℝ - функции, вычисленные, как указано выше, с помощью карты ( V , ψ) . Затем с помощью расчета с правилом цепочки и правилом продукта можно проверить, что
Это показывает, что следующее определение не зависит от выбора ( U ,) . Для любого p из U определим билинейное отображение Ric p : T p M × T p M → ℝ следующим образом:
где X 1 , ..., X n и Y 1 , ..., Y n - компоненты X и Y относительно координатных векторных полей ( U ,) .
Обычно формальную презентацию выше сокращают следующим образом:
Пусть M - гладкое многообразие, а g - риманова или псевдориманова метрика. В локальных гладких координатах определите символы Кристоффеля
Непосредственно можно проверить, что
так что R IJ определяют (0,2) -тензорное поле на M . В частности, если X и Y - векторные поля на M, то относительно любых гладких координат имеем
Последняя строка включает демонстрацию того, что билинейное отображение Ric хорошо определено, что намного проще записать в неформальной записи.
Определение через дифференцирование векторных полей
Предположим, что ( M , g ) - n -мерное риманово или псевдориманово многообразие , снабженное связностью Леви-Чивиты ∇ . Кривизны Римана из М представляет собой отображение , которое принимает гладких векторных полей X , Y и Z , и возвращает векторное поле
на векторных полей X , Y , Z . Ключевым свойством этого отображения является то, что если X , Y , Z и X ' , Y' и Z ' - гладкие векторные поля, такие что X и X' определяют один и тот же элемент некоторого касательного пространства T p M , а Y и Y ' также определяют один и тот же элемент T p M , а Z и Z' также определяют тот же элемент T p M , тогда векторные поля R ( X , Y ) Z и R ( X ', Y ') Z ' также определяют тот же элемент Т р М .
Подразумевается, что кривизна Римана, которая априори является отображением с входами векторного поля и выходом векторного поля, на самом деле может рассматриваться как отображение с входами касательного вектора и выходом касательного вектора. То есть он определяет для каждого p в M (полилинейную) карту
Определите для каждого p в M карту от
То есть, зафиксировав Y и Z , для любого базиса v 1 , ..., v n векторного пространства T p M определяется
где для любого фиксированного i числа c i 1 , ..., c in являются координатами Rm p ( v i , Y , Z ) относительно базиса v 1 , ..., v n . Проверка того, что это определение не зависит от выбора базиса v 1 , ..., v n, является стандартным упражнением в (мульти) линейной алгебре .
Подписать соглашения. Обратите внимание, что некоторые источники определяют быть тем, что здесь называлось бы они тогда определили бы в виде Хотя соглашения о знаках различаются в отношении тензора Римана, они не различаются в отношении тензора Риччи.
Сравнение определений
Два приведенных выше определения идентичны. Формулы, определяющие а также в координатном подходе имеют точную параллель в формулах, определяющих связность Леви-Чивита, и кривизну Римана через связность Леви-Чивита. Возможно, предпочтительнее определения, напрямую использующие локальные координаты, поскольку упомянутое выше «ключевое свойство» тензора Римана требуетбыть Хаусдорфом, чтобы удерживать. В отличие от этого, подход с местными координатами требует только гладкого атласа. Также несколько проще связать философию «инвариантности», лежащую в основе локального подхода, с методами построения более экзотических геометрических объектов, таких как спинорные поля .
Отметим также, что сложная формула, определяющая во вводном разделе такая же, как и в следующем разделе. Единственное отличие состоит в том, что термины сгруппированы так, что легко увидеть, что
Характеристики
Как видно из тождеств Бианки , тензор Риччи риманова многообразия симметричен в том смысле, что
для всех Таким образом, линейно-алгебраически следует, что тензор Риччи полностью определяется знанием величины Ric ( X , X ) для всех векторов X единичной длины. Эту функцию на множестве единичных касательных векторов часто называют кривизной Риччи, поскольку ее знание эквивалентно знанию тензора кривизны Риччи.
Кривизна Риччи определяется секционными кривизнами риманова многообразия, но обычно содержит меньше информации. В самом деле, если ξ - вектор единичной длины на римановом n -многообразии, то Ric ( ξ , ξ ) в точности ( n - 1) раз больше среднего значения секционной кривизны, взятой по всем 2-плоскостям, содержащим ξ . Существует ( n - 2) -мерное семейство таких 2-плоскостей, и поэтому только в размерностях 2 и 3 тензор Риччи определяет полный тензор кривизны. Заметным исключением является , когда многообразие задается априори как гиперповерхности в евклидовом пространстве . Вторая фундаментальная форма , которая определяет полную кривизну с помощью уравнения Гаусса-кодацциевого , сам по себе определяется тензором Риччей и главные направления гиперповерхности являются также собственными направлениями этого тензора Риччей. По этой причине тензор был введен Риччи.
Как видно из второго тождества Бьянки,
где - скалярная кривизна , определяемая в локальных координатах как Это часто называют сокращенной второй идентичностью Бьянки.
Неформальные свойства
Кривизна Риччи иногда рассматривается как (отрицательное кратное) лапласиану метрического тензора ( Chow & Knopf 2004 , Lemma 3.32).
. В частности, в гармонических локальных координатах компоненты удовлетворяютгде - оператор Лапласа – Бельтрами , который здесь рассматривается как действующий на локально определенные функции g ij . Этот факт мотивирует, например, введение уравнения потока Риччи как естественного расширения уравнения теплопроводности для метрики. В качестве альтернативы, в нормальной системе координат, основанной на p , в точке p
Прямое геометрическое значение
Вблизи любой точки p на римановом многообразии ( M , g ) можно определить предпочтительные локальные координаты, называемые геодезическими нормальными координатами . Они адаптированы к метрике так, что геодезические точки через точку p соответствуют прямым линиям, проходящим через начало координат, таким образом, что геодезическое расстояние от точки p соответствует евклидову расстоянию от начала координат. В этих координатах метрический тензор хорошо аппроксимируется евклидовой метрикой в том смысле, что
Фактически, взяв разложение Тейлора метрики, примененной к полю Якоби вдоль радиальной геодезической в нормальной системе координат, мы получим
В этих координатах элемент метрического объема имеет следующее расширение в точке p :
которое следует путем раскрытия квадратного корня из определителя метрики.
Таким образом, если кривизна Риччи Ric ( ξ , ξ ) положительна в направлении вектора ξ , коническая область в M заметна строго сфокусированным семейством геодезических отрезков длиныисходящий из p , с начальной скоростью внутри небольшого конуса около ξ , будет иметь меньший объем, чем соответствующая коническая область в евклидовом пространстве, по крайней мере, при условии, чтодостаточно мала. Точно так же, если кривизна Риччи отрицательна в направлении данного вектора ξ , такая коническая область в многообразии вместо этого будет иметь больший объем, чем в евклидовом пространстве.
Кривизна Риччи - это, по сути, среднее значение кривизны в плоскостях, включая ξ . Таким образом, если конус, испускаемый с первоначально круглым (или сферическим) поперечным сечением, становится искаженным в эллипс ( эллипсоид ), искажение объема может исчезнуть, если искажения вдоль главных осей противодействуют друг другу. Тогда кривизна Риччи исчезнет вдоль ξ . В физических приложениях наличие ненулевой поперечной кривизны не обязательно указывает на присутствие какой-либо массы локально; если первоначально круглое поперечное сечение конуса мировых линий позже становится эллиптическим без изменения его объема, то это происходит из-за приливных эффектов от массы в каком-то другом месте.
Приложения
Кривизна Риччи играет важную роль в общей теории относительности , где она является ключевым членом в уравнениях поля Эйнштейна .
Кривизна Риччи также появляется в уравнении потока Риччи , где определенные однопараметрические семейства римановых метрик выделяются как решения геометрически определенного уравнения в частных производных. Эту систему уравнений можно рассматривать как геометрический аналог уравнения теплопроводности , и она была впервые введена Ричардом С. Гамильтоном в 1982 году. Поскольку тепло имеет тенденцию распространяться по твердому телу, пока тело не достигнет состояния равновесия с постоянной температурой, если дано многообразие, можно надеяться, что поток Риччи создаст «равновесную» риманову метрику, которая является метрикой Эйнштейна или постоянной кривизны. Однако такой чистой картины «сходимости» достичь невозможно, поскольку многие многообразия не могут поддерживать большое количество метрик. Подробное исследование природы решений потока Риччи, в основном благодаря Гамильтону и Григорию Перельману , показывает, что типы «сингулярностей», возникающие вдоль потока Риччи, соответствующие отказу сходимости, содержат глубокую информацию о трехмерном пространстве. топология. Кульминацией этой работы стало доказательство гипотезы геометризации, впервые предложенной Уильямом Терстоном в 1970-х годах, которую можно рассматривать как классификацию компактных трехмерных многообразий.
На кэлеровом многообразии кривизна Риччи определяет первый класс Черна многообразия (мод-кручение). Однако кривизна Риччи не имеет аналогичной топологической интерпретации на римановом многообразии общего положения.
Глобальная геометрия и топология
Вот краткий список глобальных результатов, касающихся многообразий с положительной кривизной Риччи; см. также классические теоремы римановой геометрии . Вкратце, положительная кривизна Риччи риманова многообразия имеет сильные топологические последствия, в то время как (для размерности не менее 3) отрицательная кривизна Риччи не имеет топологических последствий. (Кривизна Риччи называется положительной, если функция кривизны Риччи Ric ( ξ , ξ ) положительна на множестве ненулевых касательных векторов ξ .) Некоторые результаты известны также для псевдоримановых многообразий.
- Теорема Майерса (1941) утверждает, что если кривизна Риччи ограничена снизу на полном римановом n -многообразии величиной ( n - 1) k > 0 , то это многообразие имеет диаметр ≤π/√ к. Из аргумента о покрывающем пространстве следует, что любое компактное многообразие положительной кривизны Риччи должно иметь конечную фундаментальную группу . Ченг (1975) показал, что в этой ситуации равенство в неравенстве диаметров имеет место только в том случае, если многообразие изометрично сфере постоянной кривизны k .
- В неравенство Бишоп-Громова утверждает , что если полное п - мерное риманово многообразие имеет неотрицательную кривизну Риччи, то объем геодезического шара меньше или равен объему геодезического шара того же радиуса в евклидовом п - пространстве . Более того, если v p ( R ) обозначает объем шара с центром p и радиусом R в многообразии, а V ( R ) = c n R n обозначает объем шара радиуса R в евклидовом n- пространстве, то функцияv p ( R )/V ( R )не увеличивается. Это можно обобщить на любую нижнюю оценку кривизны Риччи (не только на неотрицательность), и это ключевой момент в доказательстве теоремы Громова о компактности .)
- Теорема Чигера – Громолля о расщеплении утверждает, что если полное риманово многообразие (M, g) с Ric ≥ 0 содержит прямую , то есть геодезическуютакое, что d ( γ ( u ), γ ( v )) = | u - v | для всех ¯u , об ∈ ℝ , то изометричен продукт пространства ℝ × L . Следовательно, полное многообразие положительной кривизны Риччи может иметь не более одного топологического конца. Теорема также верна при некоторых дополнительных предположениях для полных лоренцевых многообразий (метрической сигнатуры (+ - - ...) ) с неотрицательным тензором Риччи ( Galloway 2000 ).
- Первая теорема Гамильтона о сходимости для потока Риччи имеет, как следствие, то, что единственные компактные 3-многообразия, которые имеют римановы метрики положительной кривизны Риччи, являются факторами 3-сферы по дискретным подгруппам SO (4), которые действуют должным образом разрывно. Позже он расширил это, чтобы учесть неотрицательную кривизну Риччи. В частности, единственная односвязная возможность - это сама 3-сфера.
Эти результаты, особенно результаты Майерса и Гамильтона, показывают, что положительная кривизна Риччи имеет сильные топологические последствия. Напротив, за исключением случая поверхностей, теперь известно, что отрицательная кривизна Риччи не имеет топологических последствий; Lohkamp (1994) показал, что любое многообразие размерности больше двух допускает полную риманову метрику отрицательной кривизны Риччи. В случае двумерных многообразий отрицательность кривизны Риччи синонимична отрицательности гауссовой кривизны, что имеет очень четкие топологические последствия . Очень мало двумерных многообразий, которые не допускают римановы метрики отрицательной гауссовой кривизны.
Поведение при конформном изменении масштаба
Если метрику g изменить, умножив ее на конформный множитель e 2 f , тензор Риччи новой, конформно связанной метрики g̃ = e 2 f g будет равен ( Besse 1987 , p. 59)
где Δ = d * d - лапласиан Ходжа (положительный спектр), т. е. противоположность обычного следа гессиана.
В частности, для данной точки p на римановом многообразии всегда можно найти метрики, конформные данной метрике g, для которой тензор Риччи обращается в нуль в p . Обратите внимание, однако, что это только поточечное утверждение; обычно невозможно заставить кривизну Риччи одинаково исчезнуть на всем многообразии с помощью конформного масштабирования.
Для двумерных многообразий приведенная выше формула показывает, что если f - гармоническая функция , то конформное масштабирование g ↦ e 2 f g не изменяет тензор Риччи (хотя он все еще меняет свой след относительно метрики, если f = 0 ) .
Бесследный тензор Риччи
В римановой геометрии и псевдо-римановой геометрии , то след свободной тензор Риччи (также называемый бесследовый тензор Риччи ) риманова или псевдоримановом п -многообразия ( М , г ) есть тензор определяется
где Рик и R обозначают кривизну Риччи и скалярную кривизну в г . Название этого объекта отражает тот факт, что его след автоматически исчезает: Однако это довольно важный тензор, поскольку он отражает «ортогональное разложение» тензора Риччи.
Ортогональное разложение тензора Риччи
Тривиально, есть
Менее очевидно, что два члена в правой части ортогональны друг другу:
Тождество, которое тесно связано с этим (но которое может быть доказано напрямую), заключается в том, что
Бесследный тензор Риччи и метрики Эйнштейна
Взяв дивергенцию и используя сокращенное тождество Бьянки, можно увидеть, что подразумевает Итак, при n ≥ 3 и связано, исчезновение означает, что скалярная кривизна постоянна. Тогда можно увидеть, что следующие эквиваленты:
- для некоторого числа
В римановой ситуации указанное выше ортогональное разложение показывает, что также эквивалентно этим условиям. Напротив, в псевдориммановской постановке условие не обязательно подразумевает поэтому самое большее, что можно сказать, это то, что эти условия подразумевают
В частности, исчезновение бесследового тензора Риччи характеризует многообразия Эйнштейна , как определено условием для ряда В общей теории относительности это уравнение утверждает, что ( M , g ) является решением уравнений Эйнштейна вакуумного поля с космологической постоянной .
Кэлеровы многообразия
На многообразии кэлерового X , то кривизна Риччи определяет форму кривизны в каноническом линейном расслоении ( Морояну 2007 , Глава 12). Каноническое линейное расслоение - это верхняя внешняя степень расслоения голоморфных кэлеровых дифференциалов :
Связность Леви-Чивиты, соответствующая метрике на X, порождает связность на κ . Кривизна этого соединения - это две формы, определяемые
где J - отображение комплексной структуры на касательном расслоении, определяемое структурой кэлерова многообразия. Форма Риччи - это замкнутая 2-форма. Его класс когомологий с точностью до действительного постоянного множителя является первым классом Черна канонического расслоения и, следовательно, является топологическим инвариантом X (для компактного X ) в том смысле, что он зависит только от топологии X и гомотопического класса сложной структуры.
Наоборот, форма Риччи определяет тензор Риччи как
В локальных голоморфных координатах z α форма Риччи имеет вид
где ∂ - оператор Дольбо, а
Если тензор Риччи обращается в нуль, то каноническое расслоение является плоским, поэтому структурная группа может быть локально сведена к подгруппе специальной линейной группы SL ( n , C ) . Однако кэлеровы многообразия уже обладают голономией в U ( n ) , поэтому (ограниченная) голономия Риччи-плоского кэлерова многообразия содержится в SU ( n ) . Наоборот, если (ограниченная) голономия 2 n -мерного риманова многообразия содержится в SU ( n ) , то это многообразие является Риччи-плоским кэлеровым многообразием ( Kobayashi & Nomizu 1996 , IX, §4).
Обобщение на аффинные связи
Тензор Риччи также может быть обобщен на произвольные аффинные связи , где он является инвариантом, который играет особенно важную роль в изучении проективной геометрии (геометрии, связанной с непараметризованными геодезическими) ( Nomizu & Sasaki 1994 ). Если ∇ обозначает аффинную связность, то тензор кривизны R является (1,3) -тензором, определяемым формулой
для любых векторных полей X , Y , Z . Тензор Риччи определяется как след:
В этой более общей ситуации тензор Риччи является симметричным тогда и только тогда, когда существует локально параллельная форма объема для соединения.
Дискретная кривизна Риччи
Понятия кривизны Риччи на дискретных многообразиях были определены на графах и сетях, где они количественно определяют свойства локальной расходимости ребер. Кривизна Риччи Оливера определяется с помощью теории оптимального переноса. [ необходима цитата ] Второе понятие, кривизна Риччи Формана, основано на топологических аргументах. [ необходима цитата ]
Смотрите также
- Кривизна римановых многообразий.
- Скалярная кривизна
- Исчисление Риччи
- Разложение Риччи
- Риччи-плоское многообразие
- Символы Кристоффеля
- Основное введение в математику искривленного пространства-времени
Сноски
- ^ Здесь предполагается, что многообразие обладает единственной связностью Леви-Чивиты . Для общей аффинной связности тензор Риччи не обязательно должен быть симметричным.
- ^ Лотт, Джон; Виллани, Седрик (23.06.2006). «Кривизна Риччи для пространств с метрической мерой с помощью оптимального переноса». arXiv : математика / 0412127 .
- ^ Если быть точным, в дифференциальной геометрии существует множество тензорных величин. Кривизну Риччи (как и другие величины кривизны, такие как тензор кривизны Римана ) особеннымделаетне набор функций от функций R ij , который в принципе является «всего лишь одним из многих тензоров», а скорее автоматический переход от одной тензорной величины (совокупности функций g ) к новой тензорной величине (совокупности функций R ).
Рекомендации
- Бессе, А.Л. (1987), многообразия Эйнштейна , Springer, ISBN 978-3-540-15279-8.
- Чоу, Беннет и Кнопф, Дэн (2004), Поток Риччи: введение , Американское математическое общество, ISBN 0-8218-3515-7.
- Эйзенхарт, LP (1949), Риманова геометрия , Princeton Univ. Нажмите.
- Галлоуэй, Грегори (2000), «Принципы максимума для нулевых гиперповерхностей и теоремы о расщеплении нулей», Анналы Института Анри Пуанкаре A , 1 (3): 543–567, arXiv : math / 9909158 , Bibcode : 2000AnHP .... 1..543G , DOI : 10.1007 / s000230050006 , S2CID 9619157.
- Кобаяши, С .; Номидзу К. (1963), Основы дифференциальной геометрии, Том 1 , Interscience.
- Кобаяси, Шошичи; Номидзу, Кацуми (1996), Основы дифференциальной геометрии, т. 2 , Wiley-Interscience , ISBN 978-0-471-15732-8.
- Lohkamp, Йоахим (1994), "метрик отрицательной кривизны Риччи", Анналы математики , второй серии Annals математики, 140 (3): 655-683, DOI : 10,2307 / 2118620 , ISSN 0003-486X , JSTOR 2118620 , М.Р. 1307899.
- Морояну, Андрей (2007), Лекции по кэлеровой геометрии , Тексты студентов Лондонского математического общества, 69 , Cambridge University Press , arXiv : math / 0402223 , doi : 10.1017 / CBO9780511618666 , ISBN 978-0-521-68897-0, Руководство по ремонту 2325093
- Номидзу, Кацуми ; Сасаки, Такеши (1994), аффинная дифференциальная геометрия , Cambridge University Press, ISBN 978-0-521-44177-3.
- Риччи, Г. (1903–1904), «Принципиальное направление и инвариантность в качественном разнообразии», Atti R. Inst. Венето , 63 (2): 1233–1239.
- Л.А. Сидоров (2001) [1994], "Тензор Риччи" , Энциклопедия математики , EMS Press
- Л.А. Сидоров (2001) [1994], "Кривизна Риччи" , Энциклопедия математики , EMS Press
- Наджман, Лоран и Ромон, Паскаль (2017): Современные подходы к дискретной кривизне, Спрингер (Чам), Конспекты лекций по математике
Внешние ссылки
- З. Шен, К. Сормани "Топология открытых многообразий с неотрицательной кривизной Риччи" (обзор)
- Г. Вэй, "Многообразия с нижней границей кривизны Риччи" (обзор)