Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth) в [info]ljr_math
@ 2005-11-02 17:09:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: working

скобка Куранта
Изучал труд Хитчина
http://arxiv.org/abs/math.DG/0508618
и неожиданно понял простую, но важную вещь (у Хитчина
этого нет, поэтому может статься, что понял неправильно).

Рассмотрим векторные поля как нечетные дифференцирования
алгебры дифференциальных форм (операция - подстановка поля в форму).
Формально говоря (то есть если забыть про гладкости и сходимости),
векторные поля это в точности дифференцирования алгебры дифференциальных
форм, понижающие степень на один.

Рассмотрим теперь тройной суперкоммутатор {X,{Y,d}}
двух векторных полей и дифференциала де Рама. Легко видеть,
что это тоже дифференцирование степени -1, то есть векторное
поле. Это векторное поле называется коммутатор.

Все труды Хитчина и его учеников по "обобщенной комплексной
геометрии" (судя по приложениям в физике - весьма важные)
начинаются с определения "скобки Куранта", задающейся
непонятной формулой. Поскольку эта формула рациональному
истолкованию доселе не поддавалась, на этом месте я
эти труды переставал читать. Оказывается, есть способ
определить эту скобку на языке супералгебр, после чего
все становится понятно.

Пусть дано многообразие размерноости n.
Рассмотрим расслоение $Т+Т^*$ (касательное плюс кокасательное).
Это расслоение снабжено естественным скалярным произведением
сигнатуры (n,-n) (спариванием). Его пространство спиноров - это
дифференциальные формы. Поэтому можно считать, что $Т+Т^*$
действует на дифференциальных формах.

Оказывается, что скобка Куранта тоже задается как {X,{Y,d}},
где X, Y - сечения $Т+Т^*$, действующие вышеописанным образом
на дифференциальных формах. Удивительно.

Привет



(Добавить комментарий)

на всякий случай спрошу
[info]kapahel
2005-11-02 20:30 (ссылка)
::касательное плюс кокасательное
сумма Уитни имеется в виду, да?

Простите, вы не знаете, где-нибудь ещё про скобку Куранта написано, кроме этой компании? У физиков, быть может? Встретил её сегодня по совпадению в каких-то струнах, но там не разъяснялось, что это.

(Ответить) (Ветвь дискуссии)

Re: на всякий случай спрошу
[info]tiphareth
2005-11-02 21:17 (ссылка)
Прямая сумма. А что есть сумма Уитни?

Касательно скобки Куранта - только у Хитчина и
Гуалтиери. Ее сравнительно недавно придумали (это
не тот Курант, а его то ли племянник, то ли внук, в 1970-е).
Он бросил науку довольно скоро. Возможно, где-то в
гидродинамике она тоже появляется.

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: на всякий случай спрошу
[info]kapahel
2005-11-02 21:21 (ссылка)
Та же самая сумма. В старых К-теорных книжках её так обзывают, я привык.

Гидродинамика не поможет, боюсь. Спасибо.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: на всякий случай спрошу
[info]tiphareth
2005-11-02 21:47 (ссылка)
Togda tol'ko
http://arxiv.org/abs/math.DG/0508618

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: на всякий случай спрошу
[info]kapahel
2005-11-02 21:50 (ссылка)
Попробуем, спасибо.

(Ответить) (Уровень выше)


[info]polytheme
2005-11-02 23:53 (ссылка)
а что такое спиноры O(n,n)-расслоения, и как его сечения на них действуют ?

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2005-11-03 02:38 (ссылка)
Спиноры имеются у любого главного Spin(n,m)-расслоения,
это присоединенное спинорное представление. Его можно
получить так: берется алгебра Клиффорда для векторного
расслоения, соответствующего нашему Spin(n,m) (в данном
случае это $T+T^*$) и делается из него алгебра Клиффорда.
Если мы работаем над C, она либо матричная, либо сумма двух
матричных. В первом случае это матрицы над спинорами, во
втором - матрицы над положительными спинорами плюс матрицы
над отрицательными спинорами.

Eсли мы работаем над R, все сильно зависит от вычетов n,m
по модулю 8 (потому что алгебра Клиффорда над R устроена
причудливо). Но алгебра Клиффорда для пространства
V с сигнатурой (n,n) всегда матричная, так что тут
все хорошо. Более того, если отождествить V
с $W+W^*$ (для какого-то пространства W), мы имеем
$Cl(V)= Mat(\Lambda^*(W))$: алгебра Клиффорда V
есть матрицы над дифференциальными формами над W.
Поэтому спиноры для $T+Т^*$ - это дифференциальные формы.

Такие дела
Миша

(Ответить) (Уровень выше)


[info]kaledin
2005-11-03 02:54 (ссылка)
A chto za skobka-to? kakoe opredelenie?

Mne chto-to Bressler kogda-to govoril, no ya ni figa ne ponyal.

To, chto ty opisyvaesh', ehto na vid polupryamoe proizvedenie T na T^* (T dejstvuet na T^* proizvodnoj Lie, T^* abeleva).

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2005-11-03 05:06 (ссылка)


[X + \xi, Y + \eta] = [X, Y] + L_X\eta- L_Y\xi - 1/2 d(i_X\eta - i_Y\xi).

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2005-11-03 05:07 (ссылка)
gde L_X - proizvodnaya Li, i_X - podstanovka

(Ответить) (Уровень выше)

коммент из ЖЖ про почти келеровы
[info]volodya
2005-11-04 09:24 (ссылка)
Насчет Куранта тоже можно поговорить...


> Миша, привет! я хочу обратить твое
> внимание, что лет 12-15 назад мы с Валей
> Лычагиным игрались в разные формулы для
> комплекса ДеРама-Ходжа на почти
> комплексных многообразиях. Мы даже
> придумали естественную спектралку,
> сколько помню, фильтрация там
> единственно возможная и довольно
> хитрая. Она преврашается в
> Ходжа-ДеРхама-Фрелихера-Ниэнхуийса в
> интегрируемом случае. Кажется я Диме
> Каледину об етом в ИТЕФе рассказывал
> лет семь назад. Я сейчас в Москве и
> ссылок из дома у меня нету. Статью
> отдали в какой то "Антарктик Мат.
> Сборник" (ворлд Сциентифик) (каким то
> лычагинским друганам). Интересно, можно
> ли из знания етой спектралки и ходжевых
> соотношений попробовать посмотреть
> почти комплексную структуру на 6-сфере?
> Несмотря на недавний шум, вопрос вроде
> открыт....

> Видел ли ты работы и дисер моего
> французского аспиранта Бертрана
> Баноса?

> С уважением Володя

(Ответить) (Ветвь дискуссии)

Re: коммент из ЖЖ про почти келеровы
[info]tiphareth
2005-11-04 11:48 (ссылка)
Дублирую коммент.

Спасибо за замечание, очень интересно.

>Мы даже придумали естественную спектралку, сколько помню,
>фильтрация там единственно возможная и довольно хитрая.

Я тоже писал такую спектралку; интересно, ту же самую или
нет. А написано ли где-нибудь про это? Там очень много
интересного - например, понять, что есть
плюрисубгармонические функции (есть два
альтернативных определения, поскольку
\partial и \bar\partial не коммутируют)
и какие метрики имеют psh-потенциалы.

>Интересно, можно ли из знания етой спектралки и ходжевых соотношений
>попробовать посмотреть почти комплексную структуру на
>6-сфере? Несмотря на недавний шум, вопрос вроде открыт....

Вопрос открыт, действительно. Я пытался делать нечто
в этом направлении, но далеко не продвинулся.

>Видел ли ты работы и дисер моего
>французского аспиранта Бертрана Баноса?

Я вот это видел
http://arxiv.org/abs/math.DG/0402366
Они там даже на меня ссылаются, а мы потом на них
тоже ссылаемся: http://arxiv.org/abs/math.CV/0510140

А вот этого
не видел - спасибо! Буду читать

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: коммент из ЖЖ про почти келеровы
(Анонимно)
2005-11-04 15:28 (ссылка)
Привет
хоть я сижу сейчас в ИТЭФе
но тут какой то очередной праздник
народ гуляет и все закрыто (в смысле Ленкины "закрома"б
где можно бы было взять ксерокс нашей статьи)
Завтра я возвращаюсь в Анжуйск и могу тебе послать ссылку
и копию статьи с Лычагиным.
Ты в Глазго до каких времен

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: коммент из ЖЖ про почти келеровы
[info]tiphareth
2005-11-04 16:13 (ссылка)


До 10-го ноября, дальше в Японию и потом месяца два-три в
Москве. Статья регулярной почтой сюда за 3 дня не дойдет,
боюсь, так что лучше слать прямо в НМУ:

119002, Москва, Б. Власьевский пер., д. 11,
НМУ, Миша Вербицкий

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: коммент из ЖЖ про почти келеровы
[info]volodya
2005-11-06 19:39 (ссылка)
Привет
я завтра отсканирую с книженции и файл пошлю.
Кстати, можно посмотреть страничку Баноса ( он сейчас в Бресте, но по-моему Анжуйский департмент его пока не выкинул тоже). Там есть разные тексты и Тезис.

(Ответить) (Уровень выше)


(Анонимно)
2005-11-05 10:03 (ссылка)
Очень хорошее обьяснение скобки Куранта! К сожалению, уже науке известное.
См. статью Ройтенберга на архиве (Roytenberg). Такие скобки вводились и ранее. Ройтенберг ссылается на Kossmann-Schwarzbach. Называются derived brackets.

leblon

(Ответить) (Ветвь дискуссии)


[info]volodya
2005-11-06 19:36 (ссылка)
Опередили. Некогда было в Москве...
Спасибо за ссылку на Иветт (у нее есть совсем
"педагогическое" про derived brackets
Надо пойти на ее страничку в Х:
http://www.math.polytechnique.fr/cmat/kosmann/listpub05.html

(Ответить) (Уровень выше)