m - Заседание Ученого Совета [entries|archive|friends|userinfo]
m

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Заседание Ученого Совета [Jan. 29th, 2008|01:15 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
LinkLeave a comment

Comments:
[User Picture]
From:[info]rus4@lj
Date:February 2nd, 2008 - 07:05 pm
(Link)
когомологии это глобальная характеристика
открытое множество важно же, какое
From:[info]dmitri_pavlov@lj
Date:February 2nd, 2008 - 07:05 pm
(Link)
Хорошо, забьём на когомологии, я тебе ниже привёл пример с Леви-Чивита.
[User Picture]
From:[info]rus4@lj
Date:February 2nd, 2008 - 07:45 pm
(Link)
Я правильно понимаю, что "теорема Леви-Чивита" - это существование и единственность симметричной связности, согласованной с метрикой? А это разве не очевидно вообще? Ну напишем формулы, из них выразятся однозначно символы Кристоффеля, вот тебе существование и единственность? Элементарная линейная алгебра, решение системы линйеных алгебраических уравнений. Если так, то это утверждение я бы ни к какой области математики не относил. Или имеется в виду что-то другое, более глубокое?
From:[info]dmitri_pavlov@lj
Date:February 2nd, 2008 - 07:59 pm
(Link)
>Я правильно понимаю, что "теорема Леви-Чивита" - это существование и единственность симметричной связности, согласованной с метрикой?

Да.

>А это разве не очевидно вообще?

Видишь ли, более-менее все широко используемые теоремы
в математике очевидны. Это из-за того, что как правило,
под эти теоремы подведены теории, которые и делают
их очевидными. Есть, конечно, и исключения, вроде
теоремы Калаби-Яо, но они редки.
Поэтому ответ на твой вопрос положительный,
но сам вопрос малосодержательный.

>Ну напишем формулы, из них выразятся однозначно символы Кристоффеля, вот тебе существование и единственность?

Если записать нормальное доказательство в координатах
(чего делать не следует), то примерно это и получится.

>Если так, то это утверждение я бы ни к какой области математики не относил.

Так и зафиксируем: Федя Петров не относит теорему
Леви-Чивиты к дифференциальной геометрии.

>Или имеется в виду что-то другое, более глубокое?

Нет, именно это и имеется ввиду.
From:[info]repressii@lj
Date:February 3rd, 2008 - 09:43 am
(Link)
Есть, между прочим, целая наука про то,
как строить связности, аналогичные Леви-Чивита, для других
структурных групп. Популярная с недавних пор наука
о многообразиях с тотально антисимметричным кручением
вся об этом. И работ про такие многообразия
написаны сотни.

Привет
[User Picture]
From:[info]rus4@lj
Date:February 3rd, 2008 - 02:52 pm
(Link)
А эта наука на многообразиях со струкутрами "в целом" или локально?
From:[info]repressii@lj
Date:February 3rd, 2008 - 08:18 pm
(Link)
Дурацкий вопрос.
В начале 1990-х, возможно, имел смысл, но не сейчас,
выражение "дифференциальная геометрия в целом" вышло
из употребления лет 15 минимум

Привет
From:[info]dmitri_pavlov@lj
Date:February 3rd, 2008 - 05:00 pm
(Link)
Интересно. А есть ли какой-нибудь обзор на эту тему?
From:[info]repressii@lj
Date:February 3rd, 2008 - 08:24 pm
(Link)
Очень хороший, но устарелый обзор
http://arxiv.org/abs/math/9908015
с тех пор, кажется, обзоров не писали.
Впрочем, точно не скажу, литературы
страшно много, особенно у физиков.

Такие дела
Миша
From:[info]repressii@lj
Date:February 3rd, 2008 - 08:26 pm
(Link)
И вот еще одно
http://arxiv.org/abs/0709.1231
From:[info]dmitri_pavlov@lj
Date:February 3rd, 2008 - 08:31 pm
(Link)
Спасибо!