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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2013-07-05 00:41:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:bernard szajner - zed - visions of dune
Entry tags:hse, math

derived brackets and generalized complex manifolds
Записал и выложил лекцию по обобщенным
комплексным структурам и чистым спинорам,
прочитанную неделю назад на семинаре
по геометрическим структурам.


http://verbit.ru/MATH/TALKS/GC-HSE-writeup.pdf

Ничего особо нового, но мне стоило немалого труда
все это изобрести, в литературе оно все какбе наверное
есть, но изрядно путано, так что проще самому придумать.

Идея же в том, что надо определить "derived brackets"
и через них обобщенные комплексные структуры определяются
весьма просто; это упрощает все вычисления, в особенности
со спинорами.

Привет



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

Re: ?
[info]tiphareth
2013-07-05 21:15 (ссылка)
часов 20 в общей сложности

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

Re: ?
[info]ssltesting
2013-07-05 21:25 (ссылка)
очень быстро. это около недели, между другими делами?

Ты уже из опыта знаешь, какие общие структуры должны быть описаны и заново описываешь?
Или знаешь основные определения и двигаешься к общей теории?

В двух словах, как ты генерируешь теорию с нуля?


Мне понятен принцип исследования мат. структуры, но не понятно, надо ли помнить все структуры которые должны быть определены или они логически вытекают из базовых определений?

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

Re: ?
[info]tiphareth
2013-07-05 21:36 (ссылка)
это запись доклада, который я уже делал пару раз, до того писал емэйлом
основателю теории

тогда же все и продумал

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

Re: ?
[info]ssltesting
2013-07-05 21:45 (ссылка)
Ясно.

Меня смущает этот момент - нужно ли стремиться выводить структуры каждый раз или нужно помнить в общих чертах?

Спасибо.

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

Re: ?
[info]tiphareth
2013-07-05 21:46 (ссылка)
нужно выводить каждый раз
но после первого проще

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

Re: ?
[info]ssltesting
2013-07-05 22:34 (ссылка)
Вот поэтому я в вопросе. Какой логике нужно следовать, чтобы выводить каждый раз правильно. Может есть пример именно рассуждений где-то?

Для меня не очевидно, как знать какие структуры должны быть определены.

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

Re: ?
[info]tiphareth
2013-07-05 22:41 (ссылка)
надо много изучать их, тогда становится ясно, что и как

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

Re: ?
[info]ssltesting
2013-07-05 22:46 (ссылка)
Спасибо.

Отвлеченный вопрос. У тебя есть мнение по поводу "Homotopy Type Theory and Univalent Foundations" Воеводского? Тебя как-то спрашивали, занимается ли кто-то этой тематикой. А что ты думаешь, как работающий математик, о практическом применении этого для повседневной работы?

Понимаю, что это далеко от твоей тематики, но все-таки.

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

Re: ?
[info]tiphareth
2013-07-05 22:48 (ссылка)
нету мнения совершенно
практического применения, конечно, нет

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


(Читать комментарии) -